|
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|
Tri :
Date
Editeur
Auteur
Titre
|
|
Interprétation : fonctions, prédicats et connecteurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
Ce cours est le troisième d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il présente le schéma d'interprétation des formules logiques sans variables à partir de la signification donnée aux symboles de fonctions et de prédicats, ainsi qu'aux connecteurs logiques. Mot(s) clés libre(s) : formule logique, interprétation d'une formule, formule atomique, expression booléenne, formule satisfiable, relation de conséquence sémantique, formule valide, formule prouvable
|
Accéder à la ressource
|
|
Interprétation : variables et quantificateurs
/ Sorbonne Université, UNIT
/ 10-01-2020
/
Mathieu JAUME, Isabelle Mounier
Voir le résumé
Voir le résumé
Ce cours est la cinquième et dernière séquence d'une série de 5 cours de l'enseignement de logique du cursus de Licence Informatique de Sorbonne Universités.
Il étend les notions présentées dans le troisième cours en présentant les schémas d'interprétation d'un langage logique avec variables et quantificateurs du premier ordre et définit l'ensemble des formules valides de ce langage. Mot(s) clés libre(s) : interprétation d'un langage logique avec variables, règle d'introduction du quantificateur, interprétation des termes, schéma d'interprétation des formules, formule valide, relation de conséquences
|
Accéder à la ressource
|
|
L'informatique les pieds sur Terre
/ Inria / Interstices
/ 29-09-2020
/
Éric Tannier
Voir le résumé
Voir le résumé
L'agriculture doit aujourd'hui faire face à de nombreux défis pour réussir à s'adapter aux transformations de nos modes de vie et de consommation, aux risques climatiques et environnementaux mais aussi sanitaires, etc. Les nouvelles technologies peuvent contribuer à faciliter le travail des agriculteurs et agricultrices, mais le foisonnement actuel d'initiatives innovantes améliore-t-il vraiment l'autonomie des acteurs et la soutenabilité des pratiques ? Mot(s) clés libre(s) : agroécologie, agroécologie computationnelle, environnement
|
Accéder à la ressource
|
|
La décomposition en séries de Fourier
/ Inria / Interstices
/ 29-11-2018
/
Romain Joly
Voir le résumé
Voir le résumé
L’idée révolutionnaire de Joseph Fourier est que les fonctions trigonométriques sinus et cosinus permettent de décomposer n’importe quelle fonction. Découvrez-la à l'aide d'exemples imagés. Mot(s) clés libre(s) : traitement du signal, décomposition de Fourier, modélisation
|
Accéder à la ressource
|
|
La forme idéale d’une aile
/ Inria / Interstices
/ 12-09-2019
/
Régis Duvigneau
Voir le résumé
Voir le résumé
Nous sommes aujourd'hui habitués à voir des avions passer au dessus de nos têtes, si bien qu'on ne prend plus vraiment le temps de les observer. Pourtant, la forme des avions, et plus particulièrement la forme de leurs ailes, a significativement évolué avec les progrès des sciences et des techniques. Voyons ce qui motive ces évolutions et comment mathématique et informatique se combinent aujourd'hui pour concevoir les avions de demain. Mot(s) clés libre(s) : aérodynamisme, performance, algorithme optimisation, équation Navier-Stokes, maillage
|
Accéder à la ressource
|
|
La fragilité inattendue du chiffrement symétrique dans le monde post-quantique
/ Inria / Interstices
/ 05-12-2019
/
Gaëtan Leurent, Maria Naya-Plasencia
Voir le résumé
Voir le résumé
On pensait jusqu'à présent que les attaques du futur ordinateur quantique ne pourraient pas affecter le chiffrement symétrique, celui qui sécurise nos communications au quotidien. Mais les travaux d'une équipe de cryptographes français montrent comment cette machine rend certains protocoles vulnérables. Heureusement, la faille est pour l'instant plus théorique que pratique. Mot(s) clés libre(s) : ordinateur quantique, vie privée, chiffrement symétrique, confidentialité des données numériques, vulnérabilité
|
Accéder à la ressource
|
|
La mécanique quantique comme garant de sécurité pour l’échange de clé secrète
/ Inria / Interstices
/ 28-01-2021
/
Omar Fawzi
Voir le résumé
Voir le résumé
Puis-je chiffrer mes données en utilisant un appareil dont je ne connais pas l’origine ? Oui, à condition qu’il soit quantique. Mot(s) clés libre(s) : cryptographie quantique, sécurité réseau, protocole réseau, clé secrète, protocole device-independent, optimisation
|
Accéder à la ressource
|
|
La mémoire virtuelle, une abstraction féconde
/ Inria / Interstices
/ 19-07-2019
/
Claude Kaiser
Voir le résumé
Voir le résumé
La mémoire virtuelle est présente dans la majorité des ordinateurs, que l'ordinateur cible soit fixe ou portable, que le système soit celui d'une tablette, d'un téléphone portable ou d'un objet connecté. La mémoire virtuelle est une nécessité pour tout système d'exploitation moderne et une véritable aubaine pour le programmeur. Mot(s) clés libre(s) : mémoire virtuelle, système d'exploitation, pagination
|
Accéder à la ressource
|
|
La recherche reproductible pour une science transparente
/ Institut National de Recherche en Informatique et en Automatique / Interstices
/ 10-10-2018
/
Arnaud Legrand, Joanna Jongwane
Voir le résumé
Voir le résumé
La science avance, mais on a parfois le sentiment que c’est dans tous les sens. Les chercheurs doivent alors se donner les moyens de reprendre les résultats pour les vérifier, ce qui nécessite de travailler en toute transparence et en toute confiance… S’inscrire dans la perspective de la recherche reproductible, c’est tenter de garantir la validité des résultats scientifiques. Arnaud Legrand nous expose les enjeux autour de cette voie prometteuse dans cet épisode du podcast audio. Mot(s) clés libre(s) : recherche reproductible, validité des résultats scientifiques, réutilisation, cahier de laboratoire, méthodologie
|
Accéder à la ressource
|
|
La révolution de l'apprentissage profond
/ Inria / Interstices
/ 25-01-2019
/
Yoshua Bengio
Voir le résumé
Voir le résumé
Reconnaître un visage, compléter une phrase, gagner au jeu de go... Après plusieurs décennies de déconvenues, les machines intelligentes deviennent enfin réalité – grâce à des réseaux de plusieurs couches de neurones artificiels. Mot(s) clés libre(s) : intelligence artificielle, réseaux de neurones artificiels, apprentissage profond
|
Accéder à la ressource
|
|
|<
<< Page précédente
1
2
3
4
5
6
7
Page suivante >>
>|
|
documents par page
|