The AGM framework is the benchmark approach in belief change. Since the framework assumes an underlying logic containing classical Propositional Logic, it can not be applied to systems with a logic weaker than Propositional Logic. To remedy this limitation, several researchers have studied AGM-style contraction and revision under the Horn fragment of Propositional Logic (i.e., Horn logic). In t...

We present the first study in vivo of meniscal movement in normal knees under load. Using an open MR scanner, allowing imaging in physiological positions in near to real-time, 16 young footballers were scanned moving from full extension to 90 degrees flexion in the sagittal and coronal planes. Excursion of the meniscal horns, radial displacement and meniscal height were measured. On weight-bear...

This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is de ned as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

A new horn for high displacement amplification is developed. The profile of the horn is a cubic Bézier curve. The ultrasonic actuation of the horn exploits the first longitudinal displacement mode of the horn. A design method of the horn using an optimization scheme and finite element analyses is developed. Prototypes of the horns are manufactured by a numerical control machining process. Perfo...

This communication presents the experimental validation of independent and wide beam scanning with a dual-band transmitarray antenna (TA) in Satcom upand down-links at Ka-band. The TA consists two subarrays: one operates down-link central frequency 19.5 GHz, while other up-link centered 29 GHz. Both subarrays share common radiating aperture to obtain compact configuration. layout is made 1 bit ...

This paper studies functional dependencies in Horn theories, both when the theory is represented by its clausal form and when it is deened as the Horn envelope of a set of models. We provide polynomial algorithms for the recognition of whether a given functional dependency holds in a given Horn theory, as well as polynomial algorithms for the generation of some representative sets of functional...

objective(s): the present study aims to study the alteration of glutamatergic transmission in the dorsal horn neurons and the effect of gabapentin on oxaliplatin-induced neuropathic pain in rats. materials and methods: oxaliplatin (5 mg/kg) or saline was administered to adult male sprague-dawley rats.  gabapentin (60 mg/kg, ip) or vehicle was injected daily. mechanical allodynia was assessed us...

One of the obstacles to the effective compilation of propositional knowledge bases (KBs) using Horn approximations, as introduced by (Selman & Kautz 1991), is the lack of computationally feasible methods for generating Horn bounds. In this paper new algorithms for generating Horn Greatest Lower Bounds (GLB) that can apply to large size KBs, are presented. The approach is extended through a more...

SuperSpec is an ultra-compact spectrometer-on-a-chip for mm and submm wavelength astronomy. Its very small size, wide spectral bandwidth, and highly multiplexed detector readout will enable construction of powerful multi-object spectrometers for observations of galaxies at high redshift. SuperSpec is a filter bank with planar, lithographed, superconducting transmission line resonator filters an...