3179 search results - page 113 / 636 » Applications of PCF Theory |
JCC
2008
13 years 9 months ago
2008
Abstract: This article presents a novel concept, the minimal molecular surface (MMS), for the theoretical modeling of biomolecules. The MMS can be viewed as a result of the surface...
JNS
2008
13 years 9 months ago
2008
The theory of monotone dynamical systems has been found very useful in the modeling of some gene, protein, and signaling networks. In monotone systems, every net feedback loop is p...
ESI
2010
13 years 7 months ago
2010
— We present applications of uncertainty visualization methods to a global meteorological model, allowing better understanding of the composition of the local environment of deve...
LOGCOM
2010
13 years 7 months ago
2010
In most theorem proving applications, a proper treatment of equational theories or equality is mandatory. In this paper we show how to integrate a modern treatment of equality in ...
TPLP
2010
13 years 7 months ago
2010
In this paper we explore the use of Answer Set Programming (ASP) to formalize, and reason about, psychological knowledge. In the field of psychology, a considerable amount of kno...