7623 search results - page 107 / 1525 » Constructive Volume Modeling |
AML
2010
15 years 2 months ago
2010
In this paper a method to construct Kripke models for subtheories of constructive set theory is introduced that uses constructions from classical model theory such as constructibl...
85
Voted
WSC
2007
15 years 4 months ago
2007
Carondelet St. Mary’s Hospital (Tucson, Arizona), the Ascension Health Operations Resource Group and FDI Simulation team worked collaboratively to improve hospital flow and incr...
139
Voted
BILDMED
2004
15 years 3 months ago
2004
In this paper we present a level-set framework for accurate and efficient extraction of the surface of a brain from MRI data. To prevent the so-called partial volume effect we use ...
112
Voted
WSC
2007
15 years 4 months ago
2007
Construction projects produce serious environmental pollution and great annoyance to the neighbouring community due to construction noise. This paper presents an application of th...
97
Voted
ANTSW
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The building behaviour of termites has previously been modelled mathematically in two dimensions. However, physical and logistic constraints were not taken into account i...