( en | de | ru )

 

Disambiguierung von "Ferrari, Mauro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Augmented reality in neurosurgery: a systematic review

, , , , , und . Neurosurgical Review, 40 (4): 537--548 (01.10.2017)
DOI: 10.1007/s10143-016-0732-9

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

Andreas Mauroschat

 

Weitere Publikationen von Autoren mit dem selben Namen

Automatic carotid centerline extraction from three-dimensional ultrasound Doppler images., , , , , und . EMBC, Seite 5089-5092. IEEE, (2014)Application of a New Wearable Augmented Reality Video See-Through Display to Aid Percutaneous Procedures in Spine Surgery., , , , , und . AVR (2), Volume 9769 von Lecture Notes in Computer Science, Seite 43-54. Springer, (2016)A Decidable Constructive Description Logic., , , und . JELIA, Volume 6341 von Lecture Notes in Computer Science, Seite 51-63. Springer, (2010)On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics., , und . LPAR, Volume 2514 von Lecture Notes in Computer Science, Seite 175-189. Springer, (2002)On Uniformly Constructive and Semiconstructive Formal Systems., , und . Logic Journal of the IGPL, 11 (1): 1-49 (2003)Extracting Exact Time Bounds from Logical Proofs., , und . LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 245-266. Springer, (2001)BCDLBC\!D\!L: Basic Constructive Description Logic., , und . J. Autom. Reason., 44 (4): 371-399 (2010)Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models., , und . J. Autom. Reason., 51 (2): 129-149 (2013)Multiscale smeared finite element model for mass transport in biological tissue: From blood vessels to cells and cellular organelles., , , , , , und . Comput. Biol. Medicine, (2018)Hierarchical modeling of diffusive transport through nanochannels by coupling molecular dynamics with finite element method., , , , , , und . J. Comput. Phys., 230 (14): 5722-5731 (2011)