20573 search results - page 175 / 4115 » The Computer's New Clothes |
156
click to vote
MIC
2003
15 years 5 months ago
2003
A lumped heat transfer model and parameter estimation technique are proposed for determining key parameters associated with a heat flux Differential Scanning Calorimeter (DSC). T...
149
click to vote
ECIS
2000
15 years 5 months ago
2000
- Computer based information systems (IS) in work-based organisation are generally acknowledged as incorporating a social as well as technical dimension. Information system strateg...
124
Voted
WSCG
2003
15 years 5 months ago
2003
In this paper we describe a basis for a system that is able to compute actual scientific and realistic visualization methods in parallel. It is capable to integrate easily in mod...
155
click to vote
ISMB
1998
15 years 5 months ago
1998
Traditionally, biochemical systems are modelled usingkinetics anddifferential equationsin a quantitative simulator. However,for manybiological processes detailed quantitative info...
149
click to vote
BIRTHDAY
2010
Springer
15 years 4 months ago
2010
Springer
In this paper, we present an overview to programming with proofs in the reasoning framework, Beluga. Beluga supports the specification of formal systems given by axioms and inferen...