FAST-SLOW ANALYSIS OF A MODEL FOR THE STIMULATION OF ENZYMATIC ACTIVITY BY A COMPETITIVE INHIBITOR

Competitive inhibitors can, paradoxically, stimulate an enzymatic reaction at low to moderate doses. Competitive inhibition of an enzyme occurs when an inhibitor binds to the enzyme’s binding site and blocks the enzyme’s target molecule from binding. We recently proposed a detailed but straightforward mass action model for competitive inhibition of phosphoglycerate kinase 1 (PGK1) by Terazosin (TZ)...

Title: Proofs and Programs

Abstract:

The Curry-Howard correspondence is one of (if not the) most significant foundational result in the study of programming languages and logics.

At its most fundamental, the Curry-Howard correspondence describes a deep connection between (predicative intuitionistic) logic with (simply-typed functional) programming: logical propositions are types, proofs of those propositions are functions inhabiting those types, and simplification of those proofs is evaluation of...

Title: Volume inequalities and volume polynomials

Abstract: Many classical geometric inequalities, such as the isoperimetric inequality and the Loomis-Whitney inequality, can be understood and generalized using mixed volumes. In this talk, I will explain how these inequalities fit into a broader framework based on volume polynomials, which naturally relate mixed volume inequalities to intersection number inequalities in algebraic geometry. This perspective provides a unified approach to a wide...

Title: Volume inequalities and volume polynomials

Abstract: Many classical geometric inequalities, such as the isoperimetric inequality and the Loomis-Whitney inequality, can be understood and generalized using mixed volumes. In this talk, I will explain how these inequalities fit into a broader framework based on volume polynomials, which naturally relate mixed volume inequalities to intersection number inequalities in algebraic geometry. This perspective provides a unified approach to a wide...