In this paper we present a bottom-up algorithm called MRI to induce logic programs from their examples. This method can induce programs with a base clause and more than one recursive clause from a very small number of examples. MRI is based on the analysis of saturations of examples. It rst generates a path structure, which is an expression of a stream of values processed by predicates. The con...

In analogy with transition equations for type Schubert polynomials given by Lascou and Schutzenberger s 14 , we give recursive formulas for computing representatives of the Schubert classes for the isotropic ag manifolds. These representatives are e actly the Schubert polynomials found in 2 . This new approach to nding Schubert polynomials is very closely related to the geometry of the ag manif...

Non-rigid registration can automatically quantify small changes in volume of anatomical structures over time by means of segmentation propagation. Here we use a non-rigid registration algorithm based on optimising normalised mutual information to quantify small changes in brain ventricular volume in MR images of a group of ve patients treated with growth hormone replacement therapy and a contro...

ion Techniques for Veri cation of Multiple Tightly Coupled Counters, Registers and Comparators Yee-Wing Hsieh Steven P. Levitan Department of Electrical Engineering Department of Electrical Engineering University of Pittsburgh University of Pittsburgh [email protected] [email protected] Abstract We present new non-deterministic nite state machine (NFSM) abstraction techniques for comparators ba...

In the eld of pattern matching, there is a clear trade-o between e ectiveness, accuracy and robustness on one hand and e ciency and simplicity on the other hand. For example, matching patterns more e ectively by using a more general class of transformations usually results in a considerable increase of computational complexity. In this paper, we introduce a general pattern matching approach whi...

A class of preferential orderings in non-monotonic logics assumes that various extensions of a model (possible worlds) can be ordered based on both their likelihood and desirability. I suggest that there is a basic incompatibility between this qualitative notion of preference and the decision-theoretic notion of utility. I demonstrate that while reasoning and decision making in the former can f...

We present a two level nite di erence scheme for the approximation of nonlinear parabolic equations. Discrete inner products and the lowest order Raviart-Thomas approximating space are used in the expanded mixed method in order to develop the nite di erence scheme. Analysis of the scheme is given assuming an implicit time discretization. In this two level scheme, the full nonlinear problem is s...

Various exact tests for showing a di&erence between two treatments or the non-inferiority (therapeutic equivalence) based on the di&erence of two binomial proportions are compared. It is found that a frequently used test has to be applied with great caution due to its numerical instability. Furthermore, a test based on the score statistic can be recommended as a good compromise between a simple...

Many linear macroeconomic models can be cast in the …rst-order form, AEtyt+1 = Byt +CEtxt; if the matrix A is permitted to be singular. For this singular linear di¤erence system under rational expectations, we show there is a unique stable solution under two requirements: (i) the determinental polynomial jAz ¡ Bj is not zero for some value of z, and (ii) a rank condition is satis…ed which is a ...

This article proposes bootstrap-based stochastic dominance tests for nonparametric conditional distributions and their moments. We exploit the fact that a conditional distribution dominates the other if and only if the di¤erence between the marginal joint distributions is monotonic in the explanatory variable for each value of the dependent variable. The proposed test statistic compares restric...