143 search results - page 4 / 29 » ams 2007 |
AML
2004
13 years 5 months ago
2004
We examine the conditions under which we can keep simplicity or categoricity after adding a Skolem function to the theory. AMS classification: 03C45 , 03C50
APPML
2007
13 years 6 months ago
2007
We gain solvability to a system of nonlinear, second-order ordinary differential equations subject to a range of boundary conditions. The ideas involve differential inequalities...
FDL
2007
IEEE
13 years 10 months ago
2007
IEEE
Abstract-- Analog and Mixed Signal (AMS) designs are important integrated systems that link digital circuits to the analog world. Following the success of PSL verification methodol...
BC
2005
13 years 5 months ago
2005
Amesoscopicfield-theoreticapproachiscompared with neural network and brain imaging approaches to understanding brain dynamics. Analysis of high spatiotemporal resolution rabbit ele...
AMS
2007
Springer
13 years 10 months ago
2007
Springer
Navigation and application functionality of mobile robots rely on their collision-avoiding capabilities, also known as local navigation. We present the mobile robot ARTOS (Autonomo...