Publications
-
Toward Distributed Declarative Control of Networked Cyber-Physical Systems
We pursue a declarative approach to provide an abstraction from the high complexity of NCPS and avoid error-prone and time-consuming low-level programming.
-
Using Assessments for Instructional Improvement: a Literature Review
We identify opportunities for important research to illuminate how and under what conditions teachers and schools as organizations can use data to inform instruction.
-
Using Data Mining Findings To Aid Searching For Better Skill Models
We propose a hybrid approach in which we leverage findings from our previous educational data mining work to aid the search for a better skill model and thus, improve the…
-
Diffusion MR Imaging in Neuropsychiatry and Aging
This chapter provides a review of diffusion imaging findings in normal aging and a sampling of neuropsychiatric diseases, and adds to a growing list of such overviews
-
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.
-
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).
-
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…