Nominal matching and unification underly the dynamics of nominal rewriting. Urban, Pitts and Gabbay gave a nominal unification algorithm which finds the most general solution to a nominal matching or unification problem, if one exists. Later the algorithm was extended by Fernández and Gabbay to deal with name generation and locality. In this paper we describe first a direct implementation of th...

The problem of "classification" is a general problem of life. That classification abilities are necessary for the survival of every organism is an important insight of biology. Human beings classify consciously, unconsciously, and even subconsciously in all situations. When we confront a scientific problem, we try to solve it by first classifying the various parts of the problem. Therefore, the...

This paper presents two approaches to Portuguese anaphor resolution, one based on a morpho-syntactic information and other on semantic features. We present a corpus based evaluation, focusing especially on anaphoric definite descriptions, which includes direct, indirect and associative anaphors.

ISO mid-infrared absorption data helps to distinguish between radiative and collisional pumping mechanisms in 1612MHz OH masers in various environments. Archive data of OH absorption at 34.6 and 53.3 μm shows different behavior and different pumping rates for different types of maser sources. 1. Mid-Infrared absorption in 1612MHz OH masers Mid-infrared spectroscopy by the Infrared Space Observa...

This paper reports on measurements of freestream nitric oxide (NO) rotational and vibrational temperatures partial pressures, collected in the Caltech T5 reflected shock tunnel. Quantum cascade lasers, emitting mid-infrared light resonant with fundamental rovibrational NO transitions, were directed through supersonic (Mach ) flow. Tunable diode laser absorption spectroscopy (TDLAS) was used to ...