536 search results - page 29 / 108 » A computer verified, monadic, functional implementation of t... |
166
click to vote
WSC
2004
15 years 7 months ago
2004
This paper demonstrates the utilization of immersive virtual reality environments in the investigation of operations simulation results. The authors outline the benefits offered b...
168
click to vote
RECOMB
2003
Springer
16 years 6 months ago
2003
Springer
We develop a new framework for inferring models of transcriptional regulation. The models in this approach, which we call physical models, are constructed on the basis of verifiab...
156
click to vote
CEC
2008
IEEE
16 years 15 days ago
2008
IEEE
— This work is part of a project that aims to develop and operate integrated evolvable hardware systems using unconstrained evolution. Experiments are carried out on an evolvable...
178
click to vote
FPL
2006
Springer
15 years 9 months ago
2006
Springer
A novel framework shows the potential of FPGA-based systems for increasing fault-tolerance and flexibility by placing functionality onto free hardware (HW) or software (SW) resour...
177
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: CellML is an XML based language for representing mathematical models, in a machine-independent form which is suitable for their exchange between different authors, and...