TY - GEN A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - MIPLIB 2003 N2 - This paper reports on the fourth version of the Mixed Integer Programming Library. Since ({\sc miplib}) is to provide a concise set of challenging problems, it became necessary to purge instances that became too easy. We present an overview of the 27 new problems and statistical data for all 60 instances. T3 - ZIB-Report - 05-28 KW - Mathematical Programming KW - Mixed Integer Programming KW - IP KW - MIP KW - Optimization KW - Instances Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8625 ER - TY - GEN A1 - Koch, Thorsten T1 - Verteilter Dokumenten-Speicher, Erfahrungen mit den Kluwer-Daten des Friedrich-Althoff-Konsortiums N2 - Dieser Bericht beschreibt die Erfahrungen und Schlussfolgerungen,die im Rahmen der VDS-Vorstudie bei der Speicherung der vom Friedrich-Althoff-Konsortium lizenzierten Zeitschriften des Kluwer-Verlages gewonnen wurden. T3 - ZIB-Report - 03-50 KW - Dokumentenspeicherung KW - Metadaten Y1 - 2003 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7726 ER - TY - GEN A1 - Bley, Andreas A1 - Koch, Thorsten A1 - Wessäly, Roland T1 - Large-scale hierarchical networks: How to compute an optimal architecture? N2 - In this article, we present a mathematical model and an algorithm to support one of the central strategic planning decisions of network operators: How to organize a large number of locations into a hierarchical network? We propose a solution approach that is based on mixed-integer programming and Lagrangian relaxation techniques. As major advantage, our approach provides not only solutions but also worst-case quality guarantees. Real-world scenarios with more than 750 locations have been solved within 30 minutes to less than 1\% off optimality. T3 - ZIB-Report - 04-04 KW - Hierarchical Networks KW - Mixed-Integer Programming KW - Lagrangian Relaxation Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-7799 ER - TY - GEN A1 - Koch, Thorsten A1 - Wessäly, Roland T1 - Hierarchical Infrastructure Planning in Networks N2 - In this article, strategical infrastructure planning problems in the design of large-scale telecommunication networks are discussed based on experiences from three projects with industrial partners: The access network planning of the German Gigabit-Wissenschaftsnetz (G-WiN) for DFN (Verein zur Förderung eines Deutschen Forschungsnetzes e.V.), the mobile network switching center location planning project for E-Plus Mobilfunk, and the fixed network switching center location planning project for TELEKOM AUSTRIA. We introduce a mathematical model for a hierarchical multi-commodity capacitated facility location problem, present adaptions of this basic model to the specific requirements within the different projects and discuss the individual peculiarities and model decisions made. Eventually, we present and discuss computational results of three associated case studies, illustrating '"how we did the job`` with mathematical methods. T3 - ZIB-Report - 04-42 KW - Facility Location KW - Telecommunication KW - Mixed Integer Programming Y1 - 2004 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8174 ER - TY - GEN A1 - Froyland, Gary A1 - Koch, Thorsten A1 - Megow, Nicole A1 - Duane, Emily A1 - Wren, Howard T1 - Optimizing the Landside Operation of a Container Terminal N2 - This paper concerns the problem of operating a landside container exchange area that is serviced by multiple semi-automated rail mounted gantry cranes (RMGs) that are moving on a single bi-directional traveling lane. Such a facility is being built by Patrick Corporation at the Port Botany terminal in Sydney. The gantry cranes are a scarce resource and handle the bulk of container movements. Thus, they require a sophisticated analysis to achieve near optimal utilization. We present a three stage algorithm to manage the container exchange facility, including the scheduling of cranes, the control of associated short-term container stacking, and the allocation of delivery locations for trucks and other container transporters. The key components of our approach are a time scale decomposition, whereby an integer program controls decisions across a long time horizon to produce a balanced plan that is fed to a series of short time scale online subproblems, and a highly efficient space-time divisioning of short term storage areas. A computational evaluation shows that our heuristic can find effective solutions for the planning problem; on real-world data it yields a solution at most~8\% above a lower bound on optimal RMG utilization. T3 - ZIB-Report - 06-06 KW - Integer Programming KW - Container Terminal KW - Intermediate Storage Area KW - Landside operation KW - Yard crane scheduling KW - Storage space allocation Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9004 ER - TY - GEN A1 - Koch, Thorsten T1 - Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a few Seconds N2 - Using the popular puzzle game of Sudoku, this article highlights some of the ideas and topics covered in ZR-04-58. T3 - ZIB-Report - 05-51 KW - Integer Programming KW - Sudoku KW - IP KW - MIP KW - Zimpl KW - Modelling language Y1 - 2005 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-8845 ER - TY - GEN A1 - Achterberg, Tobias A1 - Grötschel, Martin A1 - Koch, Thorsten T1 - Software for Teaching Modeling of Integer Programming Problems N2 - Modern applications of mathematical programming must take into account a multitude of technical details, business demands, and legal requirements. Teaching the mathematical modeling of such issues and their interrelations requires real-world examples that are well beyond the toy sizes that can be tackled with the student editions of most commercial software packages. We present a new tool, which is freely available for academic use including complete source code. It consists of an algebraic modeling language and a linear mixed integer programming solver. The performance and features of the tool are in the range of current state-of-the-art commercial tools, though not in all aspects as good as the best ones. Our tool does allow the execution and analysis of large real-world instances in the classroom and can therefore enhance the teaching of problem solving issues. Teaching experience has been gathered and practical usability was tested in classes at several universities and a two week intensive block course at TU Berlin. The feedback from students and teachers has been very positive. T3 - ZIB-Report - 06-23 KW - Integer Programming KW - Modelling KW - MIP-Solver KW - Algebraic Modelling Languages KW - Teaching Y1 - 2006 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-9176 ER - TY - GEN A1 - Koch, Thorsten A1 - Ceynowa, Klaus A1 - Söllner, Konstanze A1 - Christof, Jürgen A1 - Bertelmann, Roland T1 - DeepGreen – Open Access Transformation Etablierung und Weiterentwicklung rechtssicherer Workflows zur effizienten Umsetzung von Open-Access-Komponenten in Lizenzvereinbarungen für wissenschaftliche Publikationen N2 - Für den geforderten – und von der Deutschen Forschungsgemeinschaft (DFG) geförderten – Open-Access-Transformationsprozess der deutschen, wissenschaftlichen Publikationslandschaft braucht es neue Formen der Zusammenarbeit zwischen Wissenschaft und Verlagen. Bereits seit 2011 wurden mit Unterstützung seitens der DFG in Deutschland die sogenannten Allianz-Lizenzen zwischen Bibliotheken und Verlagen verhandelt, in denen weitreichende Rechte hinsichtlich der Open-Access-Archivierung verankert sind: Autorinnen und Autoren aber auch die sie vertretenden Einrichtungen dürfen Artikel, die in lizenzierten Zeitschriften erschienen sind, ohne oder mit nur kurzer Embargofrist in geeigneten Repositorien ihrer Wahl frei zugänglich machen. Aufbauend auf diese Open-Access-Komponenten zeigt das DFG-geförderte Projekt „DeepGreen“ ein mögliches neues Modell der Zusammenarbeit mit Verlagen auf: DeepGreen setzt auf die automatisierte Verteilung von Artikeldaten von Verlagen an Repositorien und will disziplinübergreifend einen Großteil jener wissenschaftlichen Publikationen aus Fachzeitschriften, die unter lizenzrechtlichen Kontexten frei zugänglich online gehen dürften, auch tatsächlich online abrufbar machen. Erprobte DeepGreen von 2016 bis Ende 2017 prototypisch die Machbarkeit der Zielstellung, will das Projekt in der zweiten Projektphase (2018-2020) den (möglichst stark) automatisierten Workflow gemeinsam mit Verlagen, berechtigten Bibliotheken und anderen Einrichtungen etablieren. Technischer Baustein ist eine zentrale, intermediäre Datenverteilstation, die die automatische und rechtssichere Ablieferung von Metadaten inklusive der Volltexte aus Verlagshand direkt an dazu berechtigte institutionelle Repositorien gewährleistet. Erreicht werden soll ein bundesweiter Service, der auf verbindlichen Absprachen mit Verlagen und Bibliotheken fußt und (zunächst) die Bedingungen der Allianz-Lizenzen umsetzt. Gleichzeitig wird die Übertragbarkeit des DeepGreen-Ansatzes auf weitere Lizenzkontexte (FID-Lizenzen, Konsortiallizenzen, Gold-Open-Access-Vereinbarungen) geprüft. Eine zusätzliche Ausbaustufe stellt die Überlegung zur automatisierten Ablieferung an Fachrepositorien und Forschungsinformationssysteme dar, die ebenfalls geplant wird. Das nationale Projektkonsortium besteht aus den zwei Bibliotheksverbünden Kooperativer Bibliotheksverbund Berlin-Brandenburg (KOBV) und Bibliotheksverbund Bayern (BVB), zwei Universitätsbibliotheken, der Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU) und der Technische Universität Berlin (TU Berlin), zusätzlich der Bayerischen Staatsbibliothek (BSB) und einer außeruniversitären Forschungseinrichtung - dem Helmholtz Open Science Koordinationsbüro am Deutschen GeoForschungsZentrum (GFZ). Das Folgeprojekt beginnt am 01. August 2018. Hier vorliegend finden Sie den Projektantrag zum Nachlesen. T3 - ZIB-Report - 18-39 Y1 - 2018 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:0297-zib-69612 SN - 1438-0064 ER - TY - JOUR A1 - Achterberg, Tobias A1 - Koch, Thorsten A1 - Martin, Alexander T1 - MIPLIB 2003 JF - Operations Research Letters Y1 - 2006 UR - http://opus.kobv.de/zib/volltexte/2005/862/ U6 - https://doi.org/10.1016/j.orl.2005.07.009 VL - 34 IS - 4 SP - 361 EP - 372 PB - Elsevier / North-Holland ER - TY - JOUR A1 - Kaibel, Volker A1 - Koch, Thorsten T1 - Mathematik für den Volkssport JF - Mitteilungen der DMV Y1 - 2006 UR - http://opus.kobv.de/zib/volltexte/2006/922/ VL - 14 IS - 2 SP - 93 EP - 96 ER - TY - CHAP A1 - Koch, Thorsten ED - Haasis, Hans-Dietrich ED - Kopfer, Herbert ED - Schönberger, Jörn T1 - Rapid Mathematical Programming or How to Solve Sudoku Puzzles in a few Seconds T2 - Operations Research Proceedings 2005 Y1 - 2006 UR - http://opus.kobv.de/zib/volltexte/2005/884/ SP - 21 EP - 26 ER - TY - JOUR A1 - Froyland, Gary A1 - Koch, Thorsten A1 - Megow, Nicole A1 - Duane, Emily A1 - Wren, Howard T1 - Optimizing the Landside Operation of a Container Terminal JF - OR Spectrum Y1 - 2008 UR - http://opus.kobv.de/zib/volltexte/2006/900/ U6 - https://doi.org/10.1007/s00291-007-0082-7 VL - 30 IS - 1 SP - 53 EP - 75 ER - TY - CHAP A1 - Achterberg, Tobias A1 - Heinz, Stefan A1 - Koch, Thorsten ED - Perron, Laurent ED - Trick, Michael T1 - Counting Solutions of Integer Programs Using Unrestricted Subtree Detection T2 - Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008 Y1 - 2008 UR - http://opus.kobv.de/zib/volltexte/2008/1092/ VL - 5015 SP - 278 EP - 282 PB - Springer ER - TY - JOUR A1 - Cook, William A1 - Koch, Thorsten T1 - Mathematical Programming Computation: A New MPS Journal JF - Optima Y1 - 2008 UR - http://www.mathopt.org/Optima-Issues/optima78.pdf IS - 78 SP - 1,7 EP - 8,11 PB - Mathematical Programming Society & University of Florida ER - TY - RPRT A1 - Eisenblätter, Andreas A1 - Geerdes, Hans-Florian A1 - Koch, Thorsten A1 - Türke, Ulrich T1 - Describing UMTS Radio Networks using XML Y1 - 2003 PB - MOMENTUM ER - TY - RPRT A1 - Eisenblätter, Andreas A1 - Geerdes, Hans-Florian A1 - Koch, Thorsten A1 - Türke, Ulrich T1 - MOMENTUM Public Planning Scenarios and their XML Format Y1 - 2003 IS - TD(03) 167 PB - COST 273 CY - Prague, Czech Republic ER - TY - JOUR A1 - Rosenberg, Marjorie A1 - Agarwala, Richa A1 - Bouffard, Gerard A1 - Davis, Joie A1 - Fiermonte, Giuseppe A1 - Hilliard, Mark A1 - Koch, Thorsten A1 - Kalikin, Linda A1 - Makalowska, Izabela A1 - Morton, D. A1 - Petty, Elizabeth A1 - Weber, James A1 - Palmieri, Ferdinando A1 - Kelley, Richard A1 - Schäffer, Alejandro A1 - Biesecker, Leslie T1 - Mutant deoxynucleotide carrier DNC is associated with congenital microcephaly JF - Nature Genetics Y1 - 2002 U6 - https://doi.org/10.1038/ng948 VL - 32 IS - 1 SP - 175 EP - 179 ER -