Results 61 to 70 of about 132,919 (197)
On the Expressiveness of the Approach to Constructing PLC-programs by LTL-Specification
Моделирование и анализ информационных систем, 2015 The article is devoted to the approach to constructing and verification of discrete PLC-programs by LTL-specification. This approach provides an ability of correctness analysis of PLC-programs by the model checking method.
E. V. Kuzmin +2 more
doaj +1 more source
Evolution of Physical Intelligence Across Scales
Advanced Intelligent Discovery, EarlyView.By following the evolution of physical intelligence across scales, this article shows how intelligence arises from materials, structures, physical interactions, and collectives. It establishes physical intelligence as the evolutionary foundation upon which embodied intelligence is built.
Ke Liu +7 more
wiley +1 more source
Program Algebra for Turing-Machine Programs
Scientific Annals of Computer Science, 2019 This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes as basic instructions, the behaviours produced by the instruction sequences concerned under execution, and the interaction between such behaviours and ...
Jan A. Bergstra, Cornelius A. Middelburg
doaj +1 more source
Morphological Computation as Natural Ecosystem Service for Intelligent Technology
Proceedings, 2022 The basic idea of natural computing is learning from nature. Naturalist framework provides info-computational architecture for cognizing agents, modelling living organisms as informational structures with computational dynamics.
Gordana Dodig-Crnkovic
doaj +1 more source
The world problem: on the computability of the topology of 4-manifolds [PDF]
, 2005 Topological classification of the 4-manifolds bridges computation theory and physics. A proof of the undecidability of the homeomorphy problem for 4-manifolds is outlined here in a clarifying way.
van Meter, James R.
core +3 more sources
, 2016 A novel computing model, called \emph{Probe Machine}, is proposed in this paper. Different from Turing Machine, Probe Machine is a fully-parallel computing model in the sense that it can simultaneously process multiple pairs of data, rather than ...
Xu, Jin
core +2 more sources
Advanced Intelligent Systems, EarlyView.This work shows resonant tunneling diode‐based opto‐electronic spiking neurons enabling fast edge detection in time series, a two‐layer photonic spiking neural network for complex classification, and a depth‐tunable photonic spiking memory system. Neuromorphic computing—modeled after the functionality and efficiency of biological neural systems—offers ...
Dafydd Owen‐Newns +8 more
wiley +1 more source
Інформаційні технології і засоби навчання, 2016 The article discusses the importance of studying the notion of algorithm and its formal specification using Turing machines. In the article it was identified the basic hypothesis of the theory of algorithms for Turing as well as reviewed scientific ...
Oleksandr B. Yashchyk
doaj
Sustainable Cellulose Ionogels With Promising Physical Structure, Properties, and Applications
Advanced Physics Research, EarlyView.This study presents a comprehensive overview of cellulose functional gels, focusing on their molecular network design and physical properties. The extensive potential applications of cellulose gels in flexible electronics, biomedicine, and smart engineering are explored in depth. This work provides valuable insights and guidance for future research and
Wenjuan Wang +6 more
wiley +1 more source
Should Dermatologists Recommend Direct‐to‐Consumer App‐Based Remote Diagnostics? An Ethical Analysis
JEADV Clinical Practice, EarlyView.ABSTRACT Background Dermatology patients still face barriers in accessing timely specialist care. As direct‐to‐consumer (DTC) apps for remote dermatological diagnostics proliferate, guidance is lacking. While promising efficiency and efficacy, their clinical—and ethical—legitimacy is not yet well established.
Sonja Mathes +9 more
wiley +1 more source