default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRuth 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, Robert M. Lee, Behrang Shafei, David Walz, Ruth Misener:
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, Mark van der Wilk:
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, 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: 108194 (2023) - [j34]Bernardetta Addis, Christophe Castel, Amalia Macali, Ruth Misener, Veronica Piccialli:
Data augmentation driven by optimization for membrane separation process synthesis. Comput. Chem. Eng. 177: 108342 (2023) - [j33]Ruth Misener, Lorenz T. Biegler:
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, I. Cecílio, J. Dunlop, Ruth Misener:
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, Ana Barbosa-Póvoa, Jay H. Lee, Ruth Misener, Alexander Mitsos, Gintaras V. Reklaitis, Venkat Venkatasubramanian, Fengqi You, Rafiqul Gani:
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, Miten Mistry, Ruth Misener:
Exact lexicographic scheduling and approximate rescheduling. Eur. J. Oper. Res. 290(2): 469-478 (2021) - [j26]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): 1103-1119 (2021) - [j25]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): 237-258 (2021) - [c8]Jan Kronqvist, Ruth Misener, Calvin Tsay:
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, Radu Baltean-Lugojan, Francesco Ceccon, Miten Mistry, Johannes Wiebe, Ruth Misener:
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, Ruth Misener, Francesca Toni:
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, Panos Parpas:
A multilevel analysis of the Lasserre hierarchy. Eur. J. Oper. Res. 277(1): 32-41 (2019) - [j20]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): 237-265 (2019) - [j19]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): 727-739 (2019) - [c4]Kristijonas Cyras, Dimitrios Letsios, Ruth Misener, Francesca Toni:
Argumentation for Explainable Scheduling. AAAI 2019: 2752-2759 - [c3]Jeremy T. Bradley, Dimitrios Letsios, Ruth Misener, Natasha Page:
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, Georgia Kouyialis, Ruth Misener:
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, Ruth Misener:
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, Ruth Misener:
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, Jeff T. Linderoth, Ruth Misener:
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, 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): 701-727 (2016) - [j12]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): 2396-2404 (2016) - 2015
- [j11]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: 80-93 (2015) - [j10]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): 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, 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: 532-553 (2014) - [j8]Ruth Misener, Christodoulos A. Floudas:
ANTIGONE: Algorithms for coNTinuous / Integer Global Optimization of Nonlinear Equations. J. Glob. Optim. 59(2-3): 503-526 (2014) - [j7]Ruth Misener, Christodoulos A. Floudas:
A Framework for Globally Optimizing Mixed-Integer Signomial Programs. J. Optim. Theory Appl. 161(3): 905-932 (2014) - 2013
- [j6]Ruth Misener, Christodoulos A. Floudas:
GloMIQO: Global mixed-integer quadratic optimizer. J. Glob. Optim. 57(1): 3-50 (2013) - 2012
- [j5]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: 64-86 (2012) - [j4]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): 462-490 (2012) - [j3]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): 155-182 (2012) - 2011
- [j2]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): 876-892 (2011) - 2010
- [j1]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): 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-10-07 22:08 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:
