Výsledky vyhledávání - "[INFO:INFO_CC] Computer Science/Computational Complexity"

Complexité algorithmique: entre structure et connaissance. Comment les jeux de poursuite peuvent apporter des solutions.

Autoři: Nisse, Nicolas

Témata: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_DM] Informatique/Mathématique discrète, [INFO:INFO_NI] Computer Science/Networking and Internet Architecture, [INFO:INFO_NI] Informatique/Réseaux et télécommunications, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, Algorithmes, Th eorie des Graphes, Jeux de Poursuite- Evasion, Gendarmes et voleur, Encerclement dans les graphes, D ecompositions de graphes, Propri et es structurelles de graphes, Agents Mobiles, R eseaux de t el ecommunication, Routage, Calcul distribu é

Dostupnost: http://tel.archives-ouvertes.fr/tel-00998854
http://tel.archives-ouvertes.fr/docs/00/99/88/54/PDF/hdr_Nisse.pdf

Complexité de l'exploration par agent mobile des graphes dynamiques

Autoři: Wade, Ahmed

Témata: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_RB] Computer Science/Robotics, [INFO:INFO_RB] Informatique/Robotique, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [MATH:MATH_CO] Mathematics/Combinatorics, [MATH:MATH_CO] Mathématiques/Combinatoire, graphe dynamique, exploration, agent mobile, T-intervalle-connexité, PV-graphe

Dostupnost: http://tel.archives-ouvertes.fr/tel-00965926
http://tel.archives-ouvertes.fr/docs/00/96/59/26/PDF/ahmed.pdf

Logique linéaire et classes de complexité sous-polynomiales

Autoři: Aubert, Clément

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [INFO:INFO_LO] Computer Science/Logic in Computer Science, [INFO:INFO_LO] Informatique/Logique en informatique, [MATH:MATH_LO] Mathematics/Logic, [MATH:MATH_LO] Mathématiques/Logique, [MATH:MATH_OA] Mathematics/Operator Algebras, [MATH:MATH_OA] Mathématiques/Algèbres d'opérateurs, Logique Linéaire, Complexité, Géométrie de l'interaction, Algèbre d'opérateur, Machines de Turing Alternantes, Circuits Booléens, Uniformité, Réseaux de Preuves

Dostupnost: http://tel.archives-ouvertes.fr/tel-00957653
http://tel.archives-ouvertes.fr/docs/00/95/76/53/PDF/c_aubert.pdf
http://tel.archives-ouvertes.fr/docs/00/95/76/53/ANNEX/transp_soutenance_c_aubert.pdf

Jeux de poursuite-évasion, décompositions et convexité dans les graphes

Autoři: Pardo Soares, Ronan

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, Gendarmes et voleurs, Jeux d'évasion et poursuite, Décomposition de graphes, Jeu de surveillance, Convexité, Nombre enveloppe

Dostupnost: http://tel.archives-ouvertes.fr/tel-00908227
http://tel.archives-ouvertes.fr/docs/00/94/26/13/PDF/2013NICE4083.pdf

Analyse et modélisation multi-agents de transports flexibles : Comparaison de services français et sénégalais

Autoři: Lammoglia, Adrien

Témata: [SHS:GEO] Humanities and Social Sciences/Geography, [SHS:GEO] Sciences de l'Homme et Société/Géographie, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, Transport flexible, Transport artisanal et informel, Modélisation SMA, France et Sénégal, Transport à la demande

Dostupnost: http://tel.archives-ouvertes.fr/tel-00903655
http://tel.archives-ouvertes.fr/docs/00/96/74/87/PDF/These-Adrien_-_Lammoglia-Analyse_-_et_-_modA_lisation_-_multi-agents_-_de_-_transports_-_flexibles.pdf

Algebraic Soft- and Hard-Decision Decoding of Generalized Reed--Solomon and Cyclic Codes

Autoři: Zeh, Alexander

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [MATH:MATH_CO] Mathematics/Combinatorics, bound on the minimum distance, cyclic code, hard-decision decoding, list-decoding, Generalized Reed, Solomon codes, soft-decicision decoding

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00866134
http://pastel.archives-ouvertes.fr/docs/00/86/61/34/PDF/Dissertation_AlexanderZeh_Online.pdf

Modèle géométrique de calcul : fractales et barrières de complexité

Autoři: Senot, Maxime

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_DM] Informatique/Mathématique discrète, Modèle de calcul, calcul non-conventionnel, calcul géométrique, machines à signaux, fractales, complexité de problèmes

Dostupnost: http://tel.archives-ouvertes.fr/tel-00870600
http://tel.archives-ouvertes.fr/docs/00/94/50/41/PDF/these.pdf

ICC and Probabilistic Classes

Autoři: Parisen Toldin, Paolo

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, implicit computational complexity, probabilistic classes, programming languages

Dostupnost: http://tel.archives-ouvertes.fr/tel-00909410
http://tel.archives-ouvertes.fr/docs/00/90/94/10/PDF/Parisen_Toldin_Paolo_tesi.pdf

Contribution à l'intégration d'une liaison avionique sans fil. L'ingénierie système appliquée à une problématique industrielle

Autoři: Berrebi, Johanna

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, Ingénierie système : l'ingénierie système est une approche interdisciplinaire qui permet la réalisation d'un système. L'approche se focalise sur la définition des besoins utilisateurs et des fonctions requises très tôt dans le cycle développement Milieu aérospatial : Dans notre cas, avion hélicoptère lanceur Système de communication : Système permettant d'acheminer des données d'un point à un autre Capteur : Elément passif ou actif permettant de convertir une grandeur physique en information compatible de l'entrée d'un nœud (ou d'un concentrateur). Réseau de capteur : Ensemble de capteurs liés par des systèmes de communication à des centres de décision Classes d'application : Regroupement des utilisations similaires du système par domaine (Avions, hélicoptères et lanceurs). Système : En général, ensemble d'éléments (logiciel, matériel ou humain) en interaction mutuelle et en interaction avec l'environnement, organisé en fonction d'un but. Dans notre cas, ensemble constitué d'un concentrateur et d'un ou plusieurs nœuds communiquant ensembles. Système complexe : Système dont les propriétés et le comportement résultent de l'interaction de plusieurs constituants qui peuvent eux même être des systèmes. On les appellera alors sous système Module : Constituant unitaire du système (dans notre cas Concentrateur, Routeur ou Terminaison.). Produit : Eléments matériel présenté à l'issue du projet : modules du démonstrateur permettant la réalisation d'un ou plusieurs systèmes. Gamme de produit : Ensemble de produit ayant en commun un ou plusieurs modules mais dont chaque produit possède un ou plusieurs modules spécifiques Concentrateur : Elément concentrant les informations d'une ou plusieurs terminaisons (par une liaison RF), disposant ou pas disposant d'une ou plusieurs interfaces capteur et raccordé au système hôte : apport énergétique et liaisons de communication. Routeur : Elément concentrant les informations d'une ou plusieurs terminaisons (par une liaison RF), disposant ou pas disposant d'une ou plusieurs interfaces capteur. Mais ne disposant pas de raccord avec le système hôte. Réseau SAHARA : Ensemble constitué d'un concentrateur, éventuellement un ou plusieurs routeurs et d'au moins un terminal communiquant ensembles. Système hôte : Système intégrant un ou plusieurs réseaux SAHARA. Terminal : Satellite autonome disposant d'une liaison RF avec un ou des modules et disposant d'une ou plusieurs interfaces capteur. Qualification : C'est la somme des différentes étapes, respect des règles, vérifications, validations, tests permettant de s'assurer que l'équipement est fiable pour être autorisé à être installé dans un aéronef. Certification : Une certification est donnée par un organisme agréé. C'est une étape formelle permettant une utilisation commerciale de l'équipement sur aéronefs. Analyse des exigences : Elle a pour objectif de spécifier toutes les fonctions et propriétés que devra avoir le système pour répondre à ses missions. La spécification des exigences s'intéresse donc au quoi (que doit faire le système ? quelles doivent être ses performances et aptitude) et non au comment (pas d'apport de solution technique qui relève plus du travail de conception) Vérification : Contrôle de l'implémentation d'une exigence. Validation : Contrôle de la complétude de couverture d'une exigence. Ingénierie système : L'ingénierie des systèmes est une approche scientifique interdisciplinaire, dont le but est de formaliser et d'appréhender la conception de systèmes complexes avec succès. Cycle de vie : Correspond à toute l'utilisation du produit dans son environnement cible. Pour les lanceurs : de l'installation des modules jusqu'à la désintégration de l'étage après son tir. Pour les avions et les hélicoptères, cela correspond à un vol en incluant les phases de préparation et vérification avant et après ce dernier. (Un second cycle, plus large est à inclure : il correspond à la vie de l'appareil) Modes de fonctionnement : Le fonctionnement du produit SAHARA peut de décomposer en sous ensemble avec des caractéristiques, des possibilités ainsi que des réactions différents (ex. : actif, veille, initialisation, mesure, transmission nominale ou dégradée, . Ces différents sous-ensembles sont appelées modes de fonctionnement du produit Phases du cycle de vie : Décomposition du cycle de vie en parties qui peuvent avoir des caractéristiques différentes. Chaque phase peut être associée à un ou plusieurs modes de fonctionnement. Vieillissement /latence maximale : On appelle vieillissement d'une donnée le temps qui s'écoule entre sa production et sa mise à disposition de l'émetteur dans une trame en vue de son émission RF

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00800141
http://pastel.archives-ouvertes.fr/docs/00/80/01/41/PDF/mA_moire_de_thA_se_bon_pour_publication_.pdf
http://pastel.archives-ouvertes.fr/docs/00/80/01/41/ANNEX/presentation_de_soutenance3.0.pptx

Aspects combinatoires et algorithmiques des codes identifiants dans les graphes

Autoři: Foucaud, Florent

Témata: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_CC] Computer Science/Computational Complexity, [MATH:MATH_CO] Mathematics/Combinatorics, Code identifiant, Ensemble dominant, Théorie des graphes, NP-complétude, Algorithme d'approximation

Dostupnost: http://tel.archives-ouvertes.fr/tel-00766138
http://tel.archives-ouvertes.fr/docs/00/76/61/38/PDF/thesisBW.pdf

Comparaison de réseaux biologiques

Autoři: Mohamed Babou, Hafedh

Témata: [INFO:INFO_BI] Computer Science/Bioinformatics, [INFO:INFO_BI] Informatique/Bio-informatique, [SDV:BIBS] Life Sciences/Quantitative Methods, [SDV:BIBS] Sciences du Vivant/Bio-Informatique, Biologie Systémique, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, Réseaux hétérogènes, Biologie computationnelle, NP-difficulté, APX-difficulté, Complexité paramétrée, Heuristiques, Branch-and-Bound

Dostupnost: http://tel.archives-ouvertes.fr/tel-00767578
http://tel.archives-ouvertes.fr/docs/00/76/75/78/PDF/These-Hafedh.pdf

Coloration et convexité dans les graphes

Autoři: Araujo, Julio

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, Théorie des Graphes, Complexité, Coloration, Convexité

Dostupnost: http://tel.archives-ouvertes.fr/tel-00732919
http://tel.archives-ouvertes.fr/docs/00/73/29/19/PDF/Thesis-Araujo.pdf

Problèmes de placement, de coloration et d'identification

Autoři: Valicov, Petru

Témata: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_CC] Computer Science/Computational Complexity, problème de placement orthogonal, graphes d'intervalles, MPQ-arbres, coloration forte d'arêtes, déchargement, graphes planaires, graphes parfaits, graphes adjoints, codes identifiants, complexité

Dostupnost: http://tel.archives-ouvertes.fr/tel-00801982
http://tel.archives-ouvertes.fr/docs/00/80/19/82/PDF/Thesis.pdf

Vers un système de vision auto-adaptatif à base de systèmes multi-agents

Autoři: Mahdjoub, Jason

Témata: [INFO:INFO_IM] Computer Science/Medical Imaging, [INFO:INFO_IM] Informatique/Imagerie médicale, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [INFO:INFO_AI] Computer Science/Artificial Intelligence, [INFO:INFO_AI] Informatique/Intelligence artificielle, [INFO:INFO_MA] Computer Science/Multiagent Systems, [INFO:INFO_MA] Informatique/Système multi-agents, [INFO:INFO_TI] Computer Science/Image Processing, [INFO:INFO_TI] Informatique/Traitement des images, [INFO:INFO_TS] Computer Science/Signal and Image Processing, [INFO:INFO_TS] Informatique/Traitement du signal et de l'image, [SPI:SIGNAL] Engineering Sciences/Signal and Image processing, [SPI:SIGNAL] Sciences de l'ingénieur/Traitement du signal et de l'image, [INFO:INFO_CV] Computer Science/Computer Vision and Pattern Recognition, [INFO:INFO_CV] Informatique/Vision par ordinateur et reconnaissance de formes, systèmes mutli-agents, systèmes complexes, vision artificielle, traitement d'images, reconnaissance de formes, systèmes auto-adaptatifs

Dostupnost: http://tel.archives-ouvertes.fr/tel-00937422
http://tel.archives-ouvertes.fr/docs/00/93/74/22/PDF/these_jason_mahdjoub_pour_ecran.pdf
http://tel.archives-ouvertes.fr/docs/00/93/74/22/ANNEX/soutenance.pptx

Complexité implicite des calculs : interprétation de programmes

Autoři: Bonfante, Guillaume

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, complexité, interprétation, réécriture

Dostupnost: http://tel.archives-ouvertes.fr/tel-00656766
http://tel.archives-ouvertes.fr/docs/00/65/67/66/PDF/hdr.pdf

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations

Autoři: Berthomieu, Jérémy

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [MATH:MATH_AG] Mathematics/Algebraic Geometry, [MATH:MATH_AG] Mathématiques/Géométrie algébrique, Résolution des systèmes algébriques, algorithmes, nombres p-adiques, factorisation de polynômes

Dostupnost: http://tel.archives-ouvertes.fr/tel-00666435
http://tel.archives-ouvertes.fr/docs/00/67/19/68/PDF/Main.pdf

Contributions à la résolution des systèmes algébriques : réduction, localisation, traitement des singularités ; implantations

Autoři: Berthomieu, Jérémy

Témata: [INFO:INFO_SC] Computer Science/Symbolic Computation, [INFO:INFO_SC] Informatique/Calcul formel, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [MATH:MATH_AG] Mathematics/Algebraic Geometry, [MATH:MATH_AG] Mathématiques/Géométrie algébrique, Résolution des systèmes algébriques, algorithmes, nombres p-adiques, factorisation de polynômes

Dostupnost: http://pastel.archives-ouvertes.fr/pastel-00670436
http://pastel.archives-ouvertes.fr/docs/00/67/19/67/PDF/Main.pdf

Décompositions de graphes : quelques limites et obstructions

Autoři: Chapelle, Mathieu

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_DM] Informatique/Mathématique discrète, [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_DS] Informatique/Algorithme et structure de données, théorie des graphes, décomposition de graphes, complexité de calcul, complexité paramétrée

Dostupnost: http://tel.archives-ouvertes.fr/tel-00659666
http://tel.archives-ouvertes.fr/docs/00/67/66/26/PDF/Chapelle_PhD-Thesis_2012-03-05_final.pdf

Complexité de problèmes de comptage, d'évaluation et de recherche de racines de polynômes.

Autoři: Briquel, Irénée

Témata: [INFO:INFO_CC] Computer Science/Computational Complexity, complexité algébrique, complexité structurelle, polynômes, modèle de Valiant, BSS machine, systèmes polynomiaux

Dostupnost: http://tel.archives-ouvertes.fr/tel-00677977
http://tel.archives-ouvertes.fr/docs/00/67/79/77/PDF/these.pdf

Optimisation discrète dans les réseaux de télécommunication : reconfiguration du routage, routage efficace en énergie, ordonnancement de liens et placement de données

Autoři: Mazauric, Dorian

Témata: [INFO:INFO_DS] Computer Science/Data Structures and Algorithms, [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_DM] Computer Science/Discrete Mathematics, [INFO:INFO_NI] Computer Science/Networking and Telecommunication, algorithmique, complexité, réseau, télécommunication, mathématiques discrètes

Dostupnost: http://tel.archives-ouvertes.fr/tel-00643513
http://tel.archives-ouvertes.fr/docs/00/64/35/13/PDF/These-Dorian-Mazauric.pdf