Inner and Outer j-Radii of Convex Bodies in Finite-Dimensional Normed Spaces.
Innovative applications of associative morphological memories for image processing and pattern recognition.
Morphological Associative Memories have been proposed for some image denoising applications. They can be applied to other less restricted domains, like image retrieval and hyperspectral image unsupervised segmentation. In this paper we present these applications. In both cases the key idea is that Autoassociative Morphological Memories selective sensitivity to erosive and dilative noise can be applied to detect the morphological independence between patterns. Linear unmixing based on the sets of...
Input-output systems, their types and applications for the automata theory
INSPIRE: Realizing the Dream of a Global Digital Library in High-Energy Physics
High-Energy Physics (HEP) has a long tradition in pioneering infrastructures for scholarly communication, and four leading laboratories are now rolling-out the next-generation digital library for the field: INSPIRE. This is an evolution of the extraordinarily successful, 40-years old SPIRES database. Based on the Invenio software, INSPIRE already provides seamless access to almost 1 million records, which will be expanded to cover multimedia, data, software, wikis. Services offered include citation...
Instability of the eikonal equation and shape from shading
Instability of the eikonal equation and shape from shading
In the shape from shading problem of computer vision one attempts to recover the three-dimensional shape of an object or landscape from the shading on a single image. Under the assumptions that the surface is dusty, distant, and illuminated only from above, the problem reduces to that of solving the eikonal equation |Du|=f on a domain in . Despite various existence and uniqueness theorems for smooth solutions, we show that this problem is unstable, which is catastrophic for general numerical algorithms. ...
Integer partitions, tilings of -gons and lattices
In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of -gons (hexagons, octagons, decagons, etc.). We show that the sets of partitions, ordered with a simple dynamics, have the distributive lattice structure. Likewise, we show that the set of tilings of a -gon is the disjoint union of distributive lattices which we describe. We also discuss the special case of linear integer partitions, for which other dynamical models exist.
Integer Partitions, Tilings of 2D-gons and Lattices
In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of 2D-gons (hexagons, octagons, decagons, etc.). We show that the sets of partitions, ordered with a simple dynamics, have the distributive lattice structure. Likewise, we show that the set of tilings of a 2D-gon is the disjoint union of distributive lattices which we describe. We also discuss the special case of linear integer partitions, for which other dynamical models exist.
Integers in number systems with positive and negative quadratic Pisot base
We consider numeration systems with base β and − β, for quadratic Pisot numbers β and focus on comparing the combinatorial structure of the sets Zβ and Z− β of numbers with integer expansion in base β, resp. − β. Our main result is the comparison of languages of infinite words uβ and u− β coding the ordering of distances between consecutive β- and (− β)-integers. It turns out that for a class of roots β of x2 − mx − m, the languages coincide, while for other quadratic Pisot numbers the language...
Integral inequalities and computer algebra systems.
Integral nets and fuzzy relations in deterministic automata
Integrated Design of an Active Flow Control System Using a Time-Dependent Adjoint Method
An exploratory study is performed to investigate the use of a time-dependent discrete adjoint methodology for design optimization of a high-lift wing configuration augmented with an active flow control system. The location and blowing parameters associated with a series of jet actuation orifices are used as design variables. In addition, a geometric parameterization scheme is developed to provide a compact set of design variables describing the wing...
Integrated region-based segmentation using color components and texture features with prior shape knowledge
Segmentation is the art of partitioning an image into different regions where each one has some degree of uniformity in its feature space. A number of methods have been proposed and blind segmentation is one of them. It uses intrinsic image features, such as pixel intensity, color components and texture. However, some virtues, like poor contrast, noise and occlusion, can weaken the procedure. To overcome them, prior knowledge of the object of interest has to be incorporated in a top-down procedure...
Integrating observational and computational features in the specification of state-based, dynamical systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...
Integrating Observational and Computational Features in the Specification of State-Based, Dynamical Systems
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system states...
Intégration algorithmique des fonctions élémentairement transcendantes sur une courbe algébrique
On considère le problème de déterminer les solutions d’une équation différentielle ordinaire, dite de Risch sur une courbe algébrique. En fait une généralisation assez évidente de la méthode de Risch suffit mais elle nous permet de généraliser son algorithme d’intégration à toute extension élémentairement transcendante d’une extension algébrique des fonctions rationnelles.
Integration of candidate hash trees in concurrent processing of frequent itemset queries using Apriori
Integration of expert knowledge into a probabilistic expert system
Integrazione dell’interpretazione astratta in un compilatore Prolog basato sulla WAM. Appendice: Un passo verso una metodologia per lo sviluppo di programmi Mercury: una semantica dichiarativa per Mercury
Integrity constraints in distributed databases.