TY - CHAP A1 - Leise, Philipp A1 - Simon, Nicolai A1 - Altherr, Lena T1 - Comparison of Piecewise Linearization Techniques to Model Electric Motor Efficiency Maps: A Computational Study T2 - Operations Research Proceedings 2019 N2 - To maximize the travel distances of battery electric vehicles such as cars or buses for a given amount of stored energy, their powertrains are optimized energetically. One key part within optimization models for electric powertrains is the efficiency map of the electric motor. The underlying function is usually highly nonlinear and nonconvex and leads to major challenges within a global optimization process. To enable faster solution times, one possibility is the usage of piecewise linearization techniques to approximate the nonlinear efficiency map with linear constraints. Therefore, we evaluate the influence of different piecewise linearization modeling techniques on the overall solution process and compare the solution time and accuracy for methods with and without explicitly used binary variables. KW - MINLP KW - Powertrain KW - Piecewise linearization KW - Efficiency optimization Y1 - 2020 SN - 978-3-030-48439-2 SN - 978-3-030-48438-5 U6 - http://dx.doi.org/10.1007/978-3-030-48439-2_55 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 SP - 457 EP - 463 PB - Springer CY - Cham ER - TY - CHAP A1 - Lenz, Laura L. A1 - Wolf, Martin ED - Kritz, Willy Christian T1 - Economic evaluation of serious games with the comparative assessment framework COSEGA T2 - The shift from teaching to learning : individual, collective and organizational learning through gaming simulation ; proceedings of the 45th conference of the International Simulation and Gaming Association, Dornbirn 2014 Y1 - 2014 SN - 978-3-7639-5422-3 SP - 374 EP - 386 PB - Bertelsmann CY - [Bielefeld] ER - TY - JOUR A1 - Lerchl, Alexander A1 - Krüger, Heike A1 - Niehaus, Michael A1 - Streckert, Joachim R. A1 - Bitz, Andreas A1 - Hansen, Volkert T1 - Effects of mobile phone electromagnetic fields at nonthermal SAR values on melatonin and body weight of Djungarian hamsters (Phodopus sungorus) JF - Journal of Pineal Research Y1 - 2008 U6 - http://dx.doi.org/10.1111/j.1600-079X.2007.00522.x SN - 1600-079X VL - 44 IS - 3 SP - 267 EP - 272 ER - TY - CHAP A1 - Limpert, Nicolas A1 - Schiffer, Stefan A1 - Ferrein, Alexander T1 - A Local Planner for Ackermann-Driven Vehicles in ROS SBPL T2 - Proceedings of the International Conference on Pattern Recognition Association of South Africa and Robotics and Mechatronics (PRASA-RobMech), 2015 Y1 - 2015 U6 - http://dx.doi.org/10.1109/RoboMech.2015.7359518 SP - 172 EP - 177 ER - TY - JOUR A1 - Limpert, Nicolas A1 - Wiesen, Patrick A1 - Ferrein, Alexander A1 - Kallweit, Stephan A1 - Schiffer, Stefan T1 - The ROSIN Project and its Outreach to South Africa JF - R&D Journal Y1 - 2019 VL - 35 SP - 1 EP - 6 ER - TY - CHAP A1 - Lindenlauf, Simon A1 - Höfken, Hans-Wilhelm A1 - Schuba, Marko T1 - Cold Boot Attacks on DDR2 and DDR3 SDRAM T2 - 10th International Conference on Availability, Reliability and Security (ARES) 2015 Y1 - 2015 U6 - http://dx.doi.org/10.1109/ARES.2015.28 SP - 287 EP - 292 ER - TY - CHAP A1 - Lindner, Marvin A1 - Kolb, Andreas A1 - Ringbeck, Thorsten T1 - New insights into the calibration of ToF-sensors T2 - 2008 IEEE Computer Society Conference on Computer Vision and Pattern Recognition workshops : Anchorage, AK, 23 - 28 June 2008 N2 - Time-of-flight (ToF) sensors have become an alternative to conventional distance sensing techniques like laser scanners or image based stereo. ToF sensors provide full range distance information at high frame-rates and thus have a significant impact onto current research in areas like online object recognition, collision prevention or scene reconstruction. However, ToF cameras like the photonic mixer device (PMD) still exhibit a number of challenges regarding static and dynamic effects, e.g. systematic distance errors and motion artefacts, respectively. Sensor calibration techniques reducing static system errors have been proposed and show promising results. However, current calibration techniques in general need a large set of reference data in order to determine the corresponding parameters for the calibration model. This paper introduces a new calibration approach which combines different demodulation techniques for the ToF- camera 's reference signal. Examples show, that the resulting combined demodulation technique yields improved distance values based on only two required reference data sets. Y1 - 2008 SN - 978-1-4244-2339-2 SN - 978-1-4244-2340-8 SP - 1 EP - 5 PB - IEEE Service Center CY - Piscataway, NJ ER - TY - CHAP A1 - Logen, Steffen A1 - Höfken, Hans A1 - Schuba, Marko T1 - Simplifying RAM Forensics : A GUI and Extensions for the Volatility Framework T2 - 2012 Seventh International Conference on Availability, Reliability and Security (ARES), 20-24 August 2012, Prague, Czech Republic N2 - The Volatility Framework is a collection of tools for the analysis of computer RAM. The framework offers a multitude of analysis options and is used by many investigators worldwide. Volatility currently comes with a command line interface only, which might be a hinderer for some investigators to use the tool. In this paper we present a GUI and extensions for the Volatility Framework, which on the one hand simplify the usage of the tool and on the other hand offer additional functionality like storage of results in a database, shortcuts for long Volatility Framework command sequences, and entirely new commands based on correlation of data stored in the database. Y1 - 2012 SN - 978-1-4673-2244-7 U6 - http://dx.doi.org/10.1109/ARES.2012.12 SP - 620 EP - 624 PB - IEEE CY - New York ER - TY - CHAP A1 - Lorenz, Imke-Sophie A1 - Altherr, Lena A1 - Pelz, Peter F. ED - Neufeld, Janis S. ED - Buscher, Udo ED - Lasch, Rainer ED - Möst, Dominik ED - Schönberger, Jörn T1 - Assessing and Optimizing the Resilience of Water Distribution Systems Using Graph-Theoretical Metrics T2 - Operations Research Proceedings 2019 N2 - Water distribution systems are an essential supply infrastructure for cities. Given that climatic and demographic influences will pose further challenges for these infrastructures in the future, the resilience of water supply systems, i.e. their ability to withstand and recover from disruptions, has recently become a subject of research. To assess the resilience of a WDS, different graph-theoretical approaches exist. Next to general metrics characterizing the network topology, also hydraulic and technical restrictions have to be taken into account. In this work, the resilience of an exemplary water distribution network of a major German city is assessed, and a Mixed-Integer Program is presented which allows to assess the impact of capacity adaptations on its resilience. KW - OR 2019 KW - business analytics KW - decision analytics KW - digital economy KW - mathematical optimization Y1 - 2020 SN - 978-3-030-48439-2 SN - 978-3-030-48438-5 U6 - http://dx.doi.org/10.1007/978-3-030-48439-2_63 N1 - Annual International Conference of the German Operations Research Society (GOR), Dresden, Germany, September 4-6, 2019 SP - 521 EP - 527 PB - Springer CY - Cham ER - TY - CHAP A1 - Lorenz, Imke-Sophie A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Resilience enhancement of critical infrastructure – graph-theoretical resilience analysis of the water distribution system in the German city of Darmstadt T2 - 14th WCEAM Proceedings N2 - Water suppliers are faced with the great challenge of achieving high-quality and, at the same time, low-cost water supply. Since climatic and demographic influences will pose further challenges in the future, the resilience enhancement of water distribution systems (WDS), i.e. the enhancement of their capability to withstand and recover from disturbances, has been in particular focus recently. To assess the resilience of WDS, graph-theoretical metrics have been proposed. In this study, a promising approach is first physically derived analytically and then applied to assess the resilience of the WDS for a district in a major German City. The topology based resilience index computed for every consumer node takes into consideration the resistance of the best supply path as well as alternative supply paths. This resistance of a supply path is derived to be the dimensionless pressure loss in the pipes making up the path. The conducted analysis of a present WDS provides insight into the process of actively influencing the resilience of WDS locally and globally by adding pipes. The study shows that especially pipes added close to the reservoirs and main branching points in the WDS result in a high resilience enhancement of the overall WDS. KW - Resilient infrastructure KW - Resilience assessment KW - Resilience metric graph theory KW - Water distribution system KW - Case study Y1 - 2020 SN - 978-3-030-64228-0 SN - 978-3-030-64227-3 U6 - http://dx.doi.org/10.1007/978-3-030-64228-0_13 N1 - 14th WCEAM Proceedings. World Congress on Engineering Asset Management, 28-31 July 2019, Singapore Part of the Lecture Notes in Mechanical Engineering book series (LNME) SP - 137 EP - 149 PB - Springer CY - Cham ER - TY - CHAP A1 - Lorenz, Imke-Sophie B. A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Graph-theoretic resilience analysis of a water distribution system's topology T2 - World Congress on Resilience, Reliability and Asset Management 2019 N2 - Water suppliers are faced with the great challenge of achieving high-quality and, at the same time, low-cost water supply. In practice, the focus is set on the most beneficial maintenance measures and/or capacity adaptations of existing water distribution systems (WDS). Since climatic and demographic influences will pose further challenges in the future, the resilience enhancement of WDS, i.e. the enhancement of their capability to withstand and recover from disturbances, has been in particular focus recently. To assess the resilience of WDS, metrics based on graph theory have been proposed. In this study, a promising approach is applied to assess the resilience of the WDS for a district in a major German City. The conducted analysis provides insight into the process of actively influencing the resilience of WDS KW - Resilience Assessment KW - Graph Theory KW - Water Supply System KW - Case Study Y1 - 2019 N1 - World Congress on Resilience, Reliability and Asset Management, 28-31 July 2019. Furama Riverfront Hotel, Singapore SP - 106 EP - 109 ER - TY - JOUR A1 - Maas, Marnix C. A1 - Vos, Eline K. A1 - Lagemaat, Miriam W. A1 - Bitz, Andreas A1 - Orzada, Stephan A1 - Kobus, Thiele A1 - Kraff, Oliver A1 - Maderwald, Stefan A1 - Ladd, Mark E. A1 - Scheenen, Tom W. J. T1 - Feasibility of T₂-weighted turbo spin echo imaging of the human prostate at 7 tesla JF - Magnetic Resonance in Medicine N2 - Purpose To demonstrate that high quality T₂-weighted (T2w) turbo spin-echo (TSE) imaging of the complete prostate can be achieved routinely and within safety limits at 7 T, using an external transceive body array coil only. Methods Nine healthy volunteers and 12 prostate cancer patients were scanned on a 7 T whole-body system. Preparation consisted of B₀ and radiofrequency shimming and localized flip angle calibration. T₁ and T₂ relaxation times were measured and used to define the T2w-TSE protocol. T2w imaging was performed using a TSE sequence (pulse repetition time/echo time 3000–3640/71 ms) with prolonged excitation and refocusing pulses to reduce specific absorption rate. Results High quality T2w TSE imaging was performed in less than 2 min in all subjects. Tumors of patients with gold-standard tumor localization (MR-guided biopsy or prostatectomy) were well visualized on 7 T imaging (n = 3). The number of consecutive slices achievable within a 10-g averaged specific absorption rate limit of 10 W/kg was ≥28 in all subjects, sufficient for full prostate coverage with 3-mm slices in at least one direction. Conclusion High quality T2w TSE prostate imaging can be performed routinely and within specific absorption rate limits at 7 T with an external transceive body array. Y1 - 2014 U6 - http://dx.doi.org/10.1002/mrm.24818 SN - 1522-2594 VL - 71 IS - 5 SP - 1711 EP - 1719 PB - Wiley-VCH CY - Weinheim 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 - JOUR A1 - Maus, Stefan A1 - Höfken, Hans-Wilhelm A1 - Schuba, Marko T1 - Forensic Analysis of Geodata in Android Smartphones Y1 - 2011 N1 - Cyberforensics 2011, Glasgow SP - 1 EP - 11 ER - TY - JOUR A1 - Mayer, Claudia T1 - L'Estétique et le pouvoir: Le discours chaotique de l'Allemagne unifiée JF - Canadian review of comparative literature : CRCL = Revue canadienne de littérature comparée : RCLC / Canadian Comparative Literature Association. 24 (1997), H. 2 Y1 - 1997 SN - 0319-051X SP - 297 EP - 317 ER - TY - JOUR A1 - Mayer, Claudia T1 - Between Trans- and Interdisciplinarity. »Germanistik« and the Dialectic of Inclusion and Exclusion of the Other(s) JF - Language and literature today : proceedings of the XIXth triennal congress of the International Federation for Modern Languages and Literatures ; Brasília 22 - 30 August 1993. General ed. Neide de Faria. Y1 - 1993 SN - 85-230-0405-x N1 - Band 2 SP - 958 EP - 966 PB - Univ. CY - Brasilia ER - TY - JOUR A1 - Mayer, Claudia T1 - Between Resistance and Affirmation: Christa Wolf and German Unification JF - Canadian review of comparative literature : CRCL = Revue canadienne de littérature comparée / Canadian Comparative Literature Association. 22 (1995), H. 3-4 Y1 - 1995 SN - 0319-051X SP - 813 EP - 835 ER - TY - BOOK A1 - Mayer, Claudia T1 - Art : from prehistoric art to modernism / [Text: Claudia Mayer-Iswandy] Y1 - 2001 SN - 3-7701-7048-2 N1 - (Flipguide) PB - DuMont CY - Köln 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 - JOUR A1 - Mühl, Thomas A1 - Binnebösel, Marcel A1 - Klinge, Uwe A1 - Goedderz, Thomas T1 - New objective measurement to characterize the porosity of textile implants JF - Journal of Biomedical Materials Research Part B: Applied Biomaterials. 84B (2008), H. 1 Y1 - 2008 SN - 1552-4981 SP - 176 EP - 183 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 - Ahola, Marja A1 - Schabel, Samuel A1 - Pelz, Peter F. T1 - Optimizing pressure screen systems in paper recycling: optimal system layout, component selection and operation N2 - Around 60% of the paper worldwide is made from recovered paper. Especially adhesive contaminants, so called stickies, reduce paper quality. To remove stickies but at the same time keep as many valuable fibers as possible, multi-stage screening systems with several interconnected pressure screens are used. When planning such systems, suitable screens have to be selected and their interconnection as well as operational parameters have to be defined considering multiple conflicting objectives. In this contribution, we present a Mixed-Integer Nonlinear Program to optimize system layout, component selection and operation to find a suitable trade-off between output quality and yield. KW - Mixed-integer nonlinear problem KW - MINLP KW - Process engineering KW - Paper recycling KW - Multi-criteria optimization Y1 - 2018 SN - 978-3-030-18499-5 U6 - http://dx.doi.org/10.1007/978-3-030-18500-8_44 SP - 355 EP - 361 PB - Springer CY - Cham 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 - JOUR A1 - Müller, Tim M. A1 - Leise, Philipp A1 - Lorenz, Imke-Sophie A1 - Altherr, Lena A1 - Pelz, Peter F. T1 - Optimization and validation of pumping system design and operation for water supply in high-rise buildings JF - Optimization and Engineering N2 - The application of mathematical optimization methods for water supply system design and operation provides the capacity to increase the energy efficiency and to lower the investment costs considerably. We present a system approach for the optimal design and operation of pumping systems in real-world high-rise buildings that is based on the usage of mixed-integer nonlinear and mixed-integer linear modeling approaches. In addition, we consider different booster station topologies, i.e. parallel and series-parallel central booster stations as well as decentral booster stations. To confirm the validity of the underlying optimization models with real-world system behavior, we additionally present validation results based on experiments conducted on a modularly constructed pumping test rig. Within the models we consider layout and control decisions for different load scenarios, leading to a Deterministic Equivalent of a two-stage stochastic optimization program. We use a piecewise linearization as well as a piecewise relaxation of the pumps’ characteristics to derive mixed-integer linear models. Besides the solution with off-the-shelf solvers, we present a problem specific exact solving algorithm to improve the computation time. Focusing on the efficient exploration of the solution space, we divide the problem into smaller subproblems, which partly can be cut off in the solution process. Furthermore, we discuss the performance and applicability of the solution approaches for real buildings and analyze the technical aspects of the solutions from an engineer’s point of view, keeping in mind the economically important trade-off between investment and operation costs. KW - Technical Operations Research KW - MINLP KW - MILP KW - Experimental validation KW - Pumping systems Y1 - 2020 U6 - http://dx.doi.org/10.1007/s11081-020-09553-4 SN - 1573-2924 VL - 2021 IS - 22 SP - 643 EP - 686 PB - Springer 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 - JOUR A1 - Ndoumbè Mbonjo Mbonjo, H. A1 - Streckert, J. A1 - Bitz, Andreas A1 - Hansen, V. A1 - Glasmachers, A. A1 - Gencol, S. A1 - Rozic, D. T1 - Generic UMTS test signal for RF bioelectromagnetic studies JF - Bioelectromagnetics Y1 - 2004 U6 - http://dx.doi.org/10.1002/bem.20007 SN - 1521-186X VL - 25 IS - 6 SP - 415 EP - 425 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 - 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 T1 - Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014 T2 - RoboCup 2014: Robot World Cup XVIII Y1 - 2015 SN - 978-3-319-18615-3 N1 - Lecture Notes in Computer Science ; 8992 SP - 155 EP - 167 PB - Springer 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 - TY - CHAP A1 - Niemueller, Tim A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard ED - Almeida, Luis T1 - Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions 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_3 N1 - Lecture Notes in Computer Science ; 9513 SP - 31 EP - 43 PB - Springer International Publishing CY - Cham ER - TY - CHAP A1 - Niemueller, Tim A1 - Zwilling, Frederik A1 - Lakemeyer, Gerhard A1 - Löbach, Matthias A1 - Reuter, Sebastian A1 - Jeschke, Sabina A1 - Ferrein, Alexander T1 - Cyber-Physical System Intelligence T2 - Industrial Internet of Things N2 - Cyber-physical systems are ever more common in manufacturing industries. Increasing their autonomy has been declared an explicit goal, for example, as part of the Industry 4.0 vision. To achieve this system intelligence, principled and software-driven methods are required to analyze sensing data, make goal-directed decisions, and eventually execute and monitor chosen tasks. In this chapter, we present a number of knowledge-based approaches to these problems and case studies with in-depth evaluation results of several different implementations for groups of autonomous mobile robots performing in-house logistics in a smart factory. We focus on knowledge-based systems because besides providing expressive languages and capable reasoning techniques, they also allow for explaining how a particular sequence of actions came about, for example, in the case of a failure. KW - Smart factory KW - Industry 4.0 KW - Multi-robot systems KW - Autonomous mobile robots KW - RoboCup Y1 - 2017 SN - 978-3-319-42559-7 U6 - http://dx.doi.org/10.1007/978-3-319-42559-7_17 N1 - Springer Series in Wireless Technology SP - 447 EP - 472 PB - Springer CY - Cham ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - The Carologistics RoboCup Logistics Team 2013 T2 - RoboCup 2013 : Eindhoven Y1 - 2013 SP - 1 EP - 8 ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Ferrein, Alexander A1 - Jeschke, Sabina A1 - Lakemeyer, Gerhard T1 - RoboCup logistics league sponsored by festo: A competitive factory automation testbed T2 - RoboCup 2013: Robot World Cup XVII : Eindhoven; Netherlands; 1 July 2013 through 1 July 2013. (Lecture notes in computer science ; 8371) N2 - A new trend in automation is to deploy so-called cyber-physical systems (CPS) which combine computation with physical processes. The novel RoboCup Logistics League Sponsored by Festo (LLSF) aims at such CPS logistic scenarios in an automation setting. A team of robots has to produce products from a number of semi-finished products which they have to machine during the game. Different production plans are possible and the robots need to recycle scrap byproducts. This way, the LLSF is a very interesting league offering a number of challenging research questions for planning, coordination, or communication in an application-driven scenario. In this paper, we outline the objectives of the LLSF and present steps for developing the league further towards a benchmark for logistics scenarios for CPS. As a major milestone we present the new automated referee system which helps in governing the game play as well as keeping track of the scored points in a very complex factory scenario. Y1 - 2014 SN - 978-3-662-44467-2 (Print) 978-3-662-44468-9 (Online) SP - 336 EP - 347 PB - Springer CY - Berlin ER - TY - CHAP A1 - Niemüller, Tim A1 - Ewert, Daniel A1 - Reuter, Sebastian A1 - Karras, Ulrich A1 - Ferrein, Alexander T1 - Towards benchmarking cyber-physical systems in factory automation scenarios T2 - KI 2013: advances in artificial intelligence : 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013 ; proceedings / Ingo J. Timm ... (ed.). (Lecture notes in computer science ; 8077) Y1 - 2013 SN - 978-3-642-40941-7 SP - 296 EP - 299 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Beck, Daniel A1 - Lakemeyer, Gerhard T1 - Design Principles of the Component-Based Robot Software Framework Fawkes JF - Simulation, Modeling, and Programming for Autonomous Robots Y1 - 2010 N1 - Lecture Notes in Computer Science ; 6472 ; Second International Conference, SIMPAR 2010, Darmstadt, Germany, November 15-18, 2010. Proceedings SP - 300 EP - 311 ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Eckel, Gerhard A1 - Pirro, David A1 - Podbregar, Patrick A1 - Kellner, Tobias A1 - Rath, Christoph A1 - Steinbauer, Gerald T1 - Providing Ground-truth Data for the Nao Robot Platform JF - RoboCup 2010: Robot Soccer World Cup XIV Y1 - 2011 SN - 978-3-642-20217-9 N1 - Lecture Notes in Computer Science ; 6556 SP - 133 EP - 144 PB - Springer CY - Berlin ER - TY - JOUR A1 - Niemüller, Tim A1 - Ferrein, Alexander A1 - Lakemeyer, Gerhard T1 - A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao JF - RoboCup 2009: Robot Soccer World Cup XIII Y1 - 2010 N1 - Lecture Notes in Computer Science ; 5949 SP - 240 EP - 251 ER - TY - CHAP A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander T1 - Aspects of integrating diverse software into robotic systems extended abstract T2 - ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany Y1 - 2013 SP - 1 EP - 2 ER - TY - CHAP A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander ED - Boots, Byron T1 - Incremental task-level reasoning in a competitive factory automation scenario T2 - Designing intelligent robots : reintegrating AI II ; papers from the AAAI spring symposium ; [held March 25 - 27, 2013 in Palo Alto, California, USA, on the campus of Stanford University]. (Technical Report / Association for the Advancement of Artificial Intelligence ; 2013,4) Y1 - 2013 SN - 9781577356011 SP - 43 EP - 48 ER - TY - JOUR A1 - Niemüller, Tim A1 - Lakemeyer, Gerhard A1 - Ferrein, Alexander A1 - Reuter, S. A1 - Ewert, D. A1 - Jeschke, S. A1 - Pensky, D. A1 - Karras, Ulrich T1 - Proposal for advancements to the LLSF in 2014 and beyond Y1 - 2013 SP - Publ. online ER - TY - CHAP A1 - Nikolovski, Gjorgji A1 - Limpert, Nicolas A1 - Nessau, Hendrik A1 - Reke, Michael A1 - Ferrein, Alexander T1 - Model-predictive control with parallelised optimisation for the navigation of autonomous mining vehicles T2 - 2023 IEEE Intelligent Vehicles Symposium (IV) N2 - The work in modern open-pit and underground mines requires the transportation of large amounts of resources between fixed points. The navigation to these fixed points is a repetitive task that can be automated. The challenge in automating the navigation of vehicles commonly used in mines is the systemic properties of such vehicles. Many mining vehicles, such as the one we have used in the research for this paper, use steering systems with an articulated joint bending the vehicle’s drive axis to change its course and a hydraulic drive system to actuate axial drive components or the movements of tippers if available. To address the difficulties of controlling such a vehicle, we present a model-predictive approach for controlling the vehicle. While the control optimisation based on a parallel error minimisation of the predicted state has already been established in the past, we provide insight into the design and implementation of an MPC for an articulated mining vehicle and show the results of real-world experiments in an open-pit mine environment. KW - Mpc KW - Control KW - Path-following KW - Navigation KW - Automation Y1 - 2023 SN - 979-8-3503-4691-6 (Online) SN - 979-8-3503-4692-3 (Print) U6 - http://dx.doi.org/10.1109/IV55152.2023.10186806 N1 - IEEE Symposium on Intelligent Vehicle, 4.-7. June 2023, Anchorage, AK, USA. PB - IEEE ER - TY - CHAP A1 - Nikolovski, Gjorgji A1 - Reke, Michael A1 - Elsen, Ingo A1 - Schiffer, Stefan T1 - Machine learning based 3D object detection for navigation in unstructured environments T2 - 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops) N2 - In this paper we investigate the use of deep neural networks for 3D object detection in uncommon, unstructured environments such as in an open-pit mine. While neural nets are frequently used for object detection in regular autonomous driving applications, more unusual driving scenarios aside street traffic pose additional challenges. For one, the collection of appropriate data sets to train the networks is an issue. For another, testing the performance of trained networks often requires tailored integration with the particular domain as well. While there exist different solutions for these problems in regular autonomous driving, there are only very few approaches that work for special domains just as well. We address both the challenges above in this work. First, we discuss two possible ways of acquiring data for training and evaluation. That is, we evaluate a semi-automated annotation of recorded LIDAR data and we examine synthetic data generation. Using these datasets we train and test different deep neural network for the task of object detection. Second, we propose a possible integration of a ROS2 detector module for an autonomous driving platform. Finally, we present the performance of three state-of-the-art deep neural networks in the domain of 3D object detection on a synthetic dataset and a smaller one containing a characteristic object from an open-pit mine. KW - 3D object detection KW - LiDAR KW - autonomous driving KW - Deep learning KW - Three-dimensional displays Y1 - 2021 SN - 978-1-6654-7921-9 U6 - http://dx.doi.org/10.1109/IVWorkshops54471.2021.9669218 N1 - 2021 IEEE Intelligent Vehicles Symposium Workshops (IV Workshops), 11-17 July 2021, Nagoya, Japan. SP - 236 EP - 242 PB - IEEE ER -