Asymmetric page split generalized index search trees for formal concept analysis

Formal Concept Analysis is an unsupervised machine learning technique that has successfully been applied to document organisation by considering documents as objects and keywords as attributes. The basic algorithms of Formal Concept Analysis then allow an intelligent information retrieval system to cluster documents according to keyword views. This paper investigates the scalability of this idea. In particular we present the results of applying spatial data structures to large datasets in formal concept analysis. Our experiments are motivated by the application of the Formal Concept Analysis idea of a virtual filesystem [11,17,15]. In particular the libferris [1] Semantic File System. This paper presents customizations to an RD-Tree Generalized Index Search Tree based index structure to better support the application of Formal Concept Analysis to large data sources.

A formal representation of assumptions in process modelling

In this work, we present a systematic approach to the representation of modelling assumptions. Modelling assumptions form the fundamental basis for the mathematical description of a process system. These assumptions can be translated into either additional mathematical relationships or constraints between model variables, equations, balance volumes or parameters. In order to analyse the effect of modelling assumptions in a formal, rigorous way, a syntax of modelling assumptions has been defined. The smallest indivisible syntactical element, the so called assumption atom has been identified as a triplet. With this syntax a modelling assumption can be described as an elementary assumption, i.e. an assumption consisting of only an assumption atom or a composite assumption consisting of a conjunction of elementary assumptions. The above syntax of modelling assumptions enables us to represent modelling assumptions as transformations acting on the set of model equations. The notion of syntactical correctness and semantical consistency of sets of modelling assumptions is defined and necessary conditions for checking them are given. These transformations can be used in several ways and their implications can be analysed by formal methods. The modelling assumptions define model hierarchies. That is, a series of model families each belonging to a particular equivalence class. These model equivalence classes can be related to primal assumptions regarding the definition of mass, energy and momentum balance volumes and to secondary and tiertinary assumptions regarding the presence or absence and the form of mechanisms within the system. Within equivalence classes, there are many model members, these being related to algebraic model transformations for the particular model. We show how these model hierarchies are driven by the underlying assumption structure and indicate some implications on system dynamics and complexity issues. (C) 2001 Elsevier Science Ltd. All rights reserved.

Quantitative evaluation of altered hepatic spaces and membrane transport in fibrotic rat liver

Four animal models were used to quantitatively evaluate hepatic alterations in this study: (1) a carbon tetrachloride control group (phenobarbital treatment only), (2) a CCl4-treated group (phenobarbital with CCl4 treatment), (3) an alcohol-treated group (liquid diet with alcohol treatment), and (4) a pair-fed alcohol control group (liquid diet only). At the end of induction, single-pass perfused livers were used to conduct multiple indicator dilution (MID) studies. Hepatic spaces (vascular space, extravascular albumin space, extravascular sucrose space, and cellular distribution volume) and water hepatocyte permeability/surface area product were estimated from nonlinear regression of outflow concentration versus time profile data. The hepatic extraction ratio of H-3-taurocholate was determined by the nonparametric moments method. Livers were then dissected for histopathologic analyses (e.g., fibrosis index, number of fenestrae). In these 4 models, CCl4-treated rats were found to have the smallest vascular space, extravascular albumin space, H-3-taurocholate extraction, and water hepatocyte permeability/surface area product but the largest extravascular sucrose space and cellular distribution volume. In addition, a linear relationship was found to exist between histopathologic analyses (fibrosis index or number of fenestrae) and hepatic spaces. The hepatic extraction ratio of H-3-taurocholate and water hepatocyte permeability/surface area product also correlated to the severity of fibrosis as defined by the fibrosis index. In conclusion, the multiple indicator dilution data obtained from the in situ perfused rat liver can be directly related to histopathologic analyses.

Fixed point theorems of upper semicontinuous multivalued mappings with applications in hyperconvex metric spaces

In the present paper, we establish two fixed point theorems for upper semicontinuous multivalued mappings in hyperconvex metric spaces and apply these to study coincidence point problems and minimax problems. (C) 2002 Elsevier Science (USA). All rights reserved.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Universal simulation of Hamiltonian dynamics for quantum systems with finite-dimensional state spaces

What interactions are sufficient to simulate arbitrary quantum dynamics in a composite quantum system? Dodd [Phys. Rev. A 65, 040301(R) (2002)] provided a partial solution to this problem in the form of an efficient algorithm to simulate any desired two-body Hamiltonian evolution using any fixed two-body entangling N-qubit Hamiltonian, and local unitaries. We extend this result to the case where the component systems are qudits, that is, have D dimensions. As a consequence we explain how universal quantum computation can be performed with any fixed two-body entangling N-qudit Hamiltonian, and local unitaries.