The CP(Graph) Computation Domain in Constraint Programming

Dissertation présentée en vue de l’obtention du titre de Docteur e

The "not-too-heavy spanning tree" constraint

We develop filtering algorithms for the weight-bounded spanning tree (WBST(G, T, I, W)) constraint, which is defined on undirected graph variables G and T, a scalar variable I and a vector of scalar variables W. It specifics that T is a spanning tree of G whose total weight is at most I, where W is a vector of the edge weights.Anglai

Cerebral magnetic resonance imaging in a 2-year-old caucasian girl, with hypomelanosis of ITO

Hypomelanosis of Ito is a rare sporadic neurocutaneous disorder. CNS abnormalities are observed in more than 50 % of the sases. A case of hypomelanosis in a 2 year old girl is reported. MRI is unusual in the fact that it shows symetrical abnormalities: non-obstructive hydrocephalus, mega cisterna magna and multiple white matter lesions

Lhermitte-duclos Disease - a Case-report

We report one case of histologically proved Lhermitte-Duclos disease. Suspected on the basis of CT and angiography, the pre-operative diagnosis has been confirmed by the characteristic features of the lesion on MRI: a unilateral posterior fossa mass, hyperintense on proton density and T2-weighted images, hypointense on T1-weighted images, non enhancing after Gd administration. The gyral pattern was preserved, but a specific thickening of cerebellar folia was demonstrated. Despite a good post-operative short term prognosis, recurrence may occur. With a better depiction of lesion limits, MRI could improve the surgical approach and reduce the risk of subtotal excision

Contrainte globale pour le problème de recouvrement d'ensembles

Ce papier propose une approche par Programmation par Contrainte pour résoudre le problème de recouvrement d'ensemble. Ce problème d'optimisation combinatoire est fort utile pour formuler un grand nombre d'applications concrètes (assignation d'équipages, planification de tâches et de véhicules, construction de circuits imprimés) ainsi que des problèmes de graphes (Recouvrement par nœuds, ensemble de nœuds dominants et indépendants). Le problème de recouvrement d'ensemble est NP-difficile. Ce papier propose une contrainte globale SC pour le problème de recouvrement d'ensemble et un propagateur qui utilise une borne inférieure calculée par des relaxations empruntées à la Programmation Entière. Nous présentons aussi un algorithme incrémental pour calculer cette borne qui utilise une structure de données qui peut être mise à jour très vite pour des petits changements, la rendant très bien adaptée aux arbres de recherche. Notre approche est comparée avec deux autres propagateurs basés sur la relaxation linéaire et sur une approche gloutonne

Safety of the Adjustable Pressure Ventricular Valve in Magnetic-resonance-imaging - Problems and Solutions

We performed magnetic resonance imaging in 30 patients with hydrocephalus with Sophy adjustable pressure valves (PAVS). A pressure check following the MRI study showed a significant proportion with pressure valve changes, which could easily be readjusted by percutaneous manipulation. The value of the PAVS and its safety during MRI examinations are discussed

Contrainte globale pour le problème de recouvrement d'ensemble

Ce papier propose une approche par Programmation par Contrainte pour résoudre le problème de recouvrement d'ensemble. Ce problème d'optimisation combinatoire est fort utile pour formuler un grand nombre d'applications concrètes (assignation d'équipages, planification de tâches et de véhicules, construction de circuits imprimés) ainsi que des problèmes de graphes (Recouvrement par noeuds, ensemble de noeuds dominants et indépendants). Le problème de recouvrement d'ensemble est NP-difficile. Ce papier propose une contrainte globale SC pour le problème de recouvrement d'ensemble et un propagateur qui utilise une borne inférieure calculée par des relaxations empruntées à la Programmation Entière. Nous présentons aussi un algorithme incrémental pour calculer cette borne qui utilise une structure de données qui peut être mise à jour très vite pour des petits changements, la rendant très bien adaptée aux arbres de recherche. Notre approche est comparée avec deux autres propagateurs basés sur la relaxation linéaire et sur une approche gloutonne

Constrained Path Finding in Biochemical Networks: a Constraint Programming Approach

The analysis of biochemical networks is mainly done using relational or procedural languages. Combining or designing new analyses requires lot of programming effort that cannot be reused for other analyses. To overcome these limitations, we introduce CP(BioNet) a new constraint programming domain for the analysis of biochemical networks. Analyses are formulated using constraints over graph domain variables. The constraints are then solved by a constraint solver designed for biochemical networks. This provides a flexible and powerful approach as simple analyses can then easily be combined to form complex ones. We focus here on constrained path finding, finding a path from node A to node B in a graph with additional constraints, such as requiring this path to include a predefined set of mandatory intermediate nodes. Constraints for path finding are introduced and their implementation (propagators) is described. A prototype is presented and constrained path finding experiments are performed and analyzed to illustrate the benefits of this new approach