@inproceedings{NiemuellerNeumannHenkeetal.2017, author = {Niemueller, Tim and Neumann, Tobias and Henke, Christoph and Sch{\"o}nitz, Sebastian and Reuter, Sebastian and Ferrein, Alexander and Jeschke, Sabina and Lakemeyer, Gerhard}, title = {International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League}, series = {RoboCup 2016: RoboCup 2016: Robot World Cup XX. RoboCup 2016}, booktitle = {RoboCup 2016: RoboCup 2016: Robot World Cup XX. RoboCup 2016}, publisher = {Springer}, address = {Cham}, isbn = {978-3-319-68792-6}, doi = {10.1007/978-3-319-68792-6_53}, pages = {634 -- 642}, year = {2017}, language = {en} } @inproceedings{NiemuellerLakemeyerFerrein2015, author = {Niemueller, Tim and Lakemeyer, Gerhard and Ferrein, Alexander}, title = {The RoboCup Logistics League as a Benchmark for Planning in Robotics}, series = {Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015}, booktitle = {Proceedings of the 3rd Workshop on Planning and Robotics (PlanRob-15); Jerusalem, Israel 7-8/6/2015}, editor = {Finzi, Alberto}, pages = {63 -- 68}, year = {2015}, language = {en} } @article{NiemuellerKarrasFerrein2017, author = {Niemueller, Tim and Karras, Ulrich and Ferrein, Alexander}, title = {Meisterschaft der Maschinen: Die Industrial Logistic Liga}, series = {C´t Magazin f{\"u}r Computertechnik}, journal = {C´t Magazin f{\"u}r Computertechnik}, number = {26}, year = {2017}, language = {de} } @incollection{NiemuellerLakemeyerReuteretal.2017, author = {Niemueller, T. and Lakemeyer, G. and Reuter, S. and Jeschke, S. and Ferrein, Alexander}, title = {Benchmarking of Cyber-Physical Systems in Industrial Robotics: The RoboCup Logistics League as a CPS Benchmark Blueprint}, series = {Cyber-Physical Systems: Foundations, Principles and Applications}, booktitle = {Cyber-Physical Systems: Foundations, Principles and Applications}, publisher = {Academic Press}, address = {London}, doi = {10.1016/B978-0-12-803801-7.00013-4}, pages = {193 -- 207}, year = {2017}, abstract = {In the future, we expect manufacturing companies to follow a new paradigm that mandates more automation and autonomy in production processes. Such smart factories will offer a variety of production technologies as services that can be combined ad hoc to produce a large number of different product types and variants cost-effectively even in small lot sizes. This is enabled by cyber-physical systems that feature flexible automated planning methods for production scheduling, execution control, and in-factory logistics. During development, testbeds are required to determine the applicability of integrated systems in such scenarios. Furthermore, benchmarks are needed to quantify and compare system performance in these industry-inspired scenarios at a comprehensible and manageable size which is, at the same time, complex enough to yield meaningful results. In this chapter, based on our experience in the RoboCup Logistics League (RCLL) as a specific example, we derive a generic blueprint for how a holistic benchmark can be developed, which combines a specific scenario with a set of key performance indicators as metrics to evaluate the overall integrated system and its components.}, language = {de} } @inproceedings{NeumannFerreinKallweitetal.2014, author = {Neumann, Tobias and Ferrein, Alexander and Kallweit, Stephan and Scholl, Ingrid}, title = {Towards a mobile mapping robot for underground mines}, series = {7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town}, booktitle = {7th Conference of Robotics and Mechatronics : RobMech 2014 : 27th and 28th Nov. 2014, Cape Town}, organization = {Conference of Robotics and Mechatronics <7, 2014, Cape Town, South Africa>}, pages = {1 -- 6}, year = {2014}, language = {en} } @inproceedings{NeumannDuelbergSchifferetal.2016, author = {Neumann, Tobias and D{\"u}lberg, Enno and Schiffer, Stefan and Ferrein, Alexander}, title = {A rotating platform for swift acquisition of dense 3D point clouds}, series = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, volume = {9834}, booktitle = {Intelligent Robotics and Applications: 9th International Conference, ICIRA 2016, Tokyo, Japan, August 22-24, 2016, Proceedings, Part I}, publisher = {Springer}, isbn = {978-3-319-43505-3 (Print)}, doi = {10.1007/978-3-319-43506-0_22}, pages = {257 -- 268}, year = {2016}, language = {en} } @inproceedings{NeugebauerBrutschyMeyeretal.2014, author = {Neugebauer, Georg and Brutschy, Lucas and Meyer, Ulrike and Wetzel, Susanne}, title = {Privacy-preserving multi-party reconciliation secure in the malicious model}, series = {DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security}, booktitle = {DPM 2013, SETOP 2013: Data Privacy Management and Autonomous Spontaneous Security}, editor = {Garcia-Alfaro, Joaquin and Lioudakis, Georgios and Cuppens-Boulahia, Nora and Foley, Simon and Fitzgerald, William M.}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-642-54567-2 (Print)}, doi = {10.1007/978-3-642-54568-9_12}, pages = {178 -- 193}, year = {2014}, abstract = {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.}, language = {en} } @inproceedings{NethSchubaBrodkorbetal.2023, author = {Neth, Jannik and Schuba, Marko and Brodkorb, Karsten and Neugebauer, Georg and H{\"o}ner, Tim and Hack, Sacha}, title = {Digital forensics triage app for android}, series = {ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security}, booktitle = {ARES '23: Proceedings of the 18th International Conference on Availability, Reliability and Security}, publisher = {ACM}, isbn = {9798400707728}, doi = {10.1145/3600160.3605017}, pages = {6 Seiten}, year = {2023}, abstract = {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.}, language = {en} } @inproceedings{NeesStengelMeisteretal.2020, author = {Nees, Franz and Stengel, Ingo and Meister, Vera G. and Barton, Thomas and Herrmann, Frank and M{\"u}ller, Christian and Wolf, Martin}, title = {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{\"u}ller, Martin R. Wolf}, publisher = {mana-Buch}, address = {Heide}, isbn = {978-3-944330-66-2}, doi = {10.15771/978-3-944330-66-2}, url = {http://nbn-resolving.de/urn:nbn:de:kobv:526-opus4-13840}, pages = {147 Seiten}, year = {2020}, abstract = {Tagungsbeitr{\"a}ge aus den Bereichen KI, Prozessorganisation und Plattformen f{\"u}r Gesch{\"a}ftsprozesse, Sicherheit und Datenschutz sowie Prototypen und Modelle.}, language = {de} } @article{NdoumbeMbonjoMbonjoStreckertBitzetal.2004, author = {Ndoumb{\`e} Mbonjo Mbonjo, H. and Streckert, J. and Bitz, Andreas and Hansen, V. and Glasmachers, A. and Gencol, S. and Rozic, D.}, title = {Generic UMTS test signal for RF bioelectromagnetic studies}, series = {Bioelectromagnetics}, volume = {25}, journal = {Bioelectromagnetics}, number = {6}, issn = {1521-186X}, doi = {10.1002/bem.20007}, pages = {415 -- 425}, year = {2004}, language = {en} } @inproceedings{MuellerSchmittLeiseetal.2021, author = {M{\"u}ller, Tim M. and Schmitt, Andreas and Leise, Philipp and Meck, Tobias and Altherr, Lena and Pelz, Peter F. and Pfetsch, Marc E.}, title = {Validation of an optimized resilient water supply system}, series = {Uncertainty in Mechanical Engineering}, booktitle = {Uncertainty in Mechanical Engineering}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-77255-0}, doi = {10.1007/978-3-030-77256-7_7}, pages = {70 -- 80}, year = {2021}, abstract = {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.}, language = {en} } @article{MuellerLeiseLorenzetal.2020, author = {M{\"u}ller, Tim M. and Leise, Philipp and Lorenz, Imke-Sophie and Altherr, Lena and Pelz, Peter F.}, title = {Optimization and validation of pumping system design and operation for water supply in high-rise buildings}, series = {Optimization and Engineering}, volume = {2021}, journal = {Optimization and Engineering}, number = {22}, publisher = {Springer}, issn = {1573-2924}, doi = {10.1007/s11081-020-09553-4}, pages = {643 -- 686}, year = {2020}, abstract = {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.}, language = {en} } @inproceedings{MuellerAltherrLeiseetal.2020, author = {M{\"u}ller, Tim M. and Altherr, Lena and Leise, Philipp and Pelz, Peter F.}, title = {Optimization of pumping systems for buildings: Experimental validation of different degrees of model detail on a modular test rig}, series = {Operations Research Proceedings 2019}, booktitle = {Operations Research Proceedings 2019}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-48438-5}, doi = {10.1007/978-3-030-48439-2_58}, pages = {481 -- 488}, year = {2020}, abstract = {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.}, language = {en} } @inproceedings{MuellerAltherrAholaetal.2019, author = {M{\"u}ller, Tim M. and Altherr, Lena and Ahola, Marja and Schabel, Samuel and Pelz, Peter F.}, title = {Multi-Criteria optimization of pressure screen systems in paper recycling - balancing quality, yield, energy consumption and system complexity}, series = {EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization}, booktitle = {EngOpt 2018 Proceedings of the 6th International Conference on Engineering Optimization}, editor = {Rodrigues, H. C.}, publisher = {Springer International Publishing}, address = {Basel}, isbn = {978-3-319-97773-7}, doi = {10.1007/978-3-319-97773-7_105}, year = {2019}, abstract = {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.}, language = {en} } @incollection{MuellerAltherrAholaetal.2018, author = {M{\"u}ller, Tim M. and Altherr, Lena and Ahola, Marja and Schabel, Samuel and Pelz, Peter F.}, title = {Optimizing pressure screen systems in paper recycling: optimal system layout, component selection and operation}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-18499-5}, doi = {10.1007/978-3-030-18500-8_44}, pages = {355 -- 361}, year = {2018}, abstract = {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.}, language = {en} } @article{MuehlSchwarz1993, author = {M{\"u}hl, Thomas and Schwarz, Michael}, title = {Pegel- und D{\"a}mpfungsmessung an Wellenl{\"a}ngenmultiplex-Systemen und -Komponenten}, series = {Nachrichtentechnische Zeitschrift. 46 (1993), H. 1}, journal = {Nachrichtentechnische Zeitschrift. 46 (1993), H. 1}, isbn = {0027-707X}, pages = {36 -- 38}, year = {1993}, language = {de} } @article{MuehlObolenski2004, author = {M{\"u}hl, Thomas and Obolenski, B.}, title = {Webware mit elektromagnetischer Schirmwirkung}, series = {Melliand-Textilberichte. 85 (2004), H. 5}, journal = {Melliand-Textilberichte. 85 (2004), H. 5}, isbn = {0341-0781}, pages = {348 -- 349}, year = {2004}, language = {de} } @article{MuehlObolenski2004, author = {M{\"u}hl, Thomas and Obolenski, B.}, title = {Textilien und elektromagnetische Strahlung}, series = {Melliand-Textilberichte. 85 (2004), H. 3}, journal = {Melliand-Textilberichte. 85 (2004), H. 3}, isbn = {0341-0781}, pages = {190 -- 192}, year = {2004}, language = {de} } @article{MuehlObolenski2004, author = {M{\"u}hl, Thomas and Obolenski, B.}, title = {Elektromagnetisch schirmende Wirk- und Strickwaren}, series = {Melliand-Textilberichte. 85 (2004), H. 7-8}, journal = {Melliand-Textilberichte. 85 (2004), H. 7-8}, isbn = {0341-0781}, pages = {587 -- 588}, year = {2004}, language = {de} } @article{MuehlKrausPeiferetal.2005, author = {M{\"u}hl, Thomas and Kraus, E. and Peifer, Hermann-Josef and Obolenski, B.}, title = {Bekleidungstextilien mit elektromagnetischer Schirmwirkung}, series = {Technische Textilien. 48 (2005), H. 2}, journal = {Technische Textilien. 48 (2005), H. 2}, isbn = {0323-3243}, pages = {160 -- 163}, year = {2005}, language = {de} }