Publications
-
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.
-
The Bio-Link Career Exploration Web Site Final Report
This report illustrates how web tools can support the particular information needs of these three types of prospective workers in biotechnology technician fields.
-
The Third Rewrite Engines Competition
This paper presents the main results and conclusions of the Third Rewrite Engines Competition (REC III).
-
Annotating Participant Reference in English Spoken Conversation
We present a method for annotating verbal reference to people in conversational speech, with a focus on reference to conversation participants.
-
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.
-
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).
-
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.