TY - JOUR A1 - Faßbender, Heinz A1 - Mößle, Andrea A1 - Vogler, Heiko T1 - Implementation of a deterministic partial e-unification algorithm for macro tree transducers JF - Journal of functional and logic programming. 1996 (1996), H. 2 Y1 - 1996 SN - 1080-5230 ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - A universal unification algorithm based on unification-driven leftmost outermost narrowing JF - Acta Cybernetica. 11 (1994), H. 3 Y1 - 1994 SN - 0324-721x SP - 139 EP - 167 ER - TY - JOUR A1 - Faßbender, Heinz T1 - A verified implementation of narrowing JF - Programming languages: implementations, logics and programs : proceedings / 7th International Symposium, PLILP '95, Utrecht, The Netherlands, September 20 - 22, 1995. Manuel Hermenegildo ... (ed.) Y1 - 1995 SN - 3-540-60359-X N1 - (Lecture notes in computer science ; 982) SP - 63 EP - 80 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Maneth, Sebastian T1 - A strict border for the decidability of e-unification for recursive functions / Faßbender, Heinz ; Maneth, Sebastian JF - Algebraic and logic programming : proceedings / 5th International Conference, ALP '96, Aachen, Germany, September 25 - 27, 1996. Michael Hanus ... (ed.) Y1 - 1996 SN - 3-540-61735-3 N1 - (Lecture notes in computer science ; 1139) SP - 194 EP - 208 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz A1 - Bühler, Gerhard T1 - Applying Ada, Java and CORBA for making a command and control information system platform independent JF - Proceedings : (SIGAda '99) ; October 17 - 21, 1999 ; Crowne Plaza, Redondo Beach & Marine Hotel, Redondo Beach, CA, USA / ACM SIGAda Annual International Conference Y1 - 1999 SN - 1-58113-127-5 N1 - (Ada letters ; 19,3) SP - 83 EP - 88 PB - ACM CY - New York, NY ER - TY - JOUR A1 - Faßbender, Heinz A1 - Vogler, Heiko T1 - An implementation of syntax directed functional programming on nested-stack machines JF - Formal Aspects of Computing. 4 (1992), H. 4 Y1 - 1992 SN - 0934-5043 SP - 341 EP - 375 ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a universal unification algorithm for macro tree transducers JF - Fundamentals of computation theory : proceedings / 9th International Conference, FCT '93, Szeged, Hungary, August 23 - 27, 1993. Zoltán Ésik (ed.) Y1 - 1993 SN - 3-540-57163-9 N1 - (Lecture notes in computer science ; 710) SP - 222 EP - 233 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Faßbender, Heinz T1 - Implementation of a UU-Algorithm for primitive recursive tree functions JF - Fundamentals of computation theory : proceedings / 10th International Conference, FCT '95, Dresden, Germany, August 22 - 25, 1995. Horst Reichel (ed.) Y1 - 1995 SN - 3-540-60249-6 N1 - (Lecture notes in computer science ; 965) SP - 233 EP - 242 PB - Springer CY - Berlin [u.a.] ER - TY - JOUR A1 - Gerhardt, Hans Joachim T1 - Design methods of smoke and heat exhaust systems in construction works JF - V Mie̜dzynarodowa Konferencja Bezpieczeństwo Pożarowe Budowli, Warszawa-Miedzeszyn, 14 - 16 listopada 2005 r. = : Vth International Conference Fire Safety of Buildings / ITB ... [Ed. Mirosław Kosiorek] Y1 - 2005 SN - 83-7413-810-6 N1 - Mie̜dzynarodowa Konferencja Bezpieczeństwo Pożarowe Budowli <5, 2005, Warszawa> ; International Conference Fire Safety of Buildings <5, 2005, Warszawa-Miedzeszyn> SP - 127 EP - 140 PB - ITB CY - Warszawa ER - TY - JOUR A1 - Gerhardt, Hans Joachim A1 - Konrath, B. A1 - Lieb, R.-D. T1 - Das Drallrohr JF - HLH : Lüftung, Klima, Heizung, Sanitär, Gebäudetechnik. 56 (2005), H. 11 Y1 - 2005 SN - 1436-5103 N1 - 2. ISSN: 0017-9906 ; 3. ISSN: 1434-422X ; Zeitschrift unter 13 Z 739 in der Bibliothek SP - 91 EP - 95 ER - TY - JOUR A1 - Gerhardt, Hans Joachim A1 - Krüger, O. T1 - Building shape influence on local wind loads JF - Proceedings of the 2nd European & African Conference on Wind Engineering : 2 EACWE, Palazzo Ducale, Genova, Italy, June 22-26, 1997 / ed. by Giovanni Solari. - Vol. 2 Y1 - 1997 SN - 88-86281-19-6 N1 - European and African Conference on Wind Engineering <2, 1997, Genova> ; ISBN für beide Bände PB - Servizi Grafici Editoriali CY - Padova ER - TY - JOUR A1 - Bohn, Dieter A1 - Funke, Harald T1 - Experimental investigations into the nonuniform flow in a 4-stage turbine with special focus on the flow equalization in the first turbine stage JF - ASME TURBO EXPO, Proceedings of the ASME Turbo Expo, 2003 Y1 - 2003 SN - 0-7918-3689-4 N1 - ASME TURBO EXPO 2003, Proceedings, Vol. 6: Turbomachinery, Pt. A, Atlanta, US, Jun 16-19, 2003 SP - 281 EP - 289 ER - TY - JOUR A1 - Grap, Rolf Dietmar T1 - If you think, education is expensive, try incompetence JF - Beschaffung aktuell (2007) Y1 - 2007 SN - 0341-4507 N1 - freier Zugang nach Registrierung SP - 62 EP - 63 ER - TY - JOUR A1 - Terstegge, Andreas A1 - Flachskampf, F. A. A1 - Franke, A. A1 - Job, F. P. [u.a.] T1 - Three-dimensional reconstruction of cardiac structures from transesophageal echocardiography JF - American journal of cardiac imaging. 9 (1995), H. 2 Y1 - 1995 SN - 0887-7971 SP - 141 EP - 147 ER - TY - JOUR A1 - Zastrow, Udo A1 - Panagiotopoulos, P. D. T1 - An integral "Equation" approach to the unilateral contact problem JF - ZAMM - Zeitschrift für angewandte Mathematik und Mechanik. 59 (1979), H. 8 Y1 - 1979 SN - 1521-4001 SP - 392 EP - 393 ER - TY - JOUR A1 - Terstegge, Andreas A1 - Weber, Stefan A1 - Herzog, H. A1 - Reinartz, R. [u.a.] T1 - The design of an animal PET: flexible geometry for achieving optimal spatial resolution or high sensitivity JF - IEEE transactions on medical imaging. 16 (1997), H. 5 Y1 - 1997 SN - 0278-0062 SP - 684 EP - 689 ER - TY - JOUR A1 - Terstegge, Andreas A1 - Weber, Stefan A1 - Herzog, H. A1 - Müller-Gärtner, Hans- W. [u.a.] T1 - High resolution and better quantification by tube of responsemodelling in 3D PET reconstruction JF - Selected papers from the 1996 Nuclear Science Symposium : Marriott Hotel, Anaheim, California, November 3rd - November 9th, 1996 Y1 - 1996 N1 - Nuclear Science Symposium <1996, Anaheim, Calif.> ; (IEEE transactions on nuclear science ; 44,3,1) SP - 1603 EP - 1607 PB - Inst. of Electrical and Electronic Engineers CY - New York ER - TY - JOUR A1 - Zastrow, Udo T1 - Basic geometrical singularities in plane-elasticity and plate-bending problems JF - International Journal of Solids and Structures. 21 (1985), H. 10 Y1 - 1985 SN - 0020-7683 SP - 1047 EP - 1067 ER - TY - JOUR A1 - Zastrow, Udo T1 - Numerical plane stress analysis by integral equations based on the singularity method JF - SM archives . 10 (1985) Y1 - 1985 SN - 0376-7426 SP - 113 EP - 128 ER - TY - JOUR A1 - Heuermann, Holger A1 - Erkens, H. T1 - Mixed-Mode Chain Scattering Parameters: Theory and Verification JF - IEEE Transactions on Microwave Theory and Techniques N2 - Chain scattering parameters or T-parameters are a useful tool for calculating cascaded two-ports. With the increasing importance of mixed-mode S-parameters, a need for converting the T-parameters from their unbalanced form into a balanced form emerges for suiting both common and differential mode waves, as well as the mode conversion. This paper presents the derivation of the equations for transformations between mixed-mode S- and T-parameters for a mixed-mode two-port. Although derived in a way very similar to monomode T-parameters, no simplifications were necessary. Measurement results exemplify the quality of the T-parameter transformation under real-life conditions. Y1 - 2007 SN - 0018-9480 U6 - https://doi.org/10.1109/TMTT.2007.902587 VL - 55 IS - 8 SP - 1704 EP - 1708 PB - IEEE CY - New York ER -