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
Informatique théorique
Nouvelle
Modifier
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.
78
résultats
section 1
sur 7
résultats
1 à 12
UNIT
À la découverte des automates cellulaires
Description
:
Explorer les relations mathématiques entre les phénomènes observés chez des êtres vivants et des machines, c?est là l?une des possibilités offertes par les automates cellulaires.
Date
:
02-04-2007
Description complète
À la découverte 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
UNIT
À propos du hasard et de l?informatique
Description
:
Jean-Paul Delahaye, mathématicien et informaticien, nous explique pourquoi et comment on essaie de se débarrasser du hasard en informatique... ou au contraire d?en créer !
Date
:
27-10-2008
Description complète
À propos du hasard et de l?informatique
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille)
Description
:
Programme du cours : Systèmes d'équations linéaires Programmation linéaire Équations non linéaires Valeurs et vecteurs propres des matrices Interpolation Approximation Quadrature numérique Transformation de Fourier discrète Intégration numérique des équations différentielles ordinaires
Date
:
04-12-2002
Description complète
Algorithmes pour le calcul scientifique (série : Cours Polytech'Lille)
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
Alignement optimal et comparaison de séquences génomiques et protéiques
Description
:
La comparaison de séquences génomiques et protéiques est la tâche informatique la plus exécutée par les biologistes. Des algorithmes sont mis en ?uvre pour calculer les meilleurs alignements entre plusieurs séquences.
Date
:
03-01-2005
Description complète
Alignement optimal et comparaison de séquences génomiques et protéiques
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Analyse mathématique, modèles et simulations numériques (série : Colloquium Jacques Morgenstern)
Description
:
Dans cet exposé, nous présentons quelques aspects généraux de la simulation numérique, de la modélisation mathématique et de l'analyse mathématique de ces modèles. En partant d'exemples industriels, nous rappellerons quelques éléments historiques et montrerons la nécessité d'une approche mathématiqu ...
Date
:
13-05-2003
Description complète
Analyse mathématique, modèles et simulations numériques (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
UNIT
Aspects sémantiques et algorithmiques du vivant
Description
:
La transposition des concepts informatiques de programmation et de vérification, à la modélisation et l'analyse des processus biochimiques au sein de la cellule, ouvre un nouveau champ de recherche pour la maîtrise de la complexité et la compréhension des phénomènes en biologie cellulaire. Tandis qu ...
Date
:
13-01-2011
Description complète
Aspects sémantiques et algorithmiques du vivant
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Automates cellulaires et phénomènes d?auto-organisation : le rôle de l?aléa
Description
:
Les automates cellulaires constituent un modèle de calcul parallèle, dont l'un des intérêts est de permettre de simuler des phénomènes d'auto-organisation, comme la formation d'essaims d'oiseaux ou de bancs de poissons. Comprendre l'influence de l'aléa dans ces dynamiques pourrait ouvrir de nouvelle ...
Date
:
03-07-2023
Description complète
Automates cellulaires et phénomènes d?auto-organisation : le rôle de l?aléa
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Claude Pair : un mathématicien qui rêvait de programmation
Description
:
Précurseur français de la recherche en informatique, Claude Pair a toujours eu une vision très pragmatique de cette discipline, qu?il concevait pour soulager le travail, affranchir des contraintes spatiales et temporelles.
Date
:
10-05-2007
Description complète
Claude Pair : un mathématicien qui rêvait de programmation
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
Comment améliorer la qualité des images ?
Description
:
On s'interesse ici à des détails inaccessibles dans l'image, parce que le détecteur est trop loin de la scène que l'on cherche à imager, comme par exemple en imagerie satellitaire pour l'observation de la terre, ou que l'on cherche des objets petits, comme en microscopie pour la biologie. On essaye ...
Date
:
18-12-2013
Description complète
Comment améliorer la qualité des images ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Description
:
Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des erre ...
Date
:
08-10-2009
Description complète
Comment faire confiance à un compilateur ? (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
UNIT
Comment la modélisation peut-elle aider au développement des vaccins ?
Description
:
Le monde entier connait actuellement une crise sanitaire sans précédent, mais depuis longtemps déjà, les scientifiques de toute part se mobilisent pour mettre à profit leurs connaissances au service des problématiques de santé publique. Rodolphe Thiébaut, dont les travaux sont à la croisée des scien ...
Date
:
08-07-2020
Description complète
Comment la modélisation peut-elle aider au développement des vaccins ?
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 7