Résultats de recherche

Les comparaisons modèles-données pour le dernier millénaire sont en accord pour la longue tendance OCM-PAG, ainsi que pour des refroidissements brefs correspondant à des éruptions volcaniques majeures, parfois rapprochées dans le temps (par exemple …

Résumé Après avoir posé la question de l’arrière-plan partagé par les Grecs dans le registre de la représentation des dieux et analysé l’expression nomizein tous theous , il s’agit cette fois d’en venir aux pratiques rituelles qu’évoque également cette …

Dans le dernier tiers du XIX e  siècle, à mesure que les grands États nationaux et les empires se formèrent en Europe, les musées des capitales entrèrent dans l’ère de la « gigantomanie ». D’une part, ils acquirent une taille immense, en étant aménagés, …

Pourquoi et comment les insectes n’ont-ils que six pattes mais toujours six pattes ? Pourquoi et comment les mouches n’ont-elles qu’une paire d’ailes alors que les papillons en ont deux ? Les animaux segmentés – dont les humains font partie – produisent …

L’Église elle aussi hellénophone : la liturgie (fin) Le maintien du grec comme langue par défaut de la liturgie ne fut évidemment pas sans rendre la position des fidèles de plus en plus inconfortable. L’écart entre l’usage liturgique et leur véritable …

Résumé La plupart des méthodes d’apprentissage supervisé, dont font partie les réseaux de neurones, se formalisent comme un problème d’optimisation dans lequel la moyenne des erreurs sur les données observées est minimisée par rapport aux paramètres du …

Résumé La minimisation d’une fonction convexe peut se faire avec un algorithme de descente de gradient qui additionne itérativement un vecteur colinéaire au gradient de la fonction. Si la fonction que l’on minimise est Lipschitz et strictement convexe, …

Résumé Le séminaire a porté sur la formalisation et la preuve en Coq d’un générateur de code impératif pour un noyau du langage Lustre. Une telle vérification formelle pourrait avantageusement compléter les méthodes officielles de certification …

Résumé Ce cours a d’abord étudié l’insertion de programmes Esterel (ou synchrones en général) dans des environnements d’exécution arbitraires en détaillant les différentes façons de recevoir ou d’émettre des événements par une machine d’exécution reliant …

Pour comprendre les rapports qui se nouent entre tyrannie équitable, cruauté et exercice du pouvoir judiciaire dans la postérité fictionnelle de Bernabò Visconti, et en prolongement des réflexions développées dans le cours de l’année précédente sur …

Les supercondensateurs sont des systèmes de stockage électrochimique de l’énergie qui offrent des performances intermédiaires entre les batteries et les condensateurs. Ils sont en effet capables de délivrer de fortes puissances pendant des temps de …

La batterie tout solide ne cesse de faire l’objet d’annonces dans les médias de la part des constructeurs de véhicules électriques (Toyota, BMW, Renault-Nissan…) qui prévoient qu’en 2022, le tout solide pourrait concurrencer les véhicules Tesla. Nous …

Après un développement sur les relations « être dans un sujet » ( ἐν ὑποκειμένῳ εἶναι ), « être dit d’un sujet » ( καθ' ὑποκειμένου λέγεσθαι ), et leur articulation dans le « carré » d’Ammonius, on a repris le texte de 16b9-10 dont on a proposé la …

Documents et médias Télécharger la biographie de Guillaume Kientz …