9521 search results - page 1565 / 1905 » Compiling with continuations, continued |
171
click to vote
JCAM
2011
14 years 9 months ago
2011
Collocation methods are a well developed approach for the numerical solution of smooth and weakly-singular Volterra integral equations. In this paper we extend these methods, thro...
173
click to vote
JSYML
2011
14 years 9 months ago
2011
This paper continues the study of the Ramsey-like large cardinals introduced in [Git09] and [WS08]. Ramsey-like cardinals are defined by generalizing the “existence of elementar...
162
click to vote
NAR
2011
14 years 9 months ago
2011
The ThYme (Thioester-active enzYme; http://www .enzyme.cbirc.iastate.edu) database has been constructed to bring together amino acid sequences and 3D (tertiary) structures of all ...
158
click to vote
NAR
2011
14 years 9 months ago
2011
Since its inception in 1994, The RNA Modification Database (RNAMDB, http://rna-mdb.cas.albany. edu/RNAmods/) has served as a focal point for information pertaining to naturally oc...
199
click to vote
NAR
2011
14 years 9 months ago
2011
T1DBase (http://www.t1dbase.org) is web platform, which supports the type 1 diabetes (T1D) community. It integrates genetic, genomic and expression data relevant to T1D research a...