5863 search results - page 1065 / 1173 » On Model-Checking of P Systems |
124
click to vote
GRID
2007
Springer
15 years 3 months ago
2007
Springer
It is often difficult to perform efficiently a collection of jobs with complex job dependencies due to temporal unpredictability of the grid. One way to mitigate the unpredictabili...
NAR
2006
15 years 3 months ago
2006
sgTarget (http://www.ysbl.york.ac.uk/sgTarget) is a web-based resource to aid the selection and prioritization of candidate proteins for structure determination. The system annota...
164
click to vote
NAR
2006
15 years 3 months ago
2006
The Yeast Gene Order Browser (YGOB) is an online tool designed to facilitate the comparative genomic visualization and appraisal of synteny within and between the genomes of seven...
151
click to vote
SIAMSC
2008
15 years 3 months ago
2008
We present a two-phase algorithm for solving large-scale quadratic programs (QPs). In the first phase, gradient-projection iterations approximately minimize an augmented Lagrangian...
107
click to vote
SYNTHESE
2008
15 years 3 months ago
2008
Abstract. Consciousness supervenes on activity; computation supervenes on structure. Because of this, some argue, conscious states cannot supervene on computational ones. If true, ...