42 résultats : complexité

Recherche en cours

Par mots-clef = complexité

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.

42 résultats

page 2 sur 5

résultats 11 à 20

Classer musiques, langues, images, textes et génomes

Description : Les algorithmes de compression de données permettent de classer automatiquement toutes sortes de fichiers. Ce « classement » est d’autant plus pertinent que ces algorithmes sont performants.

Mots clés : distance de similarité, algorithme de compression, complexité de Kolmogorov, arbre phylogénétique, calcul réversible, fuscia

Date : 28-11-2006

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

Classer musiques, langues, images, textes et génomes

Ajouter à mon panier

Accéder au document

Calculer dans un monde hyperbolique ?

Description : Calculer dans un monde hyperbolique, cela peut sembler paradoxal quand on « maîtrise » le monde euclidien. Pourtant, dans un espace hyperbolique, les possibilités théoriques du calcul parallèle sont bien meilleures.

Mots clés : géométrie non euclidienne, géométrie hyperbolique, axiome des parallèles, satisfiabilité, complexité, problème NP-complet, fuscia

Date : 28-11-2006

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

Calculer dans un monde hyperbolique ?

Ajouter à mon panier

Accéder au document

Du rêve à la réalité des preuves

Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.

Mots clés : assistant de preuve, preuve formelle, preuve de programme, logique mathématique, démonstration, complexité, fuscia

Date : 01-08-2011

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

Du rêve à la réalité des preuves

Ajouter à mon panier

Accéder au document

Théories et théorie de l’information

Description : Information, c’est le thème proposé aux étudiants des classes préparatoires aux grandes écoles pour leurs TIPE de l’année 2008-2009. Une occasion pour nous d’élargir la réflexion sur ce sujet.

Mots clés : théorème d'invariance, théorie de Bennett, théorie de Shannon, complexité de Kolmogorov, fuscia

Date : 13-05-2008

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

Théories et théorie de l’information

Ajouter à mon panier

Accéder au document

La riche zoologie des automates cellulaires

Description : Les automates cellulaires modélisent des phénomènes variés tels la circulation automobile et la propagation des feux de forêt. De nouvelles techniques d’analyse classent les automates selon une échelle de complexité.

Mots clés : état, classe de complexité, simulation, universalité Turing, fuscia

Date : 03-08-2006

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

La riche zoologie des automates cellulaires

Ajouter à mon panier

Accéder au document

3. L'analyse systémique

Description : Dans cette vidéo, Arnaud Diemer présente l'approche systémique, méthode de résolution des problèmes complexes. Après un historique du développement de cette approche, il en examine la structure et le fonctionnement.

Mots clés : complexité, analyse systémique

Date : 18-05-2015

Droits : Droits réservés à l'éditeur et aux auteurs. Licence Creative Commons : Paternité, Pas d'utilisation commerciale, Pas de modification (CC-BY-NC-ND)

3. L'analyse systémique

Ajouter à mon panier

Accéder aux documents

4. Résoudre des problèmes complexes et gérer l'incertitude, un principe d'EDD à intégrer

Description : Dans cette vidéo, Laurent Dubois discute de la nécessité de faire évoluer les modes d'apprentissage de manière à ce qu'ils permettent de mieux appréhender l'incertitude et la complexité. Il propose une perspective historique de cette problématique et évoque les outils qui pourraient être aujourd'hui ...

Mots clés : environnement, incertitude, développement durable, complexité, éducation

Date : 15-06-2015

Droits : Droits réservés à l'éditeur et aux auteurs. Licence Creative Commons : Paternité, Pas d'utilisation commerciale, Pas de modification (CC-BY-NC-ND)

4. Résoudre des problèmes complexes et gérer l'incertitude, un principe d'EDD à intégrer

Ajouter à mon panier

Accéder aux documents

Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)

Description : Jusqu'au dix-neuvième siècle, les mathématiques sont de nature largement algorithmique, mais les problèmes de complexité, s'ils sont présents, restent souvent subliminaux. L'avènement de l'informatique pose, dès les années 1950, de nombreuses questions dès lors que l'on cherche à comprendre, prédire, ...

Mots clés : fuscia, conférence, recherche, STIC, calcul, complexité, arbre digital, tri, transformation de Mellin, comptage probabiliste, systèmes dynamiques

Date : 13-01-2003

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)

Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)

Ajouter à mon panier

Accéder au document

Cours d´algorithmique des graphes du MPRI

Description : Dans de nombreux domaines tels que la chimie, la biologie, les réseaux de télécommunications ou encore les réseaux sociaux des modèles à base de graphes sont utilisés quotidiennement en recherche. De même les graphes constituent des outils importants et très utilisés de modélisation en informatique. ...

Mots clés : algorithmique, complexité, théorie des graphes, décomposition modulaire, algorithme décomposition modulaire, largeur arborescente, algorithme LexBFS, modélisation, fuscia

Date : 23-01-2009

Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/) Pas d'utilisation commerciale - Paternité, Pas de modification.

Cours d´algorithmique des graphes du MPRI

Ajouter à mon panier

Accéder au document

Quelques rudiments de calculabilité et de complexité

Description : Dans cet exposé, Paul Gastin, à travers des exemples concrets tel que le jeu du Sudoku, pose les deux problématiques fondamentales de l'algorithmique théorique que sont calculabilité et complexité, en définissant les notions et en donnant des jalons historiques de Hilbert à Gödel et Turing sur les ...

Mots clés : diagonalisation, codage, science informatique, calculabilité, programme, complexité, modèle de calcul, réduction

Date : 02-06-2010

Droits : Droits réservés à l'éditeur et aux auteurs.

Quelques rudiments de calculabilité et de complexité

Ajouter à mon panier

Accéder aux documents

Rebondir