Sciweavers

938 search results - page 15 / 188
» Mathematical Modelling the Ethnic System
Sort
View
DAS
2008
Springer
15 years 2 months ago
An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts
Certain forms of mathematical expression are used more often than others in practice. A quantitative understanding of actual usage can provide additional information to improve th...
Stephen M. Watt
ILP
2003
Springer
15 years 5 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
108
Voted
MKM
2005
Springer
15 years 5 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
14 years 3 months 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...
158
Voted
CASC
2006
Springer
410views Mathematics» more  CASC 2006»
15 years 4 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