Publications
-
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).
-
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…
-
Tomographic Molecular Imaging of X-Ray-Excitable Nanoparticles
X-ray luminescence computed tomography (XLCT) is proposed as a new dual molecular/anatomical imaging modality.
-
Automatic Speech Recognition of Multiple Accented English Data
We investigate the effect of multiple accents on an English broadcast news recognition system.
-
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…
-
Can We Get Better Assessment from a Tutoring System Compared to Traditional Paper Testing? Can We Have Our Cake (Better Assessment) and Eat It Too (Student Learning During the Test)?
We report a study analyzing 40-minutes data of totally students from two school years. The result suggests that for the purpose of assessing student performance, it is more efficient for…
-
Discovery of Numerous Specific Topics Via Term Co-Occurrence Analysis
We describe efficient techniques for construction of large term co-occurrence graphs, and investigate an application to the discovery of numerous fine-grained (specific) topics.