메뉴 건너뛰기




Volumn , Issue , 2007, Pages 2268-2273

Computational aspects of analyzing social network dynamics

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATING FINITE STATE MACHINES; COMPUTATIONAL ASPECTS; COMPUTATIONAL MODEL; DISCRETE DYNAMICAL SYSTEMS; EXISTENCE PROBLEMS; FORMAL MODEL; HOPFIELD NETWORKS; NETWORK DYNAMICS;

EID: 79952370117     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (12)

References (22)
  • 4
    • 84856966141 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 11
    • 0019923189 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 15
    • 0002776968 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.