Scientific Program Cluster Details

Program -> Parallel Sessions -> Cluster List -> Details all clusters
Search talks included | sessions only

Please login, if you want to personalize your selection of clusters.

Cluster: Implementations & software


10:30 - 12:00, room: H 1058

Chair: Katya Scheinberg
Testing environments for machine learning and compressed sensing

Friedlander Spot: A linear-operator toolbox for Matlab [...]
Scheinberg Studying effects of various step selection strategies in first order approaches to compressed sensing and other composite optimization problems [...]
Lorenz Constructing test instances for basis pursuit denoising [...]


13:15 - 14:45, room: H 1058

Chair: Erling Dalgaard Andersen
Optimization tools for R

Friberg The R-to-MOSEK optimization interface [...]
Theu├čl ROI - R Optimization Infrastructure package [...]
Dirkse GDXRRW: Exchanging data between GAMS and R [...]


15:15 - 16:45, room: H 1058

Chair: Thorsten Koch
MILP software I

Weninger SCIP preprocessing for MIPs arising in supply chain management [...]
Christophel Research topics of the SAS MILP solver development team [...]
Gamrath The SCIP Optimization Suite 3.0 - It's all in the bag! [...]




10:30 - 12:00, room: H 1058

Chair: Thorsten Koch
MILP software II

Tieves Creating synergies between MIP-solvers [...]
Joswig polymake for integer linear programming [...]
Gardi LocalSolver: A mathematical programming solver based on local search [...]


13:15 - 14:45, room: H 1058

Chair: Paul Shaw
Software for constraint programming

Shaw Automatic search in CP optimizer [...]
Nightingale Watched literals and generating propagators in constraint programming [...]
Tack Towards MiniZinc 2.0 [...]


15:15 - 16:45, room: H 1058

Chair: Hande Benson and Robert Vanderbei
NLP and MINLP software

Schittkowski MISQP: A TR-SQP algorithm for the efficient solution of non-convex, non-relaxable mixed-integer nonlinear programming problems [...]
Vanderbei Fast fourier optimization [...]




10:30 - 12:00, room: H 1058

Chair: Erling Dalgaard Andersen
Implementations of interior point methods for linear and conic optimization problems

Meszaros Exploiting hardware capabilities in implementations of interior point methods [...]
Andersen On recent improvements in the interior-point optimizer in MOSEK [...]
Polik Crossing over [...]


13:15 - 14:45, room: H 0110

Chair: Daniel Steffy
Exact MIP/LP solvers

Hoffmann Integration of an LP solver into interval constraint propagation [...]
Wolter An exact rational mixed-integer programming solver [...]
Parekh Computing certificates for integer programs [...]


13:15 - 14:45, room: H 1058

Chair: Denis Ridzal
Software for PDE-constrained optimization

Young Software abstractions for matrix-free PDE optimization with cone constraints [...]
Potschka MUSCOP: A multiple shooting code for time-periodic parabolic PDE constrained optimization [...]
Kourounis Gradient-based optimization using adjoint methods for optimization of compositional flow in porous media [...]


15:15 - 16:45, room: H 0110

Chair: Hans Mittelmann
Commercial mathematical programming solvers I

Koch Any progress one year after MIPLIB 2010 ? [...]
Perregaard Recent advances in the Xpress MIP solver [...]
Achterberg Cover probing for mixed integer programs [...]


15:15 - 16:45, room: H 1058

Chair: Denis Ridzal
Software for large-scale optimization

Richter FiOrdOs: A Matlab toolbox for C-code generation for first-order methods [...]
Phipps Support embedded algorithms through template-based generic programming [...]




10:30 - 12:00, room: H 0110

Chair: Hans Mittelmann
Commercial mathematical programming solvers II

Mittelmann Selected benchmarks in continuous and discrete optimization [...]
Dahl Extending the conic optimizer in MOSEK with semidefinite cones [...]
Bixby Presolve for linear and mixed-integer programming [...]


10:30 - 12:00, room: H 1058

Chair: Robert Fourer
Modeling languages and software I

Siirola Modeling and optimizing block-composable mathematical programs in Pyomo [...]
Sagnol PICOS: A python interface to conic optimization solvers [...]
Fourer Strategies for using algebraic modeling languages to formulate second-order cone programs [...]


13:15 - 14:45, room: H 1058

Chair: Robert Fourer
Modeling languages and software II

Hochreiter Optimization modeling using R [...]
Schulz Enterprise-class optimization-based solutions with CPLEX Optimization Studio and SPSS predictive analytics [...]
Lopes Network optimization and beyond in SAS/OR Software [...]


15:15 - 16:45, room: H 1058

Chair: Robert Fourer
Modeling languages and software III

Rutquist Trajectory optimization with TOMLAB/PROPT [...]
Valente Optimisation under uncertainty: Software tools for modelling and solver support [...]
Beraudier Modeling best practices: How to write good optimization models efficiently thanks to IBM ILOG CPLEX Optimization Studio's Integrated Development Environment (IDE) and its debugging support [...]




10:30 - 12:00, room: H 1058

Chair: Theodore Ralphs
Open source software for modeling and optimization

Gassmann Optimization services: Connecting algebraic modelling languages to several solvers using a web-aware framework [...]
Forrest A bit of CLP (accelerated?) [...]


13:15 - 14:45, room: H 1058

Chair: Christoph Helmberg
Conic linear programming

Helmberg Speeding up the spectral bundle method by solving the quadratic semidefinite subproblems with a PSQMR approach [...]
Jarre Solving large scale problems over the doubly nonnegative cone [...]
Toh An inexact accelerated proximal gradient method for large scale convex quadratic SDP [...]


15:15 - 16:45, room: H 1058

Chair: Jeff Linderoth
Parallel optimization software

Fujisawa High-performance general solver for extremly large-scale semidefinite programming problems [...]
Shinano ParaSCIP and FiberSCIP - Parallel extensions of SCIP [...]
Phillips PICO's new hierarchical branch-and-bound system for massively parallel IP [...]



Program -> Parallel Sessions -> Cluster List -> Details all clusters
Search talks included | sessions only
  Payday Loans In Virginia. On the global pharmaceutical market this medicine was issued in 2003 by two companies - Eli Lilly and ICOS. Initially, permission to sell Cialis Sale was obtained in Europe, Australia, New Zealand.