Presenter: Peyman Milanfar, Distinguished Scientist, Google Description: Denoising, the process of reducing random fluctuations in a signal to emphasize essential patterns, has been a fundamental problem of interest since the dawn of modern scientific inquiry. Recent denoising techniques, particularly in imaging, have achieved remarkable success, nearing theoretical limits by some measures. Yet, despite tens of […]

Presenter: Suresh Jagganathan, Purdue University Abstract: Unlike program verifiers, symbolic execution and property-based testing tools underapproximate program behavior: they aim to report only real bugs (no false positives), at the cost of potentially missing some (false negatives). Recent work has sought to place such tools on a more formal footing, primarily through the development of incorrectness […]

Applied Microeconomics and Trade Seminar: Matt Weinberg

Presenter 1: Gali Bai, BME/PBSE Doctoral Candidate, Brooks Lab, UC Santa Cruz Title 1: Dissecting the contribution of chromatin accessibility to RNA transcription and processing with long-read sequencing Description: Although all cells in an organism share the same genomic sequence, transcriptional programs vary dramatically across cell types. This diversity is governed by epigenetic regulation involving […]

Economics Behavioral, Econometrics and Theory Seminar: Jacopo Magnani