-
2
-
-
12244261881
-
Reachability Problems for Sequential Dynamical Systems with Threshold Functions
-
Feb.
-
C. Barrett, H. Hunt III, M. Marathe, S. Ravi, D. Rosenkrantz and R. Stearns, "Reachability Problems for Sequential Dynamical Systems with Threshold Functions", Theoretical Computer Science, Vol. 295, Issues 1-3, Feb. 2003, pp. 41-64.
-
(2003)
Theoretical Computer Science
, vol.295
, Issue.1-3
, pp. 41-64
-
-
Barrett, C.1
Hunt III, H.2
Marathe, M.3
Ravi, S.4
Rosenkrantz, D.5
Stearns, R.6
-
3
-
-
84880875163
-
Predecessor and Permutation Existence Problems for Sequential Dynamical Systems
-
C. L. Barrett, H. B. Hunt III, M. V. Marathe, S. S. Ravi, D. J. Rosenkrantz and R. E. Stearns, "Predecessor and Permutation Existence Problems for Sequential Dynamical Systems", Proceedings of the International Conference on Discrete Models for Complex Systems (DM-CS 2003), Lyon, France, June 2003.
-
Proceedings of the International Conference on Discrete Models for Complex Systems (DM-CS 2003), Lyon, France, June 2003
-
-
Barrett, C.L.1
Hunt III, H.B.2
Marathe, M.V.3
Ravi, S.S.4
Rosenkrantz, D.J.5
Stearns, R.E.6
-
4
-
-
84856966141
-
Modeling and Simulation of Large-Scale Biological, Information and Socio-Technical Systems: An Interaction Based Approach
-
edited by D. Goldin, S. Smolka and P.Wegner, Springer
-
C. Barrett, S. Eubank and M. V. Marathe, "Modeling and Simulation of Large-Scale Biological, Information and Socio-Technical Systems: An Interaction Based Approach", in Interactive Computation: The New Paradigm, edited by D. Goldin, S. Smolka and P.Wegner, Springer 2006.
-
(2006)
Interactive Computation: The New Paradigm
-
-
Barrett, C.1
Eubank, S.2
Marathe, M.V.3
-
7
-
-
2442686815
-
Monitoring and Mitigating SmallPox Epidemics: Strategies Drawn from a Census Data Instantiated Virtual City
-
May
-
S. Eubank, H. Guclu, V. Anil Kumar, M. V. Marathe, A. Srinivasan, Z. Toroczkai and N. Wang, "Monitoring and Mitigating SmallPox Epidemics: Strategies Drawn from a Census Data Instantiated Virtual City", Nature, Vol. 429, May 2004, pp. 180-184.
-
(2004)
Nature
, vol.429
, pp. 180-184
-
-
Eubank, S.1
Guclu, H.2
Anil Kumar, V.3
Marathe, M.V.4
Srinivasan, A.5
Toroczkai, Z.6
Wang, N.7
-
8
-
-
12244300696
-
NP-Complete Problems in Cellular Automata
-
F. Green, "NP-Complete Problems in Cellular Automata", Complex Systems, Vol. 1, No. 3, 1987, pp. 453-474.
-
(1987)
Complex Systems
, vol.1
, Issue.3
, pp. 453-474
-
-
Green, F.1
-
9
-
-
0037088945
-
On the complexity of verifying concurrent transition systems
-
D. Harel, O. Kupferman, and M. Y. Vardi, "On the complexity of verifying concurrent transition systems", Information and Computation, Vol. 173, 2002, pp. 143-161.
-
(2002)
Information and Computation
, vol.173
, pp. 143-161
-
-
Harel, D.1
Kupferman, O.2
Vardi, M.Y.3
-
10
-
-
33747637621
-
Influential Nodes in a Diffusion Model for Social Networks
-
D. Kempe, J. Kleinberg and E. Tardos, "Influential Nodes in a Diffusion Model for Social Networks", Proc. 32nd International Colloquium on Automata, Languages and Programming (ICALP), 2005.
-
Proc. 32nd International Colloquium on Automata, Languages and Programming (ICALP), 2005
-
-
Kempe, D.1
Kleinberg, J.2
Tardos, E.3
-
11
-
-
0019923189
-
Why Systolic Architectures
-
H. Kung, "Why Systolic Architectures", IEEE Computers, 15(1), 1982, pp. 37-42.
-
(1982)
IEEE Computers
, vol.15
, Issue.1
, pp. 37-42
-
-
Kung, H.1
-
12
-
-
0036025778
-
From Factors to Actors: Computational Sociology and Agent-Based Modeling
-
M.W.Macy and R.Willer, "From Factors to Actors: Computational Sociology and Agent-Based Modeling", Annual Review of Sociology, Vol. 28, 2002, pp. 143-166.
-
(2002)
Annual Review of Sociology
, vol.28
, pp. 143-166
-
-
Macy, M.W.1
Willer, R.2
-
14
-
-
84880864159
-
Simulations of Graph Automata
-
C. Nichitiu and E. Remila, "Simulations of Graph Automata", Proc. MFCS'98 Satellite Workshop on Cellular Automata, Brno, Czech Republic, Aug. 1998.
-
Proc. MFCS'98 Satellite Workshop on Cellular Automata, Brno, Czech Republic, Aug. 1998
-
-
Nichitiu, C.1
Remila, E.2
-
15
-
-
0002776968
-
An Overview of the Computational Power of Recurrent Neural Networks
-
H. Hyotyniemi, ed. Espoo, Finland
-
P. Orponen, "An Overview of the Computational Power of Recurrent Neural Networks", Proc. 9th Finnish AI Conference STeP 2000 - Millennium of AI, H. Hyotyniemi, ed. Espoo, Finland, 2000, pp. 89-96.
-
(2000)
Proc. 9th Finnish AI Conference STeP 2000 - Millennium of AI
, pp. 89-96
-
-
Orponen, P.1
-
18
-
-
0002353129
-
A Brief History of Cellular Automata
-
P. Sarkar, "A Brief History of Cellular Automata", ACM Computing Surveys, Vol. 32, No. 1, 2000, pp. 80-107.
-
(2000)
ACM Computing Surveys
, vol.32
, Issue.1
, pp. 80-107
-
-
Sarkar, P.1
-
19
-
-
0029252127
-
On the Computational Complexity of Finite Cellular Automata
-
Feb.
-
K. Sutner, "On the Computational Complexity of Finite Cellular Automata", Journal of Computer and System Sciences, Vol. 50, No. 1, Feb. 1995, pp. 87-97.
-
(1995)
Journal of Computer and System Sciences
, vol.50
, Issue.1
, pp. 87-97
-
-
Sutner, K.1
-
20
-
-
27144560195
-
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
-
Proc. UC'05 - Fourth International Conference on Unconventional Computation, Sevilla, Spain, October 2005, Springer-Verlag series
-
P. Tosic and G. Agha, "On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata", Proc. UC'05 - Fourth International Conference on Unconventional Computation, Sevilla, Spain, October 2005, Springer-Verlag LNCS series, Vol. 3699, pp. 191-205.
-
LNCS
, vol.3699
, pp. 191-205
-
-
Tosic, P.1
Agha, G.2
|