Netzwerkoptimierung in Bioinformatik und Systembiologie
Network Optimization in Bioinformatics and Systems Biology
Wissenschaftsdisziplinen
Informatik (40%); Mathematik (60%)
Keywords
-
Network optimization,
Protein-protein interaction networks,
Memetic algorithms,
Robust Optimization,
Mixed-Integer Programming,
Bi-Objective Optimization
Mathematische Modelle und algorithmische Verfahren zur Lösungvonkombinatorischen Optimierungsproblemen aus dem Bereich der Netzwerkoptimierung sind essentiell im Design von Telekommunikations-, Transport- oder Supply-chain-Netzwerken. In den letzten Jahren wurde auch die hohe Relevanz von Netzwerkoptimierungsalgorithmen in der Bioinformatik und der Systembiologie erkannt. Viele Publikationen im Gebiet der Systembiologie zeigen, dass die Untersuchung von Funktionen und Strukturen von Proteinen sowie deren Wechselwirkungen unter gleichzeitiger Berücksichtigung von Netzwerkaspekten neue Einsichten hinsichtlich robusterer Biomarker, neue Erkenntnisse in Bezug auf Proteinfunktionen, sowie das Testen neuer Hypothesen bezüglicher derer Interaktionen, erlaubt. Netzwerkoptimierungsalgorithmen wurden auch in der Analyse von funktionalen Modulen in Protein-Protein-Interaktionsnetzwerken, der Erforschung von Genregulationsnetzwerken, zur Erkennung von versteckten Komponenten in biologischen Prozessen, sowie zur Entdeckung von Transkriptionsfaktormodulen verwendet. Motiviert durch diese Entwicklungen werden wir zwei Netzwerkoptimierungsprobleme (und ihre Varianten), welche zu den herausforderndsten in diesen Gebieten zählen und bisher nicht ausreichend untersucht oder gelöst wurden, studieren. Eines davon ist in der Analyse von Protein-Protein-Interaktionsnetzwerken wichtig, das zweite stellt eine innovative Methode zur Kombination von Machine Learning und Techniken der Netzwerkoptimierung zur Extraktion von Signaltransduktionswegen oder zum Generieren von Netzwerk- basierten Klassifikatoren dar. Existierende Verfahren für diese Probleme können nicht mit den in den enorm großen Supernetzwerken, welche in der Praxis auftreten, umgehen. In diesem Projekt werden wir deshalb den ersten Supernetzwerk-getriebenen Ansatz im Gebiet der kombinatorischen Optimierung entwickeln, welcher die nahtlose Integration verschiedener methodologischer Ansätze aus den Bereichen Operations Research (exakte und heuristische Methoden für Netzwerkoptimierung) und Informatik (Machine Learning) in ein mathematisches Framework erlaubt. Um dabei wichtige Aspekte der ausgewählten Benchmarkprobleme berücksichtigen zu können werden wir Methoden der kombinatorischen Optimierung, der robusten Optimierung und der Optimierung mit mehreren Zielfunktionen, kombinieren. Um mit der enormen Größe von Supernetzwerken umgehenzu können,werden dievon uns entwickeltenVerfahren auf Dekompositionsverfahren aus dem Gebiet der gemischtganzzahligen Programmierung, Metaheuristiken und Parallelisierung beruhen. Unsere Ergebnisse sind wichtige Beiträge in den Bereichen kombinatorische Optimierung und Bioinformatik.
Ziel unserer Arbeit im Rahmen dieses Forschunsprojekt war es, neue bzw. bessere Modelle und Algorithmen zur Lösung bekannter schwieriger kombinatorischer Optimierungsprobleme in den Bereichen der Bioinformatik und der Systembiologie zu entwickeln. Hierzu gehören etwa das Gewinnen neue Einsichten in Funktion und Struktur von Proteinen und deren Interaktionen, das Finden verborgener Komponenten in biologischen Prozessen, sowie die Verbesserung unseres Verständnisses der evolutionären Geschichte und der Beziehungen zwischen Individuen, Spezies und Populationen. Wir haben uns im Laufe dieses Projekts mit einer großen Bandbreite dieser Problemfamilien befasst. Die erste befasst sich mit dem Finden von Subgraphen oder Subbäumen mit spezieller Struktur in gerichteten und ungerichteten Graphen. Das Ziel ist hierbei, den besten dieser Subgraphen/-bäume zu finden, wobei die Lösungsqualität anhand einer Zielfunktion bestimmt wird, die häufig Knoten- und Kantengewichte einbezieht. Ein bekannter Vertreter dieser Problemfamilie ist das Steiner tree problem und seine Varianten. Die von uns entwickelten Algorithmen zur Lösung dieser Probleme stellten oft eine signifikante Verbesserung gegenüber dem bisherigen Stand der Technik dar und wurden von uns zur Lösung einer Vielzahl an Probleminstanzen (aus den Bereichen Bioinformatik, Systembiologie und anderen) verwendet. Die zweite von uns untersuchte Problemfamilie beschäftigt sich mit facility location. Ziel bei dieser Problemklasse ist es, eine Menge an Standorten zur Versorgung von Kunden auszuwählen und die Kunden diesen gewählten Standorten so zuzuweisen, dass die Gesamtkosten für Standorterrichtung und Zuweisung minimal ist. Diese Probleme können auch mit den vorher erwähnten Graphenproblemen verbunden werden, was zur Problemklasse der connected facility location problems führt. Auch für diese Problemfamilie konnten wir neue Algorithmen entwickeln und so den Stand der Technik verbessern. Die dritte und letzte Problemfamilie, die von uns untersucht wurde, beschäftigt sich mit sogenannten bilevel optimization problems. Bei dieser außergewöhnlich schwierig zu lösenden Art von Optimierungsproblemen muss das Verhalten eines zweiten Akteurs, der unabhängig und optimal im eigenen Interesse handelt, in den Entscheidungsprozess mit einbezogen werden. Auch hierfür ist es uns gelungen, den Stand der Technik durch von uns entwickelte Algorithmen zu verbessern. Die Ergebnisse unserer Arbeit wurden mehrfach bei erstklassigen wissenschaftlichen Konferenzen präsentiert und in Fachzeitschriften höchster Qualität veröffentlicht. Weiters konnten wir Kooperationen mit Forscherinnen und Forschern aus Chile, Deutschland, Italien und Spanien herstellen und vertiefen. Die von uns entwickelten Algorithmen sind teilweise online in Form von Quellcode oder als fertige Anwendung für andere Forscherinnen und Forscher verfügbar.
- Universität Wien - 100%
- Pablo Moscato, The University of Newcastle Calaghan - Australien
- Luis Eduardo Neves Gouveia, University of Lisbon - Portugal
- Carlos Cotta, Universidad de Málaga - Spanien
Research Output
- 1003 Zitationen
- 39 Publikationen
- 5 Wissenschaftliche Auszeichnungen
-
2017
Titel Lagrangian and branch-and-cut approaches for upgrading spanning tree problems DOI 10.1016/j.cor.2017.01.014 Typ Journal Article Autor Álvarez-Miranda E Journal Computers & Operations Research Seiten 13-27 -
2017
Titel An effective dynamic programming algorithm for the minimum-cost maximal knapsack packing problem DOI 10.1016/j.ejor.2017.03.061 Typ Journal Article Autor Furini F Journal European Journal of Operational Research Seiten 438-448 -
2021
Titel Trust Your Data or Not—StQP Remains StQP: Community Detection via Robust Standard Quadratic Optimization DOI 10.1287/moor.2020.1057 Typ Journal Article Autor Bomze I Journal Mathematics of Operations Research Seiten 301-316 Link Publikation -
2021
Titel Large-scale influence maximization via maximal covering location DOI 10.1016/j.ejor.2020.06.028 Typ Journal Article Autor Güney E Journal European Journal of Operational Research Seiten 144-164 Link Publikation -
2017
Titel Solving minimum-cost shared arborescence problems DOI 10.1016/j.ejor.2016.11.004 Typ Journal Article Autor Álvarez-Miranda E Journal European Journal of Operational Research Seiten 887-901 -
2017
Titel Combining spatial information and optimization for locating emergency medical service stations: A case study for Lower Austria DOI 10.1016/j.ijmedinf.2017.12.008 Typ Journal Article Autor Fritze R Journal International Journal of Medical Informatics Seiten 24-36 -
2020
Titel A note on computational approaches for the antibandwidth problem DOI 10.1007/s10100-020-00688-4 Typ Journal Article Autor Sinnl M Journal Central European Journal of Operations Research Seiten 1057-1077 Link Publikation -
2019
Titel Algorithmic expedients for the S-labeling problem DOI 10.1016/j.cor.2019.04.014 Typ Journal Article Autor Sinnl M Journal Computers & Operations Research Seiten 201-212 Link Publikation -
2019
Titel An exact solution framework for the multiple gradual cover location problem DOI 10.1016/j.cor.2019.04.003 Typ Journal Article Autor Álvarez-Miranda E Journal Computers & Operations Research Seiten 82-96 Link Publikation -
2019
Titel A note on computational approaches for the antibandwidth problem DOI 10.48550/arxiv.1910.03367 Typ Preprint Autor Sinnl M -
2019
Titel The Generalized Reserve Set Covering Problem with Connectivity and Buffer Requirements DOI 10.48550/arxiv.1909.04473 Typ Preprint Autor Álvarez-Miranda E -
2019
Titel An exact solution framework for the multiple gradual cover location problem DOI 10.48550/arxiv.1909.04910 Typ Preprint Autor Álvarez-Miranda E -
2018
Titel A dynamic reformulation heuristic for Generalized Interdiction Problems DOI 10.1016/j.ejor.2017.11.043 Typ Journal Article Autor Fischetti M Journal European Journal of Operational Research Seiten 40-51 Link Publikation -
2018
Titel A branch-and-cut algorithm for the maximum covering cycle problem DOI 10.1007/s10479-018-2856-5 Typ Journal Article Autor Álvarez-Miranda E Journal Annals of Operations Research Seiten 487-499 -
2018
Titel An exact solution framework for the minimum cost dominating tree problem DOI 10.1007/s11590-018-1252-z Typ Journal Article Autor Álvarez-Miranda E Journal Optimization Letters Seiten 1669-1681 -
2018
Titel A note on computational aspects of the Steiner traveling salesman problem DOI 10.1111/itor.12592 Typ Journal Article Autor Álvarez-Miranda E Journal International Transactions in Operational Research Seiten 1396-1401 -
2018
Titel A Dual Ascent-Based Branch-and-Bound Framework for the Prize-Collecting Steiner Tree and Related Problems DOI 10.1287/ijoc.2017.0788 Typ Journal Article Autor Leitner M Journal INFORMS Journal on Computing Seiten 402-420 -
2019
Titel Interdiction Games and Monotonicity, with Application to Knapsack Problems DOI 10.1287/ijoc.2018.0831 Typ Journal Article Autor Fischetti M Journal INFORMS Journal on Computing Seiten 390-410 -
2021
Titel The Generalized Reserve Set Covering Problem with Connectivity and Buffer Requirements DOI 10.1016/j.ejor.2019.07.017 Typ Journal Article Autor Álvarez-Miranda E Journal European Journal of Operational Research Seiten 1013-1029 Link Publikation -
2019
Titel Algorithmic expedients for the S-labeling problem DOI 10.48550/arxiv.1909.04463 Typ Preprint Autor Sinnl M -
2018
Titel The connected facility location polytope DOI 10.1016/j.dam.2016.08.010 Typ Journal Article Autor Leitner M Journal Discrete Applied Mathematics Seiten 151-167 Link Publikation -
2018
Titel Gotta (efficiently) catch them all: Pokémon GO meets Orienteering Problems DOI 10.1016/j.ejor.2017.08.012 Typ Journal Article Autor Álvarez-Miranda E Journal European Journal of Operational Research Seiten 779-794 -
2017
Titel Decomposition methods for the two-stage stochastic Steiner tree problem DOI 10.1007/s10589-017-9966-x Typ Journal Article Autor Leitner M Journal Computational Optimization and Applications Seiten 713-752 Link Publikation -
2017
Titel A New General-Purpose Algorithm for Mixed-Integer Bilevel Linear Programs DOI 10.1287/opre.2017.1650 Typ Journal Article Autor Fischetti M Journal Operations Research Seiten 1615-1637 Link Publikation -
2017
Titel On the use of intersection cuts for bilevel optimization DOI 10.1007/s10107-017-1189-5 Typ Journal Article Autor Fischetti M Journal Mathematical Programming Seiten 77-103 -
2017
Titel Redesigning Benders Decomposition for Large-Scale Facility Location DOI 10.1287/mnsc.2016.2461 Typ Journal Article Autor Fischetti M Journal Management Science Seiten 2146-2162 -
0
Titel The multi-objective resource-constrained Steiner tree problem. Typ Other Autor Brandstätter G -
0
Titel Large-scale Influence Maximization via Maximal Covering Location Typ Other Autor Güney E -
2020
Titel Location of Charging Stations in Electric Car Sharing Systems DOI 10.1287/trsc.2019.0931 Typ Journal Article Autor Brandstätter G Journal Transportation Science -
2016
Titel Optimal Upgrading Schemes for Effective Shortest Paths in Networks DOI 10.1007/978-3-319-33954-2_29 Typ Book Chapter Autor Álvarez-Miranda E Verlag Springer Nature Seiten 406-420 -
2016
Titel A bi-objective network design approach for discovering functional modules linking Golgi apparatus fragmentation and neuronal death DOI 10.1007/s10479-016-2188-2 Typ Journal Article Autor Álvarez-Miranda E Journal Annals of Operations Research Seiten 5-30 -
2016
Titel Thinning out Steiner trees: a node-based model for uniform edge costs DOI 10.1007/s12532-016-0111-0 Typ Journal Article Autor Fischetti M Journal Mathematical Programming Computation Seiten 203-229 Link Publikation -
2017
Titel A Relax-and-Cut framework for large-scale maximum weight connected subgraph problems DOI 10.1016/j.cor.2017.05.015 Typ Journal Article Autor Álvarez-Miranda E Journal Computers & Operations Research Seiten 63-82 -
2017
Titel An algorithmic framework for the exact solution of tree-star problems DOI 10.1016/j.ejor.2017.02.011 Typ Journal Article Autor Leitner M Journal European Journal of Operational Research Seiten 54-66 Link Publikation -
2016
Titel Benders decomposition without separability: A computational study for capacitated facility location problems DOI 10.1016/j.ejor.2016.03.002 Typ Journal Article Autor Fischetti M Journal European Journal of Operational Research Seiten 557-569 -
2016
Titel ILP heuristics and a new exact method for bi-objective 0/1 ILPs: Application to FTTx-network design DOI 10.1016/j.cor.2016.02.006 Typ Journal Article Autor Leitner M Journal Computers & Operations Research Seiten 128-146 -
2016
Titel A node-based layered graph approach for the Steiner tree problem with revenues, budget and hop-constraints DOI 10.1007/s12532-016-0102-1 Typ Journal Article Autor Sinnl M Journal Mathematical Programming Computation Seiten 461-490 Link Publikation -
2015
Titel Alteration of Golgi Structure by Stress: A Link to Neurodegeneration? DOI 10.3389/fnins.2015.00435 Typ Journal Article Autor Alvarez-Miranda E Journal Frontiers in Neuroscience Seiten 435 Link Publikation -
2016
Titel Intersection Cuts for Bilevel Optimization DOI 10.1007/978-3-319-33461-5_7 Typ Book Chapter Autor Fischetti M Verlag Springer Nature Seiten 77-88
-
2018
Titel ÖGOR Würdigungspreis 2018 Typ Research prize Bekanntheitsgrad National (any country) -
2018
Titel Finalist for the EURO Doctoral Dissertation Award 2018 Typ Research prize Bekanntheitsgrad Continental/International -
2016
Titel INFORMS SOLA Dissertation Award 2016 Typ Research prize Bekanntheitsgrad Continental/International -
2016
Titel ÖGOR Dissertation Award 2016 Typ Research prize Bekanntheitsgrad National (any country) -
2014
Titel Winner of the 11th DIMACS implementation on Steiner trees in most categories Typ Research prize Bekanntheitsgrad Continental/International