CAV
2011
Springer
12 years 8 months ago
2011
Springer
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
IJAMCIGI
2010
12 years 11 months ago
2010
We present an experimental investigation of tabu search (TS) to solve the 3-coloring problem (3-COL). Computational results reveal that a basic TS algorithm is able to find proper ...
EWC
2000
13 years 4 months ago
2000
: This paper discusses design families and design individuals. Phase space is introduced to complement state space. Phase transition as a generic method of generating design famili...
BC
2005
13 years 4 months ago
2005
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...
BC
2005
13 years 4 months ago
2005
Amesoscopicfield-theoreticapproachiscompared with neural network and brain imaging approaches to understanding brain dynamics. Analysis of high spatiotemporal resolution rabbit ele...
CPHYSICS
2007
13 years 4 months ago
2007
We describe a simple coarse-grained model which is suited to study lipid layers and their phase transitions. Lipids are modeled by short semiflexible chains of beads with a solvo...
IJCAI
2003
13 years 5 months ago
2003
We empirically study phase transitions of the asymmetric Traveling Salesman. Using random instances of up to 1,500 cities, we show that many properties of the problem, including t...
COMPLEX
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We study the nonequilibrium phenomena of a coupled active rotator model in complex networks. From a numerical Langevin simulation, we find the peculiar phase transition ...