-
1
-
-
0015680909
-
Logical reversibility of computation
-
0267.68024 10.1147/rd.176.0525
-
CH Bennett 1973 Logical reversibility of computation IBM J Res Dev 17 525 532 0267.68024 10.1147/rd.176.0525
-
(1973)
IBM J Res Dev
, vol.17
, pp. 525-532
-
-
Bennett, C.H.1
-
2
-
-
77955927831
-
A multivolume approach to stochastic modelling with membrane systems
-
(to appear) Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Springer-Verlag, Berlin
-
Besozzi D, Cazzaniga P, Pescini D, Mauri G (to appear) A multivolume approach to stochastic modelling with membrane systems. In: Condon A, Harel D, Kok JN, Salomaa A, Winfree E (eds) Algorithmic bioprocesses. Natural computing series. Springer-Verlag, Berlin
-
Algorithmic Bioprocesses. Natural Computing Series
-
-
Besozzi, D.1
Cazzaniga, P.2
Pescini, D.3
Mauri, G.4
-
3
-
-
31544465969
-
Efficient step size selection for the tau-leaping simulation method
-
10.1063/1.2159468
-
Y Cao DT Gillespie LR Petzold 2006 Efficient step size selection for the tau-leaping simulation method J Chem Phys 124 044109 10.1063/1.2159468
-
(2006)
J Chem Phys
, vol.124
, pp. 044109
-
-
Cao, Y.1
Gillespie, D.T.2
Petzold, L.R.3
-
4
-
-
84876559742
-
Tau leaping stochastic simulation method in P systems
-
Hoogeboom HJ, Pǎun Gh, Rozenberg G, Salomaa A (eds) WMC 2006, LNCS 4361, Springer-Verlag, Berlin
-
Cazzaniga P, Pescini D, Besozzi D, Mauri G (2006) Tau leaping stochastic simulation method in P systems. In: Hoogeboom HJ, Pǎun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 7th international workshop, WMC 2006, LNCS 4361, Springer-Verlag, Berlin, pp 298-313
-
(2006)
Membrane Computing. 7th International Workshop
, pp. 298-313
-
-
Cazzaniga, P.1
Pescini, D.2
Besozzi, D.3
Mauri, G.4
-
5
-
-
26444549051
-
Chemical computing
-
Banâtre JP, Fradet P, Giavitto JL, Michel O (eds) UPP 2004, LNCS 3566, Springer-Verlag, Berlin
-
Dittrich P (2005) Chemical computing. In: Banâtre JP, Fradet P, Giavitto JL, Michel O (eds) Unconventional programming paradigms, UPP 2004, LNCS 3566, Springer-Verlag, Berlin, pp 19-32
-
(2005)
Unconventional Programming Paradigms
, pp. 19-32
-
-
Dittrich, P.1
-
6
-
-
33750189955
-
Conservative logic
-
0496.94015 10.1007/BF01857727 657156
-
E Fredkin T Toffoli 1982 Conservative logic Int J Theor Phys 21 3-4 219 253 0496.94015 10.1007/BF01857727 657156
-
(1982)
Int J Theor Phys
, vol.21
, Issue.34
, pp. 219-253
-
-
Fredkin, E.1
Toffoli, T.2
-
7
-
-
35248886145
-
Energy-controlled P systems
-
Pǎun Gh, Rozenberg G, Salomaa A, Zandron C (eds) Membrane computing WMC-CdeA 2002, LNCS 2597, Springer-Verlag, Berlin
-
Freund R (2003) Energy-controlled P systems. In: Pǎun Gh, Rozenberg G, Salomaa A, Zandron C (eds) Membrane computing. Proceedings of the international workshop, WMC-CdeA 2002, LNCS 2597, Springer-Verlag, Berlin, pp 247-260
-
(2003)
Proceedings of the International Workshop
, pp. 247-260
-
-
Freund, R.1
-
8
-
-
0036188260
-
GP systems with forbidding context
-
1005.68106 2016431
-
R Freund M Oswald 2002 GP systems with forbidding context Fundam Inf 49 1-3 81 102 1005.68106 2016431
-
(2002)
Fundam Inf
, vol.49
, Issue.13
, pp. 81-102
-
-
Freund, R.1
Oswald, M.2
-
9
-
-
24144488666
-
Sequential P systems with unit rules and energy assigned to membranes
-
Margenstern M (ed) MCU 2004, LNCS 3354, Springer-Verlag, Berlin
-
Freund R, Leporati A, Oswald M, Zandron C (2005) Sequential P systems with unit rules and energy assigned to membranes. In: Margenstern M (ed) Machines, computations, and universality. 4th international conference, MCU 2004, LNCS 3354, Springer-Verlag, Berlin, pp 200-210
-
(2005)
Machines, Computations, and Universality. 4th International Conference
, pp. 200-210
-
-
Freund, R.1
Leporati, A.2
Oswald, M.3
Zandron, C.4
-
10
-
-
0347600627
-
The Conformon-P system: A molecular and cell biology-inspired computability model
-
1070.68040 10.1016/j.tcs.2003.09.008 2028937
-
P Frisco 2004 The Conformon-P system: a molecular and cell biology-inspired computability model Theor Comput Sci 312 295 319 1070.68040 10.1016/j.tcs.2003.09.008 2028937
-
(2004)
Theor Comput Sci
, vol.312
, pp. 295-319
-
-
Frisco, P.1
-
11
-
-
33645429016
-
Exact stochastic simulation of coupled chemical reactions
-
10.1021/j100540a008
-
DT Gillespie 1977 Exact stochastic simulation of coupled chemical reactions J Phys Chem 81 2340 2361 10.1021/j100540a008
-
(1977)
J Phys Chem
, vol.81
, pp. 2340-2361
-
-
Gillespie, D.T.1
-
12
-
-
34249950625
-
Stochastic simulation of chemical kinetics
-
10.1146/annurev.physchem.58.032806.104637
-
DT Gillespie 2007 Stochastic simulation of chemical kinetics Annu Rev Phys Chem 58 35 55 10.1146/annurev.physchem.58.032806.104637
-
(2007)
Annu Rev Phys Chem
, vol.58
, pp. 35-55
-
-
Gillespie, D.T.1
-
13
-
-
0000223972
-
Parallel program schemata
-
Also RC2053, IBM T.J. Watson Research Center, New York, April 1968
-
Karp R, Miller R (1969) Parallel program schemata. J Comput Syst Sci 3(4):167-195. Also RC2053, IBM T.J. Watson Research Center, New York, April 1968
-
(1969)
J Comput Syst Sci
, vol.3
, Issue.4
, pp. 167-195
-
-
Karp, R.1
Miller, R.2
-
14
-
-
0000328287
-
Irreversibility and heat generation in the computing process
-
1160.68305 10.1147/rd.53.0183 134833
-
R Landauer 1961 Irreversibility and heat generation in the computing process IBM J Res Dev 5 183 191 1160.68305 10.1147/rd.53.0183 134833
-
(1961)
IBM J Res Dev
, vol.5
, pp. 183-191
-
-
Landauer, R.1
-
15
-
-
0000192977
-
Uncertainty principle and minimal energy dissipation in the computer
-
0485.68043 10.1007/BF01857731
-
R Landauer 1982 Uncertainty principle and minimal energy dissipation in the computer Int J Theor Phys 21 3-4 283 297 0485.68043 10.1007/BF01857731
-
(1982)
Int J Theor Phys
, vol.21
, Issue.34
, pp. 283-297
-
-
Landauer, R.1
-
16
-
-
23844558805
-
Simulating the Fredkin gate with energy-based P systems
-
2145093
-
A Leporati C Zandron G Mauri 2004 Simulating the Fredkin gate with energy-based P systems J Univers Comput Sci 10 5 600 619 2145093
-
(2004)
J Univers Comput Sci
, vol.10
, Issue.5
, pp. 600-619
-
-
Leporati, A.1
Zandron, C.2
Mauri, G.3
-
17
-
-
33845530421
-
Reversible P systems to simulate Fredkin circuits
-
1106.68041 2286861
-
A Leporati C Zandron G Mauri 2006 Reversible P systems to simulate Fredkin circuits Fundam Inf 74 529 548 1106.68041 2286861
-
(2006)
Fundam Inf
, vol.74
, pp. 529-548
-
-
Leporati, A.1
Zandron, C.2
Mauri, G.3
-
20
-
-
0034248380
-
Computing with membranes
-
See also Turku Centre for Computer Science, TUCS Report No. 208, 1998
-
Pǎun Gh (2000) Computing with membranes. J Comput Syst Sci 1(61):108-143. See also Turku Centre for Computer Science, TUCS Report No. 208, 1998
-
(2000)
J Comput Syst Sci
, vol.1
, Issue.61
, pp. 108-143
-
-
Gh, P.1
-
22
-
-
0005319319
-
P systems with energy accounting
-
0991.68024 10.1080/00207160108805116 1894963
-
Gh Pǎun Y Suzuki H Tanaka 2001 P systems with energy accounting Int J Comput Math 78 3 343 364 0991.68024 10.1080/00207160108805116 1894963
-
(2001)
Int J Comput Math
, vol.78
, Issue.3
, pp. 343-364
-
-
Gh, P.1
Suzuki, Y.2
Tanaka, H.3
-
23
-
-
60449096997
-
First steps toward a wet implementation for τ-DPP
-
Corne DW, Frisco P, Pǎun Gh, Rozenberg G, Salomaa A (eds) WMC 2008, LNCS 5391, Springer-Verlag, Berlin
-
Pescini D, Cazzaniga P, Ferretti C, Mauri G (2009) First steps toward a wet implementation for τ-DPP. In: Corne DW, Frisco P, Pǎun Gh, Rozenberg G, Salomaa A (eds) Membrane computing. 9th international workshop, WMC 2008, LNCS 5391, Springer-Verlag, Berlin, pp 355-373
-
(2009)
Membrane Computing. 9th International Workshop
, pp. 355-373
-
-
Pescini, D.1
Cazzaniga, P.2
Ferretti, C.3
Mauri, G.4
|