27913 search results - page 572 / 5583 » Simulation |
135
Voted
ENTCS
2010
15 years 5 months ago
2010
This paper gives an overview of two methods for automatically or semi-automatically generating deduction calculi from the semantic specification of a logic. One approach is based ...
127
click to vote
ENGL
2008
15 years 5 months ago
2008
A Lagrangian front-tracking scheme incorporating Contour Advection with Surgery (CAS) is used to simulate turbulent premixed combustion. This paper presents results from calculatio...
141
click to vote
BMCBI
2006
15 years 5 months ago
2006
Background: Simulation of DNA-microarray data serves at least three purposes: (i) optimizing the design of an intended DNA microarray experiment, (ii) comparing existing pre-proce...
121
click to vote
CPHYSICS
2006
15 years 5 months ago
2006
We describe a revised and updated version of the program package SMMP (Simple Molecular Mechanics for Proteins) [F. Eisenmenger, U.H.E. Hansmann, Sh. Hayryan, C.-K. Hu, Comput. Ph...
128
click to vote
CI
2007
15 years 5 months ago
2007
In this paper we present a computational approach to developing effective training systems for virtual simulation environments. In particular, we focus on a Naval simulation syste...