Mise en équation et travail sur les symboles
M. André de Palma mathématicien, professeur à l’ENS Cachan
Format
Niveau de difficulté
Disciplines
Intervenants
Cursus
Type de production
Langues
Chaine
Theoretical Foundations for Runtime Monitoring
Aceto
Luca
Runtime monitoring/verification is a lightweight technique that complements other verification methods in a multi-pronged approach towards ensuring software correctness. The technique poses novel
07 Langue arabe et logique grecque
Elamrani-Jamal
Addelali
Session Traduction, langage et pensée philosophique Colloque L’Islam et l’Occident à l’époque médiévale. Transmission et diffusion des savoirs. (11, 12, 13 mars 2009) L’histoire du thème des rapports
Exécution symbolique (Introduction à la vérification de programme)
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements
Comment la vérité et la réalité furent inventées (par Paul JORION)
Jorion
Paul
J’analyserai la naissance des notions de "vérité" et de "réalité (objective)", notions qui nous semblent aller de soi, mais sont en réalité apparues à un moment précis de l'histoire de notre
Sécurité sur Internet ? La logique à la rescousse...
Cortier
Véronique
De nombreux dispositifs électroniques visent à améliorer la sécurité des échanges sur des réseaux ouverts comme Internet. Ces dispositifs, tels que les protocoles cryptographiques, reposent
Introduction
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de
Social Representations of the Past: a Theoretical Analysis
Poletayev
Andrei
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de
Un “Civilisationel Turn” en Russie ?
Scherrer
Jutta
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de
Historical Memory in the Era of the Avant-Garde. Archaïsm and Neo-primitivism as a “Passeism for th…
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de
Historical Records and Public Opinion Polls Data in the Russian Federation and United-States
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de
Souveraineté politique et rapport collectif au temps historique, le Bachkortostan post-soviétique
Cette table ronde est le fruit des réunions hebdomadaires de travail du groupe de chercheurs associés au Programme d’Études Avancées Forms of Knowledge of the Past . Celui-ci a eu pour ambition de