This paper presents the rudiments of Hilbert-Mumford Intersection (HMI) theory: intersection theory on the relative Hilbert scheme of a family of nodal (or smooth) curves, over a base of arbitrary dimension. We introduce an additive group of geometric cycles, called ’tautological module’, generated by diagonal loci, node scrolls, and twists thereof. We determine recursively the intersection act...

We present a framework for semantic visual scene interpretation in a system with vision and language. In this framework the system consists of two modules, a language module and a vision module that communicate with each other in a form of a dialogue to actively interpret the scene. The language module is responsible for obtaining domain knowledge from linguistic resources and reasoning on the ...

Serre (1953) was the first who considered categories of groups up to negligible ones, negligibility being determined by the considered context. Gabriel in his thesis (1962) developed this idea into a complete theory of quotient categories, rings and modules which is called Gabriel localization. This theory was nicely exposed by Stenström (1975). The author has recently observed that this theory...

This paper settles a problem raised at the end of the seventies by J.L. Alperin [Al1], E.C. Dade [Da] and J.F. Carlson [Ca1], namely the classification of torsion endo-trivial modules for a finite p-group over a field of characteristic p. Our results also imply, at least when p is odd, the complete classification of torsion endo-permutation modules. We refer to [CaTh] and [BoTh] for an overview...

A Hilbert C∗-module is a generalisation of a Hilbert space for which the inner product takes its values in a C∗-algebra instead of the complex numbers. We use the bracket product to construct some Hilbert C∗-modules over a group C∗-algebra which is generated by the group of translations associated with a wavelet. We shall investigate bracket products and their Fourier transform in the space of ...

A finitely generated Λ = Z[t, t]-module without Z-torsion is determined by a pair of sub-lattices of Λ. Their indices are the absolute values of the leading and trailing coefficients of the order of the module. This description has applications in knot theory. MSC 2010: Primary 13E05, 57M25.

Data privacy is an important application of ontology modularization. The aim is to publish one module while keeping the information of another module private. We show how locality and partitioning two basic concepts in the theory of modular ontologies naturally lead to privacy preserving query answering over modular ontologies.

We present an implementation of an answer-set programming paradigm, called aspps (short for answer-set programming with propositional schemata). The system aspps is designed to process PS +-theories. It consists of two basic modules. The first module, psgrnd, grounds an PS +-theory. The second module, referred to as aspps, is a solver. It computes models of ground PS +-theories.

This paper presents a working memory based model of attention in presence, in which presence depends on the allocation of cognitive resources to process an environment. In the model, media decoders (cognitive modules specialized in decoding particular media) extract data about the environment in an abstracted form. In order for presence to occur, a certain amount of working memory is required f...

At the present time, many companies try implement TPM (Total Productive Maintenance). For this one, they must to analyze his predisposition to automaintenance, because it is pillar of this Japanese maintenance philosophy. We propose to use fuzzy sets (linguistic labels) to obtain the information of workers, and we facilitate the results as a set of three linguistic labels: red, yelow and green ...