Publications
-
Unification and Narrowing in Maude 2.4
This paper introduces novel features of Maude 2.4 including support for unification and narrowing. Unification is supported in Core Maude, the core rewriting engine of Maude, with commands and metalevel…
-
Building Theorem Provers
Abstract This talk discusses some of the challenges of building a usable theorem prover. These include the chasm between theory and code, conflicting requirements, feature interaction, and competitive performance. The…
-
Characterization of Hydrogen-Assisted Fracture Mechanism By Fracture Surface Topography Analysis (FRASTA)
The fracture surface topography analysis (FRASTA) technique was applied to the crack arrest threshold region in a wedge-opening-load (WOL) ASME SA 372 Grade J sample tested in hydrogen gas at…
-
Development of a Multidimensional Measure of Academic Engagement
This article describes development of a measure of academic engagement using items from an existing survey of undergraduates enrolled at the University of California.
-
Disruption of Emotion and Conflict Processing in Alcoholics with and Without HIV Infection
-
Equatorial Counter Electrojets and Polar Stratospheric Sudden Warmings – a Classical Example of High Latitude-Low Latitude Coupling?
It is observed that, the stratospheric temperature at ~30 km over Trivandrum shows a sudden cooling prior to the SSWs and the CEJs of maximum intensity which occurs around this…
-
FREEDIUS: an Open Source Lisp-Based Image Understanding Environment
This paper describes FREEDIUS, an open-source image understanding system. FREEDIUS is a Lisp-C hybrid system that exploits CLOS for rapid prototyping, flexibility of presentation in the user interface, and flexibility…
-
Is the United States Losing Ground in Science? A Global Perspective on the World Science System
Based on the Science Citation Index-Expanded web-version, the USA is still by far the strongest nation in terms of scientific performance. Its relative decline in percentage share of publications is…
-
ITL Research Design Document
This paper describes the design of Innovative Teaching and Learning (ITL) Research, a multiyear global research program sponsored by Microsoft’s Partners in Learning.
-
Participant Subjectivity and Involvement As a Basis for Discourse Segmentation
We propose a framework for analyzing episodic conversational activities in terms of expressed relationships between the participants and utterance content.
-
Petri Dish PCR: Laser-Heated Reactions in Nanoliter Droplet Arrays
We report high-speed real-time PCR performed on an unmodified disposable polystyrene Petri dish. The reaction cycle relies solely on an infrared laser for heating; no conventional heater is required.
-
Research at ENEA: Evolution and Progress in Material Science for Studying the Fleischmann and Pons Effect (FPE)