Sciweavers

936 search results - page 16 / 188
» Mathematical Models of Endocrine Systems
Sort
View
ILP
2003
Springer
14 years 3 months ago
ILP for Mathematical Discovery
We believe that AI programs written for discovery tasks will need to simultaneously employ a variety of reasoning techniques such as induction, abduction, deduction, calculation an...
Simon Colton, Stephen Muggleton
MKM
2005
Springer
14 years 3 months ago
An Exploration in the Space of Mathematical Knowledge
Abstract. Although knowledge is a central topic for MKM there is little explicit discussion on what ‘knowledge’ might actually be. There are specific intuitions about form and...
Andrea Kohlhase, Michael Kohlhase
POPL
2011
ACM
13 years 20 days ago
Mathematizing C++ concurrency
Shared-memory concurrency in C and C++ is pervasive in systems programming, but has long been poorly defined. This motivated an ongoing shared effort by the standards committees ...
Mark Batty, Scott Owens, Susmit Sarkar, Peter Sewe...
CDC
2010
IEEE
147views Control Systems» more  CDC 2010»
13 years 4 months ago
Estimation of general nonlinear state-space systems
This paper presents a novel approach to the estimation of a general class of dynamic nonlinear system models. The main contribution is the use of a tool from mathematical statistic...
Brett Ninness, Adrian Wills, Thomas B. Schön
CASC
2006
Springer
410views Mathematics» more  CASC 2006»
14 years 1 months ago
A Symbolic-Numeric Approach to Tube Modeling in CAD Systems
In this note we present a symbolic-numeric method to the problem of tube modeling in CAD systems. Our approach is based on the Kirchhoff kinetic analogy which allows us to find ana...
Gerrit Sobottka, Andreas Weber 0004