Zobrazeno 1 - 10
of 146
pro vyhledávání: '"A. Docef"'
Publikováno v:
EPTCS 389, 2023, pp. 11-25
Linear logic is a substructural logic proposed as a refinement of classical and intuitionistic logics, with applications in programming languages, game semantics, and quantum physics. We present a template for Gentzen-style linear logic sequents that
Externí odkaz:
http://arxiv.org/abs/2309.13796
Autor:
Docef, Alen, Murphy, Martin
Publikováno v:
International Journal of Computer Assisted Radiology and Surgery; 20240101, Issue: Preprints p1-8, 8p
Publikováno v:
In Signal Processing 2010 90(8):2456-2467
Publikováno v:
Stereotactic and Functional Neurosurgery. 97:83-93
Background: Frameless stereotactic surgery utilizing fiducial-based (FB) registration is an established tool in the armamentarium of deep brain stimulation (DBS) surgeons. Fiducial-less (FL) registration via intraoperative CT, such as the O-arm, has
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::67f3a9d1d8bb267b4c1b48f95dc0d7e5
https://doi.org/10.1159/000496810
https://doi.org/10.1159/000496810
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
MATEC Web of Conferences, Vol 76, p 02003 (2016)
A critical feature of radiation therapy for cancerous tumors located in the thorax and abdomen is addressing tumor motion due to breathing. To achieve this goal, a CT study (ordinarily denoted as 4D-CT) showing tumor loca-tion, size, and shape agains
Externí odkaz:
https://doaj.org/article/fc25420341f84ae89f6f543e3e67abd6
Publikováno v:
2020 ASEE Virtual Annual Conference Content Access Proceedings.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::20d7bd62ea4b978131fbeefa0a9bbed9
https://doi.org/10.18260/1-2--35689
https://doi.org/10.18260/1-2--35689
Publikováno v:
Stereotactic and functional neurosurgery. 99(4)
Background: In this study, we describe a technique of optimizing the accuracy of frameless deep brain stimulation (DBS) lead placement through the use of a cannula poised at the entry to predict the location of the fully inserted device. This allows
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4492b8134517f71fef84bc067549aaf
https://pubmed.ncbi.nlm.nih.gov/34120107
https://pubmed.ncbi.nlm.nih.gov/34120107
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.