700 search results - page 28 / 140 » Towards a theory of |
ISSAC
2005
Springer
14 years 1 months ago
2005
Springer
In this article we propose a new symbolic-numeric algorithm to find positive equilibria of a n-dimensional dynamical system. This algorithm uses a symbolic manipulation of ODE in...
JSC
2010
13 years 6 months ago
2010
In this primarily expository article, I describe geometric approaches to variants of P v. NP, present several results that illustrate the role of group actions in complexity theory...
APAL
1999
13 years 7 months ago
1999
We provide here the first steps toward a Classification Theory of Elementary Classes with no maximal models, plus some mild set theoretical assumptions, when the class is categori...
MMS
2006
13 years 7 months ago
2006
Abstract In this paper we describe a form of communication that could be used for lifelong learning as contribution to cultural computing. We call it Kansei Mediation. It is a mult...
ISOLA
2010
Springer
13 years 6 months ago
2010
Springer
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today’s and future digital systems that increasingly need be connected. The resulting...