default search action
Ruth Misener
Person information
- affiliation: Imperial College London, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [j37]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: 108684 (2024) - [j36]Shiqiang Zhang
Dependence in constrained Bayesian optimization. Optim. Lett. 18(6): 1457-1473 (2024) - [c12]Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener:
Verifying message-passing neural networks via topology-based bounds tightening. ICML 2024 - [i30]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 abs/2402.08406 (2024) - [i29]James Odgers, Chrysoula Kappatou, Ruth Misener, Sarah Filippi:
Mixed-Output Gaussian Process Latent Variable Models. CoRR abs/2402.09122 (2024) - [i28]Christopher Hojny, Shiqiang Zhang, Juan S. Campos, Ruth Misener:
Verifying message-passing neural networks via topology-based bounds tightening. CoRR abs/2402.13937 (2024) - [i27]Ruby Sedgwick, John P. Goertz, Molly M. Stevens, Ruth Misener
Transfer Learning Bayesian Optimization to Design Competitor DNA Molecules for Use in Diagnostic Assays. CoRR abs/2402.17704 (2024) - [i26]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 abs/2406.02352 (2024) - [i25]Johannes P. Dürholt, Thomas S. Asche, Johanna Kleinekorte, Gabriel Mancino-Ball, Benjamin Schiller, Simon Sung, Julian Keupp, Aaron Osburg, Toby Boyne, Ruth Misener, Rosona Eldred, Wagner Steuer Costa, Chrysoula Kappatou, Robert M. Lee, Dominik Linzner, David Walz, Niklas Wulkow, Behrang Shafei:
BoFire: Bayesian Optimization Framework Intended for Real Experiments. CoRR abs/2408.05040 (2024) - 2023
- [j35]Jose Pablo Folch
Combining multi-fidelity modelling and asynchronous batch Bayesian Optimization. Comput. Chem. Eng. 172: 108194 (2023) - [j34]Bernardetta Addis
Data augmentation driven by optimization for membrane separation process synthesis. Comput. Chem. Eng. 177: 108342 (2023) - [j33]Ruth Misener
Formulating data-driven surrogate models for process optimization. Comput. Chem. Eng. 179: 108411 (2023) - [c11]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 - [i24]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 abs/2311.16625 (2023) - [i23]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 abs/2312.00622 (2023) - [i22]Shiqiang Zhang, Juan S. Campos, Christian Feldmann, Frederik Sandfort, Miriam Mathea, Ruth Misener:
Augmenting optimization-based molecular design with graph neural networks. CoRR abs/2312.03613 (2023) - 2022
- [j32]Francesco Ceccon, Ruth Misener
Solving the pooling problem at scale with extensible solver GALINI. Comput. Chem. Eng. 159: 107660 (2022) - [j31]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: 349:1-349:8 (2022) - [j30]Johannes Wiebe
A robust approach to warped Gaussian process-constrained optimization. Math. Program. 196(1): 805-839 (2022) - [c10]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 - [c9]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 - [i21]Alexander Thebelt, Johannes Wiebe, Jan Kronqvist, Calvin Tsay, Ruth Misener:
Maximizing information from chemical engineering data sets: Applications to machine learning. CoRR abs/2201.10035 (2022) - [i20]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 abs/2202.00060 (2022) - [i19]Francesco Ceccon, Jordan Jalving, Joshua Haddad, Alexander Thebelt, Calvin Tsay, Carl D. Laird, Ruth Misener:
OMLT: Optimization & Machine Learning Toolkit. CoRR abs/2202.02414 (2022) - [i18]Jan Kronqvist, Ruth Misener, Calvin Tsay:
P-split formulations: A class of intermediate formulations between big-M and convex hull for disjunctive constraints. CoRR abs/2202.05198 (2022) - [i17]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 abs/2207.00879 (2022) - [i16]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 abs/2211.06149 (2022) - 2021
- [j29]Efstratios N. Pistikopoulos
Process systems engineering - The generation next?. Comput. Chem. Eng. 147: 107252 (2021) - [j28]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: 107343 (2021) - [j27]Dimitrios Letsios
Exact lexicographic scheduling and approximate rescheduling. Eur. J. Oper. Res. 290(2): 469-478 (2021) - [j26]Miten Mistry
Mixed-Integer Convex Nonlinear Optimization with Gradient-Boosted Trees Embedded. INFORMS J. Comput. 33(3): 1103-1119 (2021) - [j25]Dimitrios Letsios
Approximate and robust bounded job start scheduling for Royal Mail delivery offices. J. Sched. 24(2): 237-258 (2021) - [c8]Jan Kronqvist
Between Steps: Intermediate Relaxations Between Big-M and Convex Hull Formulations. CPAIOR 2021: 299-314 - [c7]Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener:
Partition-Based Formulations for Mixed-Integer Optimization of Trained ReLU Neural Networks. NeurIPS 2021: 3068-3080 - [i15]Jan Kronqvist, Ruth Misener, Calvin Tsay:
Between steps: Intermediate relaxations between big-M and convex hull formulations. CoRR abs/2101.12708 (2021) - [i14]Simon Olofsson, Eduardo S. Schultz, Adel Mhamdi, Alexander Mitsos, Marc Peter Deisenroth, Ruth Misener:
Design of Dynamic Experiments for Black-Box Model Discrimination. CoRR abs/2102.03782 (2021) - [i13]Calvin Tsay, Jan Kronqvist, Alexander Thebelt, Ruth Misener:
Partition-based formulations for mixed-integer optimization of trained ReLU neural networks. CoRR abs/2102.04373 (2021) - [i12]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 abs/2111.03140 (2021) - 2020
- [j24]Dimitrios Letsios
Approximation algorithms for process systems engineering. Comput. Chem. Eng. 132 (2020) - [j23]Francesco Ceccon, John D. Siirola, Ruth Misener
SUSPECT: MINLP special structure detector for Pyomo. Optim. Lett. 14(4): 801-814 (2020) - [c6]Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist, Alessio Lomuscio, Ruth Misener:
Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis. AAAI 2020: 3291-3299 - [c5]Kristijonas Cyras, Amin Karamlou, Myles Lee, Dimitrios Letsios
AI-assisted Schedule Explainer for Nurse Rostering. AAMAS 2020: 2101-2103 - [i11]Alexander Thebelt, Jan Kronqvist, Miten Mistry, Robert M. Lee, Nathan Sudermann-Merx, Ruth Misener:
ENTMOOT: A Framework for Optimization over Ensemble Tree Models. CoRR abs/2003.04774 (2020) - [i10]Ruby Sedgwick, John P. Goertz, Molly M. Stevens, Ruth Misener, Mark van der Wilk:
Design of Experiments for Verifying Biomolecular Networks. CoRR abs/2011.10575 (2020)
2010 – 2019
- 2019
- [j22]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: 54-70 (2019) - [j21]Juan S. Campos, Ruth Misener
A multilevel analysis of the Lasserre hierarchy. Eur. J. Oper. Res. 277(1): 32-41 (2019) - [j20]Fabio Furini
QPLIB: a library of quadratic programming instances. Math. Program. Comput. 11(2): 237-265 (2019) - [j19]Simon Olofsson
Bayesian Multiobjective Optimisation With Mixed Analytical and Black-Box Functions: Application to Tissue Engineering. IEEE Trans. Biomed. Eng. 66(3): 727-739 (2019) - [c4]Kristijonas Cyras, Dimitrios Letsios
Argumentation for Explainable Scheduling. AAAI 2019: 2752-2759 - [c3]Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener
Approximating Bounded Job Start Scheduling with Application in Royal Mail Deliveries Under Uncertainty. COCOA 2019: 69-81 - [i9]Dimitrios Letsios, Radu Baltean-Lugojan, Francesco Ceccon, Miten Mistry, Johannes Wiebe, Ruth Misener:
Approximation Algorithms for Process Systems Engineering. CoRR abs/1909.12328 (2019) - [i8]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 abs/1912.06862 (2019) - 2018
- [j18]Dimitrios Letsios
Heuristics with performance guarantees for the minimum number of matches problem in heat recovery network design. Comput. Chem. Eng. 113: 57-85 (2018) - [j17]Miten Mistry, Andrea Callia D'Iddio, Michael Huth
Satisfiability modulo theories for process systems engineering. Comput. Chem. Eng. 113: 98-114 (2018) - [j16]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: 422-450 (2018) - [j15]Radu Baltean-Lugojan
Piecewise parametric structure in the pooling problem: from sparse strongly-polynomial solutions to NP-hardness. J. Glob. Optim. 71(4): 655-690 (2018) - [c2]Simon Olofsson, Marc Peter Deisenroth, Ruth Misener:
Design of Experiments for Model Discrimination Hybridising Analytical and Data-Driven Approaches. ICML 2018: 3905-3914 - [i7]Miten Mistry, Dimitrios Letsios, Ruth Misener, Gerhard Krennrich, Robert M. Lee:
Optimization with Gradient-Boosted Trees and Risk Control. CoRR abs/1803.00952 (2018) - [i6]Dimitrios Letsios, Ruth Misener:
Exact Lexicographic Scheduling and Approximate Rescheduling. CoRR abs/1805.03437 (2018) - [i5]Simon Olofsson, Ruth Misener:
GPdoemd: a python package for design of experiments for model discrimination. CoRR abs/1810.02561 (2018) - [i4]Kristijonas Cyras, Dimitrios Letsios, Ruth Misener, Francesca Toni:
Argumentation for Explainable Scheduling (Full Paper with Proofs). CoRR abs/1811.05437 (2018) - [i3]Pierre Bonami, Ambros M. Gleixner
Designing and Implementing Algorithms for Mixed-Integer Nonlinear Optimization (Dagstuhl Seminar 18081). Dagstuhl Reports 8(2): 64-87 (2018) - 2017
- [c1]Radu Baltean-Lugojan, Christodoulos A. Floudas, Ruth Misener, Miten Mistry:
Designing Energy-Efficient Heat Recovery Networks using Mixed-Integer Nonlinear Optimisation. SEA 2017: 1:1-1:1 - [i2]Dimitrios Letsios, Georgia Kouyialis, Ruth Misener:
Heuristics with Performance Guarantees for the Minimum Number of Matches Problem in Heat Recovery Network Design. CoRR abs/1709.04688 (2017) - 2016
- [j14]Miten Mistry, Ruth Misener
Optimising heat exchanger network synthesis using convexity properties of the logarithmic mean temperature difference. Comput. Chem. Eng. 94: 1-17 (2016) - [j13]Fani Boukouvala
Global optimization advances in Mixed-Integer Nonlinear Programming, MINLP, and Constrained Derivative-Free Optimization, CDFO. Eur. J. Oper. Res. 252(3): 701-727 (2016) - [j12]Symeon Savvopoulos, Ruth Misener
A Personalized Framework for Dynamic Modeling of Disease Trajectories in Chronic Lymphocytic Leukemia. IEEE Trans. Biomed. Eng. 63(11): 2396-2404 (2016) - 2015
- [j11]María Fuentes Garí
A systematic framework for the design, simulation and optimization of personalized healthcare: Making and healing blood. Comput. Chem. Eng. 81: 80-93 (2015) - [j10]Ruth Misener
Dynamically generated cutting planes for mixed-integer quadratically constrained quadratic programs and their incorporation into GloMIQO 2. Optim. Methods Softw. 30(1): 215-249 (2015) - [i1]Doniyor Ulmasov, Caroline Baroukh, Benoît Chachuat, Marc Peter Deisenroth, Ruth Misener:
Bayesian Optimization with Dimension Scheduling: Application to Biological Systems. CoRR abs/1511.05385 (2015) - 2014
- [j9]Ruth Misener
Global superstructure optimisation of red blood cell production in a parallelised hollow fibre bioreactor. Comput. Chem. Eng. 71: 532-553 (2014) - [j8]Ruth Misener
ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations. J. Glob. Optim. 59(2-3): 503-526 (2014) - [j7]Ruth Misener
A Framework for Globally Optimizing Mixed-Integer Signomial Programs. J. Optim. Theory Appl. 161(3): 905-932 (2014) - 2013
- [j6]Ruth Misener
GloMIQO: Global mixed-integer quadratic optimizer. J. Glob. Optim. 57(1): 3-50 (2013) - 2012
- [j5]Richard C. Baliban, Josephine A. Elia, Ruth Misener
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: 64-86 (2012) - [j4]Anders Skjäl, Tapio Westerlund, Ruth Misener
A Generalization of the Classical αBB Convex Underestimation via Diagonal and Nondiagonal Quadratic Terms. J. Optim. Theory Appl. 154(2): 462-490 (2012) - [j3]Ruth Misener
Global optimization of mixed-integer quadratically-constrained quadratic programs (MIQCQP) through piecewise-linear and edge-concave relaxations. Math. Program. 136(1): 155-182 (2012) - 2011
- [j2]Ruth Misener
APOGEE: Global optimization of standard, generalized, and extended pooling problems via linear and logarithmic partitioning schemes. Comput. Chem. Eng. 35(5): 876-892 (2011) - 2010
- [j1]Ruth Misener
Mathematical modeling and global optimization of large-scale extended pooling problems with the (EPA) complex emissions constraints. Comput. Chem. Eng. 34(9): 1432-1456 (2010)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-18 23:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: