DOCSLIB.ORG

Report 2013/2014

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Report 2013/2014 Report 2013/2014 14 15 16 17 18 3 Report 2013/2014 4 Directors Prof. Dr. Thomas Lengauer Prof. Dr. Kurt Mehlhorn Prof. Dr. Bernt Schiele Prof. Dr. Hans-Peter Seidel Prof. Dr. Gerhard Weikum Scientifi c Advisory Board Prof. Dr. Trevor Darrell, University of California, Berkeley, USA Prof. Dr. Nir Friedman, Hebrew University of Jerusalem, Israel Prof. Dr. Pascal Fua, École Polytechnique Fédérale de Lausanne, Switzerland Prof. Dr. Thomas A. Funkhouser, Princeton University, USA Prof. Dr. Jürgen Giesl, RWTH Aachen, Germany Prof. Dr. Alon Halevy, Google Research, Mountain View, USA Prof. Dr. Renée Miller, University of Toronto, Canada Prof. Dr. Yves Moreau, Katholieke Universiteit Leuven, Belgium Prof. Dr. Nicole Schweikardt, Humboldt University Berlin, Germany Prof. Dr. François Sillion, INRIA Rhône-Alpes, Grenoble, France Prof. Dr. Emo Welzl, Swiss Federal Institute of Technology, Zurich, Switzerland Prof. Dr. Gerhard J. Woeginger, Eindhoven University of Technology, Netherlands Curatorship Board Hon. Adv. Professor (Tsinghua) Dr. Reinhold Achatz, Head of Corpo- rate Technology, Innovation & Quality, Thyssen Krupp AG, Essen Dr. Siegfried Dais, Robert Bosch Industrietreuhand KG, Stuttgart Christiane Götz-Sobel, Head of the editorial department of Science and Technology ZDF, Munich Prof. Dr. Joachim Hertel, CEO of Denkprozess GmbH, Saarbrücken Prof. Dr. Henning Kagermann, President of the National Academy of Science and Technology (acatech), Munich Annegret Kramp-Karrenbauer, Saarland Prime Minister, Saarbrücken Prof. Dr. Volker Linneweber, President of Saarland University, Saarbrücken Prof. Dr. Wolf-Dieter Lukas, German Federal Ministry of Education and Research, Bonn Dr. Nelson Mattos, Vice President Engineering, EMEA, Google, Zurich, Switzerland Prof. Dr. Wolffried Stucky, Institute of Applied Informatics and Formal Description Methods (AIFB), University of Karlsruhe Prof. Dr. Margret Wintermantel, President of the German Academic Exchange Service (DAAD), Bonn 5 CONTENTS 7 PREFACE 8 THE MAX PLANCK INSTITUTE FOR INFORMATICS: OVERVIEW 14 DEPARTMENT OVERVIEW DEPARTMENTS 14 DEPT . 1 ALGORITHMS AND COMPLEXITY 16 DEPT . 2 COMPUTER VISION AND MULTIMODAL COMPUTING 18 DEPT . 3 COMPUTATIONAL BIOLOGY AND APPLIED ALGORITHMICS 20 DEPT . 4 COMPUTER GRAPHICS 22 DEPT . 5 DATABASES AND INFORMATION SYSTEMS RESEARCH GROUP 24 RG . 1 AUTOMATION OF LOGIC 25 THE MAX PLANCK CENTER 26 EXCELLENCE CLUSTER «MULTIMODAL COMPUTING AND INTERACTION» 28 THE RESEARCH AREAS 30 UNDERSTANDING IMAGES & VIDEOS 42 BIOINFORMATICS 58 GUARANTEES 66 INFORMATION SEARCH & DIGITAL KNOWLEDGE 80 MULTIMODAL INFORMATION & VISUALIZATION 92 OPTIMIZATION 100 SOFTWARE 102 IMPRS-CS 104 ALUMNI 124 NEWS 144 THE INSTITUTE IN FIGURES 146 JOINT ADMINISTRATION 148 INFORMATION SERVICES & TECHNOLOGY 152 COOPERATIONS 154 PUBLICATIONS 158 DIRECTIONS 6 PREFACE 7 PREFACE The Max Planck Institute for Informatics regularly publishes a report for the general public. Now again, we would like to take this opportunity to present some of the cur- rent topics, goals and methods of modern informatics. We introduce the work of our Institute and hope to arouse your interest, in the fascinating world of our science. The Max Planck Institute for Informatics aims to be a beacon of research in infor- matics. We aim to have impact in the following ways: First, through our scientifi c work, which we disseminate mainly through publications and books, but also in the form of software and Internet services. Second, through the training of young scien- tists, particularly during their doctoral and postdoctoral phases. We are educating future leaders in science and industry. Third, by assuming a formative role in our fi eld. We initiate and coordinate large research programs, and serve on important commit- tees. Fourth, by attracting talent from within and outside the country. About half of our research staff of over 180 scientists comes from abroad. Fifth, through the transfer of our results into industry. These transfers take place through collaborative projects, spin-offs, and people. Sixth, by building a world-class competence center for infor- matics in cooperation with our partners: Saarland University with its departments of Informatics and Computational Linguistics as well as its Center for Bioinformatics, the German Research Center for Artifi cial Intelligence, and the Max Planck Institute for Software Systems. We have continued to be very successful in all of these under- takings. Our success has become more visible through the erection of many new buildings around the Platz der Informatik on the Saarbrücken campus. In the next few months, the building for the Center of Internet Security, Privacy and Account- ability (CISPA) will be fi nished at the East corner of Stuhlsatzenhausweg. We are in the fi nal phase of the projects funded through the German Excellence Initiative – the Cluster of Excellence “Multimodal Computing and Interaction” and the “Saar- brücken Graduate School of Computer Science”. The recent evaluation of the Insti- tute by our Scientifi c Advisory Board has, once more, been very positive. This report is structured as follows: After an overview of the Institute and its depart- ments and research groups, we present the main areas of recent work. These topics span several departments and will also be the focus of our work in the next years. This part is followed by a section on our alumni and a brief overview of current events. The last part of the report contains a selection of recent scientifi c publications and a compact presentation of the Institute through key indicators. We wish you much enjoyment reading this report. Thomas Lengauer Managing Director 8 OVERVIEW The Max Planck Institute for Informatics, an Overview Information technology infl uences all aspects of our lives. Computer systems, hardware, soft- ware, and networks are among the most complex structures that have been constructed by man. Computational thinking is a new way of studying the universe. Basic research in informatics is needed to cope with this complexity, to lay the foundations for powerful computer systems, and to further develop computational thinking. 9 OVERVIEW Basic research in informatics has Goals Fifth, by transferring our results to indus- led to dramatic changes in our everyday The Max Planck Institute for Infor- try. These transfers take place through lives in recent years. This has become matics aims to be a beacon of research collaborative projects, spinoffs, and particularly clear in the last two decades: in informatics. We aim to have impact in people. Intel founded the Intel Visual The worldwide web, search engines, the following ways: Computing Institute in 2009 together compression processes for video and with the UdS (Saarland University), the music, and secure electronic banking First, through our scientifi c work, DFKI (German Center for Artifi cial In- using cryptographic methods have re- which we disseminate mainly through telligence), the Max Planck Institute for volutionized our lives just a few years publications, but also in the form of soft- Software Systems, and the Max Planck after their discovery at universities and ware and internet solutions. Presently, Institute for Informatics. research institutes. we are concentrating on algorithms for very large, multimodal data. Multimodal To establish a start-up culture and The Max Planck Society, the lead- includes text, speech, images, videos, support start-ups and licensing agree- ing organization for basic research in graphics, and high-dimensional data. ments, the Max Planck Society and Saar- Germany, reacted to these challenges land University jointly created the IT by founding the Max Planck Institute for Second, through the training of Inkubator GmbH, located at the Starter- Informatics (MPI-INF) in Saarbrücken young scientists, particularly in the zentrum of Saarland University. The IT in 1990. In 2005, the Max Planck Insti- doctoral and postdoctoral phases. We Inkubator GmbH focuses on supporting tute for Software Systems (MPI-SWS) are educating future leaders for research scientists in founding and fi nancing high- was established with sites in Saarbrück- and business. Over 180 researchers are tech start-ups, as well as marketing the en and Kaiserslautern. There are depart- working at our Institute and remain with research results to industries nationally ments with a strong emphasis on infor- us for three years on average. In this way, and internationally. The offi cial kick-off matics in other Institutes of the Max we provide the society with over 60 well- event took place in March 2015 and was Planck Society as well. The restructuring trained young scientists each year. attended by Saarland Governor, Annegret of the Max Planck Institute for Metal Kramp-Karrenbauer; the President of Research into the Institute for Intelligent Third, by our role in the scientifi c the Max Planck Society, Prof. Dr. Martin Systems has further strengthened infor- fi eld. We initiate and coordinate large re- Stratmann; and the President of Saarland matics within the Max Planck Society. search programs and serve on important University, Prof. Dr. Volker Linneweber. Given the importance of the area, the committees, e.g., the “Wissenschaftsrat” establishment of further Institutes for or DFG Review Boards. The Institute Sixth, by building a world-class informatics or related areas is desirable. has played a signifi cant role in forming competence center for informatics in the Excellence Cluster “Multimodal cooperation with our partners, Saarland Computing and Interaction”
Load more

Recommended publications
  • CAS Genesisworld Reference Hahn Group
    Reference xRM and CRM for small and medium -sized enterprises CAS genesisWorld in use worldwide The HAHN Group is a network of specialist companies in Sector industrial automation and robotics. With production sites in Industry, automation and robotics China, Germany, the UK, India, Israel, Croatia, Mexico, Switzerland, Sweden, the Czech Republic, Turkey and the Objective/Requirements USA, the Group currently employs around 1,100 people at 19 Replacement of island solutions locations. Automotive, consumer goods, electronics and Professional, centralized customer relationship medical technology are among its target markets. HAHN is management also enjoying success in the advanced field of collaborative Mapping and optimization of internal robots (or cobots). processes Structured project tracking Ideal for complex processes Clearly structured quote preparation „In customer communications, each of our group members Interfaces to the ERP systems already in use was already using their own stand-alone solution based on Connection of all locations CRM and ERP systems, or implemented their own systems Mobile solution using Outlook," recalls the Project Manager. "After conducting intensive market research, the choice fell on CAS genesisWorld, because it is a CRM system which fits Benefits and advantages perfectly with our requirements and offers good value for Logical consistency and ease of use with extensive money.” The logic of the system, the ability to cross-link cross-linking of information and easy, cross- information and the flexibility to map even complex location access to all relevant customer data processes neatly were the attributes that swung the decision. Transparent mapping and automation of complex processes - efficiently supporting internal Go-live within three months communications, day-to-day business and customer relations Barely three months after placing the order, CAS genesisWorld went live at one of the Hahn Group High levels of customer satisfaction thanks to fast, expert support from every workstation and when companies.
    [Show full text]
  • Download the Sawyer BLACK Edition Brochure!
    Rethink Robotics® meets German Engineering More durable. Quieter. Higher-quality. The new Sawyer BLACK Edition More durable. Quieter. Higher-quality. One year after the acquisition by the Rethink Robotics GmbH, the hardware of cobot Sawyer has reached a new level of quality thanks to German engineering. This makes the Sawyer BLACK Edition a high-performing cobot to support your production. Advantages of the Sawyer BLACK Edition • More durable hardware • Quieter operation • Higher-quality components Sawyer The high performer for precision tasks Sawyer continues to serve in the BLACK edition as the easy to use, flexible and highly accepted collaborative robot. With Sawyer BLACK Edition, processes that could not simply be automated with industrial robots in the past can be automated quickly and easily - like for example machine loading, circuit board tests, and other dangerous, dirty, and dull tasks. Sawyer comes as a complete solution, including the lntera software and two integrated embedded vision systems. Rethink Robotics with its cobot Sawyer stands for: Easy application Flexibility High acceptance Train by Demonstration: Embedded Vision: Force Sensing: Easy application Flexibility High acceptance The lntera software gives Sawyer its Sawyer’s embedded vision system – along Sawyer permanently controls its joint unique user interface: The robot can be with the lntera software – allows the robot‘s torque and position simultaneously. trained for new tasks by guiding its arm positioning system to provide for a dynamic By monitoring both variables, Sawyer freely and demonstrating the movements and flexible reorientation and adjustment controls and feels the amount of force it of the procedure. The arm is operated with to the environment.
    [Show full text]
  • Invotec Expands International Presence with New Facility in Germany
    PRESS RELEASE Invotec Expands International Presence With New Facility in Germany Dayton, Ohio, USA, February 12, 2019–Custom equipment provider Invotec opens a facility in Villingen-Schwenningen serving medical device manufacturers across Europe. Invotec was started in Dayton, Ohio and has been helping medical device manufactures around the globe solve complex assembly, test, and inspection challenges for over 25 years. After joining the HAHN Group in 2017, Invotec is expanding its international presence with a new location in Villingen- Schwenningen, Germany. “Southern Germany is a long-standing hub for medical technology as well as automation across Europe,” says Armin Doser, CEO of Invotec GmbH. “With our experience in medical device manufacturing, we want to show our commitment to growing and serving this region as well as our existing international customers.” Invotec’s new facility is 730 m2 (7858 ft2) and will provide a range of solutions from semi-automated stations to full production lines. “In the US, we are known for helping medical device manufacturers determine the right level of automation to improve production while maintaining quality. This is the experience I am most looking forward to bringing our customers internationally,” says John Hanna, CEO of Invotec. As part of the HAHN Group, Invotec GmbH is supported by a network of companies specializing in automation and robotics. Together, the group has 20 subsidiaries across 12 countries. Invotec GmbH focuses on applications in the medical device industry and provides customers complete equipment solutions from engineering and design to production, installation, and service. Located close to sister companies such as Waldorf Technik, the synergy of the HAHN Group and the opening of Invotec GmbH will give medtech companies access to a global network of automation best practices and support.
    [Show full text]
  • 13 12 11 10 9 8 7 6 5 4 3
    • Transformatoren mit RAST 5 Verbindungstechnik Baugröße EI 48 – EI 84 (10,0 VA – 120 VA) • Printtransformatoren der Baugröße EI 38 – EI 96 (4,5 VA – 200 VA) • Sperrwandler der Baugröße EF 16/5 – 8 mm Kriechstrecke • Individuelle Ausführungen 8 mm Kriechstrecke • Sperrwandler der Baugröße EF 20/5 – 4 mm Kriechstrecke • Individuelle Ausführungen 4 mm Kriechstrecke • Zündübertrager • Elektronische Zündeinrichtungen 9 8 7 6 5 4 3 2 1 10 11 12 13 www.hahn-trafo.com Page 1 13 12 11 10 9 8 7 6 5 4 3 2 1 Page 2 Page www.hahn-trafo.com Content HAHN - General information Pages 5 - 12 Choke series • Common mode choke series • Passive PFC choke series • Active PFC choke series • Customer specific design Pages 13 - 40 Flyback/ • Flyback converters series EF 16/5 SMPS-Converter • Flyback converters series EF 20/6 • Individual versions 8 mm and 4 mm creeping distance series Pages 41 - 50 ErP-Eco Design • EI 30 Series solution • Switch-Mode-Power-Supply „HS series“ Pages 51 - 56 BV 20 Series • Printed-Circuit-Board transformers frame size EE 20 (0.35 VA - 0.5 VA) Pages 57 - 60 EI 30 Series • Printed-Circuit-Board tranformers frame size EI 30 (0.5 VA - 3.6 VA) • Flat-type Printed-Circuit-Board transformers with small base araes frame size EI 30/40 (1.6 VA - 8.0 VA) Pages 61 - 74 EI Series • Printed-Circuit-Board transformers frame size EI 38 - EI 96 (4.5 VA - 200 VA) Pages 75 - 112 UI Series • Printed-Circuit-Board Flat-type transformers frame size UI 21 - UI 48 (1.0 VA - 60 VA) Pages 113 - 123 RAST 5 solutions • Transformers with RAST 5 connecting technology
    [Show full text]
  • Investors Shift Focus to Cities and Assets
    Volume 8, Issue 141, February 6th, 2015 Investors shift focus to cities and assets - Inside REFIRE Berlin, Hamburg top list of 2016 prospects REFIRE is a specialised report focused on providing market intelligence and back- Among the many prognoses issue at this time of year about the prospects ground analysis to finance professionals for the coming twelve months, one that always features prominently come in German and continental European real January is the Emerging Trends in Real Estate Europe study, jointly published estate investment. by consultants PricewaterhouseCoopers (PwC) and the Urban Land Institute. This year’s 2016 study (the 13th in the series) highlights a number of key attitu- Whatever your particular area of speciali- dinal changes among investors, none of which will damage Germany’s pros- sation, we think you’ll find timely, incisive pects of attracting even more inward investment throughout 2016 and beyond. information within our pages, helping to in- form you of the key deals, the numbers, the The study was carried out among 550 Rockspring tops €850m year markets, the players and the people. European real estate professionals with major retail acquisitions PwC and ULI conclude that this year The London-headquartered Rockspring The areas we focus on are: investors were being pointedly more Property Investment Managers finished off influenced by disruptive factors such a year of major acquisitions in Germany by US Funds in Europe as technology, demographics, social buying a portfolio of nine Obi retail stores European REITs change and rapid urbanisation. These on behalf of two separate account man- German Real Estate Finance have led to investors sharpening their fo- dates, for a total price of €150m.
    [Show full text]
  • Annual Report 2019 Now
    RAG-STIFTUNG ANNUAL REPORT 2019 NOW. ANNUAL REPORT 2019 KEY FIGURES BALANCE SHEET in € millions 31/12/2015 31/12/2016 31/12/2017 31/12/2018 31/12/2019 Fixed assets 4,522.6 5,200.8 6,488.0 7,430.9 8,546.2 Current assets 1,164.1 899.5 712.7 2,053.1 1 ,127. 3 Total assets 5,686.7 6,100.3 7,200.7 9,484.0 9,673.5 Equity 2.0 2.0 2.0 2.0 2.0 Provisions 4,502.3 4,925.3 5,364.6 7,909.2 8,012.6 Liabilities 1,178.1 1,169.6 1,834.1 1,572.8 1,658.9 Total liabilities 5,686.7 6,100.3 7,200.7 9,484.0 9,673.5 INCOME STATEMENT in € millions 2015 2016 2017 2018 2019 Annual profit (= allocated to the provision for perpetual obligations) 334.3 392.8 430.6 911.8 413.6,8 THE FUTURE IS NOW. The RAG-Stiftung was established in 2007 to pursue two main goals: discontinuing hard coal mining in Germany in a socially acceptable manner and funding the perpetual obligations after the last mines ceased to operate. The first task was successfully completed in late 2018, while the second, which is the future task, commenced in the financial year 2019. The RAG-Stiftung covers the costs of the perpetual obligations of the post-mining era. In line with its articles of association, the foundation also provides funding for a number of other targeted projects in order to help create a liveable environment for tomorrow today.
    [Show full text]
  • Smart Molding International 2-2020
    2/2020 smart-molding.com Molding technologies Industrial Internet helping overcome of Things becomes 22 corona crisis 46 common practice Index of companies in this issue 2/2020 AMT ........................................................................ 44 VM Verlag GmbH: P.O.Box 501812, D- Arburg..................................................................... 22 50879 Cologne, Germany Asiamold ................................................................. 06 BASF ....................................................................... 14 Campetella ............................................................. 38 DESMA .................................................................... 11 EDITORS Dr. Boy .................................................................... 16 Konstantin Faticzev (Editor-in-Сhief) DyeMansion ........................................................... 18 Tel. +49 152 05626122 Engel ................................................................. 21, 30 [email protected] EnvisionTEC ............................................................ 28 ADVERTISING SALES Evonik ............................................................... 12, 29 Martina Lerner Fanuc ...................................................................... 36 Tel. +49 6226 971515 Formnext ................................................................ 08 [email protected] GEFIT ...................................................................... 16 Bella Eidlin HAHN Group ..........................................................
    [Show full text]
  • Archis Architektur Des Sicherheitsrechts
    ArchiS Architektur des Sicherheitsrechts Mehmet Arslan Procedural Guarantees for Criminal and Administrative Criminal Sanctions A Study of the European Convention on Human Rights BEITRÄGE ZUM SICHERHEITSRECHT Procedural Guarantees for Criminal and Administrative Criminal Sanctions A Study of the European Convention on Human Rights Mehmet Arslan Freiburg im Breisgau 2019 Contributions to Security Law/4 (Beiträge zum Sicherheitsrecht/4) Edited by Marc Engelhart The series entitled “Contributions to Security Law” is a venue that provides open access to important research findings for a broad spectrum of professionals. The findings are the results of projects, including ongoing projects, that emerged from the Otto-Hahn-Group on the “Architecture of Security Law” (ArchiS) or are projects of individual group members. The papers are available both online in PDF format on the websites of the Max Planck Institute for Foreign and International Criminal Law (https://www.mpicc.de) and the re- search group (https://criminallaw.science) as well as in print. Bibliografische Information der Deutschen Nationalbibliothek Die Deutsche Nationalbibliothek verzeichnet diese Publikation in der Deutschen National- bibliografie; detaillierte bibliografische Daten sind im Internet über http://dnb.d-nb.de abrufbar. Alle Rechte vorbehalten © 2019 Max-Planck-Gesellschaft zur Förderung der Wissenschaften e.V. c/o Max-Planck-Institut für ausländisches und internationales Strafrecht, Forschungsgruppe „Architektur des Sicherheitsrechts“ (ArchiS) Günterstalstraße 73, 79100 Freiburg i.Br. Umschlagbild: © (v.l.n.r.) kyolshin, iStock; Flying Colours Ltd., Getty Images; tirc83, iStock [obere Reihe]; NSA, www.nsa.gov; mthaler, iStock [untere Reihe] Satz und Layout: Dorothea Borner-Burger Druck: Stückle Druck und Verlag, Stückle-Straße 1, 77955 Ettenheim ISBN 978-3-86113-780-1 DOI https://doi.org/10.30709/archis-2019-4 Contents Introduction......................................................................................................................
    [Show full text]
  • Administrative Services Building Rm 2072 Color Multi-20190909133322
    SUMMARY OF PERSONNEL ACTIONS REGENTS AGENDA September 2019 ANN ARBOR CAMPUS – Recommendations for approval 1. New appointments and promotions for regular associate and full professor ranks, with tenure. *(1) Clack, Herek L., associate professor of civil and environmental engineering, with tenure, College of Engineering, effective September 1, 2019. *(2) Eldan, Amir, professor of music, with tenure, School of Music, Theatre & Dance, effective September 1, 2019. *(3) Hirshbein, Laura D., Ph.D., M.D., professor of psychiatry, with tenure, Medical School, effective August 1, 2019. *(4) Punzalan, Ricardo, associate professor of information, with tenure, School of Information, effective January 1, 2020. *(5) Revzen, Shai, promotion to associate professor of electrical engineering and computer science, with tenure, College of Engineering, and associate professor of ecology and evolutionary biology, without tenure, College of Literature, Science, and the Arts, effective September 1, 2019. (6) Seiler, Peter J., associate professor of electrical engineering and computer science, with tenure, College of Engineering, effective January 1, 2020. 2. New appointments and promotions for regular associate and full professor ranks, without tenure. (1) Bricker, Jeremy D., associate professor of civil and environmental engineering, without tenure, College of Engineering, effective August 31, 2020. 3. Reappointments of regular instructional staff and selected academic and administrative staff. (1) Adams, Fred C., Ta-you Wu Collegiate Professor of Physics, College of Literature, Science, and the Arts, effective September 1, 2019 through August 31, 2024 (also professor of physics, with tenure, and professor of astronomy, without tenure). (2) Anderson, Barbara A., Ronald Freedman Collegiate Professor of Sociology and Population Studies, College of Literature, Science, and the Arts, effective September 1, 2019 through August 31, 2024 (also professor of sociology, with tenure).
    [Show full text]
  • Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations
    Mathematisches Forschungsinstitut Oberwolfach Report No. 60/2016 DOI: 10.4171/OWR/2016/60 Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations Organised by Alessandro Berarducci, Pisa Philip Ehrlich, Athens Salma Kuhlmann, Konstanz 18 December – 23 December 2016 Abstract. New striking analogies between H. Hahn’s fields of generalised series with real coefficients, G. H. Hardy’s field of germs of real valued func- tions, and J. H. Conway’s field No of surreal numbers, have been lately discovered and exploited. The aim of the workshop was to bring quickly to- gether experts and young researchers, to articulate and investigate current key questions and conjectures regarding these fields, and to explore emerging applications of this recent discovery. Mathematics Subject Classification (2010): 03C64, 03E10, 03H05, 06A05, 12J10, 12J15, 12L12, 13J05, 13J30, 13N15. Introduction by the Organisers The field No of surreal numbers is a real closed field which simultaneously contains the real numbers and the ordinal numbers. Since its discovery, it has ever been the object of intense research. It was established by various authors (e.g. Alling, Costin, v. d. Dries, Ehrlich, Gonshor, Kruskal, to cite a few) that No is a universal domain for real algebra (in the sense that every real closed field whose domain is a set can be embedded in No), that it admits an exponential function, and an interpretation of the restricted real analytic functions, making it into a model of the elementary theory of the field of real numbers endowed with the exponential function and all the restricted real analytic functions. In the last decade, it has been conjectured that No is a universal domain for real differential algebra.
    [Show full text]
  • With the HAHN Group Broad Spectrum of Solutions Will Help Manufacturers Around the World to Automate More Than Ever Before
    “Automate” more with the HAHN Group Broad spectrum of solutions will help manufacturers around the world to automate more than ever before. At Automate Show in Chicago April 8-11, 2019, experts of the HAHN Group are giving insights about industrial automation and robot solutions at booth #7372. HAHN Automation, Rethink Robotics GmbH, and Walther Systemtechnik will be present at the show. Meet the experts of Rethink Robotics GmbH and find out more about the future of Sawyer and Intera. “We will continue to develop the world's best software for collaborative robots. Sawyer stands for simplicity, and speed of programming. Within the new setup of the company, Rethink Robotics GmbH plans to improve the reliability.” Philipp Unterhalt, Managing Director of the HAHN Group and Interim CEO of Rethink Robotics, who is present at the show and available for interviews. Going forward Rethink Robotics GmbH plans to expand Sawyer into an entire robot family, including models with a higher load capacity as well as simpler models with less equipment. Service robots will complete the portfolio in the future. HAHN Automation, the global specialist in automation is showcasing its innovations in assembly, processes integration and end of line testing (EOLT): Find out more about HAHN Automation’s assembly integrated EOLT solutions, consisting of robots, transfer systems, turn tables or linear transfer handlings as well as manual workstations for dynamic testing of combustion engines. “At Automate, we are showing our EOLT solution and how this will give manufacturers the advantage of safe integration and a production friendly HMI design with a PLC interface.
    [Show full text]
  • Enhancing Operational Technology Automation, Data Analysis and Digitalization HAHN Digital
    Enhancing operational technology Automation, data analysis and digitalization HAHN Digital Enhancing operational technology HAHN Digital supports manufacturing companies to achieve their digital trans- formation. The combined use of benefits of automation, robotics and digitalization along with in-depth data analyses helps companies master digital transformation towards a modern production in the form of a smart factory. HAHN Digital is a long-term partner with a service-oriented approach. Companies will be guided on every step of their digital transformation: Starting with consulting and conception services, followed by the optimal selection and implementation of solutions. HAHN Digital is part of the HAHN Group and pools more than three decades of automation know-how, which has been accumulated within all the company brands. This brings a profound under- standing of production processes and the unique challenges of digitalization in automation, to help HAHN Digital identify and advance digital technologies for customers. Digital Consulting HAHN Digital Consulting supports its their organization, and their corporate Digital Consulting Services clients with their digital transformation in culture first. HAHN Digital guides manu- order to make them faster, more flexible facturers from the initial consideration • Analysis of digital potentials and and more efficient. to its realization and the recommended prioritizing digital solutions actions for setting up a smart factory. Companies can only benefit from the • Implementation of quick digitalization potentials of technolog- This puts customers in the position to “Proof of Concepts” ical progress when they take a critical master competitive pressure as well as • Design of an ideal OT architecture look at their resources, information tech- increasing demands on quality, delivery nology (IT), operational technology (OT), times, customer focus, and innovation.
    [Show full text]