28445 search results - page 5489 / 5689 » Anatomically based modeling |
151
click to vote
INFOCOM
2009
IEEE
16 years 1 months ago
2009
IEEE
—The topology of the Internet has been extensively studied in recent years, driving a need for increasingly complex measurement infrastructures. These measurements have produced ...
198
click to vote
ISPAN
2009
IEEE
16 years 1 months ago
2009
IEEE
— Scientific computing often requires the availability of a massive number of computers for performing large scale experiments. Traditionally, these needs have been addressed by ...
195
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper a general framework for separation logic inside the HOL theorem prover is presented. This framework is based on Abeparation Logic. It contains a model of an abstract,...
175
click to vote
ASMTA
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we consider a multi-server queue with a near general arrival process (represented as an arbitrary state-dependent Coxian distribution), a near general state-dependent...
171
click to vote
BICOB
2009
Springer
16 years 1 months ago
2009
Springer
The de novo assembly of genomes from high-throughput short reads is an active area of research. Several promising methods have been recently developed, with applicability mainly re...