Článek ve sborníku konference

CARDELLI Luca, ČEŠKA Milan, FRANZLE Martin, KWIATKOWSKA Marta, LAURENTI Luca, PAOLETTI Nicola a WHITBY Max. Syntax-Guided Optimal Synthesis for Chemical Reaction Networks. In: Proceedings of the 29th International Conference on Computer Aided Verification. Heidelberg: Springer Verlag, 2017, s. 375-395. ISBN 978-3-319-63390-9.
Jazyk publikace:angličtina
Název publikace:Syntax-Guided Optimal Synthesis for Chemical Reaction Networks
Název (cs):Syntéza biochemických reakčních sítí
Strany:375-395
Sborník:Proceedings of the 29th International Conference on Computer Aided Verification
Konference:29th International Conference on Computer Aided Verification
Řada knih:LNCS 10427
Místo vydání:Heidelberg, DE
Rok:2017
ISBN:978-3-319-63390-9
Vydavatel:Springer Verlag
Klíčová slova
chemical reaction network
design automation
optimal synthesis
Linear Noise Approximation
SMT solvers
temporal logic  
Anotace
Syntéza biochemických reakčních sítí hraje klíčovou roli při konstrukci predikativních biologických modelů a při návrhu molekulárnách zařízení v syntetické biologii. V tomto článku navrhujeme algoritmus, který syntetizuje optimální reakčních síť s požadovaným chováním. 
BibTeX:
@INPROCEEDINGS{
   author = {Luca Cardelli and Milan {\v{C}}e{\v{s}}ka and
	Martin Franzle and Marta Kwiatkowska and Luca
	Laurenti and Nicola Paoletti and Max Whitby},
   title = {Syntax-Guided Optimal Synthesis for Chemical
	Reaction Networks},
   pages = {375--395},
   booktitle = {Proceedings of the 29th International Conference on Computer
	Aided Verification},
   series = {LNCS 10427},
   year = {2017},
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-319-63390-9},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11432}
}

Vaše IPv4 adresa: 34.229.126.29
Přepnout na https