42 résultats : 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 1 sur 5
résultats 1 à 10
UNIT
Une révolution permanente
Description : Née au milieu du vingtième siècle avec les premiers calculateurs électroniques, l’informatique n’a cessé de se développer, touchant tous les secteurs d’activité.
Mots clés : histoire de l'informatique, ordinateur, théorie de la calculabilité, théorie de la complexité, loi de Moore, sciences du numérique, fuscia
Date : 31-01-2011
Format : Document HTML
Auteur : Berry Gérard
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
Canal-U
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Description : Les modèles de calculs actuels de l'informatique sont des modèles digitaux: ils travaillent sur des bits, ou sur des symboles en nombre fini. Il y a de nombreux modèles, mais la thèse de Church-Turing (et ses variantes physique, ou effective) stipule que tous ...
Mots clés : calculabilité, complexité, informatique théorique, modèle de calcul analogique, machine de turing
Date : 15-03-2012
Format : video/mp4
Auteur : BOURNEZ Olivier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
Non, les ordinateurs ne seront jamais tout-puissants !
Description : Contrairement à une certaine croyance populaire, les ordinateurs et l’informatique en général ne permettent pas de résoudre tous les problèmes...
Mots clés : algorithme, complexité algorithmique, calculabilité, indécidabilité, optimisation, algorithme d'approximation, fuscia
Date : 01-09-2011
Format : Document HTML
Auteur : Brihaye Thomas, Bruyère Véronique, Mélot Hadrien
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
Canal-U
Transitions de phase : entre physique, mathématiques et informatique
Description : Les phénomènes de transition de phase fascinent les physiciens depuis plusieurs siècles. Plus récemment, on a observé des phénomènes similaires dans d’autres domaines notamment la combinatoire et l’informatique.  J’expliquerai quelques liens entre les transitions de phase, les propriétés des grandes ...
Mots clés : transition de phase, combinatoire, complexité, analyse des algorithmes
Date : 05-06-2014
Format : video/mp4
Auteur : BROUTIN Nicolas
Thème : Mathématiques
Type de la ressource pédagogique : cours / présentation
Niveau : master, doctorat
Droits : Droits réservés à l'éditeur et aux auteurs. © Inria Paris - Rocquencourt
UNIT
Une preuve sur les nombres premiers
Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
Mots clés : algorithme de Knuth, preuve formelle, Coq, complexité, fuscia
Date : 24-02-2004
Format : Document HTML
Auteur : Castiel Anita
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
UNIT
Le jeu de go et la révolution de Monte Carlo
Description : Une révolution technologique a permis aux ordinateurs de faire un pas en avant : les méthodes dites « de Monte Carlo ». Quels sont les principes de ces algorithmes, et comment s’appliquent-ils au go ?
Mots clés : stratégie combinatoire, méthode de Monte-Carlo, complexité, recherche arborescente, fuscia
Date : 05-02-2009
Format : Document HTML
Auteur : Coulom Rémi
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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
Canal-U
Les Afriques au défi du XXIème siècle, avec Georges Courade
Description : La récente flambée d'optimisme macro-économique concernant l’Afrique fait l'impasse sur les menaces, contraintes et dépendances qui pèsent sur ce continent. Georges Courade propose une exploration des freins et des accélérateurs, des bifurcations et des ruptures qui marquent le développement de ...
Mots clés : colonisation, pluralité, dépendances, complexité, contraintes, développement de l'Afrique, menaces, traite
Date : 13-10-2014
Format : video/mp4
Auteur : COURADE Georges
Thème : Histoire générale de l'Afrique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Où commence le contrôle de l’Etat ? Etat-providence, migrants et police
Mots clés : sociologie, blocage des flux, processus de controle, complexité du controle migratoire, delegation territoiriale du controle, uniformité de l'espace, logique des flux, notion de frontiere, incorporation sociale, partage egalitaire, insertion, hospitalité, société, citoyenneté, urbanisme, géographie, ...
Date : 19-02-2004
Format : video/mp4
Auteur : CROWLEY John
Thème : Généralités - Sciences sociales, Sociologie, Science politique, Urbanisme et art du paysage, Géographie et voyages
Type de la ressource pédagogique : cours / présentation
Niveau : doctorat
Droits : Droits réservés à l'éditeur et aux auteurs. Tous droits réservés.
Canal-U
Théorie algorithmique de l'information
Description : Qu'est-ce que l'information et comment la mesurer ? qu'est-ce que la complexité et comment la mesurer ? En 2013, les travaux d'application sur la mesure de la complexité continuent car on est encore loin d'avoir tout compris. Les solutions proposées jusqu'à présent sont trop simplifiées ou trop ...
Mots clés : invariance, calcul informatique, théorie complexité, théorie de l'information, complexité algorithmique, complexité Kolmogorov, La théorie de la calculabilité
Date : 05-06-2013
Format : video/mp4
Auteur : DELAHAYE Jean-Paul
Thème : Informatique, Systèmes
Type de la ressource pédagogique : cours / présentation
Niveau : master, formation continue
Droits : Droits réservés à l'éditeur et aux auteurs.
UNIT
P = NP, un problème à un million de dollars ?
Description : Le problème P = NP est le problème fondamental du calcul mathématique. À partir de quel moment un énoncé difficile à démontrer et jugé très probable doit-il être adopté comme nouvel axiome ?
Mots clés : complexité, problème NP-complet, indécidabilité algorithmique, hypothèse de Riemann, axiome, fuscia
Date : 28-11-2006
Format : Document HTML
Auteur : Delahaye Jean-Paul
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
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