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(