In this squib, I present an alternative view of the Gen and Eval mechanisms that lie at the heart of Optimality Theory (“OT”) (see Prince and Smolensky 1993, McCarthy and Prince 1993). As originally conceived, Gen is a pattern generator which creates an infinite set of possible phonological realizations of a lexical input string (“candidates”). Eval then evaluates the entire (infinite) set to d...

A method for optimizing MR imaging pulse sequence parameters in a statistical framework is presented. Parameters are defined to be optimal when the resulting scalar images yield optimal image segmentations using Bayesian pixel classification. Thus, Bayes risk is used as the objective function to minimize. Approximations are made to give a tractable solution in a four-step procedure. A sample ca...

This paper addresses the problem of probabilistic reasoning as it applies to Truth Maintenance Systems. A Belief Maintenance System hal! been constructed which manages a current set of probabilistic beliefs in much the same way that a TMS manages a set of true/false beliefs. Such a system may be thought of as a generalization of a. Truth Maintenance System. It enables one to reason using normal...

In this note, we make explicit the limit law of the renormalized supercritical branching random walk, giving credit to a conjecture formulated in [5] for a continuous analogue of the branching random walk. Also, in the case of a branching random walk on a homogeneous tree, we express the law of the corresponding limiting renormalized Gibbs measures, confirming, in this discrete model, conjectur...

This paper introduced the status quo of laws and regulations of sustainable construction in China and investigated the existing problems of current laws and regulations through person-interviews in Beijing, Shanghai, Chongqing and Shenzhen in China. The problems include incomplete legal system, lack of guidance of higher-level laws, backward in some laws and regulations, unclear legal liability...

We present a new method for storing sparse matrices as a block matrix-graph where the blocks are stored via a compact, row-ordered scheme. This combines the exibility of the graph structure with the high eeciency of the compact storage technique. The inner compact pattern also allows identiication of entries, which often leads to advantages with respect to memory and computing time. Using this ...

This paper looks at logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.

Effect of fractional gas hold-up εG on volumetric mass transfer coefficient KLa were studied for two different type of airlift contactors conventional and modified. KLa was directly proportional to gas hold-up within bubbly flow regime (UG < 0.075 m/s ) in conventional one but reverse trend ( inversely proportional) was reported in modified airlift contactor. Mathematical relation between KLa a...