Publications
-
Innovate3: Girls Innovating With Technology As Entrepreneurial Environmental Engineers. Annual Report Year 2
-
ITL Research: Executive summary of pilot year findings
-
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.
-
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.