Zobrazeno 1 - 10
of 548
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:
Stereotactic & Functional Neurosurgery; 2021, Vol. 99 Issue 4, p313-321, 9p
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
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.
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
Autor:
Toms, Jamie, Martin, Sheyne, Sima, Adam P., Chung, Augustine, Docef, Alen, Holloway, Kathryn L.
Publikováno v:
Stereotactic & Functional Neurosurgery; 2019, Vol. 97 Issue 2, p83-93, 11p