Events Search and Views Navigation

Event Views Navigation

Today

  • CMSA-New-Technologies-in-Mathematics-04.14.21

    A Bayesian neural network predicts the dissolution of compact planetary systems

    Virtual

    https://youtu.be/VhseP2V3NXg Speaker: Miles Cranmer - Princeton University Title: A Bayesian neural network predicts the dissolution of compact planetary systems Abstract: Despite over three hundred years of effort, no solutions exist for predicting when a general planetary configuration will become unstable. I will discuss our deep learning architecture (arxiv:2101.04117) which pushes forward this problem for compact systems. […]

  • Lecture_Ma-1-pdf

    CMSA Math-Science Literature Lecture: Deep Networks from First Principles

    Virtual

    Yi MaPhoto Copyright Noah Berger / 2019   Yi Ma (University of California, Berkeley) Title: Deep Networks from First Principles Abstract: In this talk, we offer an entirely “white box’’ interpretation of deep (convolution) networks from the perspective of data compression (and group invariance). In particular, we show how modern deep layered architectures, linear (convolution) operators and […]

  • CMSA Math-Science Literature Lecture: The Atiyah-Singer Index Theorem

    Virtual

    Dan Freed (The University of Texas at Austin) Title: The Atiyah-Singer Index Theorem Abstract: The story of the index theorem ties together the Gang of Four—Atiyah, Bott, Hirzebruch, and Singer—and lies at the intersection of analysis, geometry, and topology. In the first part of the talk I will recount high points in the early developments. Then I […]

  • CMSA-New-Technologies-in-Mathematics-04.21.21

    Homotopy type theory and the quest for extensionality

    Virtual

    Speaker: Michael Shulman - Dept. of Mathematics, University of San Diego Title: Homotopy type theory and the quest for extensionality Abstract: Over the past decades, dependent type theory has proven to be a powerful framework for verified software and formalized mathematics.  However, its treatment of equality has always been somewhat uncomfortable.  Recently, homotopy type theory has […]