Canal-U

Mon compte

Résultats de recherche

Nombre de programmes trouvés : 738
Conférences

le (1h2m37s)

Proofs assistants : from symbolic logic to real mathematics

Mathematicians have always been prone to error. As proofs get longer and more complicated, the question of correctness looms ever larger. Andrew Wiles’ proof of Fermat’s last theorem contained a flaw that was only fixed a year later. Meanwhile, proof assistants — formal tools originally developed in order to verify hardware and software — are growing in sophistication and are being applied more and more to mathematics itself. When will proof assistants finally become useful to working mathematicians? Mathematicians have used computers in ...
Voir la vidéo
Conférences

le (1h2m59s)

Decision making at scale: Algorithms, Mechanisms, and Platforms

YouTube competes with Hollywood as an entertainment channel, and also supplements Hollywood by acting as a distribution mechanism. Twitter has a similar relationship to news media, and Coursera to Universities. But there are no online alternatives for making democratic decisions at large scale as a society. In this talk, we will describe two algorithmic approaches towards large scale decision making that we are exploring. a) Knapsack voting and participatory budgeting: All budget problems are knapsack problems at their heart, since the goal is ...
Voir la vidéo
Conférences

le (1h3m4s)

Une fréquence peut-elle être instantanée

Séminaire associé au 2e cours à l'extérieur de Gérard Berry pour le collège de France intitulé :  "Esterel et SCADE de la recherche à l'industrie : La vision industrielle".Enregistrer un évènement, mesurer l'évolution d'un système, transmettre une information : autant de situations donnant naissance à des séries temporelles, qu"il convient d'analyser, de modéliser, de transformer. On sait depuis Fourier ce que de tels traitements peuvent gagner à quitter l'espace directe et naturel du domaine temporel pour aller vers celui des fréquences, mais au prix d'un paradoxe d'interprétation physique. Alors même que l'expérience quotidienne nous conforte dans ...
Voir la vidéo
Label UNT Conférences

le (1h3m13s)

Graphes, hypergraphes et réseaux (série : Colloquium Jacques Morgenstern)

Le but de la conférence est d'exposer des problèmes simples de conception de réseaux qui m'ont intrigués pendant de nombreuses années et continuent de m'intriguer. Les réseaux de télécommunications mais aussi les réseaux routiers ou sociaux se modélisent bien avec des graphes. Les sommets représentent les routeurs (abonnés, villes, individus...) et les arêtes des liaisons ou des relations. Je partirai d'un problème simple à énoncer mais difficile à résoudre : comment construire des réseaux (graphes) de degré et de diamètre donnés. J'essaierai de montrer l'imagination débordante dans les outils utilisés (géométries finies, graphes probabilistes, groupes, constructions récursives, constructions sur alphabets, ...
Voir la vidéo
Conférences

le (1h3m59s)

Les nouveaux territoires de l'Agence Universitaire de la Francophonie

Par ses missions d’enseignement, de recherche et de service à la collectivité, l’Université forme des citoyens et des professionnels à même de comprendre les défis auxquels ils sont confrontés dans un monde globalisé. Aujourd’hui, l’université se développe dans un contexte d’échanges de groupes et d’acteurs travaillant désormais à l’échelle de la planète. L’université se doit d’être ouverte sur le monde et doit ajuster en conséquence ses modes de gouvernance à cette réalité. On observe dans le paysage académique, différentes approches de stratégies ...
Voir la vidéo
Conférences

le (1h4m3s)

Post-truth, Web, Democracy - Post-Truth and Authoritarianism, Michel Wieviorka Truth and Authoritarianism, Paul Boghossian

Conférence organisée par Maurizio Ferraris, Angela Condello, Sara Guindani et Enrico Terrone le 24 mai, dans le cadre de l'initiative "Documédialité" de Maurizio Ferraris Cette conférence examinera l'interconnexion complexe entre vérité, web et démocratie et l'équilibre mondial contemporain. De quelle manière les processus de validation de la vérité - et la notion  même de vérité - ont-ils évolué dans l'ère de la multiplication des voix et des discours publics qu'est l'ère du web ? Quel est ...
Voir la vidéo
Conférences

le (1h4m9s)

Visual Reconstruction and Image-Based Rendering

The reconstruction of 3D scenes and their appearance from imagery is one of the longest-standing problems in computer vision. Originally developed to support robotics and artificial intelligence applications, it has found some of its most widespread use in the support of interactive 3D scene visualization. One of the keys to this success has been the melding of 3D geometric and photometric reconstruction with a heavy re-use of the original imagery, which produces more realistic rendering than a pure 3D model-driven approach. In this talk, I ...
Voir la vidéo
Autres

le (1h4m9s)

VIVRE AVEC LES DIEUX - LA FORCE DE L’ANTHROPOLOGIE VISUELLE

Rencontre | 16 mai 2019 La force de l’anthropologie visuelle Avec ce livre Vivre avec les dieux, récemment publié, et les cinq films documentaires qu’il contient, le lecteur-spectateur pénètre au cœur de sociétés d’Afrique sub-saharienne (Togo, Côte d’Ivoire) et d’Amérique du Sud (Brésil, Venezuela) au travers de rituels et d’individualités charismatiques. Par un va-et-vient entre l’écrit et l’image, il accède à la compréhension de pratiques liées à la maladie et à des phénomènes religieux telles qu’elles étaient mises en œuvre dans les années 1980-90. ...
Voir la vidéo
Conférences

le (1h4m31s)

1 - Table ronde (VF) - Hommage à David MacDougall

Les 25 ans de la Société française d'anthropologie visuelle (SFAV). Hommage à David MacDougall Voici vingt-cinq ans que la Société française d'anthropologie visuelle (SFAV) contribue au développement de l’anthropologie visuelle en France et dans les pays limitrophes. Depuis 1985, cette association régie par la loi de 1901, fondée par Colette Piault, favorise la promotion du film d'anthropologie dans les universités, les établissements de recherche et dans nombre de manifestations culturelles et cinématographiques. Pour célébrer ce quart de siècle d’activités, la SFAV a décidé d’organiser, avec le soutien de la BnF, un hommage à David MacDougall, l’un des praticiens et ...
Voir la vidéo

 
FMSH
 
Facebook Twitter Google+
Mon Compte