14782 search results - page 2926 / 2957 » Activities in Object Bases |
109
click to vote
CORR
2008
Springer
15 years 2 months ago
2008
Springer
In this paper two scheduling models are addressed. First is the standard model (unicast) where requests (or jobs) are independent. The other is the broadcast model where broadcast...
152
click to vote
CPHYSICS
2010
15 years 2 months ago
2010
We investigate fully parallel Newton-Krylov-Schwarz (NKS) algorithms for solving the large sparse nonlinear systems of equations arising from the finite element discretization of ...
112
click to vote
ENTCS
2008
15 years 2 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
135
Voted
ARTMED
2006
15 years 2 months ago
2006
Objective: Currently, visualization support for patient data analysis is mostly limited to the representation of directly measured data. Contextual information on performed treatm...
BMCBI
2006
15 years 1 months ago
2006
Background: The aim of protein design is to predict amino-acid sequences compatible with a given target structure. Traditionally envisioned as a purely thermodynamic question, thi...