( en | de | ru )

 

Disambiguierung von "Mari, Federico"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Patient-specific models from inter-patient biological models and clinical records.

, , , , , , , , , , , , , , und . FMCAD, Seite 207-214. IEEE, (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.

Mari Pajala

Andrea Mari

Inka Mari

Mari Hrkać

Mari Laanemets

 

Weitere Publikationen von Autoren mit dem selben Namen

Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems., , , und . CAV, Volume 6174 von Lecture Notes in Computer Science, Seite 180-195. Springer, (2010)From Boolean Functional Equations to Control Software, , , und . CoRR, (2011)A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management., , , und . Appl. Artif. Intell., 35 (5): 353-372 (2021)A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries., , , , und . IEEE Trans. Ind. Electron., 69 (8): 8566-8578 (2022)Linearizing Discrete-Time Hybrid Systems., , , , und . IEEE Trans. Autom. Control., 62 (10): 5357-5364 (2017)CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems., und . HSCC, Volume 4416 von Lecture Notes in Computer Science, Seite 399-412. Springer, (2007)On placing skips optimally in expectation., , , und . WSDM, Seite 15-24. ACM, (2008)Computing Personalised Treatments through In Silico Clinical Trials., , , , , , , , , und . RCRA@FLoC, Volume 2271 von CEUR Workshop Proceedings, CEUR-WS.org, (2018)System Level Formal Verification via Model Checking Driven Simulation., , , , , und . CAV, Volume 8044 von Lecture Notes in Computer Science, Seite 296-312. Springer, (2013)Simulator Semantics for System Level Formal Verification., , , , und . GandALF, Volume 193 von EPTCS, Seite 86-99. (2015)