Publications
-
Editorial the Future of Sensors and Instrumentation for Human Breath Analysis
This Special Topics Issue provides an overview of currently explored sensing techniques and methods that are being researched and developed in academic and industrial settings.
-
Graded Brain Abnormalities in Alcoholics with and Without Signs of Wernicke Encephalopathy
-
(MG, FE)SIO(3)-Perovskite and Other High-Pressure Minerals in Acfer 040: Evidence of Very High Pressures
The impact history of meteorite parent bodies can be extracted by using shock effects in meteorites to estimate shock pressures and durations.
-
Realization of a Gas-Surface Interaction Test Case for Model Validation
This paper describes a numerical investigation of a surface exposed to a plasma flow for different plasma and material boundary conditions to allow an assessment of laser diagnostic measurements in…
-
SMT-Based Formal Verification of a TTEthernet Synchronization Function
In this paper, we present the formal verification of the compression function which is a core element of the clock synchronization service of TTEthernet.
-
Sunbay Digital Mathematics. Pilot Year 1 Final Report Brief: Learning Gains In Pinellas County, Florida
In June 2009 the Helios Education Foundation and the Pinellas Education Foundation provided funding for the pilot year of the SunBay Digital Mathematics program.
-
Switching Logic Synthesis for Reachability
We consider the problem of driving a system from some initial configuration to a desired configuration while avoiding some unsafe configurations.
-
An advanced web query interface for biological databases
We present a web interface for building precise queries for biological DBs that can construct much more precise queries than most web-based query forms, yet that is user friendly enough…
-
BLADE: An Attack-Agnostic Approach for Preventing Drive-By Malware Infections
The BLADE (Block All Drive-by download Exploits) system asserts that all executable files delivered through browser downloads must result from explicit user consent and transparently redirects every unconsented browser download…
-
Leveraging Evidence-Centered Design In Large-Scale And Formative Assessment Practices
This paper depicts ECD as a series of integrated layers describing an assessment design process that includes analyzing and modeling domains, specifying arguments in terms of student, task and evidence…
-
Mechanisms Influencing Hydrate Dissolution Rates in Undersaturated Systems: Lessons from Field Observations and Laboratory Results
-
Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology
Pathway Tools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB).