Testing technology for tensile properties of metal materials based on deep learning model
The properties of metallic materials have been extensively studied, and nowadays the tensile properties testing techniques of metallic materials still have not found a suitable research method.
Xuewen Chen, Weizhong Fan, Weizhong Fan
doaj +1 more source
Universal computing systems. Part 1, Simulation of any Normal Algorithm by Turing machine. Part 2, A universal Turing machine to translate any Turing machine to a Normal Algorithm [PDF]
In this paper a direct, constructive proof of the equivalence of the Normal Algorithm and Turing machine using the Turing machines NAS (Normal Algorithm Simulator) and NAC (Normal Algorithm Converter) is presented. The Turing machine NAS can simulate any
Nelson, Thomas Clayton
core +5 more sources
Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections [PDF]
In this paper, we present some results regarding the size complexity of Accepting Networks of Evolutionary Processors with Filtered Connections (ANEPFCs).
Remco Loos, Florin Manea, Victor Mitrana
doaj +1 more source
First, Scale Up to the Robotic Turing Test, Then Worry About Feeling
Consciousness is feeling, and the problem of consciousness is the problem of explaining how and why some of the functions underlying some of our performance capacities are felt rather than just “functed.” But unless we are prepared to assign to feeling a
Peter Scherzer +3 more
core +2 more sources
Undecidability and Complexity for Super-Turing Models of Computation
It seems that intelligent complex systems will require formalisms having richer behavior than Turing machines. Very little is known about the relations (e.g., the expressiveness and/or effectiveness) between new super-Turing models of computation.
Eugene Eberbach
doaj +1 more source
A Thermodynamically Universal Turing Machine [PDF]
Expanding upon the widely recognized notion of mathematical universality in Turing machines, a concept of thermodynamic universality in Turing machines is introduced. Under the physical Church-Turing thesis, the existence of a thermodynamically universal
Zhu, Jihai
core
Addressing Machines as models of lambda-calculus [PDF]
Turing machines and register machines have been used for decades in theoretical computer science as abstract models of computation. Also the $\lambda$-calculus has played a central role in this domain as it allows to focus on the notion of functional ...
Giuseppe Della Penna +2 more
doaj +1 more source
Going beyond Church–Turing Thesis Boundaries: Digital Genes, Digital Neurons and the Future of AI
The Church–Turing thesis deals with computing functions that are described by a list of formal, mathematical rules or sequences of event-driven actions such as modeling, simulation, business workflows, etc.
Rao Mikkilineni
doaj +1 more source
The Turing Machine on the Dissecting Table
THE TURING MACHINE ON THE DISSECTING TABLE Abstract: Since the beginning of the twenty-first century there has been an increasing awareness that software rep- resents a blind spot in new media theory.
Jana Horáková
doaj +1 more source
Transcendence: Measuring Intelligence
Among the many common criticisms of the Turing test, a valid criticism concerns its scope. Intelligence is a complex and multi-dimensional phenomenon that will require testing using as many different formats as possible.
Marten Kaas
doaj

