Theoretical computer science

French Institute for Research in Computer Science and Automation

The National Institute for Research in Digital Science and Technology (Inria) (French: Institut national de recherche en sciences et technologies du numérique) is a French national research institution focusing on computer science and applied mathematics.It was created under the name Institut de recherche en informatique et en automatique (IRIA) in 1967 at Rocquencourt near Paris, part of Plan Calcul. Its first site was the historical premises of SHAPE (central command of NATO military forces), which is still used as Inria's main headquarters. In 1980, IRIA became INRIA. Since 2011, it has been styled Inria. Inria is a Public Scientific and Technical Research Establishment (EPST) under the double supervision of the French Ministry of National Education, Advanced Instruction and Research and the Ministry of Economy, Finance and Industry. (Wikipedia).

French Institute for Research in Computer Science and Automation
Video thumbnail

Benjamin N'Guyen : Bases de données

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Simon Lacoste-Julien: Apprentissage statistique et big data : notions de base pour l'analyse [...]

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Denis Monasse : Sur la création de livres numériques

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Richard Lassaigne: Introduction à la théorie de la complexité

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Ludovic Berthier: Monte carlo simulations for systems with glassy dynamics

HYBRID EVENT Recorded during the meeting "On Future Synergies for Stochastic and Learning Algorithms" the September 27, 2021 by the Centre International de Rencontres Mathématiques (Marseille, France) Filmmaker: Guillaume Hennenfent Find this video and other talks given by worldwide m

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Luc Bougé : Levez-vous vite, ô nuages désirés ! Cloud computing, an introduction

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Conférence IA : Clôture - Caroline Chavier, Julie Delon et Patrick Perez ; animé par Cédric Villani

---------------------------------- Vous pouvez nous rejoindre sur les réseaux sociaux pour suivre nos actualités. Facebook : https://www.facebook.com/InstitutHenriPoincare/ Twitter : https://twitter.com/InHenriPoincare Instagram : https://www.instagram.com/instituthenripoincare/

From playlist Conférence IA / 16 et 17 novembre 2021 à l'IHP

Video thumbnail

An Introduction to Text Analysis

In this video Professor Chris Bail of Duke University gives an introduction to quantitative text analysis for computational social scientists. Link to the slides used in this presentation: https://compsocialscience.github.io/summer-institute/2020/materials/day3-text-analysis/intro-text-ana

From playlist SICSS 2020

Video thumbnail

Olivier Bournez : Calculer avec des équations différentielles. Calculabilité, complexité.

Résumé : Quelle est la puissance des machines de calculs analogiques (vs digitales)? Que peut-on calculer avec des équations différentielles ? Que cela nous apprend-t'il sur la physique et ses modèles de notre monde physique ? Enregistré pendant le session thématique « Algorithme et progr

From playlist Mathematical Aspects of Computer Science

Video thumbnail

Google Keynote: Federated Learning & Federated Analytics-Research, Applications, & System Challenges

A Google TechTalk, presented by Hubert Eichner, Francoise Beaufay, Ravi Kumar & Peter Kairouz, 2021/11/9 ABSTRACT: An overview of federated analytics applications and algorithms, federated learning applications and algorithms, and how we build an infrastructure and scale it. About the S

From playlist 2021 Google Workshop on Federated Learning and Analytics

Video thumbnail

Cédric Villani - Introduction à la demie-journée #IAplusK

---------------------------------- Vous pouvez nous rejoindre sur les réseaux sociaux pour suivre nos actualités. Facebook : https://www.facebook.com/InstitutHenriPoincare/ Twitter : https://twitter.com/InHenriPoincare Instagram : https://www.instagram.com/instituthenripoincare/

From playlist Conférence IA / 16 et 17 novembre 2021 à l'IHP

Video thumbnail

Transparency and Accountability of Algorithmic Systems vs. GDPR?: Dr Nozha Boujemaa, DATAIA

Nozha Boujemaa is a Senior Research Scientist at Inria, Director of DATAIA Institute (Data Sciences, Intelligence & Society), Project leader of TransAlgo scientific platform for algorithmic systems transparency and accountability. Nozha is Knight of the National Order of Merit, President o

From playlist The GDPR and Beyond: Privacy, Transparency and the Law

Video thumbnail

Jonglerie, automates et combinatoire - Florent Hivert - Mathématiques et mouvements - 13/03/18

Jonglerie, automate et combinatoire Résumé : Je me propose d'illustrer la démarche de modélisation en prenant comme problème les figures de jonglerie. En partant d'un "objet d'étude réel" -un jongleur-, une série de simplifications -la modélisation- fait apparaître naturellement un objet

From playlist Mathématiques et mouvements - 13/03/2018

Video thumbnail

Examineer: Deeply Randomized Assessments

In this talk, Ambar Jain presents an assessment platform developed by the Center for Research in Advanced Technology for Education in Science (CREATES) at the Indian Institute of Science Education and Research, Bhopal (IISERB) that serves deeply randomized synchronous and asynchronous asse

From playlist Wolfram Technology Conference 2020

Video thumbnail

Discover CIRM

The Centre International de Rencontres Mathématiques (Centre for International Research meetings in Mathematics) was created in 1981 by the French mathematics community and has become an increasingly popular destination. It provides all the facilities and equipment that conference organize

From playlist Discover CIRM

Video thumbnail

Bernard Sampité : Valorisation des données de la recherche : l’offre de service de l’Inist-CNRS...

Résumé : Plans de gestion des données (DMP) OPIDoR (DMP OPIdoR, Cat opidOr, Datacite) et Doranum. Enregistré pendant l'ANF Mathrice "Gestion, valorisation et archivage des données scientifiques des laboratoires de maths" le 6 décembre 2018 au Centre International de Rencontres Mathématiqu

From playlist Services numériques pour les mathématiques

Video thumbnail

Ross King: "Automating Science using Robot Scientists"

Machine Learning for Physics and the Physics of Learning 2019 Workshop I: From Passive to Active: Generative and Reinforcement Learning with Physics "Automating Science using Robot Scientists" Ross King, University of Manchester Institute of Science and Technology (UMIST) Abstract: A Rob

From playlist Machine Learning for Physics and the Physics of Learning 2019

Video thumbnail

Huawei Young Talents Programme - Introduction speeches

The online ceremony celebrating the official launch of the Huawei Young Talents Program at the Institut des Hautes Etudes Scientifiques was held on 6 November 2020. This program aims to support the work of talented researchers in mathematics and theoretical physics at the beginning of thei

From playlist Huawei Young Talents Program - November 2020

Video thumbnail

Dominique Barbolosi : Exemples de modélisation mathématiques en médecine - Partie 1

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Mathematical Aspects of Computer Science

Related pages

Eigen (C++ library) | Topological data analysis | Tom (pattern matching language) | Computational topology | Conference on Neural Information Processing Systems | Scikit-learn | Proof assistant | GNU MPFR | Scilab | Theoretical computer science | Esterel | CompCert | Coq | Applied mathematics