Sciweavers

281 search results - page 35 / 57
» amcs 2007
Sort
View
AMC
2006
114views more  AMC 2006»
13 years 7 months ago
Definability as hypercomputational effect
The classical simulation of physical processes using standard models of computation is fraught with problems. On the other hand, attempts at modelling real-world computation with ...
S. Barry Cooper
AMC
2006
131views more  AMC 2006»
13 years 7 months ago
How much can analog and hybrid systems be proved (super-)Turing
Church thesis and its variants say roughly that all reasonable models of computation do not have more power than Turing machines. In a contrapositive way, they say that any model ...
Olivier Bournez
AMC
2006
106views more  AMC 2006»
13 years 7 months ago
Selecting two different defective coins
In this paper, given a balance scale and the information that there are exactly two different defective coins present, the authors consider the problem of ascertaining the minimum...
Mingnan Qi, Sanyang Liu
AMC
2006
77views more  AMC 2006»
13 years 7 months ago
A reduced three-dimensional dynamic structural model for structural health assessment
Dynamic models of elastic structures are derived using approximations of linear three dimensional elasticity. A model for the three dimensional motion of a nonsymmetric structure ...
Luther White
AMC
2006
89views more  AMC 2006»
13 years 7 months ago
A functional computation model for the duality of two-variable Lambda-Boolean functions
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on th...
Tolga Güyer, Seref Mirasyedioglu