X
Search Filters
Format Format
Subjects Subjects
Subjects Subjects
X
Sort by Item Count (A-Z)
Filter by Count
computer science (9) 9
computer science, theory & methods (8) 8
differential equations (7) 7
mathematics, applied (6) 6
real recursive functions (6) 6
computable analysis (5) 5
computation (5) 5
dynamical-systems (5) 5
recursive functions (5) 5
theoretical computer science (5) 5
analog computation (4) 4
applied mathematics (4) 4
computational complexity (4) 4
recursion theory (4) 4
remote sensing (4) 4
algebra and number theory (3) 3
analog-computers (3) 3
analysis (3) 3
computability (3) 3
control and optimization (3) 3
ecology (3) 3
hierarchy (3) 3
imaging science & photographic technology (3) 3
machines (3) 3
numerical analysis (3) 3
spatial resolution (3) 3
statistics and probability (3) 3
vegetation (3) 3
algorithm analysis and problem complexity (2) 2
analytic-maps (2) 2
atmospheric correction (2) 2
classification (2) 2
complexity (2) 2
computation by abstract devices (2) 2
continuous-time computation (2) 2
dynamical systems (2) 2
elementary computable (2) 2
emissions (2) 2
environmental sciences (2) 2
female (2) 2
impact (2) 2
index medicus (2) 2
initial data (2) 2
landsat (2) 2
mathematical logic and foundations (2) 2
modis (2) 2
primitive recursive functions (2) 2
reflectance (2) 2
reflectivity (2) 2
satellite data (2) 2
theory of computation (2) 2
turing-machines (2) 2
unique solution (2) 2
wave-equation (2) 2
68q15 (1) 1
[ info.info-cc ] computer science [cs]/computational complexity [cs.cc] (1) 1
abandoned pastures (1) 1
abridged index medicus (1) 1
accessories, closures, or fittings therefor (1) 1
accuracy assessment (1) 1
adult (1) 1
agricultural industry (1) 1
agriculture (1) 1
agriculture/pasture (1) 1
agronomy (1) 1
albedo (1) 1
algebra (1) 1
algorithms (1) 1
alternatives (1) 1
analog computation; recursion theory; iteration; differentially algebraic functions; primitive recursive functions (1) 1
angles (1) 1
animal behavior (1) 1
animals (1) 1
anisotropie (1) 1
anisotropy (1) 1
anthropogenic factors (1) 1
anthropogenic fires (1) 1
arnhem-land (1) 1
arrays (1) 1
atmospheric carbon dioxide (1) 1
auflösungsvermögen (1) 1
australia (1) 1
bidirectional reflectance (1) 1
biodiversity (1) 1
biodiversity conservation (1) 1
bioinformatics (1) 1
biological diversity conservation (1) 1
biomedical engineering (1) 1
biomedical materials (1) 1
biosphere-atmosphere experiment (1) 1
brazilian legal amazon (1) 1
brdf (1) 1
cadmium (1) 1
cervical cancer (1) 1
cervical-cancer (1) 1
cervix uteri - virology (1) 1
church-turing thesis (1) 1
church–turing thesis (1) 1
cin (1) 1
cin2 (1) 1
more...
Language Language
Publication Date Publication Date
Click on a bar to filter by decade
Slide to change publication date range


Remote Sensing, ISSN 2072-4292, 2015, Volume 7, Issue 7, pp. 9325 - 9346
Journal Article
Information and Computation, ISSN 0890-5401, 2011, Volume 209, Issue 8, pp. 1135 - 1159
The functions of are defined by enhancing normal Turing machines to deal with real number inputs. We consider characterizations of these functions using... 
Computable analysis | Analog computation | Function algebras | Real recursive functions | Differential equations | RECURSIVE FUNCTIONS | MACHINES | MATHEMATICS, APPLIED | INTERVALS | COMPUTER SCIENCE, THEORY & METHODS | REAL NUMBERS
Journal Article
Global Ecology and Biogeography, ISSN 1466-822X, 07/2017, Volume 26, Issue 7, pp. 799 - 811
Journal Article
Agricultural Water Management, ISSN 0378-3774, 03/2018, Volume 201, pp. 188 - 198
This study is based on the application of an existing simplified two-source energy balance (STSEB) model, using medium-resolution satellite imagery (Landsat)... 
Transpiration | Evaporation | Landsat | Evaporative fraction method | STRESS COEFFICIENTS | AGRONOMY | TRIANGLE METHOD | WATER RESOURCES | PRIESTLEY-TAYLOR | FRACTION DIURNAL BEHAVIOR | ESTIMATING EVAPORATION | SATELLITE IMAGERY | LATENT-HEAT FLUX | ATMOSPHERIC CORRECTION | ENERGY-BALANCE MODEL | LAND-SURFACE TEMPERATURE
Journal Article
Archive for Mathematical Logic, ISSN 0933-5846, 5/2008, Volume 46, Issue 7, pp. 593 - 627
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the... 
68Q15 | Algebra | Elementary computable | Mathematics, general | Mathematics | Computable analysis | Real recursive functions | Mathematical Logic and Foundations | RECURSIVE FUNCTIONS | MATHEMATICS | real recursive functions | elementary computable | LOGIC | computable analysis | HIERARCHY | Theorems | Simulation | Alternatives
Journal Article
Applied Mathematics and Computation, ISSN 0096-3003, 2009, Volume 215, Issue 4, pp. 1375 - 1385
In this paper we study from a computational perspective some properties of the solutions of polynomial ordinary differential equations. We consider elementary... 
Turing machines | Dynamical systems | Differential equations | Computability | RECURSIVE FUNCTIONS | MATHEMATICS, APPLIED | DYNAMICAL-SYSTEMS | COMPLEXITY | ANALOG-COMPUTERS | HYBRID
Journal Article
Advances in Applied Mathematics, ISSN 0196-8858, 2008, Volume 40, Issue 3, pp. 330 - 349
In this paper, we show that there are initial value problems defined with polynomial ordinary differential equations that can simulate universal Turing... 
MATHEMATICS, APPLIED | UNIQUE SOLUTION | DYNAMICAL-SYSTEMS | REAL RECURSIVE FUNCTIONS | WAVE-EQUATION | ANALOG-COMPUTERS | COMPUTATION | TURING-MACHINES | ANALYTIC-MAPS | INITIAL DATA | HIERARCHY
Journal Article
Lecture Notes in Computer Science, ISSN 0302-9743, 2005, Volume 3526, pp. 169 - 179
In this paper, we show that closed-form analytic maps and flows can simulate Turing machines in an error-robust manner. The maps and ODEs defining the flows... 
UNIQUE SOLUTION | DYNAMICAL-SYSTEMS | REAL RECURSIVE FUNCTIONS | WAVE-EQUATION | COMPUTER SCIENCE, THEORY & METHODS | ANALOG-COMPUTERS | COMPUTATION | INITIAL DATA | HIERARCHY
Conference Proceeding
Journal of Complexity, ISSN 0885-064X, 2007, Volume 23, Issue 3, pp. 317 - 335
Journal Article
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN 0302-9743, 2007, Volume 4664, pp. 39 - 61
Conference Proceeding
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 12/2008, Volume 221, Issue C, pp. 23 - 35
The functions of Computable Analysis are defined by enhancing the capacities of normal Turing Machines to deal with real number inputs. We consider... 
Computable Analysis | Differential Equations | Real Recursive Functions
Journal Article
2006, Lecture Notes in Computer Science, ISBN 3540340211, Volume 3959, 13
In this paper we revisit one of the first models of analog computation, Shannon’s General Purpose Analog Computer (GPAC). The GPAC has often been argued to be... 
Mathematics of Computing | Computer Science | Computation by Abstract Devices | Computing Methodologies | Theory of Computation | Algorithm Analysis and Problem Complexity | Bioinformatics | RECURSIVE FUNCTIONS | NUMBERS | REALS | DIFFERENTIAL-EQUATIONS | COMPUTER SCIENCE, THEORY & METHODS | TURING-MACHINES | ANALYTIC-MAPS
Book Chapter
Electronic Notes in Theoretical Computer Science, ISSN 1571-0661, 01/2007, Volume 167, pp. 387 - 423
The basic motivation behind this work is to tie together various computational complexity classes, whether over different domains such as the naturals or the... 
Computable Analysis | Elementary Computable | Real Recursive Functions
Journal Article