This paper describes an experimental generic software development environment which provides support for both textual and diagram-matic documents, and for visualisation of additional implicit relations between and within such documents. The relevant document structures are identiied, a framework for deening these structures and their associated presentations is introduced, and the current state...

We develop a new model that simultaneously captures two principal sources of heterogeneity: variation across segments of consumers and variation across clusters of products. We focus on the recorded music industry as a managerial context, and construct a flexible duration-time model that can be used to capture the dynamic purchase patterns across a broad portfolio of different albums. Our basic...

This text motivates and defines a generic model for interactive (online or offline) product catalogs. Based on a detailed requirements analysis, the data model is defined using an object-oriented design notation and the querylanguage for expressing customer interests on the catalog is defined using techniques from fuzzy set theory. The model provides the basis for the implementation of a generi...

We develop a version of Herbrand’s theorem for continuous logic and use it to prove that definable functions in infinite-dimensional Hilbert spaces are piecewise approximable by affine functions. We obtain similar results for definable functions in Hilbert spaces expanded by a group of generic unitary operators and Hilbert spaces expanded by a generic subspace. We also show how Herbrand’s theor...

We discuss the dynamical quantum systems which turn out to be biunitary with respect to the same alternative Hermitian structures in a infinite-dimensional complex Hilbert space. We give a necessary and sufficient condition so that the Hermitian structures are in generic position. Finally the transformations of the bi-unitary group are explicitly obtained.

This article addresses the question which structures occur as fixed structures of stable structures with a generic automorphism. Among others we give a Galois theoretic characterisation. As application we prove: Any pseudofinite field is the fixed field of some model of ACFA. Any one-free pseudo-differentially closed field of characteristic zero is the fixed field of some model of DCFA. Any one...

A connection for a large class of G-structures is defined by means of a generic condition on the adjoint bundle and it is compared with the standard connections for classical G-structures. A characterization of the (not necessarily commutative) finite-dimensional R-algebras A for which GL(r,A)-structures admit such a connection, is obtained. Mathematics Subject Classification 2010: Primary: 53C...

We discuss when a generic subspace of some fixed proportional dimension of a finite-dimensional normed space can be isomorphic to a generic quotient of some proportional dimension of another space. We show (in Theorem 4.1) that if this happens (for some natural random structures) then for any proportion arbitrarily close to 1, the first space has a lot of Euclidean subspaces and the second spac...

We investigate new approaches for knowledge discovery from two medical databases. Two different kinds of knowledge, namely rules and causal structures, are learned. Rules capture interesting patterns and regularities in the database. Causal structures represented by Bayesian networks capture the causality relationships among the attributes. We employ advanced evolutionary algorithms for these d...