Seminars

Ashutosh Trivedi Department of Computer Science, University of Colorado Boulder Reinforcement Learning and Formal Requirements Reinforcement learning is an approach to controller synthesis where agents rely on reward signals to choose actions in order to satisfy the requirements implicit in reward signals. Oftentimes non-experts have to come up with the...

Osita Onyejekwe Department of Mathematics, University of Colorado Boulder Feature Detection in Observed Climate Factors The detection of inflection points is an important task in science and engineering. This task is onerous with subjective results. Signals are often corrupted with noise and signal denoising is often required before feature extraction,...

Jennifer Ryan Department of Applied Mathematics and Statistics, Colorado School of Mines Superconvergence Extraction: How to do it? When is it applicable? Many numerical simulations produce data that contains hidden information. This hidden information can be exploited to create even more accurate representations of the data by appropriately constructing convolution...

Tahra Eissa Department of Applied Mathematics, University of Colorado Boulder Biased response distributions for short observation sequences of rare events In a constantly changing world, organisms should estimate the rate that their environment changes to adequately weight evidence. However, given a limited number of observations, it is easy to vastly...

Jorge Poveda Department of Electrical, Computer, and Energy Engineering; University of Colorado Boulder Real-Time Optimization with Robustness and Acceleration via Hybrid Dynamical Systems and Averaging Theory In this talk we will discuss robust and accelerated zero-order algorithms for the solution of black-box optimization problems in dynamical systems. In particular, we...

Henry Adams Department of Mathematics, Colorado State University An introduction to applied topology This talk is an introduction to computational topology, as applied to data analysis and to sensor networks. The shape of a dataset often reflects important patterns within. Two such datasets with interesting shapes are a space of...

Harry Dudley Department of Applied Mathematics, University of Colorado Boulder Model Selection & Bioelectrochemical Systems Microbial electrolysis cells (MECs) are devices that produce hydrogen from renewable organic matter, such as wastewater. These devices require less energy input than water electrolysis and have greater efficiency than fermentative hydrogen production. We present...

Bo Waggoner Department of Computer Science, University of Colorado Boulder Toward a Characterization of Loss Functions for Distribution Learning A common machine-learning task is to learn a probability distribution over a very large domain. Examples include natural language processing and generative adversarial networks. But how should the learned distribution be...

Adrianna Gillman Department of Applied Mathematics, University of Colorado Boulder An efficient and high order accurate direct solution technique for variable coefficient elliptic partial differential equations For many applications in science and engineering, the ability to efficiently and accurately approximate solutions to elliptic PDEs dictates what physical phenomena can be...

Convergence to the Mean Field Game Limit: A Case Study Mean field games are used as approximations to n-player games with large n. Indeed, n-player Nash equilibria are known to converge to their mean field counterpart when the latter is unique. In this talk we study a specific stochastic game...