@article{RoepkeKoehlerDruryetal.2020, author = {Roepke, Rene and K{\"o}hler, Klemens and Drury, Vincent and Schroeder, Ulrik and Wolf, Martin and Meyer, Ulrike}, title = {A pond full of phishing games - analysis of learning games for anti-phishing education}, series = {Model-driven Simulation and Training Environments for Cybersecurity. MSTEC 2020}, journal = {Model-driven Simulation and Training Environments for Cybersecurity. MSTEC 2020}, publisher = {Springer}, address = {Cham}, isbn = {978-3-030-62433-0}, doi = {10.1007/978-3-030-62433-0_32020}, pages = {41 -- 60}, year = {2020}, abstract = {Game-based learning is a promising approach to anti-phishing education, as it fosters motivation and can help reduce the perceived difficulty of the educational material. Over the years, several prototypes for game-based applications have been proposed, that follow different approaches in content selection, presentation, and game mechanics. In this paper, a literature and product review of existing learning games is presented. Based on research papers and accessible applications, an in-depth analysis was conducted, encompassing target groups, educational contexts, learning goals based on Bloom's Revised Taxonomy, and learning content. As a result of this review, we created the publications on games (POG) data set for the domain of anti-phishing education. While there are games that can convey factual and conceptual knowledge, we find that most games are either unavailable, fail to convey procedural knowledge or lack technical depth. Thus, we identify potential areas of improvement for games suitable for end-users in informal learning contexts.}, language = {en} } @article{HarzheimMuehmelHeuermann2021, author = {Harzheim, Thomas and M{\"u}hmel, Marc and Heuermann, Holger}, title = {A SFCW harmonic radar system for maritime search and rescue using passive and active tags}, series = {International Journal of Microwave and Wireless Technologies}, volume = {13}, journal = {International Journal of Microwave and Wireless Technologies}, number = {Special Issue 7}, publisher = {Cambridge University Press}, address = {Cambridge}, doi = {10.1017/S1759078721000520}, pages = {691 -- 707}, year = {2021}, abstract = {This paper introduces a new maritime search and rescue system based on S-band illumination harmonic radar (HR). Passive and active tags have been developed and tested while attached to life jackets and a small boat. In this demonstration test carried out on the Baltic Sea, the system was able to detect and range the active tags up to a distance of 5800 m using an illumination signal transmit-power of 100 W. Special attention is given to the development, performance, and conceptual differences between passive and active tags used in the system. Guidelines for achieving a high HR dynamic range, including a system components description, are given and a comparison with other HR systems is performed. System integration with a commercial maritime X-band navigation radar is shown to demonstrate a solution for rapid search and rescue response and quick localization.}, language = {en} } @article{PrumeBooijVogletal.2007, author = {Prume, Klaus and Booij, W. E. and Vogl, A. H. and Wang, D. T.}, title = {A simple and powerful analytical model for MEMS piezoelectric multimorphs / Booij, W. E. ; Vogl, A. H. ; Wang, D. T. ; Tyholdt, F. ; Ostbo, N. P. ; Raeder, H. ; Prume, K.}, series = {Journal of Electroceramics. 19 (2007), H. 4}, journal = {Journal of Electroceramics. 19 (2007), H. 4}, isbn = {1385-3449}, pages = {387 -- 393}, year = {2007}, language = {en} } @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{FassbenderManeth1998, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Journal of functional and logic programming. 1998 (1998), H. 4}, journal = {Journal of functional and logic programming. 1998 (1998), H. 4}, isbn = {1080-5230}, year = {1998}, language = {en} } @article{FassbenderManeth1996, author = {Faßbender, Heinz and Maneth, Sebastian}, title = {A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian}, series = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, journal = {Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-61735-3}, pages = {194 -- 208}, year = {1996}, language = {en} } @article{Heuermann2004, author = {Heuermann, Holger}, title = {A Synthesis Technique for Mono- and Mixed-Mode Symmetrical Filter}, series = {Conference proceedings : Tuesday 12th, Wednesday 13th and Thursday 14th October, [RAI International Exhibition and Congress Centre, Amsterdam ; part of European Microwave Week 2004] / EuMA, European Microwave Association . Vol. 1}, journal = {Conference proceedings : Tuesday 12th, Wednesday 13th and Thursday 14th October, [RAI International Exhibition and Congress Centre, Amsterdam ; part of European Microwave Week 2004] / EuMA, European Microwave Association . Vol. 1}, publisher = {Horizon House Publ}, address = {London}, isbn = {1-580-53992-0}, pages = {309 -- 312}, year = {2004}, language = {en} } @article{KobFrauenrath2009, author = {Kob, Malte and Frauenrath, Tobias}, title = {A system for parallel measurement of glottis opening and larynx position}, series = {Biomedical Signal Processing and Control}, volume = {4}, journal = {Biomedical Signal Processing and Control}, number = {3}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1746-8108}, doi = {10.1016/j.bspc.2009.03.004}, pages = {221 -- 228}, year = {2009}, abstract = {The simultaneous assessment of glottal dynamics and larynx position can be beneficial for the diagnosis of disordered voice or speech production and swallowing. Up to now, methods either concentrate on assessment of the glottis opening using optical, acoustical or electrical (electroglottography, EGG) methods, or on visualisation of the larynx position using ultrasound, computer tomography or magnetic resonance imaging techniques. The method presented here makes use of a time-multiplex measurement approach of space-resolved transfer impedances through the larynx. The fast sequence of measurements allows a quasi simultaneous assessment of both larynx position and EGG signal using up to 32 transmit-receive signal paths. The system assesses the dynamic opening status of the glottis as well as the vertical and back/forward motion of the larynx. Two electrode-arrays are used for the measurement of the electrical transfer impedance through the neck in different directions. From the acquired data the global and individual conductivity is calculated as well as a 2D point spatial representation of the minimum impedance. The position information is shown together with classical EGG signals allowing a synchronous visual assessment of glottal area and larynx position. A first application to singing voice analysis is presented that indicate a high potential of the method for use as a non-invasive tool in the diagnosis of voice, speech, and swallowing disorders.}, language = {en} } @article{KraffBitzBreyeretal.2011, author = {Kraff, Oliver and Bitz, Andreas and Breyer, Tobias and Kruszona, Stefan and Maderwald, Stefan and Brote, Irina and Gizewski, Elke R. and Ladd, Mark E. and Quick, Harald H.}, title = {A transmit/receive radiofrequency array for imaging the carotid arteries at 7 Tesla: coil design and first in vivo results}, series = {Investigative Radiology}, volume = {46}, journal = {Investigative Radiology}, number = {4}, publisher = {Wolters Kluwer}, address = {K{\"o}ln}, issn = {1536-0210}, doi = {10.1097/RLI.0b013e318206cee4}, pages = {246 -- 254}, year = {2011}, abstract = {Objective: To develop a transmit/receive radiofrequency (RF) array for magnetic resonance imaging (MRI) of the carotid arteries at 7 T. The prototype is characterized in numerical simulations and bench measurements, and the feasibility of plaque imaging at 7 T is demonstrated in first in vivo images. Materials and Methods: The RF phased array coil consists of 8 surface loop coils. To allow imaging of both sides of the neck, the RF array is divided into 2 coil clusters, each with 4 overlapping loop elements. For safety validation, numerical computations of the RF field distribution and the corresponding specific absorption rate were performed on the basis of a heterogeneous human body model. To validate the coil model, maps of the transmit B1+ field were compared between simulation and measurement. In vivo images of a healthy volunteer and a patient (ulcerating plaque and a 50\% stenosis of the right internal carotid artery) were acquired using a 3-dimensional FLASH sequence with a high isotropic spatial resolution of 0.54 mm as well as using pulse-triggered proton density (PD)/T2-weighted turbo spin echo sequences. Results: Measurements of the S-parameters yielded a reflection and isolation of the coil elements of better than -18 and -13 dB, respectively. Measurements of the g-factor indicated good image quality for parallel imaging acceleration factors up to 2.4. A similar distribution and a very good match of the absolute values were found between the measured and simulated B1+ transmit RF field for the validation of the coil model. In vivo images revealed good signal excitation of both sides of the neck and a high vessel-to-background image contrast for the noncontrast-enhanced 3-dimensional FLASH sequence. Imaging at 7 T could depict the extent of stenosis, and revealed the disruption and ulcer of the plaque. Conclusions: This study demonstrates that 2 four-channel transmit/receive RF arrays for each side of the neck is a suitable concept for in vivo MRI of the carotid arteries at 7 Tesla. Further studies are needed to explore and exploit the full potential of 7 T high-field MRI for carotid atherosclerotic plaque imaging.}, language = {en} } @article{FassbenderVogler1994, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification-driven leftmost outermost narrowing}, series = {Acta Cybernetica. 11 (1994), H. 3}, journal = {Acta Cybernetica. 11 (1994), H. 3}, isbn = {0324-721x}, pages = {139 -- 167}, year = {1994}, language = {en} } @article{Fassbender1995, author = {Faßbender, Heinz}, title = {A verified implementation of narrowing}, series = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, journal = {Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.)}, publisher = {Springer}, address = {Berlin [u.a.]}, isbn = {3-540-60359-X}, pages = {63 -- 80}, year = {1995}, language = {en} } @article{Alt1974, author = {Alt, Helmut}, title = {Ab 1975 Uranerz aus Rabbit-Lake}, series = {Energiewirtschaftliche Tagesfragen}, volume = {24}, journal = {Energiewirtschaftliche Tagesfragen}, number = {1/2}, publisher = {VDE-Verlag}, address = {Berlin}, issn = {0720-6240}, pages = {34}, year = {1974}, language = {de} } @article{FuchsRitz2011, author = {Fuchs, Britta and Ritz, Thomas}, title = {Absatzkan{\"a}le kaum verkn{\"u}pft}, series = {IT-Mittelstand : IT-Business im Mittelstand}, volume = {2011}, journal = {IT-Mittelstand : IT-Business im Mittelstand}, number = {9}, publisher = {Medienhaus-Verlag}, address = {Bergisch-Gladbach}, pages = {16}, year = {2011}, language = {de} } @article{HagemannGeittnerSchnittkeretal.1989, author = {Hagemann, Hans-J{\"u}rgen and Geittner, P. and Schnittker, W. and Warnier, J.}, title = {Abscheidegeschwindigkeiten und Prozeßausbeuten im PCVD-Verfahren. Geittner, P.; Hagemann, H. J.; Schnittker, W.; Warnier, J.; Weling, F.; Wilson, H.}, series = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)}, journal = {Philips - Unsere Forschung in Deutschland / Hrsg.: Philips Forschungslaboratorium GmbH Aachen und Hamburg. 4 (1989)}, pages = {140 -- 143}, year = {1989}, language = {de} } @article{Siepmann1986, author = {Siepmann, Thomas}, title = {Abschlußbericht zum Vorhaben Nr. 22/IV}, series = {Forschungsvereinigung Antriebstechnik: Forschungsreport}, journal = {Forschungsvereinigung Antriebstechnik: Forschungsreport}, publisher = {FVA}, address = {Frankfurt/M.}, year = {1986}, language = {de} } @article{SchifferFerreinLakemeyer2015, author = {Schiffer, Stefan and Ferrein, Alexander and Lakemeyer, Gerhard}, title = {Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents}, series = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, journal = {Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation. Workshop at European Robotics Forum 2015 Vienna, Austria, March 11-13, 2015.}, pages = {1 -- 4}, year = {2015}, language = {en} } @article{FrauenrathHezelRenzetal.2010, author = {Frauenrath, Tobias and Hezel, Fabian and Renz, Wolfgang and de Geyer d'Orth, Thibaut and Dieringer, Matthias and von Knobelsdorf-Brenkenhoff, Florian and Prothmann, Marcel and Schulz-Menger, Jeanette and Niendorf, Thoralf}, title = {Acoustic cardiac triggering: a practical solution for synchronization and gating of cardiovascular magnetic resonance at 7 Tesla}, series = {Journal of Cardiovascular Magnetic Resonance}, volume = {12}, journal = {Journal of Cardiovascular Magnetic Resonance}, number = {1}, publisher = {Elsevier}, address = {Amsterdam}, issn = {1532-429X}, doi = {10.1186/1532-429X-12-67}, year = {2010}, abstract = {Background To demonstrate the applicability of acoustic cardiac triggering (ACT) for imaging of the heart at ultrahigh magnetic fields (7.0 T) by comparing phonocardiogram, conventional vector electrocardiogram (ECG) and traditional pulse oximetry (POX) triggered 2D CINE acquisitions together with (i) a qualitative image quality analysis, (ii) an assessment of the left ventricular function parameter and (iii) an examination of trigger reliability and trigger detection variance derived from the signal waveforms. Results ECG was susceptible to severe distortions at 7.0 T. POX and ACT provided waveforms free of interferences from electromagnetic fields or from magneto-hydrodynamic effects. Frequent R-wave mis-registration occurred in ECG-triggered acquisitions with a failure rate of up to 30\% resulting in cardiac motion induced artifacts. ACT and POX triggering produced images free of cardiac motion artefacts. ECG showed a severe jitter in the R-wave detection. POX also showed a trigger jitter of approximately Δt = 72 ms which is equivalent to two cardiac phases. ACT showed a jitter of approximately Δt = 5 ms only. ECG waveforms revealed a standard deviation for the cardiac trigger offset larger than that observed for ACT or POX waveforms. Image quality assessment showed that ACT substantially improved image quality as compared to ECG (image quality score at end-diastole: ECG = 1.7 ± 0.5, ACT = 2.4 ± 0.5, p = 0.04) while the comparison between ECG vs. POX gated acquisitions showed no significant differences in image quality (image quality score: ECG = 1.7 ± 0.5, POX = 2.0 ± 0.5, p = 0.34). Conclusions The applicability of acoustic triggering for cardiac CINE imaging at 7.0 T was demonstrated. ACT's trigger reliability and fidelity are superior to that of ECG and POX. ACT promises to be beneficial for cardiovascular magnetic resonance at ultra-high field strengths including 7.0 T.}, language = {en} } @article{FrauenrathNiendorfKob2008, author = {Frauenrath, Tobias and Niendorf, Thoralf and Kob, Malte}, title = {Acoustic method for synchronization of Magnetic Resonance Imaging (MRI)}, series = {Acta Acustica}, volume = {94}, journal = {Acta Acustica}, number = {1}, publisher = {Hirzel}, address = {Stuttgart}, issn = {1861-9959}, doi = {10.3813/AAA.918017}, pages = {148 -- 155}, year = {2008}, abstract = {Magnetic Resonance Imaging (MRI) of moving organs requires synchronization with physiological motion or flow, which dictate the viable window for data acquisition. To meet this challenge, this study proposes an acoustic gating device (ACG) that employs acquisition and processing of acoustic signals for synchronization while providing MRI compatibility, immunity to interferences with electro-magnetic and acoustic fields and suitability for MRI at high magnetic field strengths. The applicability and robustness of the acoustic gating approach is examined in a pilot study, where it substitutes conventional ECG-gating for cardiovascular MR. The merits and limitations of the ACG approach are discussed. Implications for MR imaging in the presence of physiological motion are considered including synchronization with other structure- or motion borne sounds.}, language = {en} } @article{FerreinDyllaLakemeyer2002, author = {Ferrein, Alexander and Dylla, Frank and Lakemeyer, Gerhard}, title = {Acting and Deliberating using Golog in Robotic Soccer - A Hybrid Architecture / Dylla, Frank ; Ferrein, Alexander ; Lakemeyer, Gerhard}, series = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, journal = {Proc. 3rd International Cognitive Robotics Workshop (CogRob 2002)}, pages = {1 -- 7}, year = {2002}, language = {en} } @article{FerreinSteinbauerVassos2012, author = {Ferrein, Alexander and Steinbauer, Gerald and Vassos, Stavros}, title = {Action-Based Imperative Programming with YAGI}, pages = {24 -- 31}, year = {2012}, abstract = {Many tasks for autonomous agents or robots are best described by a specification of the environment and a specification of the available actions the agent or robot can perform. Combining such a specification with the possibility to imperatively program a robot or agent is what we call the actionbased imperative programming. One of the most successful such approaches is Golog. In this paper, we draft a proposal for a new robot programming language YAGI, which is based on the action-based imperative programming paradigm. Our goal is to design a small, portable stand-alone YAGI interpreter. We combine the benefits of a principled domain specification with a clean, small and simple programming language, which does not exploit any side-effects from the implementation language. We discuss general requirements of action-based programming languages and outline YAGI, our action-based language approach which particularly aims at embeddability.}, language = {en} }