TY - CHAP A1 - Luszczynski, K. A1 - Engels, Elmar T1 - Vergleichende Untersuchung zur Topologie von zelloptimalen, elektromobilitäts-optimierten Ladungsausgleichsvorrichtungen T2 - Tagungsband zur AALE-Tagung 2012 : 9. Fachkonferenz Y1 - 2012 SN - 978-3-8356-3305-6 N1 - AALE 2012 SP - 165 EP - 174 PB - Oldenbourg Industrieverlag CY - München ER - TY - CHAP A1 - Maike, Müller A1 - Lenz, Laura A1 - Wolf, Martin T1 - Steigerung der Effektivität durch Prozessmodellierungs-Tools - Änderbarkeit und Transparenz von Prozessen am Beispiel der Business Simulation Apollo 13 T2 - Informatik 2014 N2 - Die Nutzung von Prozessmodellierungsmethoden oder - werkzeugen kann erheblichen Einfluss auf die Effektivität von Prozessen haben. Das gilt insbesondere für Situationen, in denen Personen unter Stress stehen oder ungeübt sind. In diesen Fällen geben Prozessmodelle konkrete Empfehlungen, nach denen sich die handelnden Personen richten könnten. In Experimenten mit der Business-Simulation Apollo 13 haben wir den Effekt eines Einsatzes von Prozessmodellierungsmethoden und -werkzeugen untersucht. Bereits bekannte Theorien (z.B. über geeignete Verhältnisse von Kommunikationsinhalten) konnten bestätigt werden. Darüber hinaus haben wir eine besondere Bedeutung der Übertragbarkeit von Prozessmodellen in konkrete Handlungen identifiziert. Y1 - 2014 SN - 978-3-88579-626-8 SN - 1617-5468 SP - 357 EP - 369 PB - Gesellschaft für Informatik e.V. CY - Bonn ER - TY - CHAP A1 - Marco, Heather G. A1 - Ferrein, Alexander T1 - AGNES: The African-German Network of Excellence in Science T2 - Proceedings of the 2nd Developing World Robotics Forum, Workshop at IEEE AFRICON 2017 Y1 - 2017 SP - 1 EP - 2 ER - TY - CHAP A1 - Mataré, Victor A1 - Schiffer, Stefan A1 - Ferrein, Alexander ED - Steinbauer, Gerald ED - Ferrein, Alexander T1 - golog++ : An integrative system design T2 - CogRob 2018. Cognitive Robotics Workshop : Proceedings of the 11th Cognitive Robotics Workshop 2018 co-located with 16th International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) Tempe, AZ, USA, October 27th, 2018 Y1 - 2019 SN - 1613-0073 SP - 29 EP - 35 ER - TY - CHAP A1 - Meck, Marvin M. A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Improving an industrial cooling system using MINLP, considering capital and operating costs T2 - Operations Research Proceedings 2019 N2 - The chemical industry is one of the most important industrial sectors in Germany in terms of manufacturing revenue. While thermodynamic boundary conditions often restrict the scope for reducing the energy consumption of core processes, secondary processes such as cooling offer scope for energy optimisation. In this contribution, we therefore model and optimise an existing cooling system. The technical boundary conditions of the model are provided by the operators, the German chemical company BASF SE. In order to systematically evaluate different degrees of freedom in topology and operation, we formulate and solve a Mixed-Integer Nonlinear Program (MINLP), and compare our optimisation results with the existing system. KW - Engineering optimisation KW - Mixed-integer programming KW - Industrial optimisation KW - Cooling system KW - Process engineering Y1 - 2020 SN - 978-3-030-48438-5 (Print) SN - 978-3-030-48439-2 (Online) U6 - http://dx.doi.org/10.1007/978-3-030-48439-2_61 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019. SP - 505 EP - 512 PB - Springer CY - Cham ER - TY - CHAP A1 - Moll, Florian A1 - Köhler, Klemens A1 - Wolf, Martin T1 - Konzeption von IT-Sicherheitslösungen unter ethischen Gesichtspunkten am Beispiel einer Monitoring-App für mobile Endgeräte T2 - Angewandte Forschung in der Wirtschaftsinformatik 2019 : Tagungsband zur 32. AKWI-Jahrestagung N2 - Die steigende Popularität von mobilen Endgeräten im privaten und geschäftlichen Umfeld geht mit einem Anstieg an Sicherheitslücken und somit potentiellen Angriffsflächen einher. Als ein Element der technischen und organisatorischen Maßnahmen zum Schutz eines Netzwerkes können Monitoring-Apps dienen, die unerwünschtes Verhalten und Angriffe erkennen. Die automatisierte Überwachung von Endgeräten ist jedoch rechtlich und ethisch komplex. Dies in Kombination mit einer hohen Sensibilität der Nutzer und Nutzerinnen dieser Geräte in Bezug auf Privatsphäre, kann zu einer geringen Akzeptanz und Compliance führen. Eine datenschutzrechtlich und ethisch einwandfreie Konzeption solcher Apps bereits im Designprozess führt zu höherer Akzeptanz und verbessert so die Effizienz. Diese Analyse beschreibt Möglichkeiten zur Umsetzung. Y1 - 2019 SN - 978-3-944330-62-4 SP - 61 EP - 72 PB - mana-Buch CY - Heide ER - TY - CHAP A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Ahola, Marja A1 - Schabel, Samuel A1 - Pelz, Peter F. ED - Rodrigues, H. C. T1 - Multi-Criteria optimization of pressure screen systems in paper recycling – balancing quality, yield, energy consumption and system complexity T2 - EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization N2 - The paper industry is the industry with the third highest energy consumption in the European Union. Using recycled paper instead of fresh fibers for papermaking is less energy consuming and saves resources. However, adhesive contaminants in recycled paper are particularly problematic since they reduce the quality of the resulting paper-product. To remove as many contaminants and at the same time obtain as many valuable fibres as possible, fine screening systems, consisting of multiple interconnected pressure screens, are used. Choosing the best configuration is a non-trivial task: The screens can be interconnected in several ways, and suitable screen designs as well as operational parameters have to be selected. Additionally, one has to face conflicting objectives. In this paper, we present an approach for the multi-criteria optimization of pressure screen systems based on Mixed-Integer Nonlinear Programming. We specifically focus on a clear representation of the trade-off between different objectives. Y1 - 2019 SN - 978-3-319-97773-7 U6 - http://dx.doi.org/10.1007/978-3-319-97773-7_105 N1 - EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization. 17-19 September 2018. Lisboa, Portugal PB - Springer International Publishing CY - Basel ER - TY - CHAP A1 - Müller, Tim M. A1 - Altherr, Lena A1 - Leise, Philipp A1 - Pelz, Peter F. T1 - Optimization of pumping systems for buildings: Experimental validation of different degrees of model detail on a modular test rig T2 - Operations Research Proceedings 2019 N2 - Successful optimization requires an appropriate model of the system under consideration. When selecting a suitable level of detail, one has to consider solution quality as well as the computational and implementation effort. In this paper, we present a MINLP for a pumping system for the drinking water supply of high-rise buildings. We investigate the influence of the granularity of the underlying physical models on the solution quality. Therefore, we model the system with a varying level of detail regarding the friction losses, and conduct an experimental validation of our model on a modular test rig. Furthermore, we investigate the computational effort and show that it can be reduced by the integration of domain-specific knowledge. KW - Experimental validation KW - MINLP KW - Engineering optimization KW - Water supply system KW - Network design Y1 - 2020 SN - 978-3-030-48438-5 U6 - http://dx.doi.org/10.1007/978-3-030-48439-2_58 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 SP - 481 EP - 488 PB - Springer CY - Cham ER - TY - CHAP A1 - Müller, Tim M. A1 - Schmitt, Andreas A1 - Leise, Philipp A1 - Meck, Tobias A1 - Altherr, Lena A1 - Pelz, Peter F. A1 - Pfetsch, Marc E. T1 - Validation of an optimized resilient water supply system T2 - Uncertainty in Mechanical Engineering N2 - Component failures within water supply systems can lead to significant performance losses. One way to address these losses is the explicit anticipation of failures within the design process. We consider a water supply system for high-rise buildings, where pump failures are the most likely failure scenarios. We explicitly consider these failures within an early design stage which leads to a more resilient system, i.e., a system which is able to operate under a predefined number of arbitrary pump failures. We use a mathematical optimization approach to compute such a resilient design. This is based on a multi-stage model for topology optimization, which can be described by a system of nonlinear inequalities and integrality constraints. Such a model has to be both computationally tractable and to represent the real-world system accurately. We therefore validate the algorithmic solutions using experiments on a scaled test rig for high-rise buildings. The test rig allows for an arbitrary connection of pumps to reproduce scaled versions of booster station designs for high-rise buildings. We experimentally verify the applicability of the presented optimization model and that the proposed resilience properties are also fulfilled in real systems. KW - Optimization KW - Mixed-integer nonlinear programming KW - Water distribution system KW - Resilience KW - Validation Y1 - 2021 SN - 978-3-030-77255-0 SN - 978-3-030-77256-7 U6 - http://dx.doi.org/10.1007/978-3-030-77256-7_7 N1 - Proceedings of the 4th International Conference on Uncertainty in Mechanical Engineering (ICUME 2021), June 7–8, 2021 SP - 70 EP - 80 PB - Springer CY - Cham ER - TY - CHAP A1 - Nees, Franz A1 - Stengel, Ingo A1 - Meister, Vera G. A1 - Barton, Thomas A1 - Herrmann, Frank A1 - Müller, Christian A1 - Wolf, Martin T1 - Angewandte Forschung in der Wirtschaftsinformatik 2020 : Tagungsband zur 33. AKWI-Jahrestagung am 14.09.2020, ausgerichtet von der Hochschule Karlsruhe - Wirtschaft und Technik / hrsg. von Franz Nees, Ingo Stengel, Vera G. Meister, Thomas Barton, Frank Herrmann, Christian Müller, Martin R. Wolf N2 - Tagungsbeiträge aus den Bereichen KI, Prozessorganisation und Plattformen für Geschäftsprozesse, Sicherheit und Datenschutz sowie Prototypen und Modelle. Y1 - 2020 U6 - http://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:kobv:526-opus4-13840 SN - 978-3-944330-66-2 PB - mana-Buch CY - Heide ER - TY - CHAP A1 - Neth, Jannik A1 - Schuba, Marko A1 - Brodkorb, Karsten A1 - Neugebauer, Georg A1 - Höner, Tim A1 - Hack, Sacha T1 - Digital forensics triage app for android T2 - ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security N2 - Digital forensics of smartphones is of utmost importance in many criminal cases. As modern smartphones store chats, photos, videos etc. that can be relevant for investigations and as they can have storage capacities of hundreds of gigabytes, they are a primary target for forensic investigators. However, it is exactly this large amount of data that is causing problems: extracting and examining the data from multiple phones seized in the context of a case is taking more and more time. This bears the risk of wasting a lot of time with irrelevant phones while there is not enough time left to analyze a phone which is worth examination. Forensic triage can help in this case: Such a triage is a preselection step based on a subset of data and is performed before fully extracting all the data from the smartphone. Triage can accelerate subsequent investigations and is especially useful in cases where time is essential. The aim of this paper is to determine which and how much data from an Android smartphone can be made directly accessible to the forensic investigator – without tedious investigations. For this purpose, an app has been developed that can be used with extremely limited storage of data in the handset and which outputs the extracted data immediately to the forensic workstation in a human- and machine-readable format. KW - Android KW - Digital triage KW - Triage-app Y1 - 2023 SN - 9798400707728 U6 - http://dx.doi.org/10.1145/3600160.3605017 N1 - ARES 2023: The 18th International Conference on Availability, Reliability and Security. August 29 - September 1, 2023. Benevento, Italy. PB - ACM ER - TY - CHAP A1 - Neugebauer, Georg A1 - Brutschy, Lucas A1 - Meyer, Ulrike A1 - Wetzel, Susanne ED - Garcia-Alfaro, Joaquin ED - Lioudakis, Georgios ED - Cuppens-Boulahia, Nora ED - Foley, Simon ED - Fitzgerald, William M. T1 - Privacy-preserving multi-party reconciliation secure in the malicious model T2 - DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security N2 - The problem of fair and privacy-preserving ordered set reconciliation arises in a variety of applications like auctions, e-voting, and appointment reconciliation. While several multi-party protocols have been proposed that solve this problem in the semi-honest model, there are no multi-party protocols that are secure in the malicious model so far. In this paper, we close this gap. Our newly proposed protocols are shown to be secure in the malicious model based on a variety of novel non-interactive zero-knowledge-proofs. We describe the implementation of our protocols and evaluate their performance in comparison to protocols solving the problem in the semi-honest case. KW - Privacy-enhancing technologies KW - Secure multi-party computation KW - Cryptographic protocols KW - Zero-knowledge proofs KW - Malicious model Y1 - 2014 SN - 978-3-642-54567-2 (Print) SN - 978-3-642-54568-9 (Online) U6 - http://dx.doi.org/10.1007/978-3-642-54568-9_12 N1 - 8th International Workshop, DPM 2013, and 6th International Workshop, SETOP 2013, Egham, UK, September 12-13, 2013. Part of the Lecture Notes in Computer Science book series (LNSC,volume 8247) SP - 178 EP - 193 PB - Springer CY - Berlin ER - TY - CHAP A1 - Neumann, Tobias A1 - Dülberg, Enno A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A rotating platform for swift acquisition of dense 3D point clouds T2 - Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I Y1 - 2016 SN - 978-3-319-43505-3 (Print) SN - 978-3-319-43506-0 (Online) U6 - http://dx.doi.org/10.1007/978-3-319-43506-0_22 N1 - Series: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) VL - 9834 SP - 257 EP - 268 PB - Springer ER - TY - CHAP A1 - Neumann, Tobias A1 - Ferrein, Alexander A1 - Kallweit, Stephan A1 - Scholl, Ingrid T1 - Towards a mobile mapping robot for underground mines T2 - 7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town Y1 - 2014 SP - 1 EP - 6 ER - TY - CHAP A1 - Niemueller, Tim A1 - Ferrein, Alexander A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark T2 - Proceedings of the IROS 2015 Open forum on evaluation of results, replication of experiments and benchmarking in robotics research N2 - With autonomous mobile robots receiving increased attention in industrial contexts, the need for benchmarks becomes more and more an urgent matter. The RoboCup Logistics League (RCLL) is one specific industry-inspired scenario focusing on production logistics within a Smart Factory. In this paper, we describe how the RCLL allows to assess the performance of a group of robots within the scenario as a whole, focusing specifically on the coordination and cooperation strategies and the methods and components to achieve them. We report on recent efforts to analyze performance of teams in 2014 to understand the implications of the current grading scheme, and derived criteria and metrics for performance assessment based on Key Performance Indicators (KPI) adapted from classic factory evaluation. We reflect on differences and compatibility towards RoCKIn, a recent major benchmarking European project. Y1 - 2015 ER - TY - CHAP A1 - Niemueller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander ED - Finzi, Alberto T1 - The RoboCup Logistics League as a Benchmark for Planning in Robotics T2 - Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015 Y1 - 2015 SP - 63 EP - 68 ER - TY - CHAP A1 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - Improvements for a robust production in the RoboCup logistics league 2016 T2 - RoboCup 2016: Robot World Cup XX. RoboCup 2016. Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_49 SP - 589 EP - 600 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Neumann, Tobias A1 - Henke, Christoph A1 - Schönitz, Sebastian A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League T2 - RoboCup 2016: RoboCup 2016: Robot World Cup XX. RoboCup 2016 Y1 - 2017 SN - 978-3-319-68792-6 U6 - http://dx.doi.org/10.1007/978-3-319-68792-6_53 N1 - Lecture Notes in Computer Science, LNCS, Vol 9776 SP - 634 EP - 642 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ewert, Daniel A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard ED - Almeida, Luis T1 - The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015 T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_4 N1 - Lecture Notes in Computer Science ; 9513 SP - 47 EP - 59 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ferrein, Alexander ED - Almeida, Luis T1 - Fawkes for the RoboCup Logistics League T2 - RoboCup 2015: Robot World Cup XIX Y1 - 2016 SN - 978-3-319-29339-4 U6 - http://dx.doi.org/10.1007/978-3-319-29339-4_31 N1 - Lecture Notes in Computer Science ; 9513 SP - 365 EP - 373 PB - Springer International Publishing CY - Cham ER -