5863 search results - page 36 / 1173 » Calculating Functional Programs |
ELP
1989
14 years 8 days ago
1989
ICSOFT
2009
13 years 6 months ago
2009
APSEC
2002
IEEE
14 years 1 months ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
BMCBI
2010
13 years 9 months ago
2010
Background: Considering energy function to detect a correct protein fold from incorrect ones is very important for protein structure prediction and protein folding. Knowledge-base...
WSC
2007
13 years 11 months ago
2007
The C source code associated with the Simulation 101 preconference workshop (offered at the 2006 and 2007 Winter Simulation Conferences) is presented here. This paper begins with ...