- 1 Burgin, M. Super-recursive algorithms as a tool for high performance computing. In Proceedings of the High Performance Computing Symposium. (San Diego, Calif., 1999), 224-228.Google Scholar
- 2 Burgin, M. Topological algorithms. In Proceedings of 16th International Conference for Computers and Applications ISCA. (Seattle, WA, 2001), 61-64.Google Scholar
- 3 Cho, A. Hairpins trigger an automatic solution. Science 288 (2000). AAAS, Washington, D.C.Google Scholar
- 4 Deutsch, D., Ekert, A., and Lupacchini, R. Machines, logic and quantum physics. Bulletin of Symbolic Logic 6 (2000). Assoc. of Symbolic Logic, Poughkeepsie, NY, 265-283.Google Scholar
- 5 Dijkstra, E.W. The end of computing science? Commun. ACM 44, 3 (Mar. 2001), 92. Google ScholarDigital Library
- 6 Goldin, D. and Wegner, P. Persistent Turing machines. Brown University Technical Report, 1998Google Scholar
- 7 Hamkins, J.D., and Lewis, A. Infinite time Turing machines. J. Symbolic Logic 65 (2000). Assoc. of Symbolic Logic, Poughkeepsie, NY, 567-604.Google Scholar
- 8 Moore, C. Recursion theory on the real- and continuous-time computation. Theoretical Computer Science 162 (1996), 23-44 Google ScholarDigital Library
- 9 Siegelman, H.T. Neural Networks and Analog Computation. Birkhauser, Berlin, 1999 Google ScholarDigital Library
- 10 Tsichritzis, D. Forget the past to win the future. Commun. ACM 44, 3 (Mar. 2001), 100-101. Google ScholarDigital Library
- 11 Winograd, T. The design of interaction. Beyond Calculation: The Next 50 Years of Computing (1997) Copernicus, N.Y.,149-161 Google ScholarDigital Library
Index Terms
- How we know what technology can do
Recommendations
The Potential of Emerging Technology for Social Change
SIGMIS-CPR '16: Proceedings of the 2016 ACM SIGMIS Conference on Computers and People ResearchThe purpose of this panel is to explore the potential for emerging technology to engender social change. Technology is transformative, and has already seen innovative application in business and industry, and of course in relation to society and social ...
How Can Agents Know What to Assume When?
WI-IAT '08: Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02The work in this paper is motivated from the need for assumption-based reasoning in normative systems, where, realistically, agents will have incomplete knowledge about their environment, and about other agents. The question we seek to address is ...
Interaction between technology standardization and technology development: a coupling effect study
Technology standardization and technology development interact intimately. Understanding these interactions is fundamental to being able to seek the right solutions to questions about stimulating the advance of science and technology. After analyzing ...
Comments