-
The Inventory of Meanings
International audience -
Modularité asymptotique de quelques classes de graphes
International audience -
Fronts propagation and normalized p-laplacien on graphs : Algorithms and appl...
This work deals with the transcription of continuous partial derivative equations to arbitrary discrete domains by exploiting the formalism of partial difference... -
Dessin de graphe assisté par un algorithme génétique
National audience -
Graph algorithms for repetitive motifs search in RNA tertiary structures
Understanding space folding is a key issue to determine the function of a RNA molecule. A RNA tertiary structure can be modelized by a graph, with labels on edges and... -
Cliques maximales d'un graphe et treillis de Galois
National audience -
...
GAI networks are a graphical model, both compact and expressive, for representing the preferences of a Decision Maker in the context of Multiattribute Decision Making,... -
Algebraic succession rules and Lattice paths with an infinite set of jumps
International audience -
Algorithmes pour la comparaison de génomes et la recherche de signaux cis-rég...
Les génomes peuvent être vus de manière simplifiée comme des suites de gènes, objets codants pour la production de protéines. De la même manière que les caractères... -
Coinductive graph representation
We are interested in graph representation in the theorem prover Coq. We have chosen to represent graphs using coinductive types. We wanted to explore their use in Coq.... -
Enumerating functional substructures of genome-scale metabolic networks : sto...
In this thesis, we presented three different methods for enumerating special subnetworks containedin a metabolic network: metabolic stories, minimal precursor sets and... -
Graphs and hypergraphs : algorithmic and algebraic complexities
Beware, this abstract comports irony and humor. In this dissertation, we defend the idea that, for any reasonnable model of computation, this is not the model that is... -
Combinatorial games on graphs
In this thesis, we study combinatorial games under differentconventions. A combinatorial game is a finite acyclic two-player game withcomplete information and no... -
Segmentation of color and multispectral skin images
Accurate border delineation of pigmented skin lesion (PSL) images is a vital first step in computer-aided diagnosis (CAD) of melanoma. This thesis presents a novel... -
Rare event Monte Carlo simulation for highly reliable networks
Network reliability determination, is an NP-hard problem. For instance, in telecommunications, it is desired to evaluate the probability that a selected group of nodes...
