PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Ferrari, Mauro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Smeared multiscale finite element model for electrophysiology and ionic transport in biological tissue.

, , , , , , und . Comp. in Bio. and Med., (2019)

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.

Keine Personen gefunden für den Autorennamen Ferrari, Mauro
Eine Person hinzufügen mit dem Namen Ferrari, Mauro
 

Weitere Publikationen von Autoren mit dem selben Namen

On the complexity of the disjunction property in intuitionistic and modal logics., , und . ACM Trans. Comput. Log., 6 (3): 519-538 (2005)Counting the Maximal Intermediate Constructive Logics., und . J. Symb. Log., 58 (4): 1365-1401 (1993)A secondary semantics for Second Order Intuitionistic Propositional Logic., , und . Math. Log. Q., 50 (2): 202-210 (2004)Proof-Search in Hilbert Calculi., , und . ICTCS/CILC, Volume 1949 von CEUR Workshop Proceedings, Seite 301-305. CEUR-WS.org, (2017)A formal framework for synthesis and verification of logic programs., , und . LOPSTR, Volume UMCS-00-6-1 von Technical Report, Department of Computer Science, University of Manchester, (2000)Patient Specific Surgical Simulator for the Evaluation of the Movability of Bimanual Robotic Arms., , , , und . MMVR, Volume 163 von Studies in Health Technology and Informatics, Seite 379-385. IOS Press, (2011)Integration of biomechanical parameters in tetrahedral mass-spring models for virtual surgery simulation., , , , und . EMBC, Seite 4550-4554. IEEE, (2011)Assessment of DICOM Viewers Capable of Loading Patient-specific 3D Models Obtained by Different Segmentation Platforms in the Operating Room., , , , , und . J. Digital Imaging, 28 (5): 518-527 (2015)Cut-Free Tableau Calculi for some Intuitionistic Modal Logics.. Studia Logica, 59 (3): 303-330 (1997)A Note on Semantic Web Services Specification and Composition in Constructive Description Logics, und . CoRR, (2010)