Showing 1 - 20 results of 52 for search 'GRAPH coloring' Narrow Search
Search Tools: Email this Search — Save search to account
6
Dissertation/ Thesis
Regulatory networks analysis with graph coloring approaches applied to multiple myeloma ; Analyse de réseaux de régulation par approches de coloration de graphes dans le cadre du myélome multiple

Authors: Miannay, Bertrand

Contributors: Integrative Oncogenomics of Multiple Myeloma Pathogenesis and Progression (CRCINA-ÉQUIPE 11), Centre de Recherche en Cancérologie et Immunologie Nantes-Angers (CRCINA), Université d'Angers (UA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Centre hospitalier universitaire de Nantes (CHU Nantes)-Université de Nantes - UFR de Médecine et des Techniques Médicales (UFR MEDECINE), Université de Nantes (UN)-Université de Nantes (UN)-Université d'Angers (UA)-Institut National de la Santé et de la Recherche Médicale (INSERM)-Centre National de la Recherche Scientifique (CNRS)-Centre hospitalier universitaire de Nantes (CHU Nantes)-Université de Nantes - UFR de Médecine et des Techniques Médicales (UFR MEDECINE), Université de Nantes (UN)-Université de Nantes (UN), Laboratoire des Sciences du Numérique de Nantes (LS2N), Université de Nantes - UFR des Sciences et des Techniques (UN UFR ST), Université de Nantes (UN)-Université de Nantes (UN)-École Centrale de Nantes (ECN)-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom Paris (IMT)-Institut Mines-Télécom Paris (IMT), École centrale de Nantes, Olivier Henri Roux, Carito Guziolowski, Stéphane Minvielle

Superior Title: https://hal.science/tel-01679863 ; Bio-informatique [q-bio.QM]. École centrale de Nantes, 2017. Français. ⟨NNT : 2017ECDN0039⟩.

Subject Terms: Systems biology, Multiple myeloma, Graph coloring, Constraint programming, Biologie des systèmes, Myélome multiple, Coloration de graphes, Programmation par contraintes, [INFO.INFO-BI]Computer Science [cs]/Bioinformatics [q-bio.QM]

Relation: NNT: 2017ECDN0039; tel-01679863; https://hal.science/tel-01679863; https://hal.science/tel-01679863v3/document; https://hal.science/tel-01679863v3/file/B_MIANNAY.pdf

Availability: https://hal.science/tel-01679863
https://hal.science/tel-01679863v3/document
https://hal.science/tel-01679863v3/file/B_MIANNAY.pdf


Save to List
10
Dissertation/ Thesis
Colorings, games and markings in graphs ; Coloration, jeux et marquages dans les graphes

Authors: Charpentier, Clément

Contributors: Laboratoire Bordelais de Recherche en Informatique (LaBRI), Université de Bordeaux (UB)-Centre National de la Recherche Scientifique (CNRS)-École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), Université de Bordeaux, André Raspaud, Mickaël Montassier

Superior Title: https://tel.archives-ouvertes.fr/tel-01131862 ; Logique en informatique [cs.LO]. Université de Bordeaux, 2014. Français. ⟨NNT : 2014BORD0023⟩.

Subject Terms: Incidence coloring game, Coloring game, Minmax degree, q)-labeling, L(p, 2-distance coloting, Graph coloring, Jeu de coloration d'incidence, Jeu de coloration, Coloration de graphe, Coloration à distance 2, q)-étiquetage, Degré minmax, [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Relation: NNT: 2014BORD0023; tel-01131862; https://tel.archives-ouvertes.fr/tel-01131862; https://tel.archives-ouvertes.fr/tel-01131862/document; https://tel.archives-ouvertes.fr/tel-01131862/file/CHARPENTIER_CLEMENT_2014.pdf

Availability: https://tel.archives-ouvertes.fr/tel-01131862
https://tel.archives-ouvertes.fr/tel-01131862/document
https://tel.archives-ouvertes.fr/tel-01131862/file/CHARPENTIER_CLEMENT_2014.pdf


Save to List
17
Dissertation/ Thesis
AxSeL: a middleware for contextual and autonomous services deployment in pervasive environments ; AxSeL : un intergiciel pour le déploiement contextuel et autonome de services dans les environnements pervasifs

Authors: Ben Hamida, Amira

Contributors: Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured (AMAZONES), Inria Grenoble - Rhône-Alpes, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-CITI Centre of Innovation in Telecommunications and Integration of services (CITI), Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National des Sciences Appliquées de Lyon (INSA Lyon), Université de Lyon-Institut National des Sciences Appliquées (INSA)-Université de Lyon-Institut National des Sciences Appliquées (INSA), Laboratoire de recherche en Génie Logiciel, Applications distribuées, Systèmes décisionnels et Imagerie intelligente Manouba (RIADI), École Nationale des Sciences de l'Informatique Manouba (ENSI), Université de la Manouba Tunisie (UMA)-Université de la Manouba Tunisie (UMA), INSA de Lyon, Frédéric Le Mouël, Stéphane Ubéda, Mohamed Ben Ahmed(frederic.le-mouel@insa-lyon.fr, stephane.ubeda@insa-lyon.fr, mohamed.benahmed@riadi.rnu.tn)

Superior Title: https://theses.hal.science/tel-00478169 ; Informatique [cs]. INSA de Lyon, 2010. Français. ⟨NNT : ⟩.

Subject Terms: services deployment, dependency graphs, graph coloring, context, user preferences, pervasives environments, déploiement de services, graphes de dépendances, coloration de graphes, contexte, préférences utilisateurs, environnements pervasifs, [INFO]Computer Science [cs]

Relation: tel-00478169; https://theses.hal.science/tel-00478169; https://theses.hal.science/tel-00478169/document; https://theses.hal.science/tel-00478169/file/these.pdf

Availability: https://theses.hal.science/tel-00478169
https://theses.hal.science/tel-00478169/document
https://theses.hal.science/tel-00478169/file/these.pdf


Save to List
19
Dissertation/ Thesis
Formal Verification and Optimization of Register Allocation ; Verification formelle et optimisation de l’allocation de registres

Authors: Robillard, Benoît

Contributors: Centre d'études et de recherche en informatique et communications (CEDRIC), Ecole Nationale Supérieure d'Informatique pour l'Industrie et l'Entreprise (ENSIIE)-Conservatoire National des Arts et Métiers CNAM (CNAM), HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM)-HESAM Université - Communauté d'universités et d'établissements Hautes écoles Sorbonne Arts et métiers université (HESAM), Conservatoire national des arts et metiers - CNAM, Catherine Dubois, Sandrine Blazy, Eric Soutif

Superior Title: https://theses.hal.science/tel-00562318 ; Architectures Matérielles [cs.AR]. Conservatoire national des arts et metiers - CNAM, 2010. Français. ⟨NNT : 2010CNAM0730⟩.

Subject Terms: Graph coloring algorithms, Formal verication of compilers, Register Allocation, Vérification formelle, Allocation de registres, Coloration de graphe, [INFO.INFO-AR]Computer Science [cs]/Hardware Architecture [cs.AR], [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]

Relation: NNT: 2010CNAM0730; tel-00562318; https://theses.hal.science/tel-00562318; https://theses.hal.science/tel-00562318/document; https://theses.hal.science/tel-00562318/file/Manuscrit_Robillard_corr.pdf

Availability: https://theses.hal.science/tel-00562318
https://theses.hal.science/tel-00562318/document
https://theses.hal.science/tel-00562318/file/Manuscrit_Robillard_corr.pdf


Save to List
20
Dissertation/ Thesis
Tabu-NG: hybridization of constraint programming and local search for solving CSP ; Tabu-NG : hybridation de programmation par contraintes et recherche locale pour la résolution de CSP

Authors: Dib, Mohammad

Contributors: Laboratoire Systèmes et Transports (SET), Université de Technologie de Belfort-Montbeliard (UTBM)-Institut de Recherche sur les Transports, l'Energie et la Société - IRTES, Université de Technologie de Belfort-Montbeliard, Alexandre CAMINADA(alexandre.caminada@utbm.fr)

Superior Title: https://tel.archives-ouvertes.fr/tel-00644178 ; Algorithme et structure de données [cs.DS]. Université de Technologie de Belfort-Montbeliard, 2010. Français.

Subject Terms: Graph coloring, local search, hybridization betwwen constraint programming and local search, complexity, metaheuristics, frequency assignment problem, Computer Science/Software Engineering and Symbolic Computing, CSP, métaheuristiques, méthodes exactes, FAP, coloration de graphe, hybridation, PPC et recherche locale, [INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS], [INFO.INFO-RO]Computer Science [cs]/Operations Research [cs.RO], [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]

Relation: tel-00644178; https://tel.archives-ouvertes.fr/tel-00644178; https://tel.archives-ouvertes.fr/tel-00644178/document; https://tel.archives-ouvertes.fr/tel-00644178/file/Manuscrit_These_DIB_Mohammad_2010.pdf

Availability: https://tel.archives-ouvertes.fr/tel-00644178
https://tel.archives-ouvertes.fr/tel-00644178/document
https://tel.archives-ouvertes.fr/tel-00644178/file/Manuscrit_These_DIB_Mohammad_2010.pdf


Save to List