Sciweavers

2594 search results - page 118 / 519
» Elements of a Theory of Simulation
Sort
View
HIPEAC
2007
Springer
14 years 22 days ago
Sunflower :  Full-System, Embedded Microarchitecture Evaluation
Abstract. This paper describes Sunflower, a full-system microarchitectural evaluation environment for embedded computing systems. The environment enables detailed microarchitectura...
Phillip Stanley-Marbell, Diana Marculescu
WSC
2004
13 years 10 months ago
Future of Simulation in Biotechnology Industry
In the 21st century, the Biotechnology industry has the potential to inspire a number of management tools and theories, just as the Automobile industry did in the 20th century. Th...
Prasad V. Saraph
AAAI
2008
13 years 11 months ago
Grounding with Bounds
Grounding is the task of reducing a first-order theory to an equivalent propositional one. Typical grounders work on a sentence-by-sentence level, substituting variables by domain...
Johan Wittocx, Maarten Mariën, Marc Denecker
APAL
2010
97views more  APAL 2010»
13 years 7 months ago
The free n-generated BL-algebra
The theory of Schauder hats is a beautiful and powerful tool for investigating, under several respects, the algebraic semantics of Lukasiewicz infinite-valued logic [CDM99], [MMM07...
Stefano Aguzzoli, Simone Bova
JCC
2011
87views more  JCC 2011»
13 years 3 months ago
Determining equilibrium constants for dimerization reactions from molecular dynamics simulations
Abstract: With today’s available computer power, free energy calculations from equilibrium molecular dynamics simulations “via counting” become feasible for an increasing num...
Djurre H. De Jong, Lars V. Schäfer, Alex H. D...