( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Bayesian Statistical parametric Verification and synthesis by Machine Learning.

, , и . WSC, стр. 381-394. IEEE, (2018)

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.

Sonia Bortolussi

Bianca Bortolussi

Luca Rizzini

Luca Tranchini

Luca Tuninetti

 

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

Computational Systems Biology with Constraints - Stochastic Modeling of Biological Systems with Concurrent Constraint Programming.. VDM, (2008)Monitoring Mobile and Spatially Distributed Cyber-Physical Systems., , , и . CoRR, (2019)Reducing Spreading Processes on Networks to Markov Population Models., и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 292-309. Springer, (2019)On the Robustness of Bayesian Neural Networks to Adversarial Attacks., , , , , и . CoRR, (2022)The Importance of Being (A Little Bit) Discrete., и . FBTC@ICALP, том 229 из Electronic Notes in Theoretical Computer Science, стр. 75-92. Elsevier, (2008)Analysis of Markov Jump Processes under Terminal Constraints., , , и . TACAS (1), том 12651 из Lecture Notes in Computer Science, стр. 210-229. Springer, (2021)Data-Driven Inference of Chemical Reaction Networks via Graph-Based Variational Autoencoders., , , и . QEST, том 14287 из Lecture Notes in Computer Science, стр. 143-147. Springer, (2023)Stochastic Concurrent Constraint Programming and Differential Equations., и . QAPL, том 190 из Electronic Notes in Theoretical Computer Science, стр. 27-42. Elsevier, (2007)Generalized Method of Moments for Stochastic Reaction Networks in Equilibrium., , и . CMSB, том 9859 из Lecture Notes in Computer Science, стр. 15-29. Springer, (2016)Bounding First Passage Times in Chemical Reaction Networks - Poster Abstract., , и . CMSB, том 11773 из Lecture Notes in Computer Science, стр. 379-382. Springer, (2019)