268 search results - page 22 / 54 » Mixing time for the solid-on-solid model |
79
Voted
CPC
2007
14 years 11 months ago
2007
d Abstract) Colin Cooper∗ , Martin Dyer† and Catherine Greenhill‡ We consider a simple Markov chain for d-regular graphs on n vertices, and show that the mixing time of this...
161
click to vote
COR
2011
14 years 6 months ago
2011
This article comprises the first theoretical and computational study on mixed integer programming (MIP) models for the connected facility location problem (ConFL). ConFL combines...
WSC
2008
2008
Optimizing staffing schedule in light of patient satisfaction for the whole outpatient hospital ward
15 years 2 months ago
The waiting time for patients in outpatient departments of hospitals is a problem throughout the world. In this context, a discrete-event-simulation model was developed to examine...
WSC
1998
15 years 1 months ago
1998
The manufacture of pre-cast concrete building elements consists of a few manufacturing steps. The process itself is simple, but the characteristics of the business are quite rando...
112
click to vote
CAV
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. CirCUs is a satisfiability solver that works on a combination of AndInverter-Graph, CNF clauses, and BDDs. It has been designed to work well with bounded model checking. ...