Typed homomorphic relations on heterogeneous algebras are generalized to allow relationships between elements in the carrier sets of di erent types. Such relations are needed for the model theory of incomplete, hierarchical speci cations with subtypes. Typed logical relations are generalized similarly. These tools help give a simple model-theoretic account of subtyping among abstract data types...

For many web usage mining applications like, e.g., user segmentation, it is crucial to compare navigation paths of di erent users. We model user navigation path fragments by generalized subsequences that take into consideration local deviations but still sketch the global user navigational behaviour. This paper presents a new algorithm of apriori type for mining all generalized subsequences of ...

We considered the problem of processing queries that contain generalized quanti ers. We demonstrate that current relational systems are ill-equipped, both at the language and at the query processing level, to deal with such queries. We propose a boolean matrix approach which establishes the feasibility of building systems that can process queries with generalized quanti ers e ciently, and we pr...

Since its rst publication by Albrecht, Function Point Analysis has been revised and modi ed several times. Today, a number of variants are in use, which di er in their respective views on functional size. Function Point Analysis relies implicitly on a model of software. We propose the Function Point Structure as a formalization of the software model of Function Point Analysis. The Function Poin...

We link, by means of a semiclassical approach, the fractional statistics of particles obeying the Haldane exclusion principle to the Tsallis statistics and derive a generalized quantum entropy and its associated statistics. PACS number(s): 05.20.-y, 05.30.-d, 05.40.+j, 05.60.+w The generalized non-extensive statistics and the fractional exclusion statistics have excited great interest because o...

We consider set valued mappings de ned on a topological space with convex closed images in IRn The measurability of a multifunction is characterized by the existence of a Castaing representation for it a countable set of measurable selections that pointwise ll up the graph of the multifunction Our aim is to construct a Castaing representation which inherits the regularity properties of the mult...

In this article, we determine when the large generalized de Bruijn cycles BGC(p, d, n) are Hamiltonian. These digraphs have been introduced by Gómez, Padró and Pérennes as large interconnection networks with small diameter and they are a family of generalized p-cycles. They are the Kronecker product of the generalized de Bruijn digraph GB(d, n) and the dicycle of length p, where GB(d, n) is the...

We characterize the validity of the Maximum Principle in bounded domains for fully nonlinear degenerate elliptic operators in terms of the sign of a suitably defined generalized principal eigenvalue. Here, the maximum principle refers to the property of non-positivity of viscosity subsolutions of the Dirichlet problem. The new notion of generalized principal eigenvalue that we introduce here al...

In this work we consider the problem of control of mechanical systems subject to unilateral constraints. Impulsive forces arise whenever the constraints become active and these forces give rise to nonsmooth dynamics. The dynamics of the system is de ned by a set of di erential equations with discontinuous righthand side using Hamilton's equations of motion. A nonlinear transformation is applied...