Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
complexité
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
31
résultats
section 1
sur 3
résultats
1 à 12
UNIT
À propos du calcul formel
Description
:
Dériver une fonction, obtenir sa primitive, résoudre un système d?équations sans connaître la valeur de ses paramètres... ce sont des exemples de calculs formels dont nous parle Bruno Salvy.
Date
:
12-03-2009
Description complète
À propos du calcul formel
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Algorithmes, mode d?emploi
Description
:
Les algorithmes permettent de mécaniser calculs et traitements. Ils sont à la base du moindre programme où se combinent leurs ingrédients. Leur étude révèle les potentiels et les limites de l?informatique.
Date
:
27-11-2008
Description complète
Algorithmes, mode d?emploi
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Calcul en ligne : améliorer ses performances en utilisant des prédictions
Description
:
Faire le bon choix à tous les coups, on en rêve... Mais cela s'apparente à la quête du Graal puisque nous ne pouvons prévoir les événements à venir. Grâce à des modèles de calcul en ligne, il devient possible de mieux prendre en compte les incertitudes pour optimiser nos décisions.
Date
:
03-10-2022
Description complète
Calcul en ligne : améliorer ses performances en utilisant des prédictions
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
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 ...
Date
:
15-03-2012
Description complète
Calculer avec des modèles analogiques ou avec des aspects analogiques (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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.
Date
:
28-11-2006
Description complète
Calculer dans un monde hyperbolique ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
28-11-2006
Description complète
Classer musiques, langues, images, textes et génomes
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Complexité des données et compression informatique
Description
:
S?il est une notion complexe à définir, c?est bien celle de complexité ! La théorie de la complexité de Kolmogorov fait le lien entre complexité et compression des données.
Date
:
29-07-2011
Description complète
Complexité des données et compression informatique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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. ...
Date
:
23-01-2009
Description complète
Cours d´algorithmique des graphes du MPRI
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
01-08-2011
Description complète
Du rêve à la réalité des preuves
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 ...
Date
:
13-01-2003
Description complète
Entre mathématiques et informatique : l'analyse des algorithmes (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Introduction à l'algorithmique, structures de contrôle et de données
Description
:
Dans cet exposé, François Laroussinie introduit la notion d'algorithme à travers ces éléments clés: structures de contrôle et de données et complexité. Il considère alors les algorithmes de tri et les algorithmes sur les graphes pour travailler ces notions fondamentales et permettent d'en prendre la ...
Date
:
09-06-2010
Description complète
Introduction à l'algorithmique, structures de contrôle et de données
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
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é.
Date
:
03-08-2006
Description complète
La riche zoologie des automates cellulaires
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 3