A strongly minimal structure D is called unimodular if any two finite-to-one maps with the same domain and range have the same degree; that is if/4: (/-»• V is everywhere fc4-to-l, then kx = kc,. THEOREM. Unimodular strongly minimal structures are locally modular. This extends Zil'ber's theorem on locally finite strongly minimal sets, Urbanik's theorem on free algebras with the Steinitz propert...

Mining the semantics of open relations is an important task in open information extraction (Open IE). For this task, the difficulty is that the expressions of a specific semantic in free texts are always not unique. Therefore, it needs us to deeply capture the semantics behind the various expressions. In this paper, we propose an open relation mapping method combining the instances and semantic...

Background:  Patients undergoing cemented hip hemiarthroplasty may develop bone cement implantation syndrome (BCIS) which is a leading cause of intraoperative complications. The purpose of this study was to evaluate cardiovascular changes during cemented hip hemiarthroplasty in elderly patients.   Methods:  Cemented hip hemiarthroplasty was performed on 72 patients with femoral neck fracture. A...

We present a rapid experimental strategy for inferring base pairs in structured RNAs via an information-rich extension of classic chemical mapping approaches. The mutate-and-map method, previously applied to a DNA/RNA helix, systematically searches for single mutations that enhance the chemical accessibility of base-pairing partners distant in sequence. To test this strategy for structured RNAs...

We study L-categories of lattice-valued convergence spaces. Suchcategories are obtained by fuzzifying" the axioms of a lattice-valued convergencespace. We give a natural example, study initial constructions andfunction spaces. Further we look into some L-subcategories. Finally we usethis approach to quantify how close certain lattice-valued convergence spacesare to being lattice-valued topologi...

A method for representing and manipulating imprecise and vague information in engineering design is described. Designers and customers preferences are captured with Fuzzy sets. Formal methods for including noise, trade-o strategies and design iteration are included. Introduction Imprecision and vagueness are intrinsic aspects of engineering design. If (at the start of a design process) a propos...

Within the PIPS (Personal Information Platform for life and health Services) project a novel knowledge representation method, called Knowledge Cartography has been developed. It allows for inference and for storing inferred results. Knowledge Cartography aims at storing in a knowledge base as many conclusions about concepts and individuals as possible. The conclusions can be quickly retrieved i...

This paper extends to the pro-$p$ Iwahori subgroup of $GL(2)$ over an unramified finite extension of $mathbb{Q}_p$ the presentation of the Iwasawa algebra obtained earlier by the author for the congruence subgroup of level one of $SL(2‎, ‎mathbb{Z}_p)$‎. ‎It then describes a natural base change map between the Iwasawa algebras or more correctly‎, ‎as it turns out‎, ‎between the global distribut...