Results 131 to 140 of about 360,708 (169)
Some of the next articles are maybe not open access.
Computational Models of Hallucinations
2012Recent advances in theoretical neuroscience have provided new insights into information processing within large brain-like networks operating in an uncertain world. The computational framework can overcome some of the complexity within the object of study by predicting how basic changes in neural architecture may lead to systems-level changes that ...
Jardri, Renaud, Denève, Sophie
openaire +2 more sources
Computability and Computable Models
2007The intuitive notion of computability was formalized in the XXth century, which strongly affected the development of mathematics and applications, new computational technologies, various aspects of the theory of knowledge, etc. A rigorous mathematical definition of computability and algorithm generated new approaches to understanding a solution to a ...
openaire +1 more source
Models of Computation for Origami
2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC), 2017We view origami as the machinery of geometric construction and study the formal models of origami . Origami successively transforms geometric objects by a set of fold rules. As in symbolic and numeric computation, in geometric construction by origami, we have a number of approaches to look into the process of the transformations.
openaire +1 more source
Computational modeling of dendrites
Journal of Neurobiology, 2005AbstractComputational methods have been part of neuroscience for many years. For example, models developed with these methods have provided a theory that helps explain the action potential. More recently, as experimental patch‐electrode techniques have revealed new biophysics related to dendritic function and synaptic integration, computational models ...
openaire +2 more sources
2013
Trust and reputation are key issues in the multi-agent systems domain. As in human societies, software agents must interact with other agents in settings where there is the possibility that they can be exploited. This suggests the need for theoretical and computational models of trust and reputation that can be used by software agents, and accordingly,
openaire +2 more sources
Trust and reputation are key issues in the multi-agent systems domain. As in human societies, software agents must interact with other agents in settings where there is the possibility that they can be exploited. This suggests the need for theoretical and computational models of trust and reputation that can be used by software agents, and accordingly,
openaire +2 more sources
1996
The idea that living cells and molecular complexes can be viewed as potential machinic components dates back to the late 1950s, when Richard Feynman delivered his famous paper describing sub-microscopic computers. Recently, several papers have advocated the realisation of massively parallel computation using the techniques and chemistry of molecular ...
Alan Gibbons +2 more
openaire +1 more source
The idea that living cells and molecular complexes can be viewed as potential machinic components dates back to the late 1950s, when Richard Feynman delivered his famous paper describing sub-microscopic computers. Recently, several papers have advocated the realisation of massively parallel computation using the techniques and chemistry of molecular ...
Alan Gibbons +2 more
openaire +1 more source
The Coroutine Model of Computation
2012This paper presents a general denotational formalism called the Coroutine Model of Computation for control-oriented computational models. This formalism characterizes atomic elements with control behavior as Continuation Actors, giving them a static semantics with a functional interface.
Chris Shaver, Edward A. Lee
openaire +1 more source
A model with nondeterministic computation
2005In paragraph 2 of this paper an algorithmic model is described having a set R of rules. In paragraph 3 two new rules are added to the rules of R. Such new rules may change a nonterminating computation into a terminating one. In paragraph 4 some families of expressions to which the rules added to R can be applied are defined.
openaire +1 more source