( en | de | ru )

 

Disambiguierung von "Ferrari, Mauro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Augmented Reality Simulator for Laparoscopic Cholecystectomy Training.

, , , , und . AVR, Volume 8853 von Lecture Notes in Computer Science, Seite 428-433. Springer, (2014)

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

A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms., und . CILC, Volume 2710 von CEUR Workshop Proceedings, Seite 91-104. CEUR-WS.org, (2020)Forward refutation for Gödel-Dummett Logics., und . CILC, Volume 3204 von CEUR Workshop Proceedings, Seite 171-185. CEUR-WS.org, (2022)Extracting Exact Time Bounds from Logical Proofs., , und . LOPSTR, Volume 2372 von Lecture Notes in Computer Science, Seite 245-266. Springer, (2001)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)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)Hierarchical modeling of diffusive transport through nanochannels by coupling molecular dynamics with finite element method., , , , , , und . J. Comput. Phys., 230 (14): 5722-5731 (2011)