Ruth Misener

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 65

Top Topics

Gaussian Process

Nonlinear Optimization

Quadratic Program

Top Venues

Comput. Chem. Eng.

Eur. J. Oper. Res.

Publications

Shiqiang Zhang, Juan S. Campos, Christian Feldmann, Frederik Sandfort, Miriam Mathea, Ruth Misener
Augmenting optimization-based molecular design with graph neural networks. Comput. Chem. Eng. 186 (2024)
Jose Pablo Folch, Calvin Tsay, Robert M. Lee, Behrang Shafei, Weronika Ormaniec, Andreas Krause, Mark van der Wilk, Ruth Misener, Mojmír Mutný
Transition Constrained Bayesian Optimization via Markov Decision Processes. CoRR (2024)
Shiqiang Zhang, Robert M. Lee, Behrang Shafei, David Walz, Ruth Misener
Dependence in constrained Bayesian optimization. Optim. Lett. 18 (6) (2024)
James Odgers, Chrysoula Kappatou, Ruth Misener, Sarah Filippi
Mixed-Output Gaussian Process Latent Variable Models. CoRR (2024)
Ruby Sedgwick, John P. Goertz, Molly M. Stevens, Ruth Misener, Mark van der Wilk
Transfer Learning Bayesian Optimization to Design Competitor DNA Molecules for Use in Diagnostic Assays. CoRR (2024)
Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener
Verifying message-passing neural networks via topology-based bounds tightening. CoRR (2024)
Jixiang Qing, Becky D. Langdon, Robert M. Lee, Behrang Shafei, Mark van der Wilk, Calvin Tsay, Ruth Misener
System-Aware Neural ODE Processes for Few-Shot Bayesian Optimization. CoRR (2024)
Shiqiang Zhang, Juan S. Campos, Christian Feldmann, David Walz, Frederik Sandfort, Miriam Mathea, Calvin Tsay, Ruth Misener
Optimizing over trained GNNs via symmetry breaking. NeurIPS (2023)
Ruth Misener, Lorenz T. Biegler
Formulating data-driven surrogate models for process optimization. Comput. Chem. Eng. 179 (2023)
Bernardetta Addis, Christophe Castel, Amalia Macali, Ruth Misener, Veronica Piccialli
Data augmentation driven by optimization for membrane separation process synthesis. Comput. Chem. Eng. 177 (2023)
Jose Pablo Folch, Robert M. Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener
Combining multi-fidelity modelling and asynchronous batch Bayesian Optimization. Comput. Chem. Eng. 172 (2023)
Shiqiang Zhang, Juan S. Campos, Christian Feldmann, Frederik Sandfort, Miriam Mathea, Ruth Misener
Augmenting optimization-based molecular design with graph neural networks. CoRR (2023)
Clara Stoddart, Lauren Shrack, Richard Sserunjogi, Usman Abdul-Ganiy, Engineer Bainomugisha, Deo Okure, Ruth Misener, Jose Pablo Folch, Ruby Sedgwick
Gaussian Processes for Monitoring Air-Quality in Kampala. CoRR (2023)
Jose Pablo Folch, James Odgers, Shiqiang Zhang, Robert M. Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener
Practical Path-based Bayesian Optimization. CoRR (2023)
Francesco Ceccon, Jordan Jalving, Joshua Haddad, Alexander Thebelt, Calvin Tsay, Carl D. Laird, Ruth Misener
OMLT: Optimization & Machine Learning Toolkit. CoRR (2022)
Johannes Wiebe, I. Cecílio, J. Dunlop, Ruth Misener
A robust approach to warped Gaussian process-constrained optimization. Math. Program. 196 (1) (2022)
Jose Pablo Folch, Shiqiang Zhang, Robert M. Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener
SnAKe: Bayesian Optimization with Pathwise Exploration. CoRR (2022)
Jose Pablo Folch, Shiqiang Zhang, Robert M. Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener
SnAKe: Bayesian Optimization with Pathwise Exploration. NeurIPS (2022)
Francesco Ceccon, Jordan Jalving, Joshua Haddad, Alexander Thebelt, Calvin Tsay, Carl D. Laird, Ruth Misener
OMLT: Optimization & Machine Learning Toolkit. J. Mach. Learn. Res. 23 (2022)
Jose Pablo Folch, Robert M. Lee, Behrang Shafei, David Walz, Calvin Tsay, Mark van der Wilk, Ruth Misener
Combining Multi-Fidelity Modelling and Asynchronous Batch Bayesian Optimization. CoRR (2022)
Francesco Ceccon, Ruth Misener
Solving the pooling problem at scale with extensible solver GALINI. Comput. Chem. Eng. 159 (2022)
Alexander Thebelt, Johannes Wiebe, Jan Kronqvist, Calvin Tsay, Ruth Misener
Maximizing information from chemical engineering data sets: Applications to machine learning. CoRR (2022)
Alexander Thebelt, Calvin Tsay, Robert M. Lee, Nathan Sudermann-Merx, David Walz, Behrang Shafei, Ruth Misener
Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces. NeurIPS (2022)
Jan Kronqvist, Ruth Misener, Calvin Tsay
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints. CoRR (2022)
Alexander Thebelt, Calvin Tsay, Robert M. Lee, Nathan Sudermann-Merx, David Walz, Behrang Shafei, Ruth Misener
Tree ensemble kernels for Bayesian optimization with known constraints over mixed-feature spaces. CoRR (2022)
Alexander Thebelt, Jan Kronqvist, Miten Mistry, Robert M. Lee, Nathan Sudermann-Merx, Ruth Misener
ENTMOOT: A framework for optimization over ensemble tree models. Comput. Chem. Eng. 151 (2021)
Alexander Thebelt, Calvin Tsay, Robert M. Lee, Nathan Sudermann-Merx, David Walz, Tom Tranter, Ruth Misener
Multi-Objective Constrained Optimization for Energy Applications via Tree Ensembles. CoRR (2021)
Jan Kronqvist, Ruth Misener, Calvin Tsay
Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations. CPAIOR (2021)
Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
Approximate and robust bounded job start scheduling for Royal Mail delivery offices. J. Sched. 24 (2) (2021)
Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener
Partition-based formulations for mixed-integer optimization of trained ReLU neural networks. CoRR (2021)
Simon Olofsson, Eduardo S. Schultz, Adel Mhamdi, Alexander Mitsos, Marc Peter Deisenroth, Ruth Misener
Design of Dynamic Experiments for Black-Box Model Discrimination. CoRR (2021)
Jan Kronqvist, Ruth Misener, Calvin Tsay
Between steps: Intermediate relaxations between big-M and convex hull formulations. CoRR (2021)
Dimitrios Letsios, Miten Mistry, Ruth Misener
Exact lexicographic scheduling and approximate rescheduling. Eur. J. Oper. Res. 290 (2) (2021)
Efstratios N. Pistikopoulos, Ana Barbosa-Póvoa, Jay H. Lee, Ruth Misener, Alexander Mitsos, Gintaras V. Reklaitis, Venkat Venkatasubramanian, Fengqi You, Rafiqul Gani
. Comput. Chem. Eng. 147 (2021)
Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener
Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks. NeurIPS (2021)
Miten Mistry, Dimitrios Letsios, Gerhard Krennrich, Robert M. Lee, Ruth Misener
Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded. INFORMS J. Comput. 33 (3) (2021)
Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI (2020)
Kristijonas Cyras, Amin Karamlou, Myles Lee, Dimitrios Letsios, Ruth Misener, Francesca Toni
AI-assisted Schedule Explainer for Nurse Rostering. AAMAS (2020)
Alexander Thebelt, Jan Kronqvist, Miten Mistry, Robert M. Lee, Nathan Sudermann-Merx, Ruth Misener
ENTMOOT: A Framework for Optimization over Ensemble Tree Models. CoRR (2020)
Francesco Ceccon, John D. Siirola, Ruth Misener
SUSPECT: MINLP special structure detector for Pyomo. Optim. Lett. 14 (4) (2020)
Dimitrios Letsios, Radu Baltean-Lugojan, Francesco Ceccon, Miten Mistry, Johannes Wiebe, Ruth Misener
Approximation algorithms for process systems engineering. Comput. Chem. Eng. 132 (2020)
Ruby Sedgwick, John Goertz, Molly Stevens, Ruth Misener, Mark van der Wilk
Design of Experiments for Verifying Biomolecular Networks. CoRR (2020)
Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. COCOA (2019)
Kristijonas Cyras, Dimitrios Letsios, Ruth Misener, Francesca Toni
Argumentation for Explainable Scheduling. AAAI (2019)
Fabio Furini, Emiliano Traversi, Pietro Belotti, Antonio Frangioni, Ambros M. Gleixner, Nick Gould, Leo Liberti, Andrea Lodi, Ruth Misener, Hans D. Mittelmann, Nikolaos V. Sahinidis, Stefan Vigerske, Angelika Wiegele
QPLIB: a library of quadratic programming instances. Math. Program. Comput. 11 (2) (2019)
Dimitrios Letsios, Radu Baltean-Lugojan, Francesco Ceccon, Miten Mistry, Johannes Wiebe, Ruth Misener
Approximation Algorithms for Process Systems Engineering. CoRR (2019)
Juan S. Campos, Ruth Misener, Panos Parpas
A multilevel analysis of the Lasserre hierarchy. Eur. J. Oper. Res. 277 (1) (2019)
Dimitrios Letsios, Jeremy T. Bradley, Suraj G, Ruth Misener, Natasha Page
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries under Uncertainty. CoRR (2019)
Simon Olofsson, Lukas Hebing, Sebastian Niedenführ, Marc Peter Deisenroth, Ruth Misener
GPdoemd: A Python package for design of experiments for model discrimination. Comput. Chem. Eng. 125 (2019)
Simon Olofsson, Mohammad Mehrian, Roberto Calandra, Liesbet Geris, Marc Peter Deisenroth, Ruth Misener
Bayesian Multiobjective Optimisation With Mixed Analytical and Black-Box Functions: Application to Tissue Engineering. IEEE Trans. Biomed. Eng. 66 (3) (2019)
Kristijonas Cyras, Dimitrios Letsios, Ruth Misener, Francesca Toni
Argumentation for Explainable Scheduling (Full Paper with Proofs). CoRR (2018)
Dimitrios Letsios, Georgia Kouyialis, Ruth Misener
Heuristics with performance guarantees for the minimum number of matches problem in heat recovery network design. Comput. Chem. Eng. 113 (2018)
Radu Baltean-Lugojan, Ruth Misener
Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions to NP-hardness. J. Glob. Optim. 71 (4) (2018)
Simon Olofsson, Ruth Misener
GPdoemd: a python package for design of experiments for model discrimination. CoRR (2018)
Miten Mistry, Andrea Callia D'Iddio, Michael Huth, Ruth Misener
Satisfiability modulo theories for process systems engineering. Comput. Chem. Eng. 113 (2018)
Simon Olofsson, Marc Peter Deisenroth, Ruth Misener
Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches. ICML (2018)
Dimitrios Letsios, Ruth Misener
Exact Lexicographic Scheduling and Approximate Rescheduling. CoRR (2018)
Miten Mistry, Dimitrios Letsios, Ruth Misener, Gerhard Krennrich, Robert M. Lee
Optimization with Gradient-Boosted Trees and Risk Control. CoRR (2018)
Pierre Bonami, Ambros M. Gleixner, Jeff T. Linderoth, Ruth Misener
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). Dagstuhl Reports 8 (2) (2018)
Dimitrios Letsios, Georgia Kouyialis, Ruth Misener
Reprint of: Heuristics with performance guarantees for the minimum number of matches problem in heat recovery network design. Comput. Chem. Eng. 116 (2018)
Radu Baltean-Lugojan, Christodoulos A. Floudas, Ruth Misener, Miten Mistry
Designing Energy-Efficient Heat Recovery Networks using Mixed-Integer Nonlinear Optimisation. SEA (2017)
Dimitrios Letsios, Georgia Kouyialis, Ruth Misener
Heuristics with Performance Guarantees for the Minimum Number of Matches Problem in Heat Recovery Network Design. CoRR (2017)
Miten Mistry, Ruth Misener
Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference. Comput. Chem. Eng. 94 (2016)
Symeon Savvopoulos, Ruth Misener, Nicki Panoskaltsis, Efstratios N. Pistikopoulos, Athanasios Mantalaris
A Personalized Framework for Dynamic Modeling of Disease Trajectories in Chronic Lymphocytic Leukemia. IEEE Trans. Biomed. Eng. 63 (11) (2016)
Fani Boukouvala, Ruth Misener, Christodoulos A. Floudas
Global optimization advances in Mixed-Integer Nonlinear Programming, MINLP, and Constrained Derivative-Free Optimization, CDFO. Eur. J. Oper. Res. 252 (3) (2016)
Doniyor Ulmasov, Caroline Baroukh, Benoît Chachuat, Marc Peter Deisenroth, Ruth Misener
Bayesian Optimization with Dimension Scheduling: Application to Biological Systems. CoRR (2015)
María Fuentes Garí, Eirini Velliou, Ruth Misener, Eleni Pefani, Maria Rende, Nicki Panoskaltsis, Athanasios Mantalaris, Efstratios N. Pistikopoulos
A systematic framework for the design, simulation and optimization of personalized healthcare: Making and healing blood. Comput. Chem. Eng. 81 (2015)
Ruth Misener, James B. Smadbeck, Christodoulos A. Floudas
Dynamically generated cutting planes for mixed-integer quadratically constrained quadratic programs and their incorporation into GloMIQO 2. Optim. Methods Softw. 30 (1) (2015)
Ruth Misener, María Fuentes Garí, Maria Rende, Eirini Velliou, Nicki Panoskaltsis, Efstratios N. Pistikopoulos, Athanasios Mantalaris
Global superstructure optimisation of red blood cell production in a parallelised hollow fibre bioreactor. Comput. Chem. Eng. 71 (2014)
Ruth Misener, Christodoulos A. Floudas
A Framework for Globally Optimizing Mixed-Integer Signomial Programs. J. Optim. Theory Appl. 161 (3) (2014)
Ruth Misener, Christodoulos A. Floudas
ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations. J. Glob. Optim. 59 (2-3) (2014)
Ruth Misener, Christodoulos A. Floudas
GloMIQO: Global mixed-integer quadratic optimizer. J. Glob. Optim. 57 (1) (2013)
Anders Skjäl, Tapio Westerlund, Ruth Misener, Christodoulos A. Floudas
A Generalization of the Classical αBB Convex Underestimation via Diagonal and Nondiagonal Quadratic Terms. J. Optim. Theory Appl. 154 (2) (2012)
Richard C. Baliban, Josephine A. Elia, Ruth Misener, Christodoulos A. Floudas
Global optimization of a MINLP process synthesis model for thermochemical based conversion of hybrid coal, biomass, and natural gas to liquid fuels. Comput. Chem. Eng. 42 (2012)
Ruth Misener, Christodoulos A. Floudas
Global optimization of mixed-integer quadratically-constrained quadratic programs (MIQCQP) through piecewise-linear and edge-concave relaxations. Math. Program. 136 (1) (2012)
Ruth Misener, Jeffrey P. Thompson, Christodoulos A. Floudas
APOGEE: Global optimization of standard, generalized, and extended pooling problems via linear and logarithmic partitioning schemes. Comput. Chem. Eng. 35 (5) (2011)
Ruth Misener, Chrysanthos E. Gounaris, Christodoulos A. Floudas
Mathematical modeling and global optimization of large-scale extended pooling problems with the (EPA) complex emissions constraints. Comput. Chem. Eng. 34 (9) (2010)