1451 search results - page 49 / 291 » Case Studies in Model Manipulation for Scientific Computing |
146
Voted
EDBT
2010
ACM
15 years 7 months ago
2010
ACM
Data mining is increasingly performed by people who are not computer scientists or professional programmers. It is often done as an iterative process involving multiple ad-hoc tas...
158
click to vote
LOGCOM
2008
15 years 4 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
141
click to vote
ACMSE
2008
ACM
15 years 6 months ago
2008
ACM
Indirection exists between the virtual objects that form the computer interface and the input devices through which the user interacts to manipulate these objects. This paper stud...
134
Voted
BMCBI
2008
15 years 4 months ago
2008
Background: Empirical binding models have previously been investigated for the energetics of protein complexation (G models) and for the influence of mutations on complexation (i....
131
click to vote
APSCC
2009
IEEE
15 years 9 months ago
2009
IEEE
—Archive is a collection of historical records which have been accumulated over the course of an individual and institution’s lifetime. Archive is considered as an invaluable a...