Menu
Naviguer par :
Menu
Accueil
Nos ressources
Recherche avancée
Par thème
Par compétence
Par auteur
Toutes les ressources
Vous êtes ici :
Accueil
Par mots-clef
G
Graphes
Déposer une
ressource
63
résultats :
Graphes
Rechercher
Aide
Recherche avancée
Recherche en cours
Par mots-clef
=
Graphes
Affiner ma recherche
OK
1
2
3
4
5
6
1
2
3
4
5
6
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 10
Afficher 5
Afficher 10
Afficher 15
Afficher 20
Afficher 25
Afficher 30
Afficher 35
Afficher 40
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
63
résultats
page 1
sur 7
résultats
1 à 10
Représentations intermédiaires (Compilation : théorie, techniques et outils)
Description
:
Ce cours définit des structures et langages intermédiaires utilisés en compilation, comme la structure en graphes (dépendances de données, dépendances de contrôle) et des formes textuelles (codes 3 adresses, codes 2 adresses, notation préfixées et postfixées, SSA, etc.). Thème 7 de l'ensemble " ...
Mots clés
:
compilation, représentation intermédiaire, programme informatique, langage de programmation, compilateur, code source, langage intermédiaire, portage d'un compilateur, code intermédiaire structuré, modèle mémoire, graphe, code intermédiaire linéaire
Date
:
22-12-2010
Droits
:
Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
En savoir plus
Description complète
Représentations intermédiaires (Compilation : théorie, techniques et outils)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Méthodes d’analyse statique de pire temps d’exécution de programmes
Description
:
L’intégrité d’un système physique interagissant avec son milieu n’est garantie que si certaines contraintes de temps sont respectées. Connaître le pire temps d’exécution d’un programme permet d’offrir cette garantie.
Mots clés
:
contrainte, pire temps d'exécution, graphe de flot de contrôle, système temps réel, analyse statique, fuscia
Date
:
03-05-2005
Droits
:
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
En savoir plus
Description complète
Méthodes d’analyse statique de pire temps d’exécution de programmes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Constraints programming
Description
:
This second module deals with application-oriented constraints. At the end of this module, the learner will be able to master the core constraints.
Mots clés
:
programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, counting constraint, nvalue constraint, global cardinality, graph constraints, ...
Date
:
18-06-2015
Droits
:
Ces ressources sont la copropriété, à parts égales, d’UNIT et de l'IMT Atlantique. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL http://www.cea.fr/fr/actualites/pdf/Licence.CeCILL-V1.pdf
En savoir plus
Description complète
Constraints programming
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Global Constraint Catalog
Description
:
Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
Mots clés
:
programmation par contraintes, constraint programming, problème combinatoire, problème de satisfaction de contraintes, Constraint Satisfaction Problem, propagation de contraintes, algorithme de recherche de solution, global constraint, graph, automaton, first order formula, symmetry, ontology
Date
:
15-06-2015
Droits
:
Tous droits réservés
En savoir plus
Description complète
Global Constraint Catalog
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
Description
:
Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigués pendant de nombreuses années et continuent de m'intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent ...
Mots clés
:
réseau social, graphe, hypergraphe, modélisation réseaux, problème delta-d, réseau routier, théorie des graphes
Date
:
12-05-2011
Droits
:
Droits réservés à l'éditeur et aux auteurs.
En savoir plus
Description complète
Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Modélisation des systèmes dynamiques et commande avancée (AMESIM)
Description
:
Ce cours s'intéresse en particulier aux Bond Graph ou graphes de liaison qui sont des représentations graphiques de système dynamique. Il est une composante de l'ensemble AMESIM, Apprentissage de la Modélisation pour l'Étude des systèmes Industriels Mécatroniques, qui propose des ressources de ...
Mots clés
:
mécatronique, système complexe, modélisation de système dynamique, outil de simulation, graphe de liaisons, Bond Graph, graphe à liens, ingénierie des systèmes, jonction, stockage d'énergie, co-énergie, conversion d'énergie, analyse systémique, analyse phénoménologique, analyse structurelle, cau ...
Date
:
28-07-2010
Droits
:
Ces contenus sont la propriété, à parts égales, d’UNIT et de l'INSA de Rouen. Ils sont régis par la licence logicielle GPL, dans sa version française CeCILL : http://www.cecill.info/licences/Licence_CeCILL-V1_VF.pdf
En savoir plus
Description complète
Modélisation des systèmes dynamiques et commande avancée (AMESIM)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Peut-on limiter les détours dans un réseau ?
Description
:
Quoi de plus rageant lorsqu’on se déplace en voiture ou à pied que de devoir faire un gros détour pour atteindre sa destination qui n’est pourtant pas loin à vol d’oiseau ! Mais est-il si facile que cela de concevoir des réseaux sans gros détour ?
Mots clés
:
graphes géométriques, réseaux ad hoc, triangulation de Delaunay, Theta-graphe, demi-Theta6-graphe, fuscia
Date
:
13-02-2017
Droits
:
Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode
En savoir plus
Description complète
Peut-on limiter les détours dans un réseau ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Le calcul différentiel
Description
:
Une conférence de l'UTLS au Lycée (en audio uniquement ) Le calcul différentiel Avec Jean-Benoit Bost (mathématicien à l’Université Paris Sud, CNRS) Lycée Bertran de Born (24000 Perigueux) Partenariat Région Aquitaine
Mots clés
:
dérivée, calcul intégral, intégration, aire, différentielle, graphe d'une fonction
Date
:
05-02-2009
Droits
:
Droits réservés à l'éditeur et aux auteurs.
En savoir plus
Description complète
Le calcul différentiel
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder aux documents
Informatique générale appliquée à la géomatique
Description
:
Cours d'informatique dédié à la géomatique qui allie approfondissement des connaissances informatique et étude des Systèmes d'Information Géographique. Il a pour but de présenter les outils de base pour la profession de Géomaticien. Il a aussi pour but, par une pratique intense et quotidienne des ...
Mots clés
:
géomatique, modélisation, système expert, système d’information, SIG, langage algorithmique ADL, transformation d'algorithme, optimisation, graphe, Système de Fichiers Séquentiel-Indexé, traitement des listes, Backus–Naur Form, BNF, modèle HBDS, Hypergraph Based Data Structure, type abstrait de ...
Date
:
23-05-2012
Droits
:
Tous droits réservés ENSG
En savoir plus
Description complète
Informatique générale appliquée à la géomatique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
Introduction à la recherche opérationnelle et à l'algorithmique de l'optimisation
Description
:
Faire de la recherche opérationnelle consiste en pratique à modéliser mathématiquement un problème donné puis à résoudre le problème modélisé. La première étape demande du savoir-faire et de l'expérience (certains parlent d'"art"). Pour la seconde, on dispose d'algorithmes rigoureux. La discipline ...
Mots clés
:
algèbre linéaire, programmation linéaire, algorithme du simplexe, théorie des graphes, fuscia
Date
:
29-04-2008
Droits
:
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
En savoir plus
Description complète
Introduction à la recherche opérationnelle et à l'algorithmique de l'optimisation
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Ajouter à mon panier
Accéder au document
1
2
3
4
5
6
Rebondir