Browse by Archive

ScholarsArchive at Oregon State University

View Archive Info

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)
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)
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)
50551 - 50575 of 55520 Items    << < 2018 2019 2020 2021 2022 2023 2024 2025 2026 2027 > >> 

© Western Waters Digital Library - GWLA member projects - Designed by the J. Willard Marriott Library - Hosted by Oregon State University Libraries and Press