Sciweavers

81 search results - page 3 / 17
» Typed Common Intermediate Format
Sort
View
BMCBI
2008
93views more  BMCBI 2008»
13 years 8 months ago
A software application for comparing large numbers of high resolution MALDI-FTICR MS spectra demonstrated by searching candidate
Background: A JavaTM application is presented, which compares large numbers (n > 100) of raw FTICR mass spectra from patients and controls. Two peptide profile matrices can be ...
Mark K. Titulaer, Dana A. N. Mustafa, Ivar Siccama...
TLCA
2007
Springer
14 years 2 months ago
Initial Algebra Semantics Is Enough!
Initial algebra semantics is a cornerstone of the theory of modern functional programming languages. For each inductive data type, it provides a fold combinator encapsulating struc...
Patricia Johann, Neil Ghani
APCCM
2006
13 years 9 months ago
Defining and implementing domains with multiple types using mesodata modelling techniques
The integration of data from different sources often leads to the adoption of schemata that entail a loss of information in respect of one or more of the data sets being combined....
Sally Rice, John F. Roddick, Denise de Vries
AIED
2005
Springer
14 years 1 months ago
Iterative Evaluation of a Large-Scale, Intelligent Game for Language Learning
Educational content developers, including AIED developers, traditionally make a distinction between formative evaluation and summative evaluation of learning materials. Although th...
W. Lewis Johnson, Carole R. Beal
SEMWEB
2001
Springer
14 years 9 days ago
A Scalable Framework for the Interoperation of Information Sources
Resolving heterogeneity among information systems is a crucial necessity if we wish to gain value from the many distributed resources available to us. Problems of heterogeneity in ...
Prasenjit Mitra, Gio Wiederhold, Stefan Decker