One thing that quickly becomes clear when attempting to formalize recent mathematical discoveries in a computer proof assistant is how much "invisible mathematics" is obscured in a proof on paper. This talk will attempt to present a taxonomy of the various forms of invisible mathematics that have been made visible by attempts to formalize higher […]
Join us for tea and snacks on the 3rd floor of Gross Hall! This is a great chance to meet colleagues in a casual environment. All Welcome!
Mathematics professor Di Fang will lead this short course on quantum algorithms as part of the Information Initiative's Pop-Up Mini course series. For more information about our Pop-Up Courses and other activities please visit: https://bigdata.duke.edu/participate/pop-up-institutes/
Mathematics professor Di Fang will lead this short course on quantum algorithms as part of the Information Initiative's Pop-Up Mini course series. For more information about our Pop-Up Courses and other activities please visit: https://bigdata.duke.edu/participate/pop-up-institutes/
Join us for tea and snacks on the 3rd floor of Gross Hall! This is a great chance to meet colleagues in a casual environment. All Welcome!
Mathematics professor Di Fang will lead this short course on quantum algorithms as part of the Information Initiative's Pop-Up Mini course series. For more information about our Pop-Up Courses and other activities please visit: https://bigdata.duke.edu/participate/pop-up-institutes/
The AI landscape is evolving rapidly and the growing number of tools, models, and use cases can feel overwhelming. This seminar will introduce the Duke Health AI Studio and Microsoft Copilot, clarify how each fits into the Duke Health ecosystem. Through practical examples and real use cases, you'll learn how these tools support research, administrative […]
Mathematics professor Di Fang will lead this short course on quantum algorithms as part of the Information Initiative's Pop-Up Mini course series. For more information about our Pop-Up Courses and other activities please visit: https://bigdata.duke.edu/participate/pop-up-institutes/
Title of talk: Ferroelectrics and Solid-State Cooling? Ferroelectrics, with their intrinsically polar structures, provide a multifunctional platform that enables the efficient exchange and conversion of electrical energy and signals with other forms of energy and signals. Since 1950s, many ferroelectric effects have been successfully exploited and translated into commercial market. Electrocaloric cooling technology, based on […]
Join us for tea and snacks on the 3rd floor of Gross Hall! This is a great chance to meet colleagues in a casual environment. All Welcome!
Mathematics professor Di Fang will lead this short course on quantum algorithms as part of the Information Initiative's Pop-Up Mini course series. For more information about our Pop-Up Courses and other activities please visit: https://bigdata.duke.edu/participate/pop-up-institutes/
Abstract: Electrocatalysis has the potential to enable sustainable chemical infrastructures via the generation of commodity chemicals such as hydrogen, hydrocarbons, and ammonia with renewable energy, but electrochemical devices such as electrolyzers often exhibit inadequate activity and stability for these transformations due to poor catalyst performance for the oxygen evolution reaction (OER). The Moreno-Hernandez Laboratory specializes […]
