TY - CONF AU - Krauter, Stefan AU - Hanitsch, Rolf AU - Diwisch, R. AU - Diwisch, N. ID - 8087 TI - Measuring the Heat–Transfer Coefficient of PV-Modules ER - TY - CONF AU - Krauter, Stefan AU - Hanitsch, Rolf ID - 8088 T2 - Proceedings of the 11th European Photovoltaic Solar Energy Conference and Exhibition, Montreux (Schweiz), 12.–16. Oktober 1992, S. 1351–1354 TI - Performance of a Partly Structured Surface at a PV-Module ER - TY - GEN AU - Engels, Gregor ID - 8189 TI - Visual Specifications of Conceptual Database Schemata (Abstract) ER - TY - CONF AB - This experience report describes the development of the CASE environment CADDY Computer-Aided Design of non-traditional Databases 1 which oflers an integrated set of tools for specifying, analyzing, and prototyping a database application on a conceptual level. This environment was designed and implemented during the last four years at Braunschweig Technical University (Germany). The process of developing this environment consisted of a sequence of development steps, where each step corresponded to (at least) one of five main tasks. The intention of this report is to describe these five tasks. At the end, we will critically reflect on the achieved results and solved problems, but also on still open questions of the CADDY environment. AU - Engels, Gregor AU - Löhr-Richter, Perdita ID - 8260 T2 - Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada) TI - CADDY: A Highly Integrated Environment to Support Conceptual Database Design ER - TY - CONF AU - Engels, Gregor AU - Groenewegen, Luuk ID - 8261 T2 - Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway TI - Specification of Coordinated Behaviour in the Software Development Process VL - 635 ER - TY - JOUR AB - This paper presents the high-level query language SQL/EER for an extended Entity-Relationship model (EER model). SQL/EER directly supports all the concepts of the EER model and takes into account well-known features that are integral part of contemporary query languages, e.g. arithmetic and aggregate functions. In contrast to usual descriptions of query languages, we give SQL/EER a complete formal specification of syntax and sematics. This syntax is defined by using an attribute grammar which fixes the context-free structure and the context-sensitive rules. The operational semantics is defined by formally translating SQL/EER queries into queries of an existing, semantically well-defined calculus. The attribute grammar is extended to cover this translation, too. The query language SQL/EER is used in a database design environment. In this context, the formal specification of its syntax and the semantics has been used to implement a syntax-directed editor and a query interpreter for SQL/EER. AU - Hohenstein, Uwe AU - Engels, Gregor ID - 7408 IS - 3 JF - Information Systems TI - SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language VL - 17 ER - TY - JOUR AB - The conceptual modeling approach of the IPSEN (Integrated Project Support Environment) project for building highly integrated environments is based on using attributed graphs to model and implement arbitrary object structures, in particular all kinds of software documents and their relationships. A language based on graph grammars, called PROGRESS (Programmed Graph REwriting SyStems), and a suitable method for the application of this language, called graph grammar engineering, have been developed over the last ten years. This language and method are being extensively used for specifying the complex graph structures of internal document representations as well as for specifying the functionality of all tools (editors, browsers, analyzers, debuggers) working on these internal representations. This paper explains the language and the method for applying the language based on a pragmatic nontrivial example of a software production process and its corresponding documents. In particular, it is shown why and how a graph grammar-based strongly typed language is perfectly suitable to formally specify highly integrated software tools. In addition, it is shown that the implementation of these tools (i.e., an environment composed of these tools) is systematically being derived from the formal specifications. AU - Engels, Gregor AU - Lewerentz, Claus AU - Nagl, Manfred AU - Schäfer, Wilhelm AU - Schürr, Andy ID - 7409 IS - 2 JF - ACM Transactions on Software Engineering and Methodology (TOSEM) TI - Building Integrated Software Development Environments, Part I: Tool Specification VL - 1 ER - TY - JOUR AB - In this paper, we motivate and present a data model for conceptual design of structural and behavioural aspects of databases. We follow an object centered design paradigm in the spirit of semantic data models. The specification of structural aspects is divided into modelling of object structures and modelling of data types used for describing object properties. The specification of object structures is based on an Extended Entity--Relationship (EER) model. The specification of behavioural aspects is divided into the modelling of admissible database state evolutions by means of temporal integrity constraints and the formulation of database (trans)actions. The central link for integrating these design components is a descriptive logic--based query language for the EER model. The logic part of this language is the basis for static constraints and descriptive action specifications by means of pre- and postconditions. A temporal extension of this logic is the specification language for temporal integrity constraints. We emphasize that the various aspects of a database application are specified using several appropriate, but yet compatible formalisms, which are integrated by a unifying common semantic. AU - Engels, Gregor AU - Gogolla, Martin AU - Hohenstein, Uwe AU - Hülsmann, Klaus AU - Löhr-Richter, Perdita AU - Saake, Gunter AU - Ehrich, Hans-Dietrich ID - 7410 IS - 2 JF - Data & Knowledge Engineering TI - Conceptual Modelling of Database Applications Using an Extended ER Model VL - 9 ER - TY - JOUR AU - Krimphove, Dieter ID - 1650 IS - Juni-Heft JF - Recht der Landwirtschaft TI - Die Bedeutung des Produkthaftungsrechtes für die Landwirtschaft ER - TY - JOUR AU - Krimphove, Dieter ID - 1651 IS - Oktober-Heft JF - Recht der Landwirtschaft TI - Die eingetragene Genossenschaft als Gesellschafts- und Unternehmensform ER - TY - JOUR AU - Krimphove, Dieter ID - 1652 IS - 11 JF - Sächsisches Genossenschaftsblatt TI - Arbeitsrechtliche Aspekte der Verschmelzung von Genossenschaften ER - TY - JOUR AU - Krimphove, Dieter ID - 1653 IS - 12 JF - Europäisches Wirtschafts- & Steuerrrecht TI - Der Begriff des "Europäischen Marktes" im Lichte der Rechtssprechung des Europäischen Gerichtshofes und der Entscheidungspraxis der Kommission der Europäischen Gemeinschaft ER - TY - CHAP AU - Dellnitz, Michael AU - Golubitsky, Martin AU - Melbourne, Ian ID - 16546 SN - 9783034875387 T2 - Bifurcation and Symmetry TI - Mechanisms of Symmetry Creation ER - TY - CHAP AU - Dellnitz, Michael AU - Marsden, Jerrold E. AU - Melbourne, Ian AU - Scheurle, Jürgen ID - 16547 SN - 9783034875387 T2 - Bifurcation and Symmetry TI - Generic Bifurcations of Pendula ER - TY - JOUR AU - Dellnitz, M AU - Melbourne, I AU - Marsden, J E ID - 16548 JF - Nonlinearity SN - 0951-7715 TI - Generic bifurcation of Hamiltonian vector fields with symmetry ER - TY - CHAP AU - Dietzfelbinger, Martin AU - Meyer auf der Heide, Friedhelm ID - 16733 SN - 0302-9743 T2 - Data structures and efficient algorithms TI - High performance universal hashing, with applications to shared memory simulations ER - TY - CHAP AU - Meyer auf der Heide, Friedhelm ID - 16734 SN - 0302-9743 T2 - Lecture Notes in Computer Science TI - Hashing strategies for simulating shared memory on distributed memory machines ER - TY - CHAP AU - Meyer auf der Heide, Friedhelm AU - Pham, Hieu Thien ID - 16735 SN - 0302-9743 T2 - STACS 92 TI - On the performance of networks with multiple busses ER - TY - CONF AU - Karp, Richard M. AU - Luby, Michael AU - Meyer auf der Heide, Friedhelm ID - 16736 SN - 0897915119 T2 - Proceedings of the twenty-fourth annual ACM symposium on Theory of computing - STOC '92 TI - Efficient PRAM simulation on a distributed memory machine ER - TY - CHAP AU - Dietzfelbinger, Martin AU - Meyer auf der Heide, Friedhelm ID - 16737 SN - 1615-4584 T2 - TEUBNER-TEXTE zur Informatik TI - Dynamic Hashing in Real Time ER - TY - JOUR AU - Dellnitz, Michael ID - 17012 IS - 3 JF - IMA Journal of Numerical Analysis TI - Computational bifurcation of periodic solutions in systems with symmetry VL - 12 ER - TY - CHAP AU - Krimphove, Dieter ED - Ohlmeyer, Dietrich ED - Philipowski, Rüdiger ID - 1717 T2 - Die Verschmelzung von Genossenschaften - insbesondere von Kreditgenossenschaften TI - Die Auswirkungen des Betriebsüberganges nach § 613 a BGB auf die Rechte der Arbeitnehmer ER - TY - CHAP AU - Oevel, Gudrun AU - Wagner, M. ID - 17177 T2 - Frauen in natur- und ingenieurwissenschaftlichen Berufen TI - Förderung von Studentinnen im Grundstudium VL - 17 ER - TY - CONF AU - Aubert, Xavier L. AU - Ney, Hermann AU - Haeb-Umbach, Reinhold ID - 11719 T2 - DRAPA Speech Workshop TI - The Philips Research System for Continuous-Speech Recognition: Overview and Evaluation on the DRAPA RM Task ER - TY - CONF AU - Geller, Dieter AU - Haeb-Umbach, Reinhold AU - Ney, Hermann ID - 11769 T2 - ESCA Workshop on Speech Recognition in Adverse Conditions, Cannes-Mandelieu TI - Improvements in Speech Recognition for Voice Dialling in the Car Environment ER - TY - JOUR AB - The problem of trellis coding for multilevel baseband transmission over partial response channels with transfer polynomials of the form (1+or-D/sup N/) is addressed. The novel method presented here accounts for the channel memory by using multidimensional signal sets and partitioning the signal set present at the noiseless channel output. It is shown that this coding technique can be viewed as a generalization of a well-known procedure for binary signaling: the concatenation of convolutional codes and inner block codes that are tuned to the channel polynomial. It results in high coding gains with moderate complexity if some bandwidth expansion is accepted. AU - Haeb-Umbach, Reinhold ID - 11782 JF - IEEE Transactions on Communications TI - A modified trellis coding technique for partial response channels ER - TY - JOUR AB - The authors present conditions on the error sequences between channel input sequences which guarantee certain lower bounds on the free Euclidian distance at the output of a partial-response (PR) class I or II channel. From these expressions, trellis codes are derived which improve performance of binary signaling over noisy PR channels with reduced complexity maximum-likelihood sequence detection. They are shown to be compatible with the input restriction caused by the magnetooptical resonant coil direct overwrite recording scheme. The codes achieve high signal-to-noise ratio coding gains of 3 dB (on PR class I) and 2.2 dB (on PR class II) with rates as close to, but strictly less than, the capacity of the initial input restriction as desired. The performance of these codes is analyzed with an optical channel simulation system which shows that one code has the rare but highly desirable property that its maximum-likelihood sequence detector (MLSD) is less complex than the MLSD of the reference system and still achieves an error rate performance gain of 1.8 dB AU - Haeb-Umbach, Reinhold AU - Lynch, Robert ID - 11792 JF - IEEE Journal on Selected Areas in Communications TI - Trellis codes for partial-response magnetooptical direct overwrite recording ER - TY - CONF AB - The interaction of linear discriminant analysis (LDA) and a modeling approach using continuous Laplacian mixture density HMM is studied experimentally. The largest improvements in speech recognition could be obtained when the classes for the LDA transform were defined to be sub-phone units. On a 12000 word German recognition task with small overlap between training and test vocabulary a reduction in error rate by one-fifth was achieved compared to the case without LDA. On the development set of the DARPA RM1 task the error rate was reduced by one-third. For the DARPA speaker-dependent no-grammar case, the error rate averaged over 12 speakers was 9.9%. This was achieved with a recognizer using LDA and a set of only 47 Viterbi-trained context-independent phonemes. AU - Haeb-Umbach, Reinhold AU - Ney, Hermann ID - 11797 T2 - ICASSP, San Francisco TI - Linear Discriminant Analysis for Improved Large Vocabulary Continuous Speech Recognition ER - TY - CONF AB - This paper describes the improvements in a time synchronous beam search strategy for a 10000-word continuous speech recognition task. The improvements are based on two measures: a tree-organization of the pronunciation lexicon and a novel look-ahead technique at the phoneme level, both of which interact directly with the detailed search at the state levels of the phoneme models. Experimental tests were performed for four speakers on a 12306-word task. As a result of the above measures, the overall search effort was reduced by a factor of 17 without a loss in recognition accuracy. AU - Ney, Hermann AU - Haeb-Umbach, Reinhold AU - Tran, B. H. AU - Oerder, Martin ID - 11877 T2 - ICASSP, San Francisco TI - Improvements in Beam Search for 10,000-Word-Continuous Speech Recognition ER - TY - GEN AU - Hellebrand, Sybille AU - Tarnick, Steffen AU - Rajski, Janusz AU - Courtois, Bernard ID - 13023 TI - Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs ER - TY - CONF AU - Domik, Gitta O AU - Mickus-Miceli, Kristina D ED - Worrall, D.M. ED - Biemesderfer, Ch. ID - 14997 T2 - Astronomical Data Analysis Software and Systems I TI - Software design and development in a scientific environment: lessons learned during the development of STAR, an astrophysical analysis and visualization package VL - 25 ER - TY - CONF AU - Domik, Gitta ID - 15042 T2 - European Southern Observatory Conference and Workshop Proceedings TI - Visualization of Multi-dimensional Arrays in Astronomy VL - 43 ER - TY - CONF AU - Mickus-Miceli, KD AU - Domik, G ID - 15252 T2 - Symposium on Intelligent Scientific Computation, American Association for Artificial Intelligence (AAAI), Fall 1992 Symposium Series, Cambridge MA, October TI - An Enriched Framework for Multidisciplinary Data Analysis ER - TY - BOOK AU - Krimphove, Dieter ID - 1600 TI - Europäische Fusionskontrolle ER - TY - BOOK AU - Krimphove, Dieter ID - 1601 TI - Anlageberatung Das System der zivilrechtlichen Haftung von Kreditinstituten ER - TY - GEN AU - Hellebrand, Sybille AU - Tarnick, Steffen AU - Rajski, Janusz AU - Courtois, Bernard ID - 13076 KW - WORKSHOP TI - Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs ER - TY - GEN AU - Hellebrand, Sybille AU - Tarnick, Steffen AU - Rajski, Janusz AU - Courtois, Bernard ID - 13080 KW - WORKSHOP TI - Generation of Vector Patterns through Reseeding of Multiple-Polynomial LFSRs ER - TY - CONF AU - Steffen, Eckhard ED - Börger, E. ID - 10201 T2 - Computer Science Logic TI - Complexity results for the default- and autoepistemic logic VL - 626 ER - TY - CONF AU - Ginthör, Robert AU - Platzner, Marco AU - Weiss, Reinhold ID - 13465 T2 - Proceedings of the 1st Austrian-Hungarian Workshop on Transputer Applications TI - Experimental Results to Interprocessor Communication in Distributed Transputer-Systems ER - TY - CONF AU - Fröhleke, Norbert AU - Kunze, Jürgen AU - Fiedler, A. AU - Grotstollen, Horst ID - 30013 T2 - APEC '92 Seventh Annual Applied Power Electronics Conference and Exposition TI - Contribution to the AC-analysis of resonant converters; analysis of the series-parallel resonant converter including effects of parasitics and lossless snubbers for optimized design ER - TY - CONF AU - Kunze, Jürgen AU - Fröhleke, Norbert AU - Grotstollen, Horst AU - Margaritis, Basile AU - Locken, F. ID - 30014 T2 - Conference Record of the 1992 IEEE Industry Applications Society Annual Meeting TI - Resonant power supply for barrier discharge UV-excimer sources ER - TY - JOUR AB - Rezensionen: MR 93d:01046 (Charles F. Kielkopf); Zbl. Math. 756.01034 (I. Grattan-Guinness). AU - Peckhaus, Volker ID - 17474 JF - Berichte zur Wissenschaftsgeschichte TI - Hilbert, Zermelo und die Institutionalisierung der mathematischen Logik in Deutschland VL - 15 ER - TY - GEN AU - Peckhaus, Volker ED - Binder, Christa ID - 17828 T2 - III. Österreichisches Symposion zur Geschichte der Mathematik. Neuhofen an der Ybbs, 8. bis 14. November 1992. Umwege, Abschneider und Sackgassen ... über Abweichungen vom „normalen“ Gang der Entwicklung. Kurzfassungen der Vorträge TI - Wozu Algebra der Logik? Zum Lebenswerk von Ernst Schröder [Abstract] ER - TY - GEN AU - Peckhaus, Volker ID - 17826 T2 - Deutsche Mathematiker-Vereinigung. Jahrestagung 13.–18.9.1992 in Berlin. Vortragsauszüge TI - Arithmetik — Logik — absolute Algebra. E. Schröders Suche nach einer universalen Theorie der Verknüpfungen [Abstract] ER - TY - THES AU - Fröhleke, Norbert ID - 30017 SN - 978-3-86111-142-9 TI - Topologien und Schalterkonzepte für Schaltnetzteile hoher Leistung bei geringer Ausgangsspannung ER - TY - THES AU - Wang, Yongfan ID - 30018 SN - 978-3-86111-155-9 TI - Pulswechselrichtergespeiste Drehstromantriebe unter Berücksichtigung des Stromlückens ER - TY - JOUR AU - Wunderlich, Hans-Joachim AU - Hellebrand, Sybille ID - 13017 IS - 1 JF - IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD) TI - The Pseudoexhaustive Test of Sequential Circuits VL - 11 ER - TY - CONF AU - Hellebrand, Sybille AU - Tarnick, Steffen AU - Rajski, Janusz AU - Courtois, Bernard ID - 13016 T2 - IEEE International Test Conference (ITC'92) TI - Generation of Vector Patterns through Reseeding of Multiple-Polynomial Linear Feedback Shift Registers ER - TY - GEN AU - Buhl, Engelbert AU - Buhl, Heike M. ID - 32459 TI - Die Aktualgenese von Raummodellen und ihr Einfluß auf die Linearisierung ER - TY - JOUR AU - Bigga, Regine ID - 37467 JF - Lehrplanrevision in Schleswig-Holstein TI - Forschungsergebnisse zur Geschlechterfrage - Konsequenzen für die Gestaltung von Unterricht sowie für die Aus- und Weiterbildung von Lehrkräften ER -