메뉴 건너뛰기




Volumn , Issue , 2014, Pages 205-212

Computing as model-based empirical science

Author keywords

Abstraction; Creative automata; Modeling; Virtual analog

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; MODELS;

EID: 84901855405     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2601381.2601391     Document Type: Conference Paper
Times cited : (4)

References (55)
  • 12
    • 84867497968 scopus 로고    scopus 로고
    • Where is the science in computer science?
    • Cerf, V. G. 2012a. Where is the science in computer science? Communications of the ACM, 55(10): 5.
    • (2012) Communications of the ACM , vol.55 , Issue.10 , pp. 5
    • Cerf, V.G.1
  • 13
    • 84901834189 scopus 로고    scopus 로고
    • The science in computer science
    • December 2012
    • Cerf, V. G. 2012b. The science in computer science: Computer Science Revisited, Ubiquity, December 2012, pp. 2-4.
    • (2012) Computer Science Revisited, Ubiquity , pp. 2-4
    • Cerf, V.G.1
  • 15
    • 9244233265 scopus 로고    scopus 로고
    • Computer science: The discipline
    • Ralston, A., Reilly, E. D., and Hemmendinger, D., Eds Wiley Publishing
    • Denning, P. J. 1999. Computer science: the discipline, Ralston, A., Reilly, E. D., and Hemmendinger, D., Eds. Encyclopedia of Computer Science. Wiley Publishing.
    • (1999) Encyclopedia of Computer Science
    • Denning, P.J.1
  • 16
    • 16444367583 scopus 로고    scopus 로고
    • Is computer science science?
    • Denning, P. J. 2005. Is computer science science? Communications of the ACM, 48(4): 27-31.
    • (2005) Communications of the ACM , vol.48 , Issue.4 , pp. 27-31
    • Denning, P.J.1
  • 17
    • 84901844585 scopus 로고    scopus 로고
    • Ubiquity symposium: The science in computer science opening statement
    • December 2012
    • Denning, P. J. 2012. Ubiquity symposium: the science in computer science opening statement, Ubiquity, December 2012, pp. 2-5.
    • (2012) Ubiquity , pp. 2-5
    • Denning, P.J.1
  • 19
    • 84901828000 scopus 로고    scopus 로고
    • Last accessed April 9, 2014
    • DP (Digital Physics). 2014. http://en.wikipedia.org/wiki/Digital-physics, Last accessed April 9, 2014.
    • (2014) DP (Digital Physics)
  • 23
  • 24
    • 0021613150 scopus 로고
    • Qualitative process theory
    • Forbus, K. 1984. Qualitative process theory, Artificial Intelligence, 24, 85-168.
    • (1984) Artificial Intelligence , vol.24 , pp. 85-168
    • Forbus, K.1
  • 27
    • 0001906440 scopus 로고
    • The naïve physics manifesto
    • Michie, D., Ed. Edinburgh University Press
    • Hayes, P. 1979. The Naïve physics manifesto, In Michie, D., Ed., Expert systems in the micro-electronic age, Edinburgh University Press, 242-270.
    • (1979) Expert Systems in the Micro-electronic Age , pp. 242-270
    • Hayes, P.1
  • 28
    • 84901828170 scopus 로고
    • Models and analogies in science
    • London, England
    • Hesse, M. 1963. Models and analogies in science, Sheed and Ward, London, England.
    • (1963) Sheed and Ward
    • Hesse, M.1
  • 34
    • 78649488153 scopus 로고    scopus 로고
    • Ancient astronomy: Mechanical inspiration
    • Marchant, J. 2010. Ancient astronomy: mechanical inspiration, Nature 468 (7323): 496-498.
    • (2010) Nature , vol.468 , Issue.7323 , pp. 496-498
    • Marchant, J.1
  • 36
    • 0007144267 scopus 로고
    • Models and analogies in science: Duhem versus campbell?
    • The University of Chicago Press
    • Mellor, D. H. 1968. Models and analogies in science: Duhem versus Campbell? History of Science Society, The University of Chicago Press, 59(3): 282-290.
    • (1968) History of Science Society , vol.59 , Issue.3 , pp. 282-290
    • Mellor, D.H.1
  • 39
    • 84976705975 scopus 로고
    • Computer science and empirical inquiry: Symbols and search
    • Newell, A., and Simon, H. A., 1976. Computer Science and Empirical Inquiry: Symbols and Search. Communications of the ACM, 19(3): 113-126.
    • (1976) Communications of the ACM , vol.19 , Issue.3 , pp. 113-126
    • Newell, A.1    Simon, H.A.2
  • 40
    • 84885672550 scopus 로고    scopus 로고
    • Philosophical aspects of modeling and simulation
    • Tolk, A., Ed. Springer-Verlag, Berlin-Heidelberg
    • Ören, T. and Yilmaz, L. 2013. Philosophical aspects of modeling and simulation. Tolk, A., Ed. Ontology, Epistemology & Teleology for Modeling and Simulation, Springer-Verlag, Berlin-Heidelberg, pp. 157-172.
    • (2013) Ontology, Epistemology & Teleology for Modeling and Simulation , pp. 157-172
    • Ören, T.1    Yilmaz, L.2
  • 41
    • 0022540602 scopus 로고
    • Vannevar bush and the differential analyzer: The text and context of an early computer
    • Owens, L. 1986. Vannevar Bush and the differential analyzer: the text and context of an early computer. Technology and Culture. 27(1): 63-95.
    • (1986) Technology and Culture , vol.27 , Issue.1 , pp. 63-95
    • Owens, L.1
  • 47
  • 50
    • 84894128908 scopus 로고    scopus 로고
    • Epistemology of modeling and simulation
    • Pasupathy, R., Kim, S.-H., Tolk, A., Hill, R., and Kuhl, M. E., Eds, Institute for Electrical and Electronics Engineers (IEEE)
    • Tolk, A., and Heath., B. L., Ihrig, M., Padilla, J. J., and Page., E. H., Suarez, E. D., Szabo, C., Weirich, P., and Yilmaz, L. 2013. Epistemology of modeling and simulation. In Proceedings of the 2013 Winter Simulation Conference, Pasupathy, R., Kim, S.-H., Tolk, A., Hill, R., and Kuhl, M. E., Eds, Institute for Electrical and Electronics Engineers (IEEE), pp. 1152-1166.
    • (2013) Proceedings of the 2013 Winter Simulation Conference , pp. 1152-1166
    • Tolk, A.1    Heath, B.L.2    Ihrig, M.3    Padilla, J.J.4    Page, E.H.5    Suarez, E.D.6    Szabo, C.7    Weirich, P.8    Yilmaz, L.9
  • 53
    • 51849116469 scopus 로고    scopus 로고
    • Computational thinking and thinking about computing
    • Wing J. 2008. Computational thinking and thinking about computing. Philosophical Transactions of the Royal Society A, 366, pp. 3717-3725.
    • (2008) Philosophical Transactions of the Royal Society A , vol.366 , pp. 3717-3725
    • Wing, J.1


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