메뉴 건너뛰기




Volumn 3959 LNCS, Issue , 2006, Pages 631-643

The general purpose analog computer and computable analysis are two equivalent paradigms of analog computation

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; DIFFERENTIAL EQUATIONS; FUNCTIONS; POLYNOMIALS;

EID: 33745845202     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11750321_60     Document Type: Conference Paper
Times cited : (26)

References (24)
  • 2
    • 84968516134 scopus 로고
    • On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines
    • L. Blum, M. Shub, and S. Smale. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines. Bull. Amer. Math. Soc., 21(1):1-46, 1989.
    • (1989) Bull. Amer. Math. Soc. , vol.21 , Issue.1 , pp. 1-46
    • Blum, L.1    Shub, M.2    Smale, S.3
  • 3
    • 84941147920 scopus 로고    scopus 로고
    • Recursive analysis characterized as a class of real recursive functions
    • to appear
    • O. Bournez and E. Hainry. Recursive analysis characterized as a class of real recursive functions, to appear in Fund. Inform.
    • Fund. Inform.
    • Bournez, O.1    Hainry, E.2
  • 4
    • 0029637353 scopus 로고
    • Universal computation and other capabilities of hybrid and continuous dynamical systems
    • M. S. Branicky. Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoret. Comput. Sci., 138(1):67-100, 1995.
    • (1995) Theoret. Comput. Sci. , vol.138 , Issue.1 , pp. 67-100
    • Branicky, M.S.1
  • 5
    • 0001089886 scopus 로고
    • The differential analyzer. A new machine for solving differential equations
    • V. Bush. The differential analyzer. A new machine for solving differential equations. J. Franklin Inst., 212:447-488, 1931.
    • (1931) J. Franklin Inst. , vol.212 , pp. 447-488
    • Bush, V.1
  • 7
    • 0011287661 scopus 로고    scopus 로고
    • Iteration, inequalities, and differentiability in analog computers
    • M. L. Campagnolo, G. Moore, and J. F. Costa. Iteration, inequalities, and differentiability in analog computers. J. Complexity, 16(4):642-660, 2000.
    • (2000) J. Complexity , vol.16 , Issue.4 , pp. 642-660
    • Campagnolo, M.L.1    Moore, G.2    Costa, J.F.3
  • 8
    • 10844222952 scopus 로고    scopus 로고
    • Some recent developments on Shannon's general purpose analog computer
    • D. S. Graça. Some recent developments on Shannon's General Purpose Analog Computer. Math. Log. Quart., 50(4-5):473-485, 2004.
    • (2004) Math. Log. Quart. , vol.50 , Issue.4-5 , pp. 473-485
    • Graça, D.S.1
  • 9
    • 26444476497 scopus 로고    scopus 로고
    • Robust simulations of Turing machines with analytic maps and flows
    • S. B. Cooper, B. Löwe, and L. Torenvliet, editors, LNCS 3526. Springer
    • D. S. Graça, M. L. Campagnolo, and J. Buescu. Robust simulations of Turing machines with analytic maps and flows. In S. B. Cooper, B. Löwe, and L. Torenvliet, editors, CiE 2005: New Computational Paradigms, LNCS 3526, pages 169-179. Springer, 2005.
    • (2005) CiE 2005: New Computational Paradigms , pp. 169-179
    • Graça, D.S.1    Campagnolo, M.L.2    Buescu, J.3
  • 10
    • 0141615048 scopus 로고    scopus 로고
    • Analog computers and recursive functions over the reals
    • D. S. Graça and J. F. Costa. Analog computers and recursive functions over the reals. J. Complexity, 19(5):644-664, 2003.
    • (2003) J. Complexity , vol.19 , Issue.5 , pp. 644-664
    • Graça, D.S.1    Costa, J.F.2
  • 11
    • 0002113398 scopus 로고
    • On the definitions of computable real continuous functions
    • A. Grzegorczyk. On the definitions of computable real continuous functions. Fund. Math., 44:61-71, 1957.
    • (1957) Fund. Math. , vol.44 , pp. 61-71
    • Grzegorczyk, A.1
  • 13
    • 0008854035 scopus 로고    scopus 로고
    • Closed-form analytic maps in one and two dimensions can simulate universal Turing machines
    • P. Koiran and C. Moore. Closed-form analytic maps in one and two dimensions can simulate universal Turing machines. Theoret. Comput. Sci., 210(1):217-223, 1999.
    • (1999) Theoret. Comput. Sci. , vol.210 , Issue.1 , pp. 217-223
    • Koiran, P.1    Moore, C.2
  • 14
    • 0001528080 scopus 로고
    • Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles III
    • D. Lacombe. Extension de la notion de fonction récursive aux fonctions d'une ou plusieurs variables réelles III. Comptes Rendus de l'Académie des Sciences Paris, 241:151-153, 1955.
    • (1955) Comptes Rendus de l'Académie des Sciences Paris , vol.241 , pp. 151-153
    • Lacombe, D.1
  • 15
    • 84968510156 scopus 로고
    • A differentially algebraic replacement theorem, and analog computability
    • L. Lipshitz and L. A. Rubel. A differentially algebraic replacement theorem, and analog computability. Proc. Amer. Math. Soc., 99(2):367-372, 1987.
    • (1987) Proc. Amer. Math. Soc. , vol.99 , Issue.2 , pp. 367-372
    • Lipshitz, L.1    Rubel, L.A.2
  • 16
    • 0030570631 scopus 로고    scopus 로고
    • Recursion theory on the reals and continuous-time computation
    • C. Moore. Recursion theory on the reals and continuous-time computation. Theoret. Comput. Sci., 162:23-44, 1996.
    • (1996) Theoret. Comput. Sci. , vol.162 , pp. 23-44
    • Moore, C.1
  • 17
    • 10244239347 scopus 로고    scopus 로고
    • Real recursive functions and their hierarchy
    • J. Mycka and J. F. Costa. Real recursive functions and their hierarchy. J. Complexity, 20(6):835-857, 2004.
    • (2004) J. Complexity , vol.20 , Issue.6 , pp. 835-857
    • Mycka, J.1    Costa, J.F.2
  • 18
    • 84967792518 scopus 로고
    • Abstract computability and its relations to the general purpose analog computer
    • M. B. Pour-El. Abstract computability and its relations to the general purpose analog computer. Thins. Amer. Math. Soc., 199:1-28, 1974.
    • (1974) Thins. Amer. Math. Soc. , vol.199 , pp. 1-28
    • Pour-El, M.B.1
  • 20
    • 0011530577 scopus 로고
    • A survey of transcendentally transcendental functions
    • L. A. Rubel. A survey of transcendentally transcendental functions. Amer. Math. Monthly, 96(9):777-788, 1989.
    • (1989) Amer. Math. Monthly , vol.96 , Issue.9 , pp. 777-788
    • Rubel, L.A.1
  • 21
    • 85163157556 scopus 로고
    • Mathematical theory of the differential analyzer
    • C. E. Shannon. Mathematical theory of the differential analyzer. J. Math. Phys. MIT, 20:337-354, 1941.
    • (1941) J. Math. Phys. MIT , vol.20 , pp. 337-354
    • Shannon, C.E.1
  • 23
    • 84960561455 scopus 로고
    • On computable numbers, with an application to the Entscheidungsproblem
    • A. M. Turing. On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc., 2(42):230-265, 1936.
    • (1936) Proc. London Math. Soc. , vol.2 , Issue.42 , pp. 230-265
    • Turing, A.M.1


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