Results 1 to 10 of about 461,649 (298)
Freezing, Bounded-Change and Convergent Cellular Automata [PDF]
Discrete Mathematics & Theoretical Computer Science, 2022 This paper studies three classes of cellular automata from a computational point of view: freezing cellular automata where the state of a cell can only decrease according to some order on states, cellular automata where each cell only makes a bounded ...
Nicolas Ollinger, Guillaume Theyssier
doaj +1 more source
Computational Psychiatry for Computers [PDF]
iScience, 2020 Computational psychiatry is a nascent field that attempts to use multi-level analyses of the underlying computational problems that we face in navigating a complex, uncertain and changing world to illuminate mental dysfunction and disease. Two particular foci of the field are the costs and benefits of environmental adaptivity and the danger and ...
Peter Dayan, Peter Dayan, Eric Schulz
openaire +4 more sources
Correlations for computation and computation for correlations [PDF]
npj Quantum Information, 2021 AbstractQuantum correlations are central to the foundations of quantum physics and form the basis of quantum technologies. Here, our goal is to connect quantum correlations and computation: using quantum correlations as a resource for computation—and vice versa, using computation to test quantum correlations.
Bülent Demirel +4 more
openaire +7 more sources
Mind as Machine: The Influence of Mechanism on the Conceptual Foundations of the Computer Metaphor
RUDN Journal of Philosophy, 2022 This article will focus on the mechanistic origins of the computer metaphor, which forms the conceptual framework for the methodology of the cognitive sciences, some areas of artificial intelligence and the philosophy of mind.
Pavel N. Baryshnikov
doaj +1 more source
Moschovakis Extension of Represented Spaces [PDF]
Logical Methods in Computer Science, 2019 Given a represented space (in the sense of TTE theory), an appropriate representation is constructed for the Moschovakis extension of its carrier (with paying attention to the cases of effective topological spaces and effective metric spaces).
Dimiter Skordev
doaj +1 more source
A Swiss Pocket Knife for Computability [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This research is about operational- and complexity-oriented aspects of classical foundations of computability theory. The approach is to re-examine some classical theorems and constructions, but with new criteria for success that are natural from a ...
Neil D. Jones
doaj +1 more source
Computability of Data-Word Transductions over Different Data Domains [PDF]
Logical Methods in Computer Science, 2022 In this paper, we investigate the problem of synthesizing computable functions of infinite words over an infinite alphabet (data $\omega$-words). The notion of computability is defined through Turing machines with infinite inputs which can produce the ...
Léo Exibard +3 more
doaj +1 more source
Representations of measurable sets in computable measure theory [PDF]
Logical Methods in Computer Science, 2014 This article is a fundamental study in computable measure theory. We use the framework of TTE, the representation approach, where computability on an abstract set X is defined by representing its elements with concrete "names", possibly countably ...
Klaus Weihrauch +1 more
doaj +1 more source
On the system CL12 of computability logic [PDF]
Logical Methods in Computer Science, 2015 Computability logic (see http://www.csc.villanova.edu/~japaridz/CL/) is a long-term project for redeveloping logic on the basis of a constructive game semantics, with games seen as abstract models of interactive computational problems.
Giorgi Japaridze
doaj +1 more source
Journal of Traffic and Transportation Engineering (English Edition), 2019 In a previous paper “to retrofit or not to retrofit?” (Nuti and Vanzi, 2003) a straightforward procedure able to forecast the economic return of seismic structural upgrading was presented. More recently, the authors realized that the final mathematical results can be much simplified so as to allow back-of-an-envelope computation.
Camillo Nuti +7 more
openaire +7 more sources