Artikel dengan mandat akses publik - Luca CardelliPelajari lebih lanjut
Tersedia di suatu tempat: 44
Programmable chemical controllers made from DNA
YJ Chen, N Dalchau, N Srinivas, A Phillips, L Cardelli, D Soloveichik, ...
Nature nanotechnology 8 (10), 755-762, 2013
Mandat: US National Institutes of Health, Wellcome Trust
Uncertainty quantification with statistical guarantees in end-to-end autonomous driving control
R Michelmore, M Wicker, L Laurenti, L Cardelli, Y Gal, M Kwiatkowska
2020 IEEE international conference on robotics and automation (ICRA), 7344-7350, 2020
Mandat: UK Engineering and Physical Sciences Research Council
ERODE: a tool for the evaluation and reduction of ordinary differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
Mandat: European Commission
Stochastic analysis of chemical reaction networks using linear noise approximation
L Cardelli, M Kwiatkowska, L Laurenti
Biosystems 149, 26-33, 2016
Mandat: European Commission
Computing with biological switches and clocks
N Dalchau, G Szép, R Hernansaiz-Ballesteros, CP Barnes, L Cardelli, ...
Natural computing 17 (4), 761-779, 2018
Mandat: UK Engineering and Physical Sciences Research Council, Wellcome Trust …
Symbolic computation of differential equivalences
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
ACM SIGPLAN Notices 51 (1), 137-150, 2016
Mandat: European Commission
Robustness guarantees for Bayesian inference with Gaussian processes
L Cardelli, M Kwiatkowska, L Laurenti, A Patane
Proceedings of the AAAI conference on artificial intelligence 33 (01), 7759-7768, 2019
Mandat: UK Engineering and Physical Sciences Research Council, European Commission
PID control of biochemical reaction networks
M Whitby, L Cardelli, M Kwiatkowska, L Laurenti, M Tribastone, ...
IEEE Transactions on Automatic Control 67 (2), 1023-1030, 2021
Mandat: Government of Italy, Royal Society UK
Efficiency through uncertainty: Scalable formal synthesis for stochastic hybrid systems
N Cauchi, L Laurenti, M Lahijanian, A Abate, M Kwiatkowska, L Cardelli
Proceedings of the 22nd ACM international conference on hybrid systems …, 2019
Mandat: UK Engineering and Physical Sciences Research Council
Efficient syntax-driven lumping of differential equations
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
International Conference on Tools and Algorithms for the Construction and …, 2016
Mandat: European Commission
A peptide filtering relation quantifies MHC class I peptide optimization
N Dalchau, A Phillips, LD Goldstein, M Howarth, L Cardelli, S Emmott, ...
PLoS computational biology 7 (10), e1002144, 2011
Mandat: Cancer Research UK
Comparing chemical reaction networks: A categorical and algorithmic perspective
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016
Mandat: European Commission
Formal and efficient synthesis for continuous-time linear stochastic hybrid processes
L Laurenti, M Lahijanian, A Abate, L Cardelli, M Kwiatkowska
IEEE Transactions on Automatic Control 66 (1), 17-32, 2020
Mandat: UK Engineering and Physical Sciences Research Council
Chemical reaction network designs for asynchronous logic circuits
L Cardelli, M Kwiatkowska, M Whitby
Natural computing 17, 109-130, 2018
Mandat: UK Engineering and Physical Sciences Research Council, European Commission …
Syntax-guided optimal synthesis for chemical reaction networks
L Cardelli, M Češka, M Fränzle, M Kwiatkowska, L Laurenti, N Paoletti, ...
Computer Aided Verification: 29th International Conference, CAV 2017 …, 2017
Mandat: UK Engineering and Physical Sciences Research Council
Unlimited multistability and Boolean logic in microbial signalling
VB Kothamachu, E Feliu, L Cardelli, OS Soyer
Journal of the Royal Society interface 12 (108), 20150234, 2015
Mandat: UK Engineering and Physical Sciences Research Council, Government of Spain
Syntactic Markovian bisimulation for chemical reaction networks
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand …, 2017
Mandat: European Commission
The formal language and design principles of autonomous DNA walker circuits
MA Boemo, AE Lucas, AJ Turberfield, L Cardelli
ACS Synthetic Biology 5 (8), 878-884, 2016
Mandat: UK Biotechnology and Biological Sciences Research Council, UK Engineering …
Guaranteed error bounds on approximate model abstractions through reachability analysis
L Cardelli, M Tribastone, M Tschaikowski, A Vandin
Quantitative Evaluation of Systems: 15th International Conference, QEST 2018 …, 2018
Mandat: Austrian Science Fund, German Research Foundation, Royal Society UK
Phosphorelays provide tunable signal processing capabilities for the cell
VB Kothamachu, E Feliu, C Wiuf, L Cardelli, OS Soyer
PLOS Computational Biology 9 (11), e1003322, 2013
Mandat: UK Engineering and Physical Sciences Research Council, Government of Spain
Informasi terbitan dan pendanaan ditentukan secara otomatis oleh program komputer