31 citations · 132 across the 17 of their papers we have counts for
4 papers · 1 filter
A Language for Modeling And Optimizing Experimental Biological Protocols
Luca Cardelli, Marta Kwiatkowska, Luca Laurenti
Automation is becoming ubiquitous in all laboratory activities, leading towards precisely defined and codified laboratory protocols. However, the integration between laboratory pro…
Sequenceable Event Recorders
Luca Cardelli
With recent high-throughput technology we can synthesize large heterogeneous collections of DNA structures, and also read them all out precisely in a single procedure. Can we use t…
Adversarial Robustness Guarantees for Gaussian Processes
Andrea Patane, Arno Blaas, Luca Laurenti +3
Gaussian processes (GPs) enable principled computation of model uncertainty, making them attractive for safety-critical applications. Such scenarios demand that GP decisions are no…
Exact maximal reduction of stochastic reaction networks by species lumping
Luca Cardelli, Isabel Cristina Perez-Verona, Mirco Tribastone +3
Motivation: Stochastic reaction networks are a widespread model to describe biological systems where the presence of noise is relevant, such as in cell regulatory processes. Unfort…