Výsledky vyhľadávania - [INFO:INFO_CC] Computer Science/Computational Complexity
-
1
Autori: Parisen Toldin, Paolo
Predmety: [INFO:INFO_CC] Computer Science/Computational Complexity, [INFO:INFO_CC] Informatique/Complexité, implicit computational complexity, probabilistic classes, programming languages
-
2
Autori: Nisse, Nicolas
Predmety: [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 é
-
3
Autori: Wade, Ahmed
Predmety: [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
-
4
Autori: Aubert, Clément
Predmety: [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
-
5
Autori: Senot, Maxime
Predmety: [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
-
6
Autori: Mohamed Babou, Hafedh
Predmety: [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
-
7
Autori: Mahdjoub, Jason
Predmety: [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
-
8
Autori: Berthomieu, Jérémy
Predmety: [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
-
9
Autori: Berthomieu, Jérémy
Predmety: [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
-
10
Autori: Chapelle, Mathieu
Predmety: [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
-
11
Autori: Terrier, Véronique
Predmety: [INFO:INFO_DC] Computer Science/Distributed, Parallel, and Cluster Computing, [INFO:INFO_DC] Informatique/Calcul parallèle, distribué et partagé, [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, automates cellulaires, turing, calcul parallèle, reconnaissance de langages
-
12
Autori: Straßburger, Lutz
Predmety: [INFO:INFO_LO] Computer Science/Logic in Computer Science, [MATH:MATH_CT] Mathematics/Category Theory, [MATH:MATH_LO] Mathematics/Logic, [INFO:INFO_CC] Computer Science/Computational Complexity, proof theory, classical logic, proof nets, category theory, relation webs, atomic flows, proof complexity, deep inference, medial, cut elimination, identity of proofs
-
13
Autori: Pardo Soares, Ronan
Predmety: [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
-
14
Autori: Lammoglia, Adrien
Predmety: [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
-
15
Autori: Foucaud, Florent
Predmety: [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
-
16
Autori: Valicov, Petru
Predmety: [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é
-
17
-
18
Autori: Mazauric, Dorian
Predmety: [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
-
19
Autori: Zeh, Alexander
Predmety: [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
-
20
Autori: Berrebi, Johanna
Predmety: [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
Nájsť tento článok vo Web of Science