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-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
Format
:
Document HTML
Auteur
:
Fatès Nazim
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Delahaye Jean-Paul, Jongwane Joanna
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML, Document Flash
Auteur
:
Beuneu Jean, Schipor Ovidiu, Giza Felicia, Hrebenciuc Florin
Thème
:
Mathématiques, Ingénierie et activités connexes
Type de la ressource pédagogique
:
cours / présentation, exercice, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Viéville Thierry
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Rechenmann François
Thème
:
Mathématiques
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Vidéo MPEG
Auteur
:
Lions Pierre-Louis
Thème
:
Mathématiques, Mathématiques, Ingénierie et activités connexes, Ingénierie et activités connexes, Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, doctorat
Public
:
apprenant, enseignant
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
Format
:
Document HTML, Document PDF
Auteur
:
Fagès François
Thème
:
Sciences de la vie, Biologie, Biochimie, Ecologie, Mathématiques, Mathématiques
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur
Public
:
apprenant, enseignant
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
Format
:
Document HTML
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
Document HTML
Auteur
:
Bellin Isabelle
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
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
Format
:
video/mp4
Auteur
:
BLANC-FERAUD Laure
Thème
:
Mathématiques, Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
licence
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
Format
:
Document HTML, Document PDF
Auteur
:
Leroy Xavier
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, licence
Public
:
apprenant, enseignant
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
Format
:
Document HTML
Auteur
:
Thiébaut Rodolphe, Jongwane Joanna
Thème
:
Mathématiques, Sciences de la vie, Biologie, Biochimie, Ecologie
Type de la ressource pédagogique
:
cours / présentation, démonstration
Niveau
:
enseignement supérieur
Public
:
apprenant
Afficher section
2
sur 7