Georg Rehm ([email protected]) Tübingen University Andreas Witt ([email protected]) Tübingen University Erhard Hinrichs ([email protected]) Tübingen University Timm Lehmberg ([email protected]) Hamburg University Christian Chiarcos ([email protected]) Potsdam University Felix Zimmermann ([email protected]) Institute for Legal Informatics ...

\Semantic uni cation" is the process of generating a basis set of substitutions (of terms for variables) that makes two given terms equal in a speci ed theory. Semantic uni cation is an important component of some theorem provers. \Semantic matching," a simpler variant of uni cation, where the substitution is made in only one of the terms, has potential usage in programming language interpreter...

Some kind of practical problems such as security veri cation of cryptographic protocols can be described as a problem to accomplish a given purpose by using limited operations and limited materials only. To model such problems in a natural way, uni cation problems under constrained substitutions have been proposed. This paper is a collection of results on the decidability and the computational ...

During acupuncture treatments, acupuncture needles are manipulated to elicit the characteristic "de qi" reaction widely viewed as essential to acupuncture's therapeutic effect. De qi has a biomechanical component, "needle grasp," which we have quantified by measuring the force necessary to pull an acupuncture needle out of the skin (pullout force) in 60 human subjects. We hypothesized that pull...

An impressive variety of multirate lter banks evolved during the past twenty years. We present an algebraic approach that subsumes many concepts developed so far (e. g. multi lters, nonseparable multidimensional lter banks, cyclic lter banks, lter banks with values in nite elds, etc.). In our approach the signals and lters are viewed as elements of a group ring. We give necessary and su cient c...

Integrity constraints are an essential part of modern schema de nition languages. They are useful for semantic speci cation, update consistency control, query optimization, etc. In this paper, we propose UCM, a model of integrity constraints for XML that is both simple and expressive. Because it relies on a single notion of keys and foreign keys, the UCMmodel is easy to use and makes formal rea...

a School of Optometry (Mail Code 2020), Uni ersity of California at Berkeley, Berkeley, CA 94720-2020, USA b Department of Ophthalmology, Shiga Uni ersity of Medical Science, Seta, Ohtsu, Shiga 520-2192, Japan c Department of Biophysics, Uni ersity of Illinois at Urbana-Champaign, Urbana, IL 61801, USA d School of Optometry and Department of Physics and Astronomy, Uni ersity of Missouri, Saint ...

The communication-through-coherence (CTC) hypothesis proposes that anatomical connections are dynamically rendered effective or ineffective through the presence or absence of rhythmic synchronization, in particular in the gamma and beta bands. The original CTC statement proposed that uni-directional communication is due to rhythmic entrainment with an inter-areal delay and a resulting non-zero ...

BACKGROUND The vegetative phenotype of the pea mutant unifoliata (uni) is a simplification of the wild-type compound leaf to a single leaflet. Mutant uni plants are also self-sterile and the flowers resemble known floral meristem and organ identity mutants. In Antirrhinum and Arabidopsis, mutations in the floral meristem identity gene FLORICAULA/LEAFY (FLO/LFY) affect flower development alone, ...