### Categories

### Tags

# Category Archives: Presentations

## Automating Mathematical Program Transformations

Abstract Mathematical programs (MPs) are a class of constrained optimization problems that include linear, mixed-integer, and disjunctive programs. Strategies for solving MPs rely heavily on various transformations between these subclasses, but most are not automated because MP theory does not … Continue reading

## ENCODE/modENCODE Consortium Meeting 2009

Ashish Agarwal, LaDeana W. Hillier, Joel Rozowsky, David Koppstein, Andrea Sboner, Lukas Habegger, Jeanyoung Jo, Michael Snyder, Philip Green, Valerie Reinke, Robert H. Waterston, Mark Gerstein, “Transcriptome comparison between tiling arrays and next generation sequencing on matched worm samples, towards … Continue reading

## Dissertation: Logical Modeling Frameworks for the Optimization of Discrete-Continuous Systems

Abstract Often, it is very difficult to pose a model for a system even after the system is conceptually understood. The reason is the mathematical languages we employ have few forms of expression. We define more expressive languages, first for … Continue reading

Posted in Presentations, Publications
Tagged Hybrid Systems, Optimization, SML, Types
Leave a comment