![Loading...](https://link.springer.com/static/c4a417b97a76cc2980e3c25e2271af3129e08bbe/images/pdf-preview/spacer.gif)
-
Article
Hyperparameter autotuning of programs with HybridTuner
Algorithms must often be tailored to a specific architecture and application in order to fully harness the capabilities of sophisticated computer architectures and computational implementations. However, the r...
-
Chapter and Conference Paper
Heat Exchanger Circuitry Design by Decision Diagrams
The interconnection pattern between the tubes of a tube-fin heat exchanger, also referred to as its circuitry, has a significant impact on its performance. We can improve the performance of a heat exchanger by...
-
Article
Domain reduction techniques for global NLP and MINLP optimization
Optimization solvers routinely utilize presolve techniques, including model simplification, reformulation and domain reduction techniques. Domain reduction techniques are especially important in speeding up co...
-
Chapter and Conference Paper
A Branch-and-Reduce Algorithm for the Contact Map Overlap Problem
A fundamental problem in molecular biology is the comparison of 3-dimensional protein folds in order to develop similarity measures and exploit them for protein clustering, database searches, and drug design. ...