Open Access10.3929/ETHZ-A-010745043
On computable numbers
Gerd Folkers,Laura Folkers +1 more
- 12 Dec 2016
- pp 41-42
243
About: The article was published on 12 Dec 2016. and is currently open access. The article focuses on the topics: Computable number.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The Gremlin Graph Traversal Machine and Language.
TL;DR: These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and multi-machine execution models, hybrid depth- and breadth-first evaluation, as well as the existence of a Universal Gremlin Machine and its respective entailments.
‘Ideal learning’ of natural language: Positive results about learning from positive evidence
Nick Chater,Paul M. B. Vitányi +1 more
TL;DR: The Simplicity Principle allows learning from positive evidence alone, given quite weak assumptions, in apparent contrast to results on language learnability in the limit, which has been at the center of theoretical debate in research on language acquisition and linguistics.
126
Neural networks for computer-aided diagnosis in medicine
TL;DR: Overall, this paper reviews the state-of-the-art of neural networks for CAMD by summarizing the findings addressed in recent academic papers as well as presenting a few open issues of developing the research on this topic.
107
Alan Turing and the development of Artificial Intelligence
TL;DR: Alan Turing's motivations and expectations for the development of Machine Intelligence, as expressed in his 1950 article in Mind are investigated, and it is shown that many of the trends and developments within AI over the last 50 years were foreseen in this foundational paper.
An ontological framework for knowledge modeling and decision support in cyber-physical systems
Leonard Petnga,Mark Austin +1 more
TL;DR: A new ontological-based knowledge and reasoning framework for decision support for correct-by-design cyber-physical systems (CPS) enables the development of determinate, provable and executable CPS models supported by sound semantics strengthening the model-driven approach to CPS design.
77
References
The Gremlin Graph Traversal Machine and Language.
TL;DR: These properties enable Gremlin to naturally support imperative and declarative querying, host language agnosticism, user-defined domain specific languages, an extensible compiler/optimizer, single- and multi-machine execution models, hybrid depth- and breadth-first evaluation, as well as the existence of a Universal Gremlin Machine and its respective entailments.
Superconducting Optoelectronic Circuits for Neuromorphic Computing
TL;DR: In this paper, an integrated optoelectronic platform combining superconducting electronics with photonic signaling is proposed to enable neuromorphic computing beyond the scale of the human brain, which requires massive interconnectivity, extreme energy efficiency, and complex signaling mechanisms.
122
Neural networks for computer-aided diagnosis in medicine
TL;DR: Overall, this paper reviews the state-of-the-art of neural networks for CAMD by summarizing the findings addressed in recent academic papers as well as presenting a few open issues of developing the research on this topic.
107
Alan Turing and the development of Artificial Intelligence
TL;DR: Alan Turing's motivations and expectations for the development of Machine Intelligence, as expressed in his 1950 article in Mind are investigated, and it is shown that many of the trends and developments within AI over the last 50 years were foreseen in this foundational paper.
An ontological framework for knowledge modeling and decision support in cyber-physical systems
Leonard Petnga,Mark Austin +1 more
TL;DR: A new ontological-based knowledge and reasoning framework for decision support for correct-by-design cyber-physical systems (CPS) enables the development of determinate, provable and executable CPS models supported by sound semantics strengthening the model-driven approach to CPS design.
77