Zobrazeno 1 - 10
of 62
pro vyhledávání: '"Madsen Curtis"'
Stochastic model checking is a technique for analyzing systems that possess probabilistic characteristics. However, its scalability is limited as probabilistic models of real-world applications typically have very large or infinite state space. This
Externí odkaz:
http://arxiv.org/abs/1906.03978
There has been an increasing demand for formal methods in the design process of safety-critical synthetic genetic circuits. Probabilistic model checking techniques have demonstrated significant potential in analyzing the intrinsic probabilistic behav
Externí odkaz:
http://arxiv.org/abs/1901.07857
Autor:
Madsen, Curtis, Vaidyanathan, Prashant, Sadraddini, Sadra, Vasile, Cristian-Ioan, DeLateur, Nicholas A., Weiss, Ron, Densmore, Douglas, Belta, Calin
Signal Temporal Logic (STL) is a formal language for describing a broad range of real-valued, temporal properties in cyber-physical systems. While there has been extensive research on verification and control synthesis from STL requirements, there is
Externí odkaz:
http://arxiv.org/abs/1808.03315
Autor:
Baig Hasan, Fontanarossa Pedro, Kulkarni Vishwesh, McLaughlin James, Vaidyanathan Prashant, Bartley Bryan, Bhakta Shyam, Bhatia Swapnil, Bissell Mike, Clancy Kevin, Cox Robert Sidney, Goñi Moreno Angel, Gorochowski Thomas, Grunberg Raik, Lee Jihwan, Luna Augustin, Madsen Curtis, Misirli Goksel, Nguyen Tramy, Le Novere Nicolas, Palchick Zachary, Pocock Matthew, Roehner Nicholas, Sauro Herbert, Scott-Brown James, Sexton John T., Stan Guy-Bart, Tabor Jeffrey J., Terry Logan, Vazquez Vilar Marta, Voigt Christopher A., Wipat Anil, Zong David, Zundel Zach, Beal Jacob, Myers Chris
Publikováno v:
Journal of Integrative Bioinformatics, Vol 18, Iss 3 (2021)
People who are engineering biological organisms often find it useful to communicate in diagrams, both about the structure of the nucleic acid sequences that they are engineering and about the functional relationships between sequence features and oth
Externí odkaz:
https://doaj.org/article/7f0ad540881b4ff8b3b5032521bad7d3
Autor:
Baig Hasan, Fontanarrosa Pedro, Kulkarni Vishwesh, McLaughlin James, Vaidyanathan Prashant, Bartley Bryan, Bhatia Swapnil, Bhakta Shyam, Bissell Michael, Clancy Kevin, Cox Robert Sidney, Moreno Angel Goñi, Gorochowski Thomas, Grunberg Raik, Luna Augustin, Madsen Curtis, Misirli Goksel, Nguyen Tramy, Le Novere Nicolas, Palchick Zachary, Pocock Matthew, Roehner Nicholas, Sauro Herbert, Scott-Brown James, Sexton John T., Stan Guy-Bart, Tabor Jeffrey J., Vilar Marta Vazquez, Voigt Christopher A., Wipat Anil, Zong David, Zundel Zach, Beal Jacob, Myers Chris
Publikováno v:
Journal of Integrative Bioinformatics, Vol 17, Iss 2-3 (2020)
People who are engineering biological organisms often find it useful to communicate in diagrams, both about the structure of the nucleic acid sequences that they are engineering and about the functional relationships between sequence features and oth
Externí odkaz:
https://doaj.org/article/23a3d49656f840c8a4d5e1250d5ccd74
Autor:
Madsen Curtis, Goni Moreno Angel, Palchick Zachary, P Umesh, Roehner Nicholas, Bartley Bryan, Bhatia Swapnil, Bhakta Shyam, Bissell Mike, Clancy Kevin, Cox Robert Sidney, Gorochowski Thomas, Grunberg Raik, Luna Augustin, McLaughlin James, Nguyen Tramy, Le Novere Nicolas, Pocock Matthew, Sauro Herbert, Scott-Brown James, Sexton John T., Stan Guy-Bart, Tabor Jeffrey J., Voigt Christopher A., Zundel Zach, Myers Chris, Beal Jacob, Wipat Anil
Publikováno v:
Journal of Integrative Bioinformatics, Vol 16, Iss 2 (2019)
People who are engineering biological organisms often find it useful to communicate in diagrams, both about the structure of the nucleic acid sequences that they are engineering and about the functional relationships between sequence features and oth
Externí odkaz:
https://doaj.org/article/717602b663c64272bbf9a0cbed18c72b
Autor:
Madsen Curtis, Goñi Moreno Angel, P Umesh, Palchick Zachary, Roehner Nicholas, Atallah Christian, Bartley Bryan, Choi Kiri, Cox Robert Sidney, Gorochowski Thomas, Grünberg Raik, Macklin Chris, McLaughlin James, Meng Xianwei, Nguyen Tramy, Pocock Matthew, Samineni Meher, Scott-Brown James, Tarter Ysis, Zhang Michael, Zhang Zhen, Zundel Zach, Beal Jacob, Bissell Michael, Clancy Kevin, Gennari John H., Misirli Goksel, Myers Chris, Oberortner Ernst, Sauro Herbert, Wipat Anil
Publikováno v:
Journal of Integrative Bioinformatics, Vol 16, Iss 2 (2019)
Synthetic biology builds upon the techniques and successes of genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. The field still faces substantial challenges, including long
Externí odkaz:
https://doaj.org/article/d6c6e56ec2e94b8aa1847a07c537a2c4
Autor:
Beal Jacob, Cox Robert Sidney, Grünberg Raik, McLaughlin James, Nguyen Tramy, Bartley Bryan, Bissell Michael, Choi Kiri, Clancy Kevin, Macklin Chris, Madsen Curtis, Misirli Goksel, Oberortner Ernst, Pocock Matthew, Roehner Nicholas, Samineni Meher, Zhang Michael, Zhang Zhen, Zundel Zach, Gennari John H., Myers Chris, Sauro Herbert, Wipat Anil
Publikováno v:
Journal of Integrative Bioinformatics, Vol 13, Iss 3, Pp 30-132 (2016)
Synthetic biology builds upon the techniques and successes of genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. The field still faces substantial challenges, including long
Externí odkaz:
https://doaj.org/article/96cc246178c04339b1e4ab26e388cc9a
Autor:
Cox Robert Sidney, Madsen Curtis, McLaughlin James Alastair, Nguyen Tramy, Roehner Nicholas, Bartley Bryan, Beal Jacob, Bissell Michael, Choi Kiri, Clancy Kevin, Grünberg Raik, Macklin Chris, Misirli Goksel, Oberortner Ernst, Pocock Matthew, Samineni Meher, Zhang Michael, Zhang Zhen, Zundel Zach, Gennari John H., Myers Chris, Sauro Herbert, Wipat Anil
Publikováno v:
Journal of Integrative Bioinformatics, Vol 15, Iss 1 (2018)
Synthetic biology builds upon the techniques and successes of genetics, molecular biology, and metabolic engineering by applying engineering principles to the design of biological systems. The field still faces substantial challenges, including long
Externí odkaz:
https://doaj.org/article/7eae06626bfd4c8bbac1781f827e1a85
Autor:
Cox Robert Sidney, Madsen Curtis, McLaughlin James, Nguyen Tramy, Roehner Nicholas, Bartley Bryan, Bhatia Swapnil, Bissell Mike, Clancy Kevin, Gorochowski Thomas, Grünberg Raik, Luna Augustin, Le Novère Nicolas, Pocock Matthew, Sauro Herbert, Sexton John T., Stan Guy-Bart, Tabor Jeffrey J., Voigt Christopher A., Zundel Zach, Myers Chris, Beal Jacob, Wipat Anil
Publikováno v:
Journal of Integrative Bioinformatics, Vol 15, Iss 1 (2018)
People who are engineering biological organisms often find it useful to communicate in diagrams, both about the structure of the nucleic acid sequences that they are engineering and about the functional relationships between sequence features and oth
Externí odkaz:
https://doaj.org/article/e8c233cba7dc4e0ab39a925c975a23d0