742 search results - page 53 / 149 » On the Scalable Computation of Large Sets of Integrals |
NETWORK
2007
14 years 11 months ago
2007
Along with recent advances in mobile networking and portable computing technologies, there is a trend in the telecommunications industry toward the development of efficient ubiqui...
114
click to vote
ICTAC
2009
Springer
14 years 9 months ago
2009
Springer
Testing from first-order specifications has mainly been studied for flat specifications, that are specifications of a single software module. However, the specifications of large s...
154
click to vote
BMCBI
2007
14 years 12 months ago
2007
Background: Detecting groups of functionally related proteins from their amino acid sequence alone has been a long-standing challenge in computational genome research. Several clu...
105
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: T-cell epitopes that promiscuously bind to multiple alleles of a human leukocyte antigen (HLA) supertype are prime targets for development of vaccines and immunotherap...
123
click to vote
ICFP
2010
ACM
15 years 28 days ago
2010
ACM
Modern proof assistants such as Coq and Isabelle provide high degrees of expressiveness and assurance because they support formal reasoning in higher-order logic and supply explic...