Results 101 to 110 of about 5,251,071 (187)
Computable structures on topological manifolds [PDF]
arXiv, 2017 We propose a definition of computable manifold by introducing computability as a structure that we impose to a given topological manifold, just in the same way as differentiability or piecewise linearity are defined for smooth and PL manifolds respectively.
arxiv
, 2017 Computation models such as circuits describe sequences of computation steps that are carried out one after the other. In other words, algorithm design is traditionally subject to the restriction imposed by a fixed causal order.
Baumeler, Ämin, Wolf, Stefan
core +2 more sources
Real-number Computability from the Perspective of Computer Assisted Proofs in Analysis [PDF]
arXiv, 2017 Inspired by computer assisted proofs in analysis, we present an interval approach to real-number computations.
arxiv
Computation Environments, An Interactive Semantics for Turing Machines (which P is not equal to NP considering it) [PDF]
, 2012 To scrutinize notions of computation and time complexity, we introduce and formally define an interactive model for computation that we call it the \emph{computation environment}.
Ramezanian, Rasoul
core
Typologies of Computation and Computational Models [PDF]
arXiv, 2013 We need much better understanding of information processing and computation as its primary form. Future progress of new computational devices capable of dealing with problems of big data, internet of things, semantic web, cognitive robotics and neuroinformatics depends on the adequate models of computation.
arxiv
Una introducción a la mecanobiología computacional An introduction to computation mechanobiology
Revista Cubana de Investigaciones Biomédicas, 2011 La mecanobiología estudia el comportamiento de células, tejidos y órganos bajo los efectos de la bioquímica, la biología celular y los estímulos externos, como las cargas mecánicas. Esta involucra el desarrollo de modelos y la realización de experimentos
Nancy Landinez Parra +2 more
doaj
, 2018 We propose a secure computation solution for blockchain networks. The correctness of computation is verifiable even under malicious majority condition using information-theoretic Message Authentication Code (MAC), and the privacy is preserved using ...
Chen, Jiang +3 more
core +1 more source
Prospective Algorithms for Quantum Evolutionary Computation [PDF]
arXiv, 2008 This effort examines the intersection of the emerging field of quantum computing and the more established field of evolutionary computation. The goal is to understand what benefits quantum computing might offer to computational intelligence and how computational intelligence paradigms might be implemented as quantum programs to be run on a future ...
arxiv
Engineering Analysis of CMS Casing
Механика машин, механизмов и материалов, 2014 In the article the methodological requirements that are indispensable for the implementation of construction documents for the production and operation of developed structures and facilities in order to support the transition of products into commodities
L.V. Larchenkov +2 more
doaj
Analysis of Minute Features in Speckled Imagery with Maximum Likelihood Estimation
EURASIP Journal on Advances in Signal Processing, 2004 This paper deals with numerical problems arising when performing maximum likelihood parameter estimation in speckled imagery using small samples. The noise that appears in images obtained with coherent illumination, as is the case of sonar, laser ...
Cribari-Neto Francisco +2 more
doaj +1 more source