TY - JOUR A1 - Ferrein, Alexander A1 - Steinbauer, Gerald A1 - Vassos, Stavros T1 - Action-Based Imperative Programming with YAGI JF - AAAI Technical Report N2 - 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. Y1 - 2012 N1 - Cognitive Robotics, Papers from the 2012 AAAI Workshop, CogRob@AAAI 2012, Toronto, Ontario, Canada, July 22-23, 2012 SP - 24 EP - 31 PB - AAAI CY - Menlo Park ER - TY - JOUR A1 - Schaefer, Thomas A1 - Höfken, Hans-Wilhelm A1 - Schuba, Marko T1 - Windows Phone 7 from a Digital Forensics’ Perspective Y1 - 2011 N1 - ICDF2C <3, 2011, Dublin> PB - Springer CY - Berlin ER - TY - JOUR A1 - Frauenrath, Tobias A1 - Hezel, Fabian A1 - Renz, Wolfgang A1 - de Geyer d'Orth, Thibaut A1 - Dieringer, Matthias A1 - von Knobelsdorf-Brenkenhoff, Florian A1 - Prothmann, Marcel A1 - Schulz-Menger, Jeanette A1 - Niendorf, Thoralf T1 - Acoustic cardiac triggering: a practical solution for synchronization and gating of cardiovascular magnetic resonance at 7 Tesla JF - Journal of Cardiovascular Magnetic Resonance N2 - 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. KW - Interval Time Series KW - Image Quality Score KW - Image Quality Assessment KW - Sound Pressure Level KW - Cardiovascular Magnetic Resonance Y1 - 2010 U6 - https://doi.org/10.1186/1532-429X-12-67 SN - 1532-429X VL - 12 IS - 1 PB - Elsevier CY - Amsterdam 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 - Hagemann, Hans-Jürgen A1 - Bachmann, Peter K. A1 - Lade, H. A1 - Leers, D. A1 - Wiechert, Detlef U. A1 - Wilson, H. A1 - Fournier, D. A1 - Plamann, Karsten T1 - Thermal properties of C/H-, C/H/O-, C/H/N- and C/H/X-grown polycrystalline CVD diamond. P. K. Bachmann, H. J. Hagemann, H. Lade, ... JF - Diamond and Related Material. Vol 4. (1995), H. Issue 5-6 Y1 - 1995 SP - 820 EP - 826 PB - Elsevier Science CY - New York, NY [u.a.] ER - TY - JOUR A1 - Hagemann, Hans-Jürgen A1 - Bachmann, Peter K. A1 - Lade, H. A1 - Leers, D. T1 - CVD Diamond Growth: Gas Compositions and Film Properties / P.K. Bachmann, H.J. Hagemann, H. Lade, D. Leers, D.U. Wiechert and H. Wilson JF - Advanced materials '94 : proceedings of the NIRIM International Symposium on Advanced Materials '94, Tsukuba, Japan, March 13 - 17, 1994 / National Institute for Research in Inorganic Materials. Ed. by M. Kamo ... Y1 - 1994 N1 - NIRIM International Symposium on Advanced Materials ; 1994 (Tsukuba) : 1994.03.13-17 SP - 115 EP - 120 PB - International Communications Specialists CY - Tokyo ER - TY - JOUR A1 - Hagemann, Hans-Jürgen A1 - Bachmann, Peter K. A1 - Lade, H. A1 - Leers, D. T1 - Influence of the gas phase on diamond deposition and diamond properties. Bachmann, P. K.; Hagemann, H.J.; Lade, H.; Leers, D.; Picht, F.; Wiechert, D. U. JF - Advanced materials '94 : proceedings of the NIRIM International Symposium on Advanced Materials '94, Tsukuba, Japan, March 13 - 17, 1994 / National Institute for Research in Inorganic Materials. Ed. by M. Kamo Y1 - 1994 N1 - NIRIM International Symposium on Advanced Materials ; <1994, Tsukuba> SP - 115 EP - 120 PB - International Communications Specialists, Inc. CY - Tokyo ER - TY - JOUR A1 - Schuba, Marko A1 - Höfken, Hans-Wilhelm T1 - Backtrack5: Datensammlung und Reporterstellung für Pentester mit MagicTree JF - Hakin9 Y1 - 2012 SN - 1733-7186 VL - 73 IS - 3 SP - 12 EP - 16 ER - TY - JOUR A1 - Ferrein, Alexander T1 - Robot controllers for highly dynamic environments with real-time constraints JF - Künstliche Intelligenz : KI N2 - In this extended abstract we describe the robot programming and planning language READYLOG, a GOLOG dialect which was developed to support the decision making of robots acting in dynamic real-time domains like robotic soccer. The formal framework of READYLOG, which is based on the situation calculus, features imperative control structures like loops and procedures, allows for decision-theoretic planning, and accounts for a continuously changing world. We developed high-level controllers in READYLOG for our soccer robots in RoboCup’s Middle-size league, but also for service robots and for autonomous agents in interactive computer games. Y1 - 2010 U6 - https://doi.org/10.1007/s13218-010-0041-3 SN - 1610-1987 VL - 24 IS - 2 SP - 175 EP - 178 PB - Springer CY - Heidelberg ER - TY - JOUR A1 - Rens, Gavin A1 - Varzinczak, Ivan A1 - Meyer, Thomas A1 - Ferrein, Alexander T1 - A Logic for Reasoning about Actions and Explicit Observations JF - AI 2010: Advances in Artificial Intelligence 23rd Australasian Joint Conference, Adelaide, Australia, December 7-10, 2010. Proceedings Y1 - 2010 U6 - https://doi.org/10.1007/978-3-642-17432-2_40 N1 - Lecture Notes in Computer Science ; 6464 SP - 395 EP - 404 PB - Springer CY - Berlin ER - TY - JOUR A1 - Schuba, Marko A1 - Höfken, Hans-Wilhelm A1 - Schaefer, Thomas T1 - Smartphone Forensik JF - Hakin9 : Practical Protection Y1 - 2012 SN - 1733-7186 SP - 10 EP - 20 ER - TY - JOUR A1 - Ferrein, Alexander T1 - golog.lua: Towards a Non-Prolog Implementation of Golog for Embedded Systems Y1 - 2010 SP - 20 EP - 28 PB - AAAI CY - Menlo Park ER - TY - JOUR A1 - Orzada, Stephan A1 - Solbach, Klaus A1 - Gratz, Marcel A1 - Brunheim, Sascha A1 - Fiedler, Thomas M. A1 - Johst, Sören A1 - Bitz, Andreas A1 - Shooshtary, Samaneh A1 - Abuelhaija, Ashraf A1 - Voelker, Maximilian N. A1 - Rietsch, Stefan H. G. A1 - Kraff, Oliver A1 - Maderwald, Stefan A1 - Flöser, Martina A1 - Oehmingen, Mark A1 - Quick, Harald H. A1 - Ladd, Mark E. T1 - A 32-channel parallel transmit system add-on for 7T MRI JF - Plos one Y1 - 2019 U6 - https://doi.org/10.1371/journal.pone.0222452 ER - TY - JOUR A1 - Orzada, Stephan A1 - Bitz, Andreas A1 - Johst, Sören A1 - Gratz, Marcel A1 - Völker, Maximilian N. A1 - Kraff, Oliver A1 - Abuelhaija, Ashraf A1 - Fiedler, Thomas M. A1 - Solbach, Klaus A1 - Quick, Harald H. A1 - Ladd, Mark E. T1 - Analysis of an integrated 8-Channel Tx/Rx body array for use as a body coil in 7-Tesla MRI JF - Frontiers in Physics Y1 - 2017 U6 - https://doi.org/10.3389/fphy.2017.00017 SN - 2296-424X N1 - Article number 17 VL - 5 IS - Jun ER - TY - JOUR A1 - Scholl, Ingrid A1 - Palm, Christoph A1 - Lehmann, Thomas Martin A1 - Spitzer, Klaus T1 - Quantitative Farbmessung in laryngoskopischen Bildern. Palm, C; Scholl, I; Lehmann, TM; Spitzer, K. JF - Bildverarbeitung für die Medizin 1998. Hrsg.: Thomas Lehmann ... Y1 - 1998 SN - 3-540-63885-7 SP - 412 EP - 416 PB - Springer CY - Berlin ER - TY - JOUR A1 - Fiedler, Thomas M. A1 - Ladd, Mark E. A1 - Bitz, Andreas T1 - RF safety assessment of a bilateral four-channel transmit/receive 7 Tesla breast coil: SAR versus temperature limits JF - Medical Physics Y1 - 2017 U6 - https://doi.org/10.1002/mp.12034 N1 - This article is corrected by: Errata: Erratum: “RF safety assessment of a bilateral four-channel transmit/receive 7 Tesla breast coil: SAR versus tissue temperature limits” [Med. Phys. 44(1), 143–157 (2017)] Volume 44, Issue 2, 772 VL - 44 IS - 1 SP - 143 EP - 157 ER - TY - JOUR A1 - Dieringer, Matthias A. A1 - Renz, Wolfgang A1 - Lindel, Tomasz Dawid A1 - Seifert, Frank A1 - Frauenrath, Tobias A1 - von Knobelsdorf-Brenkenhoff, Florian A1 - Waiczies, Helmar A1 - Hoffmann, Werner A1 - Rieger, Jan A1 - Pfeiffer, Harald A1 - Ittermann, Bernd A1 - Schulz-Menger, Jeanette A1 - Niendorf, Thoralf T1 - Design and application of a four-channel transmit/receive surface coil for functional cardiac imaging at 7T JF - Journal of Magnetic Resonance Imaging N2 - Purpose To design and evaluate a four-channel cardiac transceiver coil array for functional cardiac imaging at 7T. Materials and Methods A four-element cardiac transceiver surface coil array was developed with two rectangular loops mounted on an anterior former and two rectangular loops on a posterior former. specific absorption rate (SAR) simulations were performed and a Burn:x-wiley:10531807:media:JMRI22451:tex2gif-stack-1 calibration method was applied prior to obtain 2D FLASH CINE (mSENSE, R = 2) images from nine healthy volunteers with a spatial resolution of up to 1 × 1 × 2.5 mm3. Results Tuning and matching was found to be better than 10 dB for all subjects. The decoupling (S21) was measured to be >18 dB between neighboring loops, >20 dB for opposite loops, and >30 dB for other loop combinations. SAR values were well within the limits provided by the IEC. Imaging provided clinically acceptable signal homogeneity with an excellent blood-myocardium contrast applying the Burn:x-wiley:10531807:media:JMRI22451:tex2gif-stack-2 calibration approach. Conclusion A four-channel cardiac transceiver coil array for 7T was built, allowing for cardiac imaging with clinically acceptable signal homogeneity and an excellent blood-myocardium contrast. Minor anatomic structures, such as pericardium, mitral, and tricuspid valves and their apparatus, as well as trabeculae, were accurately delineated. Y1 - 2011 U6 - https://doi.org/10.1002/jmri.22451 SN - 1522-2586 VL - 33 IS - 3 SP - 736 EP - 741 PB - Wiley-Liss CY - New York ER - TY - JOUR A1 - Fiedler, Thomas M. A1 - Ladd, Mark E. A1 - Clemens, Markus A1 - Bitz, Andreas T1 - Safety of subjects during radiofrequency exposure in ultra-high-field magnetic resonance imaging JF - IEEE Letters on Electromagnetic Compatibility Practice and Applications N2 - Magnetic resonance imaging (MRI) is one of the most important medical imaging techniques. Since the introduction of MRI in the mid-1980s, there has been a continuous trend toward higher static magnetic fields to obtain i.a. a higher signal-to-noise ratio. The step toward ultra-high-field (UHF) MRI at 7 Tesla and higher, however, creates several challenges regarding the homogeneity of the spin excitation RF transmit field and the RF exposure of the subject. In UHF MRI systems, the wavelength of the RF field is in the range of the diameter of the human body, which can result in inhomogeneous spin excitation and local SAR hotspots. To optimize the homogeneity in a region of interest, UHF MRI systems use parallel transmit systems with multiple transmit antennas and time-dependent modulation of the RF signal in the individual transmit channels. Furthermore, SAR increases with increasing field strength, while the SAR limits remain unchanged. Two different approaches to generate the RF transmit field in UHF systems using antenna arrays close and remote to the body are investigated in this letter. Achievable imaging performance is evaluated compared to typical clinical RF transmit systems at lower field strength. The evaluation has been performed under consideration of RF exposure based on local SAR and tissue temperature. Furthermore, results for thermal dose as an alternative RF exposure metric are presented. Y1 - 2020 SN - 2637-6423 U6 - https://doi.org/10.1109/LEMCPA.2020.3029747 VL - 2 IS - 3 SP - 1 EP - 8 PB - IEEE CY - New York, NY ER -