@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} } @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{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} } @inproceedings{SiebigterothKraftSchmidtsetal.2019, author = {Siebigteroth, Ines and Kraft, Bodo and Schmidts, Oliver and Z{\"u}ndorf, Albert}, title = {A Study on Improving Corpus Creation by Pair Annotation}, series = {Proceedings of the Poster Session of the 2nd Conference on Language, Data and Knowledge (LDK-PS 2019)}, booktitle = {Proceedings of the Poster Session of the 2nd Conference on Language, Data and Knowledge (LDK-PS 2019)}, issn = {1613-0073}, pages = {40 -- 44}, year = {2019}, 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} } @misc{AlKaidyTippkoetterUlber2013, author = {Al-Kaidy, Huschyar and Tippk{\"o}tter, Nils and Ulber, Roland}, title = {A system and a method for the implementation of chemical, biological or physical reactions [Europ{\"a}ische Patentanmeldung]}, publisher = {Europ{\"a}isches Patentamt}, address = {Den Hague}, pages = {16 Seiten}, year = {2013}, abstract = {The invention relates to a system for the implementation of chemical, biological or physical reactions, consisting of - one or more magnetic micro-reactors, each comprising a shell made of hydrophobic magnetic nanoparticles encapsulating an aqueous core, - a plane platform comprising a surface to receive the micro-reactors, - a source that generates a magnetic field above or underneath the platform for manipulating the one or more hydrophobic magnetic micro-reactors, or for moving them along the surface of the platform from one position to another position, characterized in that the aqueous core of the one or more magnetic micro-reactors contains a reaction solution or buffer, and wherein the magnetic field generated by the source correlates to a defined position on the surface of the platform.}, language = {en} } @inproceedings{FerreinSchollNeumannetal.2019, author = {Ferrein, Alexander and Scholl, Ingrid and Neumann, Tobias and Kr{\"u}ckel, Kai and Schiffer, Stefan}, title = {A system for continuous underground site mapping and exploration}, doi = {10.5772/intechopen.85859}, pages = {16 Seiten}, year = {2019}, language = {en} } @inproceedings{SpaeteHafnerSchwarzer2000, author = {Sp{\"a}te, Frank and Hafner, B. and Schwarzer, Klemens}, title = {A system for solar process heat for decentralized applications in developing countries}, series = {ISES 1999 Solar World Congress, Jerusalem, Israel, July 4-9, 1999 : conference proceedings / ed. Gershon Grossman. Vol. 3}, booktitle = {ISES 1999 Solar World Congress, Jerusalem, Israel, July 4-9, 1999 : conference proceedings / ed. Gershon Grossman. Vol. 3}, publisher = {Elsevier}, address = {Oxford}, isbn = {0-080-043895-4}, pages = {236 -- 291}, year = {2000}, language = {en} } @inproceedings{SchifferFerrein2017, author = {Schiffer, Stefan and Ferrein, Alexander}, title = {A System Layout for Cognitive Service Robots}, series = {Cognitive Robot Architectures. Proceedings of EUCognition 2016}, booktitle = {Cognitive Robot Architectures. Proceedings of EUCognition 2016}, issn = {1613-0073}, pages = {44 -- 45}, year = {2017}, language = {en} } @article{WissenbachSixBongaertsetal.1995, author = {Wissenbach, U. and Six, S. and Bongaerts, Johannes and Ternes, D. and Steinwachs, S. and Unden, G.}, title = {A third periplasmic transport system for l-arginine in Escherichia coli: molecular characterization of the artPIQMJ genes, arginine binding and transport}, series = {Molecular microbiology}, volume = {Vol. 17}, journal = {Molecular microbiology}, number = {Iss. 4}, issn = {1365-2958 (E-Journal); 0950-382x (Print)}, pages = {675 -- 686}, year = {1995}, language = {en} } @article{GebhardtJarkeJacobs1997, author = {Gebhardt, Michael and Jarke, Matthias and Jacobs, Stephan}, title = {A Toolkit for Negotiation Support Interfaces to Multidimensional Data}, series = {SIGMOD 1997 : proceedings ACM SIGMOD International Conference on Management of Data, May 13 - 15, 1997, Tucson, Arizona, USA / ed. by Joan M. Peckman}, journal = {SIGMOD 1997 : proceedings ACM SIGMOD International Conference on Management of Data, May 13 - 15, 1997, Tucson, Arizona, USA / ed. by Joan M. Peckman}, publisher = {ACM Press}, address = {New York, NY}, isbn = {0897919114}, pages = {XIV, 586 S : Ill., graph. Darst.}, year = {1997}, language = {en} } @article{Jochim2004, author = {Jochim, Haldor E.}, title = {A traffic resistance model of long-distance travel}, series = {Networks for mobility : 2nd international symposium, September 29 - October 1, 2004, Stuttgart, Germany ; proceedings ; abstracts and CD-ROM / [2nd International Symposium on Networks for Mobility]. FOVUS, Centre of Transportation Research, University of}, journal = {Networks for mobility : 2nd international symposium, September 29 - October 1, 2004, Stuttgart, Germany ; proceedings ; abstracts and CD-ROM / [2nd International Symposium on Networks for Mobility]. FOVUS, Centre of Transportation Research, University of}, publisher = {FOVUS}, address = {Stuttgart}, isbn = {3-89301-180-3}, pages = {X, 84 S. : graph. Darst. + 1 CD-ROM}, year = {2004}, 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{SelmerThamerCirpusetal.2003, author = {Selmer, Thorsten and Thamer, Wiebke and Cirpus, Irina and Hans, Marcus}, title = {A two [4Fe-4S]-cluster-containing ferredoxin as an alternative electron donor for 2-hydroxyglutaryl-CoA dehydratase from Acidaminococcus fermentans / Thamer, Wiebke ; Cirpus, Irina ; Hans, Marcus ; Pierik, Antonio, J. ; Selmer, Thorsten ; Bill, Eckhard ;}, series = {Archives of Microbiology. 179 (2003), H. 3}, journal = {Archives of Microbiology. 179 (2003), H. 3}, isbn = {1432-072X}, pages = {197 -- 204}, year = {2003}, language = {en} } @article{HardtKoehlerMuelleretal.1980, author = {Hardt, Arno and K{\"o}hler, M. and M{\"u}ller, K. D. and Stoff, H.}, title = {A two-dimensional position sensitive charged-particle detector for the magnetic spectrograph "BIG KARL" of the J{\"u}lich Cyclotron "JULIC". M. K{\"o}hler, K. D. M{\"u}ller, H. Stoff, M. Teske, G. P. A. Berg, A. Hardt, S. Martin, C. Mayer-B{\"o}ricke , J. Meißburger}, series = {Nuclear Instruments and Methods. 75 (1980), H. 2-3}, journal = {Nuclear Instruments and Methods. 75 (1980), H. 2-3}, isbn = {0029-554X}, pages = {357 -- 362}, year = {1980}, language = {en} } @book{FassbenderVogler1992, author = {Faßbender, Heinz and Vogler, Heiko}, title = {A universal unification algorithm based on unification driven leftmost outermost narrowing}, publisher = {Univ. Ulm, Fak. f{\"u}r Informatik}, address = {Ulm}, pages = {47 S. : graph. Darst.}, year = {1992}, 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{StockMalindretosIndlekoferetal.2001, author = {Stock, J. and Malindretos, J. and Indlekofer, K.M. and P{\"o}ttgens, Michael and F{\"o}rster, Arnold and L{\"u}th, Hans}, title = {A Vertical Resonant Tunneling Transistor for Application in Digital Logic Circuits}, series = {IEEE Transactions on Electron Devices (T-ED). 48 (2001), H. 6}, journal = {IEEE Transactions on Electron Devices (T-ED). 48 (2001), H. 6}, isbn = {0018-9383}, pages = {1028 -- 1032}, year = {2001}, language = {en} } @article{BergmannDemuthSander2011, author = {Bergmann, Sandra and Demuth, Bastian and Sander, Volker}, title = {A Web Framework for Workflow Submission and Monitoring via UNICORE 6 based on Distributable Scientific Workflow Templates}, series = {UNICORE Summit 2011 : proceedings, 7-8 July 2011, Torun, Poland / Mathilde Romberg ... (Eds.)}, journal = {UNICORE Summit 2011 : proceedings, 7-8 July 2011, Torun, Poland / Mathilde Romberg ... (Eds.)}, publisher = {Forschungszentrum J{\"u}lich}, address = {J{\"u}lich}, isbn = {9783893367504}, pages = {45 -- 50}, year = {2011}, language = {en} }