( en | de | ru )

 

Disambiguation of "Ferrari, Mauro"

Author of the publication

copydeleteadd this publication to your clipboard
Automatic carotid centerline extraction from three-dimensional ultrasound Doppler images.

, , , , , and . EMBC, page 5089-5092. IEEE, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

Andreas Mauroschat

 

Other publications of authors with the same name

Hierarchical modeling of diffusive transport through nanochannels by coupling molecular dynamics with finite element method., , , , , , and . J. Comput. Phys., 230 (14): 5722-5731 (2011)Multiscale smeared finite element model for mass transport in biological tissue: From blood vessels to cells and cellular organelles., , , , , , and . Comput. Biol. Medicine, (2018)BCDLBC\!D\!L: Basic Constructive Description Logic., , and . 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., , and . J. Autom. Reason., 51 (2): 129-149 (2013)Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic., and . ICTCS, volume 2756 of CEUR Workshop Proceedings, page 230-235. CEUR-WS.org, (2020)Augmented reality system for freehand guide of magnetic endovascular devices., , , , and . EMBC, page 490-493. IEEE, (2014)SEM Image Analysis for Quality Control of Nanoparticles., , , , , , , and . CAIP, volume 5702 of Lecture Notes in Computer Science, page 590-597. Springer, (2009)A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms., and . CILC, volume 2710 of CEUR Workshop Proceedings, page 91-104. CEUR-WS.org, (2020)Forward refutation for Gödel-Dummett Logics., and . CILC, volume 3204 of CEUR Workshop Proceedings, page 171-185. CEUR-WS.org, (2022)A Decidable Constructive Description Logic., , , and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 51-63. Springer, (2010)