Zobrazeno 1 - 10
of 364
pro vyhledávání: '"Krasnogor N"'
Autor:
Konur, Savas, Mierla, L.M., Fellermann, H., Ladroue, C., Brown, B., Wipat, A., Twycross, J., Dun, B.P., Kalvala, S., Gheorghe, Marian, Krasnogor, N.
Yes
We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification o
We present the Infobiotics Workbench (IBW), a user-friendly, scalable, and integrated computational environment for the computer-aided design of synthetic biological systems. It supports an iterative workflow that begins with specification o
Externí odkaz:
http://hdl.handle.net/10454/18588
Yes
Motivation: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, a
Motivation: Formal verification is a computational approach that checks system correctness (in relation to a desired functionality). It has been widely used in engineering applications to verify that systems work correctly. Model checking, a
Externí odkaz:
http://hdl.handle.net/10454/15885
Yes
Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. I
Computational models are perceived as an attractive alternative to mathematical models (e.g., ordinary differential equations). These models incorporate a set of methods for specifying, modeling, testing, and simulating biological systems. I
Externí odkaz:
http://hdl.handle.net/10454/8712
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Blakes, J., Twycross, J., Konur, Savas, Romero-Campero, F.J., Krasnogor, N., Gheorghe, Marian
This chapter gives an overview of an integrated software suite, the Infobiotics Workbench, which is based on a novel spatial discrete-stochastic P systems modelling framework. The Workbench incorporates three important features, simu- lation, model c
Externí odkaz:
http://hdl.handle.net/10454/8711
Autor:
Sanassy, D., Fellerman, H., Krasnogor, N., Konur, Savas, Mierla, L.M., Gheorghe, Marian, Ladroue, C., Kalvala, S.
Synthetic Biology aspires to design, compose and engineer biological systems that implement specified behaviour. When designing such systems, hypothesis testing via computational modelling and simulation is vital in order to reduce the need of costly
Externí odkaz:
http://hdl.handle.net/10454/10781
Publikováno v:
In BioSystems July 2012 109(1):35-51
As unconventional computation matures and non-standard programming frameworks are demonstrated, the need for formal verification will become more prevalent. This is so because “programming” in unconventional substrates is difficult. In this paper
Externí odkaz:
http://hdl.handle.net/10454/11905