TY - THES AU - Elit, Stefan ID - 24912 TI - Die beste aller möglichen Sprachen der Poesie. Klopstocks wettstreitende Übersetzungen lateinischer und griechischer Literatur ER - TY - BOOK ED - Elit, Stefan ED - Rutz, Andreas ID - 24931 TI - Das 'Ich' in der Frühen Neuzeit. Autobiographien – Selbstzeugnisse – Ego-Dokumente in geschichts- und literaturwissenschaftlicher Perspektive ER - TY - JOUR AB - We develop a procedure for implementing an efficient and envy-free allocation of m objects among n individuals with the possibility of monetary side-payments,assuming that players have quasi–linear utility functions. The procedure eliminates envy by compensating envious players. It is fully descriptive and says explicitly which compensations should be made,and in what order. Moreover,it is simple enough to be carried out without computer support. We formally characterize the properties of the procedure,show how it establishes envy-freeness with minimal resources,and demonstrate its application to a wide class of fair-division problems. AU - Haake, Claus-Jochen AU - Raith, Matthias AU - Su, Francis Edward ID - 2497 IS - 4 JF - Social Choice and Welfare SN - 0176-1714 TI - Bidding for envy-freeness: A procedural approach to n-player fair-division problems VL - 19 ER - TY - GEN AU - Karl, Holger AU - Mengesha, Seble AU - Hollos, Daniel ID - 2538 TI - Relaying in Wireless Access Networks ER - TY - CONF AU - Köpke, Andreas AU - Handziski, Vlado AU - Karl, Holger ID - 2541 T2 - Proc. 7th Wireless World Research Forum (WWRF) TI - Making sensor networks intelligent ER - TY - CONF AU - Miesmer, Horst AU - Sanneck, Henning AU - Aguier, Ana AU - Karl, Holger ID - 2544 T2 - Proc. of 6th Wireless World Forum TI - Concepts for a QoS-enabled, TCP/IP-oriented Link Layer in Beyond 3G Networks ER - TY - CONF AU - Hollos, D. AU - Karl, Holger ID - 2548 T2 - Proc. of 2nd Intl. OMNet Workshop TI - A HiperLAN/2 simulation model in OMNeT++ ER - TY - GEN AU - Seng, Eva- Maria ID - 19462 T2 - Kunstform und Sehepunkte TI - Gottfried Leiber, Friedrich Weinbrenners Städtebauliches Schaffen für Karlsruhe, Teil II. Der Stadtausbau und die Stadterweiterungsplanungen 1801-1826, Mainz 2002 ER - TY - CHAP AU - Krimphove, Dieter ED - Krimphove, Dieter ED - Tytko, Dagmar ID - 1954 T2 - Praktiker-Handbuch der Unternehmensfinanzierung TI - Europäische Kreditsicherheiten – Eine rechtsvergleichende, ökonomische Analyse bestehender Kreditsicherungsrechte in Europa ER - TY - GEN AU - Eke, Norbert Otto ID - 19542 IS - H. 1/2 T2 - Germanistik TI - Peter Simhandl: Theatergeschichte in einem Band. Mit Beiträgen von Franz Wille und Grit van Dyk. Aktualisierte Neuauflage. Berlin: Henschel, 2001 VL - 43 ER - TY - GEN AU - Eke, Norbert Otto ID - 19543 IS - H. 1/2 T2 - Germanistik TI - Margret Dietrich: Zur Humanisierung des Lebens. Theater und Kunst. Ausgewählte Vorträge. Hrsg. V. Elisabeth Großegger, Andrea Sommer-Mathis und Dorothea Weber. Wien: Verlag der Österreichischen Akademie der Wissenschaften, 2000 VL - 43 ER - TY - CHAP AU - Büker, Petra ED - Bogdal, Klaus-Michael ED - Korte, Hermann ID - 19702 T2 - Grundzüge der Literaturdidaktik TI - Literaturunterricht in der Primar- und Orientierungsstufe ER - TY - CONF AU - Bonorden, Olaf AU - Meyer auf der Heide, Friedhelm AU - Wanka, Rolf ID - 19727 T2 - Int. Conf. on Parallel and Distributed Processing Techniques and Applications (PDPTA) TI - Composition of Efficient Nested BSP Algorithms: Minimum Spanning Tree Computation as an Instructive Example ER - TY - CONF AU - Wanka, Rolf ID - 19850 SN - 0302-9743 T2 - Proc. Workshop on Graph-Theoretic Concepts in Computer Science (WG) TI - Any Load-Balancing Regimen for Evolving Tree Computations on Circulant Graphs Is Asymptotically Optimal ER - TY - CONF AB - We present a new and easy to use framework for navigating through scenes of arbitrary complexity and topology. In the preprocessing, images for discrete viewpoints and viewing directions are rendered and stored on an external volume. During navigation each image can be displayed within a very short time by loading it from the volume. For acceleration, our prefetching strategy loads possibly needed images for the next few frames if the viewer takes a break. The measurements show that we achieve interactive frame rates, whereby the difference between the minimal and maximal display time is very small. Our system works well with scenes modelled by polygons, but also digital photos can easily be used for describing a 3D scene. AU - Klein, Jan AU - Krokowski, Jens AU - Cuntz, Nicolas ID - 19873 T2 - Proc. of 4. GI-Informatiktage TI - Realtime Navigation in Highly Complex 3D-Scenes Using JPEG Compression ER - TY - CONF AB - Juli 2002 AU - Büker, Petra ID - 19926 TI - Fremdverstehensförderung im Rahmen interkulturellen literarischen Lernens- zwei Fallstudien zur Rezeptionsforschung in der Grundschule. Kolloquiumsvortrag im Fach Germanistik der Universität Essen ER - TY - CONF AB - Wearable computers are embedded into the mobile environment of the human body. A design challenge for wearable systems is to combine the high performance required for tasks such as video decoding with low energy consumption required to maximize battery runtimes and the flexibility demanded by the dynamics of the environment and the applications. In this paper, we demonstrate that reconfigurable hardware technology is able to answer this challenge. We present the concept and the prototype implementation of an autonomous wearable unit with reconfigurable modules (WURM). We discuss two experiments that show the uses of reconfigurable hardware in WURM: ASICs-on-demand and adaptive interfaces. Finally, we develop and evaluate task placement techniques used in the operating system layer of WURM. AU - Plessl, Christian AU - Enzler, Rolf AU - Walder, Herbert AU - Beutel, Jan AU - Platzner, Marco AU - Thiele, Lothar ID - 2423 KW - wearable computing SN - 0-7695-1816-8 T2 - Proc. Int. Symp. on Wearable Computers (ISWC) TI - Reconfigurable Hardware in Wearable Computing Nodes ER - TY - CONF AB - Recent generations of high-density and high-speed FPGAs provide a sufficient capacity for implementing complete configurable systems on a chip (CSoCs). Hybrid CPUs that combine standard CPU cores with reconfigurable coprocessors are an important subclass of CSoCs. With partially reconfigurable FPGAs, coprocessors can be loaded on demand while the CPU remains running. However, the lack of high-level design tools for partial reconfiguration makes practical implementations a challenging task. In this paper, we introduce a design flow to implement hybrid processors on Xilinx Virtex. The design flow is based on two techniques, virtual sockets and feed-through components, and can efficiently generate partial configurations from industry-quality cores. We discuss the design flow and present a fully operational audio streaming prototype to demonstrate its feasibility. AU - Dyer, Matthias AU - Plessl, Christian AU - Platzner, Marco ID - 2424 KW - partial reconfiguration T2 - Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) TI - Partially Reconfigurable Cores for Xilinx Virtex VL - 2438 ER - TY - CONF AB - We present instance-specific custom computing machines for the set covering problem. Four accelerator architectures are developed that implement branch \& bound in 3-valued logic and many of the deduction techniques found in software solvers. We use set covering benchmarks from two-level logic minimization and Steiner triple systems to derive and discuss experimental results. The resulting raw speedups are in the order of four magnitudes on average. Finally, we propose a hybrid solver architecture that combines the raw speed of instance-specific reconfigurable hardware with flexible bounding schemes implemented in software. AU - Plessl, Christian AU - Platzner, Marco ID - 2425 T2 - Proc. Int. Symp. on Field-Programmable Custom Computing Machines (FCCM) TI - Custom Computing Machines for the Set Covering Problem ER - TY - CONF AU - P. Miller, Barton AU - Labarta, Jesús AU - Schintke, Florian AU - Simon, Jens ID - 2426 SN - 978-3-540-45706-0 T2 - Proc. European Conf. on Parallel Processing (Euro-Par) TI - Performance Evaluation, Analysis and Optimization VL - 2400 ER - TY - JOUR AB - We define here a distributed abstract state machine (DASM) [7] of the network or routing layer of mobile ad hoc networks [13]. Such networks re- quire routing strategies substantially different from those used in static commu- nication networks, since storing and updating large routing tables at mobile hosts would congest the network with administration packets very fast. In [1], the hypercubic location service is presented, which considers a very strong definition of fault-tolerance thereby improving state-of-the-art ad hoc routing protocols in several respects. Our goal in modeling the protocols for the distrib- uted location service and the position based routing is twofold. First, we support the definition and validation of wireless communication protocols and imple- mentations based thereon. Second, we feel that the abstract computation model naturally reflects the layering principle of communication architectures in com- bination with an uncompromisingly local view of the application domain. Thus we can identify fundamental semantic concepts, such as concurrency, reactivity and asynchronism, directly with the related concepts as imposed by the given application context. AU - Benczúr, András AU - Glässer, Uwe AU - Lukovszki, Tamás ID - 24336 JF - Proc. of 10th International Workshop on Abstract State Machines, LNCS TI - Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks ER - TY - CONF AU - Grünewald, Matthias AU - Lukovszki, Tamás AU - Schindelhauer, Christian AU - Volbert, Klaus ID - 24338 SN - 0302-9743 T2 - Proceedings of the 8th International Euro-Par Conference TI - Distributed Maintenance of Resource Efficient Wireless Network Topologies ER - TY - THES AU - Wagenblaßt, Dieter ID - 24590 TI - Eine Analysemethode zur Beurteilung der Funktionssicherheit von gemischt analog-digitalen Schaltungen VL - 103 ER - TY - THES AU - Porrmann, Mario ID - 24591 TI - Leistungsbewertung eingebetteter Neurocomputersysteme VL - 104 ER - TY - THES AU - Seifert, Lars ID - 24592 TI - Methodik zum Aufbau von Informationsmodellen für Electronic Business in der Produktentwicklung VL - 105 ER - TY - THES AU - Soetebeer, Martin ID - 24593 TI - Methode zur Modellierung, Kontrolle und Steuerung von Produktstrategien VL - 106 ER - TY - GEN ED - Gausemeier, Jürgen ID - 24594 TI - 1. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung VL - 107 ER - TY - THES AU - Flath, Martin ID - 24595 TI - Methode zur Konzipierung mechatronischer Systeme VL - 108 ER - TY - THES AU - Avenarius, Joachim ID - 24596 TI - Methoden zur Suche und Informationsbereitstellung von Lösungselementen für die Entwicklung mechatronischer Systeme VL - 109 ER - TY - THES AU - Helmke, Stefan ID - 24597 TI - Eine simulationsgestützte Methode für die optimale Budgetentscheidung im Kundenbindungsmanagement VL - 110 ER - TY - THES AU - Czubayko, Roland ID - 24598 TI - Rechnerinterne Repräsentation von informationsverarbeitenden Lösungselementen für die verteilte kooperative Produktentwicklung in der Mechatronik VL - 111 ER - TY - THES AU - Goldschmidt, Stefan ID - 24599 TI - Anwendung mengenorientierter numerischer Methoden zur Analyse nichtlinearer dynamischer Systeme am Beispiel der Spurführungsdynamik von Schienenfahrzeugen VL - 112 ER - TY - THES AU - Lehmann, Thomas AU - Winter, K. ID - 24600 TI - Towards Device Driver Synthesis VL - 113 ER - TY - THES AU - Härtel, Wulf ID - 24601 TI - Issueorientierte Frühaufklärung VL - 114 ER - TY - THES AU - El-Kebbe, Dania Adnan ID - 24603 TI - Towards the MaSHReC Manufacturing System under Real-Time Constraints VL - 117 ER - TY - JOUR AU - Betz, Stefan ID - 2589 JF - Zeitschrift für Planung TI - Das Lebensarbeitszeitkonzept als Alternative zur Mehrarbeitszeitzuschlagslösung VL - 13 ER - TY - CHAP AU - Betz, Stefan ED - Küpper und A. Wagenhofer, Hans-Ulrich ID - 2590 T2 - Handwörterbuch Unternehmensrechnung und Controlling TI - Kontrollsystem ER - TY - JOUR AB - Thermal charging of submicron and nanometer particles has been studied for model aerosols of TiO2 and SiO2 as well as Al-Si (aluminosilicate) at 1 000 °C with a new quasi in-situ technique. The size dependence of the particle separation efficiency for electrostatic precipitation was determined. The charging state of the particles was obtained from evaluating the global Deutsch number for precipitation in an electric field applied to a laminar flow based on particle trajectory considerations. AU - Schiel, Annette AU - Weber, Alfred P. AU - Kasper, Gerhard AU - Schmid, Hans-Joachim ID - 26160 IS - 6 JF - Particle & Particle Systems Characterization SN - 0934-0866 TI - In-Situ Determination of the Charging of Nanometer and Submicron Particles at High Temperatures VL - 19 ER - TY - JOUR AB - An optical measuring technique is presented allowing the exact in-situ measurement of local particle flux densities in a confined channel flow by counting single particles penetrating an optically well defined measuring volume. This enables a precise flux determination up to the direct vicinity of planar walls. The measurement set-up and its calibration as well as the whole test facility are described in detail. This measurement technique is used to study the particle transport in electrostatic precipitators. Exemplarily, results of particle flux profiles as well as precipitation, as gained from balances of parts of the precipitator channel, are presented. Furthermore, the possibility to determine particle velocity fluctuations is demonstrated. AU - Schmid, Hans-Joachim AU - Veith, Susanne AU - Umhauer, Heinz ID - 26161 IS - 3 JF - Particle & Particle Systems Characterization SN - 0934-0866 TI - In-Situ Measurement of Local Particle Flux Densities in a Complex Two-Phase Flow VL - 19 ER - TY - CHAP AB - Summary Elektrische Staubabscheidung Wirkprinzip Mikroprozesse und Grundvorgänge Sekundäreinflüsse auf die Partikelabscheidung Wichtige Bestandteile und verschiedene Bauformen Auslegung von Abscheidern AU - Schmid, Hans-Joachim ID - 26169 T2 - Handbuch der Mechanischen Verfahrenstechnik TI - Trennprozesse: Abschnitt 7.5.3 ER - TY - CONF AU - Volbert, Klaus ID - 26412 T2 - Proceedings 10th Euromicro Workshop on Parallel, Distributed and Network-based Processing TI - A simulation environment for ad hoc networks using sector subdivision ER - TY - JOUR AU - Reiss, Kristina AU - Hellmich, Frank AU - Thomas, Joachim ID - 26826 JF - Zeitschrift für Pädagogik TI - Individuelle und schulische Bedingungsfaktoren für Argumentationen und Beweise im Mathematikunterricht VL - 45 ER - TY - CHAP AU - Hellmich, Frank AU - Hartmann, Jens ED - Peschek, Werner ID - 26827 T2 - Beiträge zum Mathematikunterricht 2002 TI - Materialgebundene versus computerunterstützte Förderung räumlicher Kompetenzen in der Grundschule ER - TY - CHAP AU - Hellmich, Frank AU - Hartmann, Jens AU - Reiss , Kristina ED - Peschek, Werner ID - 26831 T2 - Beiträge zum Mathematikunterricht 2002 TI - Bedingungen für das Argumentieren und Begründen im Geometrieunterricht der Sekundarstufe I ER - TY - CHAP AU - Reiss, Kristina AU - Hellmich, Frank AU - Reiss, Matthias ED - Cockburn, Anne D ED - Nardi, Elena ID - 26835 T2 - Proceedings of the 26th Conference of the International Group for the Psychology of Mathematics Education TI - Reasoning and proof in geometry: Prerequisites of knowledge acquisition in secondary school students ER - TY - JOUR AU - Hellmich, Frank AU - Hartmann, Jens ID - 26838 IS - 2 JF - Zentralblatt für Didaktik der Mathematik TI - Aspekte einer Förderung räumlicher Kompetenzen im Geometrieunterricht. Ergebnisse einer Trainingsstudie mit Sonderschülerinnen und -schülern VL - 34 ER - TY - BOOK AU - Hellmich, Frank AU - Reiss, Kristina AU - Thomas, J ID - 26842 TI - Begründen und Beweisen in der Geometrie. Bedingungen des Wissensaufbaus bei Schülerinnen und Schülern der Sekundarstufe. Ergebnisbericht an die DFG ER - TY - JOUR AU - Wehrheim, Heike ID - 3241 IS - 4 JF - Nord. J. Comput. TI - Relating State-based and Behaviour-oriented Subtyping ER - TY - CONF AU - Olderog, Ernst-Rüdiger AU - Wehrheim, Heike ED - S. de Boer, Frank ED - M. Bonsangue, Marcello ED - Graf, Susanne ED - P. de Roever, Willem ID - 3242 T2 - Formal Methods for Components and Objects, First International Symposium, {FMCO} 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures TI - Specification and Inheritance in {CSP-OZ} ER - TY - CONF AU - Wehrheim, Heike ED - Jacobs, Bart ED - Rensink, Arend ID - 3243 T2 - Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands TI - Checking Behavioural Subtypes via Refinement ER -