First-Order Logic

Detecting Unsolvable Queries for Definite Logic Programs

Computer Software / Functional Logic Programming / First-Order Logic / Model Generation

A three species competition model as a decision support tool

Multidisciplinary / Ecological Modelling / South Africa / First-Order Logic / Decision support tool / Eigenvalue analysis / Local Extinction / Field Data / Vegetation Structure / Eigenvalue analysis / Local Extinction / Field Data / Vegetation Structure

Caracterización morfométrica de la cuenca alta del arroyo Las Lajas, Córdoba: Un análisis estadístico

Geology / Statistical Analysis / First-Order Logic

Algebraic separation logic

Algebra / Formal Semantics / Mathematical Sciences / Separation Logic / First-Order Logic / Programming language

Precambrian sequence stratigraphy

Geology / Sequence Stratigraphy / Sedimentary Basins / Sedimentary Geology / First-Order Logic

Controls on Precambrian sea level change and sedimentary cyclicity

Geology / Sequence Stratigraphy / Mid Ocean Ridge / Precambrian / Case Study / Sedimentary Geology / First-Order Logic / Cyclic Loading / Steady state / Hot Spot / Second Order / Heat Flow / Magma Chamber / Mantle plume / Sea Level Change / Relative Sea Level / Sedimentary Geology / First-Order Logic / Cyclic Loading / Steady state / Hot Spot / Second Order / Heat Flow / Magma Chamber / Mantle plume / Sea Level Change / Relative Sea Level

Low power CMOS adaptive electronic central pattern generator design

Adaptive Control / VLSI / Circuits and Systems / Robots / First-Order Logic / Low Power Electronics

A low power 65nm CMOS electronic neuron and synapse design for a biomimetic micro-robot

Biomimetics / Power Consumption / First-Order Logic / Chip

Low power CMOS electronic central pattern generator design for a biomimetic underwater robot

Engineering / Power Consumption / Oscillations / Low Power / First-Order Logic / Low Power Consumption / Neurocomputing / Low Power Consumption / Neurocomputing

Near-lossless compression algorithm for Bayer pattern color filter arrays

Image Processing / Algorithm / Image Quality / Image compression / Image Reconstruction / Quantization / Image Restoration / First-Order Logic / Structural Transformation / Visual Quality / Lossless Compression / Compression Ratio / Quantization / Image Restoration / First-Order Logic / Structural Transformation / Visual Quality / Lossless Compression / Compression Ratio

Mass transfer to tubular electrodes. Part 2: CE process

Mass Transfer / Mathematical Sciences / Electron Transfer / First-Order Logic / Mathematical chemistry / Chemical equilibrium / CHEMICAL SCIENCES / Chemical Reaction / Charge transfer / Flow Rate / Experimental Measurement / Kinetic Equation / Linear Sweep Voltammetry / Chemical equilibrium / CHEMICAL SCIENCES / Chemical Reaction / Charge transfer / Flow Rate / Experimental Measurement / Kinetic Equation / Linear Sweep Voltammetry

Automatic extraction of model parameters from fundamental frequency contours of English utterances

Fundamental Frequency / First-Order Logic / Process Model

CORCORAN-HAZEN-MASOUD: HAZEN’S EXISTENTIAL-IMPORT LEMMA

Logic And Foundations Of Mathematics / Logic / Fuzzy Logic / History of Logic / Philosophical Logic / Philosophy of Logic / Logical Constants / Mathematical Logic / Elementary Number Theory / History of Informal Logic / C. I. Lewis / First-Order Logic / First Order Predicate Calculus / Foundations of Mathematics / First Order Logic / Elementary Logic / Existential import / JOHN CORCORAN / Philosophy of Logic / Logical Constants / Mathematical Logic / Elementary Number Theory / History of Informal Logic / C. I. Lewis / First-Order Logic / First Order Predicate Calculus / Foundations of Mathematics / First Order Logic / Elementary Logic / Existential import / JOHN CORCORAN

Local empathy provides global minimization of congestion in communication networks

Engineering / Complex System / Mathematical Sciences / Complex network / Physical sciences / First-Order Logic / Nonlinear Dynamics and Chaos / Self Organization / Second Order / Critical Loads / Local Knowledge / Community Networks / Markov Process / First-Order Logic / Nonlinear Dynamics and Chaos / Self Organization / Second Order / Critical Loads / Local Knowledge / Community Networks / Markov Process

Local Empathy provides Global Minimization of Congestion in Communication Networks

Engineering / Complex System / Mathematical Sciences / Complex network / Physical sciences / First-Order Logic / Nonlinear Dynamics and Chaos / Self Organization / Second Order / Critical Loads / Local Knowledge / Community Networks / Markov Process / First-Order Logic / Nonlinear Dynamics and Chaos / Self Organization / Second Order / Critical Loads / Local Knowledge / Community Networks / Markov Process

Cosmology with exponential potentials

General Relativity / Mathematical Sciences / Physical sciences / First-Order Logic / Cosmological Constant / Gravity(classical and Quantum) / Initial Condition / Ordinary Differential Equation / Gravity(classical and Quantum) / Initial Condition / Ordinary Differential Equation

«
1
2
3
4
5
6
7
8
»

Copyright © 2017 DATOSPDF Inc.