3222 search results - page 188 / 645 » A Data Model for Effectively Computable Functions |
91
Voted
CCGRID
2005
IEEE
15 years 3 months ago
2005
IEEE
Running Data Grid applications such as High Energy Nuclear Physics (HENP) and weather modelling experiments involves working with huge data sets possibly of hundreds of Terabytes ...
CORR
2010
Springer
14 years 5 months ago
2010
Springer
am analysis and has been widely studied. In this paper we consider this problem at the abstraction level of program schemas in which computations occur in the Herbrand domain of te...
CIDM
2007
IEEE
15 years 4 months ago
2007
IEEE
— In climate models, aerosol forcing is the major source of uncertainty in climate forcing, over the industrial period. To reduce this uncertainty, instruments on satellites have...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
The latest computer and communication technologies in combination with an enhanced ECG analysis system can be used to improve cardiac patient's follow-up out-of-hospital. In ...
ISMB
2004
14 years 11 months ago
2004
Motivation: Sigma factors regulate the expression of genes in Bacillus subtilis at the transcriptional level. First we assess the ability of currently available gene regulatory ne...