Browse by Archive
1954-12-28 (iso8601)
|
In this paper we discuss the application of a range of techniques to the
verification of mission-critical flight software at NASA’s Jet Propulsion Laboratory.
For this type of application we want to achieve a higher level of confidence than can
be...
2014-04 (iso8601)
|
Sulfur is one of the six elements required during the early stages of the evolution of life, and enzymes involved in sulfur transfer and oxidation are increasingly being recognized as potential drug targets for antimicrobials as well as for...
2014-07-11 (iso8601)
|
1960-08-12 (iso8601)
|
The within-host interactions that can occur as a result of mixed infections in wildlife likely influence the outcome of an infection. We investigated the infection frequency and outcome as well as the potential mechanisms regulating mixed...
2014-08-07 (iso8601)
|
1933-05-08 (iso8601)
|
1933-05-15 (iso8601)
|
1933-05-10 (iso8601)
|
3D vector tomography has been explored and results have been achieved in the last few decades. Among these was a reconstruction formula for the solenoidal part of a vector field from its Doppler transform with sources on a curve. The Doppler...
2014-07-23 (iso8601)
|