1280 search results - page 86 / 256 » Soft Typing with Conditional Types |
BMCBI
2006
13 years 9 months ago
2006
Background: An important step in understanding the conditions that specify gene expression is the recognition of gene regulatory elements. Due to high diversity of different types...
HEURISTICS
2006
13 years 9 months ago
2006
In this paper we develop a heuristic algorithm, based on Scatter Search, for project scheduling problems under partially renewable resources. This new type of resource can be view...
JSYML
2007
13 years 9 months ago
2007
We give a necessary and sufficient condition in order that a typeshifting automorphism be constructed on a model of the Theory of Simple Types (TST) by forcing. Namely it is prove...
MOC
2000
13 years 9 months ago
2000
Abstract. We study the convergence properties of the cascadic conjugategradient method (CCG-method), which can be considered as a multilevel method without coarse-grid correction. ...
MOC
1998
13 years 8 months ago
1998
Abstract. In seeking suitable Runge-Kutta methods for differential algebraic equations, we consider singly-implicit methods to which are appended diagonally-implicit stages. Metho...