202views Hardware» more  CAV 2011»
12 years 9 months ago
Simplifying Loop Invariant Generation Using Splitter Predicates
Abstract. We present a novel static analysis technique that substantially improves the quality of invariants inferred by standard loop invariant generation techniques. Our techniqu...
Rahul Sharma 0001, Isil Dillig, Thomas Dillig, Ale...
94views more  IJAMCIGI 2010»
13 years 1 months ago
A Study of Tabu Search for Coloring Random 3-Colorable Graphs Around the Phase Transition
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 ...
Jean-Philippe Hamiez, Jin-Kao Hao, Fred W. Glover
105views more  EWC 2000»
13 years 6 months ago
Design Families and Design Individuals
: 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...
Xiao-Guang Shi, John S. Gero
106views more  BC 2005»
13 years 6 months ago
Phase transitions in the neuropercolation model of neural populations with mixed local and non-local interactions
Abstract We model the dynamical behavior of the neuropil, the densely interconnected neural tissue in the cortex, using neuropercolation approach. Neuropercolation generalizes phas...
Robert Kozma, Marko Puljic, Paul Balister, B&eacut...
65views more  BC 2005»
13 years 6 months ago
A field-theoretic approach to understanding scale-free neocortical dynamics
Amesoscopicfield-theoreticapproachiscompared with neural network and brain imaging approaches to understanding brain dynamics. Analysis of high spatiotemporal resolution rabbit ele...
Walter J. Freeman
98views more  CPHYSICS 2007»
13 years 6 months ago
A generic model for lipid monolayers, bilayers, and membranes
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...
Friederike Schmid, Dominik Düchs, Olaf Lenz, ...
13 years 7 months ago
Phase Transitions of the Asymmetric Traveling Salesman
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...
Weixiong Zhang
14 years 24 days ago
Phase Transition of Active Rotators in Complex Networks
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 ...
Seung-Woo Son, Hawoong Jeong, Hyunsuk Hong