@article{FerreinBeckLakemeyer2007, author = {Ferrein, Alexander and Beck, Daniel and Lakemeyer, Gerhard}, title = {A Simulation Environment for Middle-Size Robots with Multi-level Abstraction / Beck, Daniel ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {RoboCup 2007: Robot Soccer World Cup XI}, journal = {RoboCup 2007: Robot Soccer World Cup XI}, publisher = {Springer}, address = {Berlin}, isbn = {978-3-540-68846-4}, pages = {136 -- 147}, year = {2007}, language = {en} } @article{DachwaldBallUlamecetal.2009, author = {Dachwald, Bernd and Ball, Andrew J. and Ulamec, Stephan and Price, Michael E.}, title = {A small mission for in situ exploration of a primitive binary near-Earth asteroid / Ball, Andrew J. ; Ulamec, Stephan ; Dachwald, Bernd ; Price, Michael E. ; [u.a.]}, series = {Advances in Space Research. 43 (2009), H. 2}, journal = {Advances in Space Research. 43 (2009), H. 2}, publisher = {Elsevier}, address = {Amsterdam}, isbn = {0273-1177}, pages = {317 -- 324}, year = {2009}, language = {en} } @inproceedings{EltesterFerreinSchiffer2020, author = {Eltester, Niklas Sebastian and Ferrein, Alexander and Schiffer, Stefan}, title = {A smart factory setup based on the RoboCup logistics league}, series = {2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, booktitle = {2020 IEEE Conference on Industrial Cyberphysical Systems (ICPS)}, publisher = {IEEE}, address = {New York, NY}, doi = {10.1109/ICPS48405.2020.9274766}, pages = {297 -- 302}, year = {2020}, abstract = {In this paper we present SMART-FACTORY, a setup for a research and teaching facility in industrial robotics that is based on the RoboCup Logistics League. It is driven by the need for developing and applying solutions for digital production. Digitization receives constantly increasing attention in many areas, especially in industry. The common theme is to make things smart by using intelligent computer technology. Especially in the last decade there have been many attempts to improve existing processes in factories, for example, in production logistics, also with deploying cyber-physical systems. An initiative that explores challenges and opportunities for robots in such a setting is the RoboCup Logistics League. Since its foundation in 2012 it is an international effort for research and education in an intra-warehouse logistics scenario. During seven years of competition a lot of knowledge and experience regarding autonomous robots was gained. This knowledge and experience shall provide the basis for further research in challenges of future production. The focus of our SMART-FACTORY is to create a stimulating environment for research on logistics robotics, for teaching activities in computer science and electrical engineering programmes as well as for industrial users to study and explore the feasibility of future technologies. Building on a very successful history in the RoboCup Logistics League we aim to provide stakeholders with a dedicated facility oriented at their individual needs.}, language = {en} } @article{HillenAlperSelverFischeretal.2007, author = {Hillen, Walter and Alper Selver, M. and Fischer, Felix and Kuntalp, Mehmet}, title = {A software tool for interactive generation, representation, and systematical storage of transfer functions for 3D medical images / Alper Selver, M. ; Fischer, Felix ; Kuntalp, Mehmet ; Hillen, Walter}, series = {Computer Methods and Programs in Biomedicine. 86 (2007), H. 3}, journal = {Computer Methods and Programs in Biomedicine. 86 (2007), H. 3}, publisher = {-}, isbn = {0169-2607}, pages = {270 -- 280}, year = {2007}, language = {en} } @article{Weigand1991, author = {Weigand, Christoph}, title = {A Solution to the Scheduling Problem Taking into Account Quality}, series = {Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991 / [GM{\"O}OR]. Peter Gritzmann ... (eds.)}, journal = {Operations research '91 : extended abstracts of the 16th Symposium on Operations Research held at the University of Trier at September 9 - 11, 1991 / [GM{\"O}OR]. Peter Gritzmann ... (eds.)}, publisher = {Physica-Verl.}, address = {Heidelberg}, isbn = {3790806080}, pages = {373 -- 375}, year = {1991}, language = {en} } @article{ClausnitzerKleefeld2024, author = {Clausnitzer, Julian and Kleefeld, Andreas}, title = {A spectral Galerkin exponential Euler time-stepping scheme for parabolic SPDEs on two-dimensional domains with a C² boundary}, series = {Discrete and Continuous Dynamical Systems - Series B}, volume = {29}, journal = {Discrete and Continuous Dynamical Systems - Series B}, number = {4}, publisher = {AIMS}, address = {Springfield}, issn = {1531-3492}, doi = {10.3934/dcdsb.2023148}, pages = {1624 -- 1651}, year = {2024}, abstract = {We consider the numerical approximation of second-order semi-linear parabolic stochastic partial differential equations interpreted in the mild sense which we solve on general two-dimensional domains with a C² boundary with homogeneous Dirichlet boundary conditions. The equations are driven by Gaussian additive noise, and several Lipschitz-like conditions are imposed on the nonlinear function. We discretize in space with a spectral Galerkin method and in time using an explicit Euler-like scheme. For irregular shapes, the necessary Dirichlet eigenvalues and eigenfunctions are obtained from a boundary integral equation method. This yields a nonlinear eigenvalue problem, which is discretized using a boundary element collocation method and is solved with the Beyn contour integral algorithm. We present an error analysis as well as numerical results on an exemplary asymmetric shape, and point out limitations of the approach.}, language = {en} } @article{MonakhovaDiehl2021, author = {Monakhova, Yulia and Diehl, Bernd W. K.}, title = {A step towards optimization of the qNMR workflow: proficiency testing exercise at an GxP-accredited laboratory}, series = {Applied Magnetic Resonance}, volume = {52}, journal = {Applied Magnetic Resonance}, publisher = {Springer Nature}, address = {Wien}, issn = {1613-7507}, doi = {10.1007/s00723-021-01324-3}, pages = {581 -- 593}, year = {2021}, abstract = {Quantitative nuclear magnetic resonance (qNMR) is considered as a powerful tool for multicomponent mixture analysis as well as for the purity determination of single compounds. Special attention is currently paid to the training of operators and study directors involved in qNMR testing. To assure that only qualified personnel are used for sample preparation at our GxP-accredited laboratory, weighing test was proposed. Sixteen participants performed six-fold weighing of the binary mixture of dibutylated hydroxytoluene (BHT) and 1,2,4,5-tetrachloro-3-nitrobenzene (TCNB). To evaluate the quality of data analysis, all spectra were evaluated manually by a qNMR expert and using in-house developed automated routine. The results revealed that mean values are comparable and both evaluation approaches are free of systematic error. However, automated evaluation resulted in an approximately 20\% increase in precision. The same findings were revealed for qNMR analysis of 32 compounds used in pharmaceutical industry. Weighing test by six-fold determination in binary mixtures and automated qNMR methodology can be recommended as efficient tools for evaluating staff proficiency. The automated qNMR method significantly increases throughput and precision of qNMR for routine measurements and extends application scope of qNMR.}, language = {en} } @article{ReisselBitschStamm2000, author = {Reißel, Martin and Bitsch, G. and Stamm, H.}, title = {A Stern Door Slam Fatigue Calculation / Bitsch, G. ; Reißel, M. ; Stamm, H.}, series = {Proceedings of the 18. CAD-FEM Users Meeting}, journal = {Proceedings of the 18. CAD-FEM Users Meeting}, year = {2000}, language = {en} } @inproceedings{ValeroKramerBungetal.2019, author = {Valero, Daniel and Kramer, Matthias and Bung, Daniel Bernhard and Chanson, Hubert}, title = {A stochastic bubble generator for air-water flow research}, series = {E-proceedings of the 38th IAHR World Congress, September 1-6, 2019, Panama City, Panama}, booktitle = {E-proceedings of the 38th IAHR World Congress, September 1-6, 2019, Panama City, Panama}, doi = {10.3850/38WC092019-0909}, pages = {5714 -- 5721}, year = {2019}, language = {en} } @book{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions}, publisher = {TU, Fak. Informatik}, address = {Dresden}, pages = {27 S. : graph. Darst.}, year = {1996}, language = {en} }