0

background: medical image interpolation is recently introduced as a helpful tool to obtain further information via initial available images taken by tomography systems. this information may be useful for better diagnosis of possible lesions or better tumor delineation at radiation treatment. to do this, deformable image registration algorithms are mainly utilized to perform image interpolation ...

Horn formulas are a subclass of CNF expressions, where every clause contains at most one unnegated variable. This class is tractable in the sense that many problems that are hard for CNF expressions in general are polynomially solvable for Horn formulas (such as satisfiability and equivalence). It is partly for this reason that Horn formulas are of basic importance in artificial intelligence an...

We discuss a number of (mostly open) questions related to the learnability of Horn clauses from queries. We consider that the currently existing solution is satisfactory only to a certain extent, and that progress on the related questions stated here could contribute positively to advancing the state of the art in several related fields. Our contributions here are a new analysis of the existing...

Many learning systems use the space of logic formulas as the search space of hypotheses. To build eecient systems, the set of rst order logic formulas can be reduced in many ways. Most systems restrict themselves to (subsets of) Horn clauses. In this paper we investigate the space of reduced rst order sentences, which has the same expressive power as an arbritrary rst order logic. Shapiro 6] ha...

Selman and Kautz [22] proposed an approach to compute a Horn CNF approximation of CNF formulas. We extend this approach and propose a new algorithm for the Horn least upper bound that involves renaming variables. Although we provide negative results for the quality of approximation, experimental results for random CNF demonstrate that the proposed algorithm improves both computational efficienc...

Meniscal tears and meniscal instability are rare complications of a discoid lateral meniscus in a very young child. We report a case of a 32-month-old male who presented with a limp and limited extension of his right knee. Magnetic resonance and sonographic images demonstrated a discoid meniscus with a posterior horn tear and unstable anterior horn, confirmed by arthroscopy. The patient was tre...

A novel silicon ultrasonic horn with microprobes is developed for surgical applications. During insertion, penetration force of the microprobes driven by the ultrasonic horn can be reduced and tissue damage is minimized. The new horn has a profile of a Bézier curve. The dynamical characteristics of the horn are examined. Microscale prototypes are fabricated. Using the driving technique, the for...

Incidence of pregnancy in the noncommunicating rudimentary horn is 1 in 76,000-150,000 pregnancies A noncommunicating rudimentary horn pregnancy reaching term is also very rare and there are only 13 fetal survivals reported since 1960. Only 10% of these pregnancies reach term with 2% newborn survival rate .it is in this context that our case report attains significance. Our patient had a rudime...

correlation analysis result from all subjects, the diagonal line is the axis of symmetry, points on diagonal line are CC values between the same ROI (A); p value map of one-sample t-test after FDR correction and points with significant correlation (p<0.05) are shown (B); The coordinate 1-30 stands for ventral horn and dorsal horn of each slice on segments from C2 to C6 sequentially. For example...