Condensed sets form a topos, and hence admit an internal type theory. In this talk I will describe a list of axioms satisfied by this particular type theory.
-
02May
-
03May
Abstract not available
-
03May
With weather patterns becoming erratic, rural communities in India dependent upon agriculture, livestock, and forests for their sustenance face an intersecting crisis of environment, livelihood, and social justice.
-
07May
The ecosystem of cryptocurrencies has grown and changed significantly since Bitcoin's inception in 2008. This expansion, however, has opened opportunities for cybercriminals, leading to an increase in cryptocurrency-related scams.
-
07May
*ABSTRACT*: Bioelectronic medicine provides a new means of addressing disease via the electrical stimulation of tissues: Deep brain stimulation, for example, has shown exceptional promise in the treatment of neurological and neuropsychiatric disorders, while stimulation of peripheral nerves is being explored to treat autoimm
-
09May
Abstract not available
-
10May
This talk introduces Climinator, a novel AI-based tool designed to automate the fact-checking of climate change claims.
-
10May
This talk introduces Climinator, a novel AI-based tool designed to automate the fact-checking of climate change claims.
-
14May
Abstract not available
-
15May
The emergence of ML-enabled technology platforms that aim to enhance molecule performance have the potential to revolutionize the way we approach drug discovery. However, without a purpose-built tech stack that puts data quality at the heart, many are destined to fail.