The prime implicate trie (pi-trie) of a logical formula is a tree whose branches are labeled with the prime implicates of the formula. The technology of reduced implicate tries is employed to analyze the structure of pi-tries. Appropriate lemmas and theorems are proved, and an algorithm that builds the pi-trie from a logical formula is developed. Preliminary experimental results are presented.

Changes in the sea surface heights (SSH) and geostrophic transports in the NE Pacific are examined during the 1997–1998 El Niño using altimeter data, sea level pressure (SLP) fields, proxy winds and satellite sea surface temperature (SST). Most of the signal occurs along the boundaries of the basin from Panama to the Alaska Peninsula. Changes in the SSH and alongshore transports along the bound...

This paper provides an ontological analysis of built environments. It shows that boundaries are ontologically salient features of built environments and that there are different kinds of boundaries that that need to be considered. It discusses in particular the important role of fiat boundaries. At the level of objects built environments are formed by partition forming objects and populated by ...

Auditory object analysis requires two fundamental perceptual processes: the definition of the boundaries between objects, and the abstraction and maintenance of an object's characteristic features. Although it is intuitive to assume that the detection of the discontinuities at an object's boundaries precedes the subsequent precise representation of the object, the specific underlying cortical m...

The surface treatment with Tb-vapor sorption improves the magnetic properties of small-sized magnets. Microstructure of the Tb-treated magnets was investigated by transmission electron microscopy (TEM). By applying the Tb-treatment, the diffusion of Tb through grain boundaries occurred even inside the magnets, and then a thin and continuous wetting-layer phase was formed at the boundaries betwe...

This paper presents region-based a ne motion parameter clustering methods by motion-vector and intensity matching to provide improved robustness and alignment of motion boundaries with real object boundaries. Regions may be formed as xedor variable-size rectangular blocks, triangular patches, or arbitrary-shaped areas de ned by color or texture uniformity. A particular combination of these a ne...

This paper describes SegGen, a new algorithm for linear text segmentation on general corpuses. It aims to segment texts into thematic homogeneous parts. Several existing methods have been used for this purpose, based on a sequential creation of boundaries. Here, we propose to consider boundaries simultaneously thanks to a genetic algorithm. SegGen uses two criteria: maximization of the internal...

Freshwater-seawater (FW-SW) temperature contrasts widely exist in natural coastal aquifers. The significant effects of thermal forcing on water flow and salinity distributions for homogeneous aquifers have been demonstrated recently, however, the impact heterogeneous remains unclear. This study conducted simulations variable-density flow, heat salt transport with Monte-Carlo realizations log-no...