Tag Archives: Optimization

IBM PL Day 2010

Posted on July 14, 2010 by ashish

Here are the abstract and slides for my talk at IBM PL Day. Title: Mechanizing Optimization and Statistics Abstract: Scientific and engineering investigations are formalized most often in the language of numerical mathematics. The tools supporting this are numerous but … Continue reading →

Posted in Presentations | Tagged , , | 1 Comment

I’ll be presenting at IBM PL Day on July 29.

Posted on July 14, 2010 by ashish

Abstract and slides are here.

Posted in News | Tagged , , | Comments Off

ICCS paper and talk slides now available.

Posted on June 9, 2010 by ashish

Click here.

Posted in News | Tagged , , | Comments Off

Toward Interactive Statistical Modeling

Posted on March 27, 2010 by ashish

Abstract When solving machine learning problems, there is currently little automated support for easily experimenting with alternative statistical models or solution strategies. This is because this activity often requires expertise from several different fields (e.g., statistics, optimization, linear algebra), and … Continue reading →

Posted in Presentations, Publications | Tagged , , , | Leave a comment

Automating Mathematical Program Transformations

Posted on January 18, 2010 by ashish

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 →

Posted in Presentations, Publications | Tagged , , | Leave a comment

Our PADL paper was accepted.

Posted on October 12, 2009 by ashish

See you in Madrid! Paper details are here.

Posted in News | Tagged , | Leave a comment

Linear coupled component automata for MILP modeling of hybrid systems

Posted on January 1, 2009 by ashish

Abstract We first introduce a novel modeling framework, called linear coupled component automata (LCCA), to facilitate the modeling of discrete-continuous dynamical systems with piecewise constant derivatives. Second, we provide a procedure for transforming models in this framework to mixed-integer linear … Continue reading →

Posted in Publications | Tagged , | Leave a comment

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

Posted on May 20, 2006 by ashish

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 , , , | Leave a comment

Finished my PhD!

Posted on May 20, 2006 by ashish

Thanks to my great advisors Robert Harper and Ignacio Grossmann. Read all about it here.

Posted in News | Tagged , , | Leave a comment