( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Optimal personalised treatment computation through in silico clinical trials on patient digital twins.

, , , , , и . CoRR, (2021)

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.

Mari Pajala

Inka Mari

Andrea Mari

Mari Hrkać

Mari Chikvaidze

 

Другие публикации лиц с тем же именем

Model Checking Nash Equilibria in MAD Distributed Systems., , , , , , и . FMCAD, стр. 1-8. IEEE, (2008)Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems., , , и . ICTAC, том 7521 из Lecture Notes in Computer Science, стр. 243-258. Springer, (2012)Optimal personalised treatment computation through in silico clinical trials on patient digital twins., , , , , и . CoRR, (2021)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , и . CoRR, (2021)Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks., , , , , , , , , и 1 other автор(ы). CRiSIS, стр. 90-97. IEEE, (2009)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , и . DSD, стр. 478-485. IEEE Computer Society, (2015)Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation., , , , и . DSD, стр. 236-245. IEEE Computer Society, (2014)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , и . IWBBIO (2), том 9044 из Lecture Notes in Computer Science, стр. 542-554. Springer, (2015)SyLVaaS: System Level Formal Verification as a Service., , , , и . PDP, стр. 476-483. IEEE Computer Society, (2015)Anytime system level verification via parallel random exhaustive hardware in the loop simulation., , , , и . Microprocess. Microsystems, (2016)