One of the world’s largest scientific data systems, NASA’s Earth Observing System Data and Information System (EOSDIS) has stored over three petabytes of earth science data in...
Jeanne Behnke, Tonjua Hines Watts, Ben Kobler, Daw...
In this paper, we describe our first year experiences of administering the NSF-supported Research Experiences for Undergraduates program award. Emerging issues in computer network...
We describe the integration of smart digital objects with Hebbian learning to create a distributed, real-time, scalable approach to adapting to a community's preferences. We ...
Thomas Lutkenhouse, Michael L. Nelson, Johan Bolle...
Today, verification is becoming the dominating factor for successful circuit designs. In this context formal verification techniques allow to prove the correctness of a circuit ...
Serum profiling using mass spectrometry is an emerging technology with a great potential to provide biomarkers for complex diseases such as cancer. However, protein profiles obtai...
Habtom W. Ressom, Rency S. Varghese, Daniel Saha, ...