86 search results - page 14 / 18 » Models and quantifier elimination for quantified Horn formul... |
CVPR
2006
IEEE
14 years 9 months ago
2006
IEEE
We present an automated method for the tracking and dynamics modeling of microtubules -a major component of the cytoskeleton- which provides researchers with a previously unattain...
PE
2010
Springer
13 years 2 months ago
2010
Springer
In today's Internet, a large part of the traffic is carried using the TCP transport protocol. Characterization of the variations of TCP traffic is thus a major challenge, bot...
BIRTHDAY
2010
Springer
13 years 8 months ago
2010
Springer
Yuri Gurevich and Itay Neeman proposed the Distributed Knowledge Authorization Language, DKAL, as an expressive, yet very succinctly expressible logic for distributed authorization...
BMCBI
2004
13 years 7 months ago
2004
Background: Mutations in rpoB, the gene encoding the subunit of DNA-dependent RNA polymerase, are associated with rifampin resistance in Mycobacterium tuberculosis. Several studi...
IGARSS
2009
13 years 5 months ago
2009
The radiation reflected by any observed surface is highly dependent on both sun illumination and satellite observation angles. These two angles are also described, respectively, a...