-
1
-
-
14344265954
-
Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-notch protein signaling
-
Ghosh, R., Tomlin, C.: Symbolic reachable set computation of piecewise a.ne hybrid automata and its application to biological modeling: Delta-notch protein signalling. Sys. Bio. 1, 170-183 (2004)
-
(2004)
Sys. Bio.
, vol.1
, pp. 170-183
-
-
Ghosh, R.1
Tomlin, C.2
-
2
-
-
84944214361
-
Hybrid modeling and simulation of biomolecular networks
-
Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. Springer, Heidelberg
-
Alur, R., Belta, C., Ivanicic, F., Kumar, V., Mintz, M., Pappas, G., Rubin, H., Schug, J.: Hybrid modeling and simulation of biomolecular networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol.2034, pp. 19-33. Springer, Heidelberg (2001)
-
(2001)
LNCS
, vol.2034
, pp. 19-33
-
-
Alur, R.1
Belta, C.2
Ivanicic, F.3
Kumar, V.4
Mintz, M.5
Pappas, G.6
Rubin, H.7
Schug, J.8
-
3
-
-
27644447823
-
Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems
-
Hespanha, J., Singh, A.: Stochastic models for chemically reacting systems using polynomial stochastic hybrid systems. Int. J. on Robust Cont., Special Issue on Control at Small Scales 15, 669-689 (2005)
-
(2005)
Int. J. on Robust Cont., Special Issue on Control at Small Scales
, vol.15
, pp. 669-689
-
-
Hespanha, J.1
Singh, A.2
-
4
-
-
35048839340
-
Modeling subtilin production in bacillus subtilis using stochastic hybrid systems
-
Alur, R., Pappas, G.J. (eds.) HSCC 2004. Springer, Heidelberg
-
Hu, J., Wu, W., Sastry, S.: Modeling subtilin production in bacillus subtilis using stochastic hybrid systems. In: Alur, R., Pappas, G.J. (eds.) HSCC 2004. LNCS, vol.2993, pp. 417-431. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.2993
, pp. 417-431
-
-
Hu, J.1
Wu, W.2
Sastry, S.3
-
5
-
-
33745796556
-
Reconstruction of switching thresholds in piecewise-affine models of genetic regulatory networks
-
DOI 10.1007/11730637-16, Hybrid Systems: Computation and Control - 9th International Workshop, HSCC 2006, Proceedings
-
Drulhe, S., Ferrari-Trecate, G., de Jong, H., Viari, A.: Reconstruction of switching thresholds in piecewise-a.ne models of genetic regulatory networks. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.3927, pp. 184-199. Springer, Heidelberg (2006) (Pubitemid 44019587)
-
(2006)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
, pp. 184-199
-
-
Drulhe, S.1
Ferrari-Trecate, G.2
De Jong, H.3
Viari, A.4
-
6
-
-
22944451159
-
Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions
-
Salis, H., Kaznessis, Y.: Accurate hybrid stochastic simulation of a system of coupled chemical or biochemical reactions. J. Chem. Phys. 122, 54-103 (2005)
-
(2005)
J. Chem. Phys.
, vol.122
, pp. 54-103
-
-
Salis, H.1
Kaznessis, Y.2
-
7
-
-
0000260421
-
Modeling enzyme-inhibitor interactions in serine proteases
-
Ramos, M., Melo, A., Henriques, E., Gomes, J., Reuter, N., Maigret, B., Floriano, W., Nascimento, M.: Modeling enzyme-inhibitor interactions in serine proteases. Int. J. Quant. Chem. 74(3), 299-314 (1999)
-
(1999)
Int. J. Quant. Chem.
, vol.74
, Issue.3
, pp. 299-314
-
-
Ramos, M.1
Melo, A.2
Henriques, E.3
Gomes, J.4
Reuter, N.5
Maigret, B.6
Floriano, W.7
Nascimento, M.8
-
8
-
-
0031569865
-
Sorbitol dehydrogenase from bovine lens: Purification and properties
-
Marini, I., Bucchioni, L., Borella, P., Corso, A.D., Mura, U.: Sorbitol dehydrogenase from bovine lens: Purification and properties. Arch. Biochem. and Biophy. 340, 383-391 (1997)
-
(1997)
Arch. Biochem. and Biophy
, vol.340
, pp. 383-391
-
-
Marini, I.1
Bucchioni, L.2
Borella, P.3
Corso, A.D.4
Mura, U.5
-
9
-
-
0043282192
-
Absorbing boundaries and optimal stopping in a stochastic differential equation
-
Mannella, R.: Absorbing boundaries and optimal stopping in a stochastic differential equation. Phys. Lett. A 254, 257-262 (1999)
-
(1999)
Phys. Lett. A
, vol.254
, pp. 257-262
-
-
Mannella, R.1
-
10
-
-
36549098776
-
Extended brownian dynamics. iii. three dimensional difiusion
-
Lamm, G.: Extended brownian dynamics. iii. three dimensional difiusion. J. Chem. Phys. 80(6), 2845-2855 (1983)
-
(1983)
J. Chem. Phys.
, vol.80
, Issue.6
, pp. 2845-2855
-
-
Lamm, G.1
-
11
-
-
37649026611
-
Efficient brownian dynamics simulation of particles near walls. i. reffecting and absorbing walls.
-
Peters, E., Barenbrug, T.: Efficient brownian dynamics simulation of particles near walls. i. reffecting and absorbing walls. Physical Review 66, 1-7 (2002)
-
(2002)
Physical Review
, vol.66
, pp. 1-7
-
-
Peters, E.1
Barenbrug, T.2
-
12
-
-
0037119587
-
Stochastic gene expression in a single cell
-
Elowitz, M., Levine, A., Siggia, E., Swain, P.: Stochastic gene expression in a single cell. Science 1183(297) (2002)
-
(2002)
Science
, vol.1183
, pp. 297
-
-
Elowitz, M.1
Levine, A.2
Siggia, E.3
Swain, P.4
-
13
-
-
60749093862
-
Theoretical foundations of general stochastic hybrid systems: Modeling and optimal control
-
Bujorianu, M., Lygeros, J.: Theoretical foundations of general stochastic hybrid systems: Modeling and optimal control. In: IEEE Conf. on Dec. and Cont. (2004)
-
(2004)
IEEE Conf. on Dec. and Cont.
-
-
Bujorianu, M.1
Lygeros, J.2
-
14
-
-
33745777189
-
Computational methods for reachability analysis of stochastic hybrid systems
-
Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. Springer, Heidelberg
-
Koutsoukos, X., Riley, D.: Computational methods for reachability analysis of stochastic hybrid systems. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol.3927, pp. 377-391. Springer, Heidelberg (2006)
-
(2006)
LNCS
, vol.3927
, pp. 377-391
-
-
Koutsoukos, X.1
Riley, D.2
-
15
-
-
33745776093
-
Structured modeling of concurrent stochastic hybrid systems
-
Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. Springer, Heidelberg
-
Bernadskiy, M., Sharykin, R., Alur, R.: Structured modeling of concurrent stochastic hybrid systems. In: Lakhnech, Y., Yovine, S. (eds.) FORMATS 2004 and FTRTFT 2004. LNCS, vol.3253, pp. 309-324. Springer, Heidelberg (2004)
-
(2004)
LNCS
, vol.3253
, pp. 309-324
-
-
Bernadskiy, M.1
Sharykin, R.2
Alur, R.3
-
16
-
-
38049108497
-
Safety analysis of sugar cataract development using stochastic hybrid systems
-
Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. Springer, Heidelberg
-
Riley, D., Koutsoukos, X., Riley, K.: Safety analysis of sugar cataract development using stochastic hybrid systems. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 758-761. Springer, Heidelberg (2007)
-
(2007)
LNCS
, vol.4416
, pp. 758-761
-
-
Riley, D.1
Koutsoukos, X.2
Riley, K.3
-
18
-
-
84996131097
-
Euler schemes and half-space approximation for the simulation of diffusion in a domain
-
Gobet, E.: Euler schemes and half-space approximation for the simulation of diffusion in a domain. ESAIM: Probability and Statistics 5, 261-297 (2001)
-
(2001)
ESAIM: Probability and Statistics
, vol.5
, pp. 261-297
-
-
Gobet, E.1
-
19
-
-
0017030517
-
A general method for numerically simulating the stochastic time evolution of coupled chemical reactions
-
Gillespie, D.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J. Comp. Phys. 22, 403-434 (1976)
-
(1976)
J. Comp. Phys.
, vol.22
, pp. 403-434
-
-
Gillespie, D.1
-
20
-
-
33748279268
-
R-leaping: Accelerating the stochastic simulation algorithm by reaction leaps
-
Auger, A., Chatelain, P., Koumoutsakos, P.: R-leaping: Accelerating the stochastic simulation algorithm by reaction leaps. J. Chem. Phys. 125, 84-103 (2006)
-
(2006)
J. Chem. Phys.
, vol.125
, pp. 84-103
-
-
Auger, A.1
Chatelain, P.2
Koumoutsakos, P.3
|