11 research outputs found

    08451 Abstracts Collection -- Representation, Analysis and Visualization of Moving Objects

    Get PDF
    From 02.11. to 07.11.2008, the Dagstuhl Seminar 08451 ``Representation, Analysis and Visualization of Moving Objects \u27\u27 was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available

    Flashix: modular verification of a concurrent and crash-safe flash file system

    Get PDF
    The Flashix project has developed the first realistic verified file system for Flash memory. This paper gives an overview over the project and the theory used. Specification is based on modular components and subcomponents, which may have concurrent implementations connected via refinement. Functional correctness and crash-safety of each component is verified separately. We highlight some components that were recently added to improve efficiency, such as file caches and concurrent garbage collection. The project generates 18K of C code that runs under Linux. We evaluate how efficiency has improved and compare to UBIFS, the most recent flash file system implementation available for the Linux kernel

    Software & system verification with KIV

    Get PDF

    08451 Summary Report -- Representation, Analysis and Visualization of Moving Objects

    No full text
    This document contains a short report summarizing the background, the program, and the outcomes of Dagstuhl Seminar 08451 on "Representation, Analysis and Visualization of Moving Objects"

    Anisotropic giant magnetoresistance, magnetocaloric effect, and magnetic anomalies in single crystalline Tb<SUB>2</SUB>PdSi<SUB>3</SUB>

    No full text
    The results of magnetization, electrical resistivity, and magnetoresistance measurements for two different directions on single crystalline Tb<SUB>2</SUB>PdSi<SUB>3</SUB> are presented. The magnetic properties including magnetoresistance and the magnetic coupling are found to be strongly anisotropic with features attributable to more than one magnetic transition and the results reveal that this compound is presumably characterized by an interesting magnetic-field/temperature phase diagram. An unusual finding is that there is a broad peak around 50 K in the plot of magnetic susceptibility versus temperature, which appears to be magnetic in origin, for the data measured along the c direction, whereas Curie-Weiss behavior is observed down to (T<SUB>N</SUB>=) 23 K for [101<SUP>&#8722;</SUP>0] direction. We also emphasize on the anisotropy in observing magnetocaloric effect in the sense that this effect is rather large over a wide low temperature range for [101<SUP>&#8722;</SUP>0] direction, in sharp contrast to relatively smaller values for [0001] direction

    Rezensionen [2018]

    No full text
    Verzeichnis Einzelrezensionen 154 Beauvais, Clémentine: The Mighty Child. Time and Power in Children’s Literature (Thomas Kullmann) 155 Dean-Ruzicka, Rachel: Tolerance Discourse and Young Adult Holocaust Literature. Engaging Difference and Identity (Susanne Blumesberger) 157 Dolle-Weinkauff, Bernd (Hrsg.): Geschichte im Comic. Befunde – Theorien – Erzählweisen (Caroline Wittig) 159 Ewers, Hans-Heino (Hrsg.): Erster Weltkrieg: Kindheit, Jugend und Literatur. Deutschland, Österreich, Osteuropa, England, Belgien und Frankreich (Kurt Franz) 161 Franz, Kurt / Lange, Günter (Hrsg.): Der Stoff, aus dem Geschichten sind. Intertextualität im Werk Otfried Preußlers (sabine fuchs) 163 Glasenapp, Gabriele von/Kagelmann, Andre/Giesa, Felix (Hrsg.): Die Zeitalter werden besichtigt. Aktuelle Tendenzen der Kinder- und Jugendliteraturforschung. Festschrift für Otto Brunken (Karin Richter) 165 Josting, Petra/Schmideler, Sebastian (Hrsg.): Bonsels’ Tierleben. Insekten und Kriechtiere in Kinder- und Jugendmedien (Kurt Franz) 167 Kriegleder, Wynfrid/ Lexe, Heidi / Loidl, Sonja/ Seibert, Ernst (Hrsg.): Jugendliteratur im Kontext von Jugendkultur (Lena Hoffmann) 169 Kurwinkel, Tobias: Bilderbuchanalyse. Narrativik – Ästhetik – Didaktik (Annette Kliewer) 171 Langenhorst, Georg/Naurath, Elisabeth (Hrsg.): Kindertora – Kinderbibel – Kinderkoran. Neue Chancen für (inter-)religiöses Lernen (Renate Grubert) 172 Lathey, Gillian: Translating Children’s Literature (heike Elisabeth Jüngst) 174 Mairbäurl, Gunda/Seibert, Ernst (Hrsg.): Kulturelle Austauschprozesse in der Kinder- und Jugendliteratur. Zur genrespezifischen Transformation von Themen, Stoffen und Motiven im medialen Kontext (Sarah Terhorst) 176 Maiwald, Klaus /Meyer, Anna-Maria/Pecher, Claudia Maria (Hrsg.): »Klassiker« des Kinderund Jugendfilms (Michael Stierstorfer) 177 Mills, Claudia (Hrsg.): Ethics in Children’s Literature (Thomas Kullmann) 179 Nast, Mirjam: »Perry Rhodan« lesen. Zur Serialität der Lektürepraktiken einer Heftromanserie (Wolfgang Biesterfeld) 181 O’Sullivan, Emer / Immel, Andrea (Hrsg.): Imagining Sameness and Difference in Children’s Literature. From the Enlightenment to the Present Day (Iris Schäfer) 182 Oetken, Mareile: Wie Bilderbücher erzählen. Analysen multimodaler Strukturen und bimedialen Erzählens im Bilderbuch (Katharina Egerer) 184 Schmideler, Sebastian (Hrsg.): Wissensvermittlung in der Kinder- und Jugendliteratur der DDR. Themen, Formen, Strukturen, Illustrationen (Sabine Planka) 186 Standke, Jan (Hrsg.): Wolfgang Herrndorf lesen. Beiträge zur Didaktik der deutschsprachigen Gegenwartsliteratur (Sabine Planka) 187 Viel, Bernhard: Der Honigsammler. Waldemar Bonsels, Vater der Biene Maja. Eine Biografie (Renate Grubert) 189 Zellerhoff, Rita: Komplexe sprachliche Strukturen in der Jugendliteratur. Aufgezeigt an Beispielen preisgekrönter Werke der Jugendjury des Deutschen Jugendliteraturpreises (Susanne Riegler) Sammelrezensionen 191 Anker, Martin u.a. (Hrsg.): Grimms Märchenwelten im Bilderbuch. Beiträge zur Entwicklung des Märchenbilderbuches seit Mitte des 20. Jahrhunderts. – Brinker-von der Heyde, Claudia u. a. (Hrsg.): Märchen, Mythen und Moderne. 200 Jahre Kinder- und Hausmärchen der Brüder Grimm. – Joosen, Vanessa/ Lathey, Gillian (Hrsg.): Grimms’ Tales around the Globe. The Dynamics of their International Reception (Thomas Bitterlich) 194 Böhm, Kerstin: Archaisierung und Pinkifizierung. Mythen von Weiblichkeit und Männlichkeit in der Kinder- und Jugendliteratur. – Dangendorf, Sarah: Kleine Mädchen in High Heels. Über die visuelle Sexualisierung frühadoleszenter Mädchen (Annette Kliewer) 197 Gordon, Ian: Kid Comic Strips. A Genre Across Four Countries. – Kupczynska, Kalina/Renata Makarska (Hrsg.): Comic in Polen. Polen im Comic. – Kutch, Lynn Marie (Hrsg.): Novel Perspectives on German-Language Comics Studies. History, Pedagogy, Theory. – Reddition. Zeitschrift für Graphische Literatur (66) 2017: Ein halbes Jahrhundert Carlsen Comics. – Rosenfeldt, Reginald: ComicPioniere. Die deutschen Comic-Künstler der 1950er Jahre (Felix Giesa

    Rezensionen [2019]

    No full text
    Verzeichnis Einzelrezensionen 163 Babenhauserheide, Melanie: Harry Potter und die Widersprüche der Kulturindustrie. Eine ideologiekritische Analyse (DAVID N. SCHMIDT) 165 Ballis, Anja/Pecher, Claudia Maria/ Schuler, Rebecca (Hrsg.): Mehrsprachige Kinder- und Jugendliteratur. Überlegungen zur Systematik, Didaktik und Verbreitung (SVETLANA VISHEK) 167 Bannasch, Bettina/Matthes, Eva (Hrsg.): Kinder- und Jugendliteratur. Historische, erzähl- und medientheoretische, pädagogische und therapeutische Perspektiven (susanne blumesberger) 169 Batzke, Ina/ Erbacher, Eric C. /Heß, Linda M. / Lenhardt, Corinna (Hrsg.): Exploring the Fantastic. Genre, Ideology, and Popular Culture (THOMAS BITTERLICH) 170 Bertling, Maria: All-Age-Literatur. Die Entdeckung einer neuen Zielgruppe und ihrer Rezeptionsmodalitäten (NICOLA KÖNIG) 172 Blümer, Agnes: Mehrdeutigkeit übersetzen. Englische und französische Kinderliteraturklassiker der Nachkriegszeit in deutscher Übertrag (MARTINA SEIFERT) 174 Blumesberger, Susanne/Thunecke, Jörg (Hrsg.): Deutschsprachige Kinder- und Jugendliteratur während der Zwischenkriegszeit und im Exil. Schwerpunkt Österreich (KURT FRANZ) 176 Busch, Nathanael /Velten, Hans Rudolf (Hrsg.): Die Literatur des Mittelalters im Fantasyroman (SONJA LOIDL) 178 Cave, Roderick/Ayad, Sara (Hrsg.): Die Geschichte des Kinderbuches in 100 Büchern (ERNST SEIBERT) 180 Dettmar, Ute/Pecher, Claudia Maria/Schlesinger, Ron (Hrsg.): Märchen im Medienwechsel. Zur Geschichte und Gegenwart des Märchenfilms (MICHAEL STIERSTORFER) 182 Dommermuth, Clarissa: Wir sind dagegen – denn ihr seid dafür. Zur Tradition literarischer Jugendbewegungen im deutschsprachigen Raum (SUSANNE BLUMESBERGER) 184 Ellerbach, Benoît: L’Arabie contée aux Allemands. Fictions interculturelles chez Rafik Schami (ANNETTE KLIEWER) 185 Enklaar, Jattie/ Ester, Hans /Tax, Evelyne (Hrsg.): Studien über Kinder- und Jugendliteratur im europäischen Austausch von 1800 bis heute (IRIS SCHÄFER) 187 Ewers, Hans-Heino: Michael Ende neu entdecken. Was »Jim Knopf«,»Momo« und »Die unendliche Geschichte« Erwachsenen zu sagen haben (MARKUS JANKA) 189 Flegel, Monica/Parkes, Christopher (Hrsg.): Cruel Children in Popular Texts and Cultures (LENA HOFFMANN) 191 Garbe, Christine/Gürth, Christina et al. (Hrsg.): Attraktive Lesestoffe (nicht nur) für Jungen. Erzählmuster und Beispielanalysen zu populärer Kinder- und Jugendliteratur (THOMAS BITTERLICH) 193 Goga, Nina/Kümmerling-Meibauer, Bettina (Hrsg.): Maps and Mapping in Children’s Literature. Landscapes, Seascapes, and Cityscapes (Wolfgang Biesterfeld) 195 Hamer, Naomi /Nodelman, Perry / Reimer, Mavis (Hrsg.): More Words about Pictures. Current Research on Picturebooks and Visual/Verbal Texts for Young People (FARRIBA SCHULZ) 196 Hoffmann, Lena: Crossover. Mehrfachadressierung in Text, Markt und Diskurs (HEIDI LEXE) 198 Josting, Petra/Reuter, Frank/Roeder, Caroline/Wolters, Ute (Hrsg.): »Denn sie rauben sehr geschwind jedes böse Gassenkind.« ›Zigeuner‹-Bilder in Kinder- und Jugendmedien (KURT FRANZ) 200 Langemeyer, Peter /Knutsen, Karen Patrick (Hrsg.): Narratology Plus. Studies in Recent International Narratives for Children and Young Adults / Narratologie Plus. Studien zur Erzählweise in aktueller internationaler Kinder- und Jugendliteratur (NADINE BIEKER) 202 Museumsinsel Lüttenheid (Hrsg.): Rudolf Dirks. Zwei Lausbuben und die Erfindung des modernen Comics (LUKAS SARVARI) 204 Oeste, Bettina/Preußer, Ulrike (Hrsg.): Neuvermessung deutschsprachiger Erinnerungsstrategien in der Kinder- und Jugendliteratur nach 1990 (annette kliewer) 206 Planka, Sabine (Hrsg.): Berlin. Bilder einer Metropole in erzählenden Medien für Kinder und Jugendliche (KATHARINA EGERER) 208 Press, Alexander: Die Bilder des Comics. Funktionsweisen aus kunst- und bildwissenschaftlicher Perspektive (RALF VOLLBRECHT) 209 Schenk, Klaus /Zeisberg, Ingold (Hrsg.): Fremde Räume. Interkulturalität und Semiotik des Phantastischen (ANNETTE KLIEWER) 211 Schweizerisches Institut für Kinder- und Jugendmedien SIKJM (Hrsg.): Atlas der Schweizer Kinderliteratur. Expeditionen und Panoramen (SUSANNE RIEGLER) Sammelrezensionen 213 Heinemann, Caroline: Produktionsräume im zeitgenössischen Kinder- und Jugendtheater. – Hentschel, Ingrid: Theater zwischen Ich und Welt. Beiträge zur Ästhetik des Kinder- und Jugendtheaters. Theorien – Praxis – Geschichte (PHILIPP SCHMERHEIM) 215 Janka, Marcus /Stierstorfer, Michael (Hrsg.): Verjüngte Antike. Griechisch-römische Mythologie in zeitgenössischen Kinder- und Jugendmedien. – Stierstorfer, Michael: Antike Mythologie in der Kinder- und Jugendliteratur der Gegenwart. Unsterbliche Götter- und Heldengeschichten? (KARINA BECKER) 218 Josting, Petra/Kruse, Iris (Hrsg.): Paul Maar. Bielefelder Poet in Residence 2015 | Paderborner Kinderliteraturtage 2016. – Wicke, Andreas /Roßbach, Nikola (Hrsg.): Paul Maar. Studien zum kinder- und jugendliterarischen Werk (SONJA MÜLLER-CARSTENS
    corecore