77016 search results - page 258 / 15404 » Modeling |
135
click to vote
WSC
2001
15 years 5 months ago
2001
This document talks about the usage of Simulation Data Exchange (SDX) (Moorthy 1999) in order to enable a consistent digital model of automotive factories. The scope of the digita...
WSC
2004
15 years 5 months ago
2004
We describe a characterization the three classical world views of event scheduling, activity scanning, and process interaction and discuss transformations among them. We believe t...
126
click to vote
WSC
1998
15 years 5 months ago
1998
This paper presents EarthMover, a discrete-event special-purpose simulation modeling tool for earthwork planning geared towards practitioners. The paper explores the capabilities ...
123
click to vote
ALIFE
2007
15 years 4 months ago
2007
Robert Rosen’s central theorem states that organisms are fundamentally different to machines, mainly because they are ‘‘closed with respect to effcient causation.’’ The p...
109
click to vote
JSYML
2007
15 years 4 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...