TY - CHAP AU - Büker, Petra ED - Kurth, Ulrike ID - 19710 T2 - Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation TI - Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe ER - TY - GEN AU - Bonorden, Olaf AU - Rieping, Ingo AU - von Otte, Ingo AU - Juurlink, Bernhardus ID - 19733 TI - PUB-Library, Release 7.0, User Guide and Function Reference ER - TY - GEN AU - Scheideler, Christian ID - 19784 SN - 3-931466-77-9 TI - Probabilistic Methods for Coordination Problems ER - TY - CONF AU - Bednara, M. AU - Beyer, O. AU - Teich, J. AU - Wanka, Rolf ID - 19849 SN - 0769507166 T2 - Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP) TI - Tradeoff analysis and architecture design of a hybrid hardware/software sorter ER - TY - CONF AB - RsdEditor is a graphical user interface which produces specifications of computational resources. It is used in the RSD (Resource and Service Description) environment for specifying, registering, requesting and accessing resources and services in a metacomputer. RsdEditor was designed to be used by the administrators and users of metacomputing environments. At the administrator level, the GUI is used to describe the available computing and networking components of a metacomputer. At the user level, RsdEditor can be used to specify which characteristics of the computational resources are needed to execute a meta-application. This paper is organized as follows: it first introduces RsdEditor. It then briefly describes the RSD environment, and finally, it highlights various features and implementation issues of RsdEditor. AU - Baraglia, Ranieri AU - Keller, Axel AU - Laforenza, Domenico AU - Reinefeld, Alexander ID - 2003 T2 - Proc. Heterogenous Computing Workshop HCW at IPDPS TI - RsdEditor: A Graphical User Interface for Specifying Metacomputer Components ER - TY - JOUR AU - Buyken, Anette AU - Toeller, M AU - Heitkamp, G AU - Irsigler, K AU - Holler, C AU - Santeusanio, F AU - Stehle, P AU - Fuller, JH ID - 27987 IS - 5 JF - Diabet Med SN - 0742-3071 TI - Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group. VL - 17 ER - TY - GEN AU - Plessl, Christian AU - Maurer, Simon ID - 2433 KW - co-design KW - speech processing TI - Hardware/Software Codesign in Speech Compression Applications ER - TY - THES AU - Simon, Jens ID - 2434 SN - 3-934445-03-9 TI - Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern ER - TY - BOOK AU - Schäfermeier, Ulrich AU - Bischoff, Christian ID - 24483 TI - KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung VL - 65 ER - TY - BOOK AU - Holthöfer, Norbert ID - 24484 TI - Regeln in einer Mengenplanung unter Ausbringungsgrenzen VL - 66 ER - TY - THES AU - Schlake, Oliver ID - 24485 TI - Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen VL - 67 ER - TY - THES AU - Lewandowski, Andreas ID - 24486 TI - Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen VL - 68 ER - TY - THES AU - Schmidtmann, Achim ID - 24487 TI - Eine Spezifikationssprache für die Fertigungslenkung VL - 69 ER - TY - THES AU - Grobbel, Rainer ID - 24488 TI - Eine Referenzarchitektur für Koopertationsbörsen VL - 70 ER - TY - THES AU - Wessel, Rudolf ID - 24489 TI - Modelocked Waveguide Lasers in Lithium Niobate VL - 71 ER - TY - THES AU - Löffler, Axel ID - 24490 TI - Energetische Modellierung neuronaler Signalverarbeitung VL - 72 ER - TY - THES AU - Ludwig, Lars A. ID - 24491 TI - Computational Intelligence in der Produktionswirtschaft VL - 73 ER - TY - THES AU - Wenski, Rüdiger ID - 24492 TI - Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation VL - 74 ER - TY - THES AU - Grasmann, Mathias ID - 24493 TI - Produktkonfiguration auf Basis von Engineering Data Management-Systemen VL - 75 ER - TY - THES AU - Ditze, Carsten ID - 24494 TI - Towards Operating System Synthesis VL - 76 ER - TY - THES AU - Körner, Tim ID - 24495 TI - Analog VLSI Implementation of a Local Cluster Neural Network VL - 77 ER - TY - BOOK AU - Gausemeier, Jürgen AU - Lindemann, Udo AU - Reinhart, G. AU - Wiendahl, H. ID - 24496 TI - Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens VL - 79 ER - TY - BOOK AU - Gausemeier, Jürgen AU - Lückel, Joachim ID - 24497 TI - Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme VL - 80 ER - TY - GEN ED - Gausemeier, Jürgen ED - Lückel, Joachim ID - 24498 TI - 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen... VL - 82 ER - TY - THES AU - Del Castillo, Giuseppe ID - 24499 TI - The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models VL - 83 ER - TY - THES AU - Schäfermeier, Ulrich ID - 24500 TI - Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung VL - 84 ER - TY - THES AU - Krüger, Jens ID - 24501 TI - Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc VL - 85 ER - TY - THES AU - Bartscher, Thomas ID - 24503 TI - Methoden des Integrierten Workflowmanagements (IWFM) VL - 86 ER - TY - THES AU - Quintanilla, Julia ID - 24506 TI - Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme VL - 87 ER - TY - JOUR AU - Betz, Stefan ID - 2585 JF - Zeitschrift für Planung TI - Funktionales Qualitätscontrolling bei mehrstufiger Fertigung VL - 11 ER - TY - JOUR AU - Betz, Stefan ID - 2586 JF - Betrieb und Wirtschaft TI - Qualitätskostencontrolling auf Basis des Half-Life-Konzepts VL - 54 ER - TY - JOUR AU - Fischer, Clemens AU - Wehrheim, Heike ID - 3247 JF - Bulletin of the {EATCS} TI - Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method ER - TY - JOUR AU - Wehrheim, Heike ID - 3248 IS - 3 JF - Formal Asp. Comput. TI - Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications ER - TY - CONF AU - Fischer, Clemens AU - Wehrheim, Heike ED - Rus, Teodor ID - 3249 T2 - Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings TI - Behavioural Subtyping Relations for Object-Oriented Formalisms ER - TY - CONF AU - Wehrheim, Heike ED - S. E. Maibaum, T. ID - 3250 T2 - Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings TI - Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods ER - TY - CONF AU - Wehrheim, Heike ED - F. Smith, Scott ED - L. Talcott, Carolyn ID - 3251 T2 - Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA} TI - Behavioural Subtyping and Property Preservation ER - TY - CHAP AU - Harteis, Christian ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3602 T2 - Kompendium Weiterbildung TI - Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung ER - TY - BOOK ED - Harteis, Christian ED - Heid, Helmut ED - Kraft, Susanne ID - 3669 TI - Kompendium Weiterbildung ER - TY - BOOK AU - Harteis, Christian ID - 3674 TI - Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung ER - TY - CHAP AU - Blömer, Johannes ID - 3023 SN - 0302-9743 T2 - Automata, Languages and Programming TI - Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices ER - TY - CONF AU - Hahn, O. AU - Eis, M. AU - Meschut, Gerson ID - 20993 T2 - Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen” TI - Qualitätssicherung bei der Herstellung von Klebverbindungen ER - TY - CONF AU - Eis, M. AU - Meschut, Gerson ID - 20994 SN - ISBN 3-8265-7332-3 T2 - Tagungsband zur Veranstaltung EndForm 2000 TI - Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen ER - TY - CONF AU - Hahn, O. AU - Koyro, M. AU - Meschut, Gerson ID - 20995 SN - ISBN 3-8265-7332-3 T2 - Tagungsband zur Veranstaltung EndForm 2000 TI - Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen ER - TY - CONF AU - Hahn, O. AU - Eis, M. AU - Meschut, Gerson ID - 20996 T2 - Tagungsband zur Swiss Bondung ´00 TI - Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen ER - TY - JOUR AU - Hahn, O. AU - Besserdich, G. AU - Dölle, N. AU - Jendrny, J. AU - Koyro, M. AU - Thesing, T. AU - Meschut, Gerson ID - 20997 IS - 5 JF - Schweißen und Schneiden TI - Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium VL - 50 ER - TY - JOUR AU - Hahn, O. AU - Meschut, Gerson AU - Eis, M. AU - Maciej, M. ID - 20998 IS - 6 JF - Schweißen und Schneiden TI - Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile VL - 52 ER - TY - JOUR AU - Hahn, O. AU - Meschut, Gerson AU - Koyro, M. ID - 20999 IS - 7 JF - Schweißen und Schneiden TI - Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen VL - 52 ER - TY - GEN AU - Hahn, O. AU - Meschut, Gerson AU - Eis, M. AU - Kötting, G. ID - 21001 SN - ISBN 3-934238-25-4 TI - Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile ER - TY - JOUR AU - Hahn, O. AU - Koyro, M. AU - Meschut, Gerson ID - 21002 JF - der praktiker TI - Kleben in Kombination mit Fügen durch Umformen VL - 9 ER - TY - CONF AU - Bohling, P. AU - Jüttner, S. AU - Kaiser, M. AU - Meschut, Gerson AU - Schumann, S. ID - 21003 SN - ISBN 3-9805447-3-7 TI - Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau ER - TY - JOUR AU - Meschut, Gerson ID - 21006 IS - 11 JF - Adhäsion TI - Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen VL - 44 ER - TY - CONF AU - Koyro, M. AU - Meschut, Gerson ID - 21007 T2 - Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau” TI - Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen ER - TY - JOUR AU - Adler, Micah AU - Scheideler, Christian ID - 2143 IS - 5/6 JF - Theory Comput. Syst. TI - Efficient Communication Strategies for Ad Hoc Wireless Networks VL - 33 ER - TY - JOUR AU - Scheideler, Christian AU - Vöcking, Berthold ID - 2145 IS - 4 JF - SIAM J. Comput. TI - From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols VL - 30 ER - TY - CONF AU - Berenbrink, Petra AU - Brinkmann, André AU - Scheideler, Christian ID - 2146 T2 - PDPTA TI - Distributed Path Selection for Storage Networks ER - TY - CONF AU - Czumaj, Artur AU - Scheideler, Christian ID - 2147 T2 - SODA TI - Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma ER - TY - JOUR AU - Czumaj, Artur AU - Scheideler, Christian ID - 2148 IS - 3-4 JF - Random Struct. Algorithms TI - Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma VL - 17 ER - TY - CONF AU - Brinkmann, André AU - Salzwedel, Kay AU - Scheideler, Christian ID - 2149 T2 - SPAA TI - Efficient, distributed data placement strategies for storage area networks (extended abstract) ER - TY - CONF AU - Czumaj, Artur AU - Scheideler, Christian ID - 2150 T2 - STOC TI - A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract) ER - TY - BOOK ED - Peckhaus, Volker ID - 17458 SN - 0-8218-0844-3 TI - “Contributing Editor” für die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, edited by Joseph W. Dauben, revised edition on CD-ROM by Albert C. Lewis, in cooperation with the International Commission on the History Mathematics, American Mathematical Society ER - TY - JOUR AU - Peckhaus, Volker ID - 17528 IS - 2 (November) JF - Adef Revista de Filosofia (Buenos Aires) TI - Análisis regresivo VL - 15 ER - TY - CHAP AU - Mindt, Ilka ED - Mair, Christian ED - Hundt, Marianne ID - 17852 T2 - Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20) TI - Prosodic Cues at Speaker Turns ER - TY - GEN AB - We present a new output-sensitive rendering algorithm, the randomized z-buffer algorithm. It renders an image of a three dimensional scene of triangular primitives by reconstruction from a random sample of surface points which are chosen with a probability proportional to the projected area of the objects. The approach is independent of mesh connectivity and topology. It leads to a rendering time that grows only logarithmically with the numbers of triangles in the scene and to linear memory consumption, thus allowing walkthroughs of scenes of extreme complexity. We consider different methods for image reconstruction which aim at correctness, rendering speed and image quality and we develop an efficient data structure for sample extraction in output-sensitive time which allows for efficient dynamic updates of the scene. Experiments confirm that scenes consisting of some hundred billion triangles can be rendered within seconds with an image quality comparable to a conventional z-buffer rendering; in special cases, realtime performance can be achieved. AU - Wand, Michael AU - Fischer, Matthias AU - Meyer auf der Heide, Friedhelm ID - 17865 TI - Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes ER - TY - CONF AU - Govindarajan, Sathish AU - Lukovszki, Tamas AU - Maheshwari, Anil AU - Zeh, Norbert ID - 18962 SN - 0178-4617 T2 - Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS TI - I/O-Efficient Well-Separated Pair Decomposition and Applications ER - TY - BOOK AB - 2., kartonierte Auflage: Berlin 2002 ED - Allkemper, Alo ED - Eke, Norbert Otto ID - 19084 TI - Deutsche Dramatiker des 20. Jahrhunderts ER - TY - BOOK ED - Allkemper, Alo ED - Eke, Norbert Otto ID - 19086 TI - Literatur und Demokratie ER - TY - CHAP AU - Seng, Eva- Maria ED - Lupfer, Gilbert ED - Rudert, Konstanze ED - Sigel, Paul ID - 19196 T2 - Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul TI - Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung” ER - TY - CONF AU - Karl, Holger AU - Polze, Andreas AU - Werner, Matthias ID - 1920 T2 - Proc. the Workshop on Run-Time Systems for Parallel Programming TI - Predictable Network Computing using Message-driven Scheduling ER - TY - CHAP AU - Eke, Norbert Otto ED - O' Dochartaigh, Pól ID - 19397 T2 - Jews in German Literature since 1945: German-Jewish Literature? TI - Das Schreckliche und das Komische. George Tabori und die Shoah ER - TY - CHAP AU - Eke, Norbert Otto ED - Wallace, Ian ED - Tate, Dennis ED - Labroisse, Gerd ID - 19398 T2 - Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998 TI - Körper-Schrift. Heiner Müllers Anthropologie des Körpers VL - 48 ER - TY - CHAP AU - Eke, Norbert Otto ED - Allkemper, Alo ED - Eke, Norbert Otto ID - 19399 T2 - Deutsche Dramatiker des 20. Jahrhunderts TI - Thomas Brasch ER - TY - CHAP AU - Eke, Norbert Otto ED - Allkemper, Alo ED - Eke, Norbert Otto ID - 19400 T2 - Deutsche Dramatiker des 20. Jahrhunderts TI - George Tabori ER - TY - CHAP AU - Eke, Norbert Otto ED - Beutin, Wolfgang ED - Stein, Peter ID - 19401 T2 - Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz TI - Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis' autobiographische Fragmente Erinnerungen aus meinem Leben ER - TY - CHAP AU - Eke, Norbert Otto ED - Allkemper, Alo ED - Eke, Norbert Otto ID - 19403 T2 - Literatur und Demokratie TI - Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“ ER - TY - GEN AU - Zimmer, Detmar ID - 23424 TI - Aus einem Getriebemodul und einem Antriebsmodul bestehende Antriebseinheit ER - TY - GEN AU - Zimmer, Detmar ID - 23425 TI - Getriebebaukasten mit Kronengetriebe ER - TY - CONF AB - We consider the notion of Property Testing as applied to computational geometry. We aim at developing efficient algorithms which determine whether a given (geometrical) object has a predetermined property Q or is 'far' from any object having the property. We show that many basic geometric properties have very efficient testing algorithms, whose running time is significantly smaller than the object description size. AU - Czumaj, Artur AU - Sohler, Christian AU - Ziegler, Martin ID - 17990 SN - 0302-9743 T2 - Proceedings of the 8th Annual European Symposium on Algorithms (ESA'00) TI - Property Testing in Computational Geometry VL - 4698 ER - TY - BOOK ED - Fromme, J. ED - Ganguin, S. ED - Iske, S. ED - Meister, Dorothee M. ED - Sander, U. ID - 18121 TI - Medienbildung und Gesellschaft ER - TY - CONF AB - Since its very beginning, linear algebra is a highly algorithmic subject. Let us just mention the famous Gauss Algorithm which was invented before the theory of algorithms has been developed. The purpose of this paper is to link linear algebra explicitly to computable analysis, that is the theory of computable real number functions. Especially, we will investigate in which sense the dimension of a given linear subspace can be computed. The answer highly depends on how the linear subspace is given: if it is given by a finite number of vectors whose linear span represents the space, then the dimension does not depend continuously on these vectors and consequently it cannot be computed. If the linear subspace is represented via its distance function, which is a standard way to represent closed subspaces in computable analysis, then the dimension does computably depend on the distance function. AU - Ziegler, Martin AU - Brattka, Vasco ID - 18146 SN - 0302-9743 T2 - SOFSEM 2000: Theory and Practice of Informatics TI - Computing the Dimension of Linear Subspaces VL - 1963 ER - TY - CONF AB - What is the minimum number of hyperplanes that slice all edges of the d-dimensional hypercube? The answers have been known for d<=4.
This work settles the problem for d=5 and d=6. More precisely, a computer search implies that 4 hyperplanes do not suffice for this purpose (but 5 do).
We also develop computational approaches for attacking this extremal problem from combinatorial geometry in higher dimensions. They allow us to determine for example all maximal sliceable subsets of hypercube edges up to dimension 7. AU - Ziegler, Martin AU - Sohler, Christian ID - 18150 T2 - Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG'00) TI - Computing Cut Numbers ER - TY - JOUR AB - We consider comparator networks M that are used repeatedly: while the output produced by M is not sorted, it is fed again into M. Sorting algorithms working in this way are called periodic. The number of parallel steps performed during a single run of M is called its period, the sorting time of M is the total number of parallel steps that are necessary to sort in the worst case. Periodic sorting networks have the advantage that they need little hardware (control logic, wiring, area) and that they are adaptive. We are interested in comparator networks of a constant period, due to their potential applications in hardware design. Previously, very little was known on such networks. The fastest solutions required time O(nε) where the depth was roughly 1/ε. We introduce a general method called periodification scheme that converts automatically an arbitrary sorting network that sorts n items in time T(n) and that has layout area A(n) into a sorting network that has period 5, sorts ***(n • T(n) items in time O(T(