Sciweavers

575 search results - page 40 / 115
» Wichita State University
Sort
View
JCC
2007
85views more  JCC 2007»
13 years 7 months ago
Quantitative computer simulations of biomolecules: A snapshot
: A recent workshop titled ‘‘Quantitative Computational Biophysics’’ at Florida State University provided an overview of the state of the art in quantitative modeling of bi...
Wei Yang, Hugh Nymeyer, Huan-Xiang Zhou, Bernd A. ...
SAS
2009
Springer
148views Formal Methods» more  SAS 2009»
14 years 8 months ago
Abstract Interpretation from a Topological Perspective
Interpretation from a Topological Perspective David A. Schmidt Kansas State University, Manhattan, Kansas, USA Abstract. Topology is the study of property sets (open sets) and cont...
David A. Schmidt
CHI
2008
ACM
14 years 8 months ago
Creativity interventions: physical-digital activities for promoting group creativity
Arizona State University's Arts, Media, and Engineering Program is currently addressing the need to assess the growth of group creativity in trans-disciplinary collaboration....
Lisa M. Tolentino, Aisling Kelliher, David Birchfi...
ADHOCNETS
2009
Springer
14 years 2 months ago
Oxybuoy: Constructing a Real-Time Inexpensive Hypoxia Monitoring Platform
We present a low-cost sensor buoy designed for unattended dissolved oxygen measurement in aquatic environment. We describe the buoy’s architectural design and three experiments ...
Rizal Mohd Nor, Mikhail Nesterenko, Peter Lavrenty...
FM
2009
Springer
98views Formal Methods» more  FM 2009»
14 years 2 months ago
Recursive Abstractions for Parameterized Systems
e Abstractions for Parameterized Systems JOXAN JAFFAR and ANDREW E. SANTOSA Department of Computer Science, National University of Singapore Singapore 117590 {joxan,andrews}comp.nu...
Joxan Jaffar, Andrew E. Santosa