Mois : janvier 2021

Date : 20 mai 2021
Orateur : Zoltan Szabo
Titre : Vector-valued Prediction with RKHSs and Hard Shape Constraints
Résumé : Abstract: Shape constraints (such as non-negativity, monotonicity, convexity, or supermodularity) provide a principled way to encode prior information in predictive models with numerous successful applications in econometrics, finance, biology, reinforcement learning, and game theory. Incorporating this side information in a hard way (for instance at all points of an interval) however is an extremely challenging problem. We propose a unified and modular convex optimization framework to encode hard affine SDP constraints on function derivatives into the flexible class of vector-valued reproducing kernel Hilbert spaces (RKHS). The efficiency of the technique is illustrated in the context of joint quantile regression (analysis of aircraft departures), convoy localization, safety-critical control (piloting an underwater vehicle while avoiding obstacles), and econometrics (learning of production functions). This is joint work with Pierre-Cyril Aubin-Frankowski. Preprint: http://arxiv.org/abs/2101.01519

Date : 25 mars 2021
Orateur : Olivier Bournez
Titre : Computations with ordinary differential equations
Résumé : Computability, complexity, programming, continuous time computations, old and recent analog models of computations: Why ordinary differential equations are fun and a pleasant way to do computer science in 2020. Olivier et ses co-auteurs François Fages, Guillaume Le Guludec et Amaury Pouly, ont reçu le prix 2019 du journal La Recherche pour leurs travaux sur les modèles de calcul analogiques et en particulier l’article Strong Turing Completeness of Continuous Chemical Reaction Networks and Compilation of Mixed Analog-Digital Programs. https://www.lemonde.fr/blog/binaire/2019/02/15/la-revanche-du-calcul-analogique/

Date : 18 février 2021
Orateur : Vincent Nozick
Titre : Introduction aux Algèbres Géométriques et leur aspects calculatoires
Résumé : Les Algèbres Géométriques constituent un ensemble d’outils intuitifs permettant de créer et de manipuler des objets géométriques. Longtemps entre les mains des mathématiciens, les informaticiens commencent à se les approprier et à entrevoir leur potentiel. Cet exposé s’inscrit dans cette démarche d’explication simple et commencera par une introduction sur les fondements de ces algèbres, à savoir les vecteurs, les multivecteurs ainsi que quelques produits sur ces multivecteurs. Nous verrons ensuite comment les utiliser pour résoudre efficacement et très simplement des problèmes de géométrie, en portant une attention particulière sur l’aspect calculatoire.

Date : 28 janvier 2021
Orateur : François Le Gall
Titre : Quantum Distributed Computing
Résumé : The subject of this talk will be quantum distributed computing, i.e., distributed computing when the processors of the network can exchange quantum information. After describing the basics of both classical distributed computing and quantum computing, I will explain a result obtained with Frédéric Magniez (PODC 2018) on quantum distributed algorithms computing the diameter of the network. I will then briefly present more recent results (STACS 2019, PODC 2019) that show a separation between the computational powers of quantum and classical distributed algorithms in other models as well. I will conclude my talk by mentioning interesting and important open questions in quantum distributed computing.