APAL
2011
13 years 6 months ago
2011
We develop the theory of domination by stable types and stable weight in an arbitrary theory.
IJBC
2010
13 years 8 months ago
2010
We analyze the dynamics of a deterministic model of inhibitory neuronal networks proving that the discontinuities of the Poincar
ICNP
2009
IEEE
13 years 9 months ago
2009
IEEE
Abstract--Recent technological advances have motivated largescale deployment of RFID systems. RFID readers are often static and carefully deployed in a planned manner. However, the...
IPPS
2010
IEEE
13 years 9 months ago
2010
IEEE
Abstract--In this work, we study the problem of routing packets between undifferentiated sources and sinks in a network modeled by a multigraph. We consider a distributed and local...
IJAR
2010
13 years 10 months ago
2010
The logical and algorithmic properties of stable conditional independence (CI) as an alternative structural representation of conditional independence information are investigated...
MOC
2000
13 years 11 months ago
2000
This paper continues earlier work by the same author concerning the stability and B-convergence properties of multistep Runge-Kutta methods for the numerical solution of nonlinear ...
MSS
2008
IEEE
13 years 11 months ago
2008
IEEE
Abstract. We study farsighted coalitional stability in the context of TUgames. Chwe (1994, p.318) notes that, in this context, it is difficult to prove nonemptiness of the largest ...
IANDC
2006
13 years 11 months ago
2006
It is well-known that stable models (as dI-domains, qualitative domains and coherence are not fully abstract for the language PCF. This fact is related to the existence of stable ...
CORR
2010
Springer
13 years 11 months ago
2010
Springer
It is well known that a stable matching in a many-to-one matching market with couples need not exist. We introduce a new matching algorithm for such markets and show that for a ge...
BIOINFORMATICS
2008
13 years 11 months ago
2008
Motivation: For many biotechnological purposes, it is desirable to redesign proteins to be more structurally and functionally stable at higher temperatures. For example, chemical ...