Publications related to New Results in the Theory of Linear and Integer Programming

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

Maryam Kamgarpour, John Lygeros, Tyler Summers

One of the most fundamental problems in Markov decision processes is analysis and control synthesis for safety and reachability specifications. We consider the stochastic reach-avoid problem, in which the objective is to synthesize a control policy to max ...

2017

Optical Tomography Based On A Nonlinear Model That Handles Multiple Scattering

Michaël Unser, Demetri Psaltis, Ulugbek Kamilov, Alexandre Goy, Joowon Lim

Learning Tomography (LT) is a nonlinear optimization algorithm for computationally imaging three-dimensional (3D) distribution of the refractive index in semi-transparent samples. Since the energy function in LT is generally non-convex, the solution it obt ...

Ieee2017

Maximizing Symmetric Submodular Functions

Moran Feldman

Symmetric submodular functions are an important family of submodular functions capturing many interesting cases, including cut functions of graphs and hypergraphs. Maximization of such functions subject to various constraints receives little attention by c ...

Association for Computing Machinery2017

Robust Submodular Maximization: A Non-Uniform Partitioning Approach

Volkan Cevher, Jonathan Mark Scarlett, Ilija Bogunovic, Slobodan Mitrovic

We study the problem of maximizing a monotone submodular function subject to a cardinality constraint

k

, with the added twist that a number of items

\tau

from the returned set may be removed. We focus on the worst-case setting considered in Orlin et al ...

2017

The multi-objective railway timetable rescheduling problem

Michel Bierlaire, Mohammad Yousef Maknoon, Stefan Yves Gabriel Binder

Unexpected disruptions occur for many reasons in railway networks and cause delays, cancelations, and, eventually, passenger inconvenience. This research focuses on the railway timetable rescheduling problem from a macroscopic point of view in case of larg ...

Pergamon-Elsevier Science Ltd2017

An integer programming approach to scheduling the transshipment of products at cross-docks in less-than-truckload industries

Mohammad Yousef Maknoon

This paper introduces an exact method to schedule the internal transshipment process at cross-docks in less-than-truckload industries. An integer programming formulation is presented to minimize the cost of double handling by synchronizing two types of dec ...

Pergamon-Elsevier Science Ltd2017

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems

Maryam Kamgarpour, John Lygeros

We propose a computational approach to approximate the value function and control poli- cies for a finite horizon stochastic reach-avoid problem as follows. First, we formulate an infinite dimensional linear program whose solution characterizes the optimal ...

EPiC Series in Computing2017

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

Pascal Fua, Engin Türetken, Xinchao Wang, Carlos Joaquin Becker

We propose a novel approach to automatically tracking elliptical cell populations in time-lapse image sequences. Given an initial segmentation, we account for partial occlusions and overlaps by generating an over-complete set of competing detection hypothe ...

2017

Decomposition of a Cube into Nearly Equal Smaller Cubes

János Pach

Let d be a fixed positive integer and let epsilon > 0. It is shown that for every sufficiently large n >= n(0)( d, e), the d-dimensional unit cube can be decomposed into exactly n smaller cubes such that the ratio of the side length of the largest cube to ...

Mathematical Assoc Amer2017

Group-Sparse Model Selection: Hardness and Relaxations

Volkan Cevher, Anastasios Kyrillidis, Luca Baldassarre, Nirav Bhan

Group-based sparsity models are proven instrumental in linear regression problems for recovering signals from much fewer measurements than standard compressive sensing. The main promise of these models is the recovery of ``interpretable" signals along with ...

Institute of Electrical and Electronics Engineers2016

New Results in the Theory of Linear and Integer Programming

Graph Chatbot

Chat with Graph Search

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

Optical Tomography Based On A Nonlinear Model That Handles Multiple Scattering

Maximizing Symmetric Submodular Functions

Robust Submodular Maximization: A Non-Uniform Partitioning Approach

The multi-objective railway timetable rescheduling problem

An integer programming approach to scheduling the transshipment of products at cross-docks in less-than-truckload industries

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

Decomposition of a Cube into Nearly Equal Smaller Cubes

Group-Sparse Model Selection: Hardness and Relaxations

Maximizing Symmetric Submodular Functions

An integer programming approach to scheduling the transshipment of products at cross-docks in less-than-truckload industries

The Linear Programming Approach to Reach-Avoid Problems for Markov Decision Processes

Group-Sparse Model Selection: Hardness and Relaxations

Network Flow Integer Programming to Track Elliptical Cells in Time-Lapse Sequences

A Semidefinite Programming Approach to Control Synthesis for Stochastic Reach-Avoid Problems

Decomposition of a Cube into Nearly Equal Smaller Cubes

Robust Submodular Maximization: A Non-Uniform Partitioning Approach

The multi-objective railway timetable rescheduling problem

Optical Tomography Based On A Nonlinear Model That Handles Multiple Scattering