Search Results - "Memory"

Refine Results
  1. 8221

    Remembering African Labor Migration to the Second World Socialist Mobilities between Angola, Mozambique, and East Germany / by Schenck, Marcia C.

    Published 2023
    Table of Contents: “…Chapter 1: Introduction -- Chapter 2: Between the Hammer, Machete, and Kalashnikov: Labor Migration from Angola and Mozambique to East Germany 1979-90 -- Chapter 3: Socialist Workers and Socialist Consumers -- Chapter 4: The Social Life of Socialism: Intimacy and Racism -- Chapter 5: Return, Fall and Rise of the Madjerman: The Afterlives of Socialist Migration -- Chapter 6: Temporality, Memory and Meaning: Eastalgia in Angola and Mozambique -- Chapter 7: Epilogue: Transnational Sojourners, Intimate Strangers, and Workers of the World.…”
    Link to Metadata
    Electronic eBook
  2. 8222

    Fundamental Approaches to Software Engineering 22nd International Conference, FASE 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

    Published 2019
    Table of Contents: “…FASE Invited Talk -- Software Assurance in an Uncertain World -- Software Verification -- Tool Support for Correctness-by-Construction -- Automatic Modeling for Opaque Code in JavaScript Static Analysis -- SMT-Based Bounded Schedulability Analysis of the Clock Constraint Specification Language -- A Hybrid Dynamic Logic for Event/Data-based Systems -- Model-driven Development and Model Transformation -- Pyro: Generating Domain-Specific Collaborative Online Modeling Environments -- Efficient Model Synchronization by Automatically Constructed Repair Processes -- Offline Delta-driven Model Transformation with Dependency Injection -- A Logic-Based Incremental Approach to Graph Repair -- Software Verification -- DeepFault: Fault Localization For Deep Neural Networks -- Variability Abstraction and Refinement for Game-based Lifted Model Checking of full CTL -- Formal Verification of Safety and Security Related Timing Constraints for A Cooperative Automotive System -- Checking Observational Purity Of Procedures -- Software Evolution & Requirements Engineering -- Structural and Nominal Cross-Language Clone Detection -- SL2SF: Refactoring Simulink to Stateflow -- Metric Temporal Graph Logic over Typed Attributed Graphs -- KupC: A Formal Tool for Modeling and Verifying Dynamic Updating of C Programs -- Business Process Privacy Analysis in PLEAK -- Specification, Design, and Implementation of Particular Classes of Systems -- CLTestCheck: Measuring Test Effectiveness for GPU Kernels -- Implementing SOS with Active Objects: A Case Study of a Multicore Memory System -- Optimal and Automated Deployment for Microservices -- A Data Flow Model with Frequency Arithmetic -- Software Testing -- CoVeriTest: Cooperative Verifier-Based Testing -- Pardis: Priority Aware Test Case Reduction -- Automatically Identifying Sufficient Object Builders from Module APIs.…”
    Link to Metadata
    Electronic eBook
  3. 8223

    Computational Cognitive Modeling and Linguistic Theory by Brasoveanu, Adrian, Dotlačil, Jakub

    Published 2020
    Table of Contents: “…Semantics as a cognitive process I: Discourse Representation Structures in declarative memory -- Chapter 9. Semantics as a cognitive process II: Active search for cataphora antecedents and the semantics of conditionals -- Chapter 10. …”
    Link to Metadata
    Electronic eBook
  4. 8224

    Chronotropics Caribbean Women Writing Spacetime /

    Published 2023
    Table of Contents: “…1: Introduction: Chronotropics -- Part I: Defiances/Divergences/Digressions -- 2: Of Slave Ships as Chronotopes: Fabienne Kanor's Humus and Yolanda Arroyo Pizarro's Las Negras -- 3: Wreckognition: Archival Ruins in Dionne Brand's The Blue Clerk -- 4: Past Histories and Present Realities: Reading Desire and Difference in Mayra Santos Febres' Fe en disfraz -- 5: Haunting Genealogies: Indo-Caribbean Feminist Literary Reimaginings of the Monstrous Past -- Part II: Traumas/Restructures/Retracings -- 6: Connecting Diasporas: Reading Erna Brodber's Work through African Fractal Theory -- 7: When the Tout-Monde is not one: Maryse Condé's Problematic 'World-in-Motion' in Les belles ténébreuses (2008) and Le fabuleux et triste destin d'Ivan et Ivana (2017) -- 8: Writing "In Transit": Literary Constructions of Sovereignty in Julia Alvarez's Afterlife -- Part III: Destruction/Desires/Disruptions -- 9: Beyond the Crossroad: Caribbean Environments, Gender and Race in Pauline Melville's The Ventriloquist's Tale and Elizabeth Nunez's Prospero's Daughter -- 10: Creolized Ecology in Mayra Montero's Palm of Darkness -- 11: Canadian Re-mapping of Caribbean Desire in Nalo Hopkinson's Sister Mine and Shani Mootoo's He Drown She in the Sea -- Part IV: Bilocation/Inhabitations/(G)hostings -- 12: Spiritual Crossings: Olokún and Caribbean Futures Past in La mucama de Omicunlé by Rita Indiana Hernández -- 13: A Site of Memory: Revisiting (in) Gisèle Pineau's Mes quatre femmes -- 14: At the Crossroads of History: The Cohabitation of Past and Present in Kettly Mars's L'Ange du patriarche -- 15: Fiction as a Spider's Web? …”
    Link to Metadata
    Electronic eBook
  5. 8225

    Investigations Into the Phenomenology and the Ontology of the Work of Art What are Artworks and How Do We Experience Them? /

    Published 2015
    Table of Contents: “…Bundgaard -- Temporal aspects of literary reading; David S. Miall -- Memory and mental states in the appreciation of literature; Marisa Bortolussi and Peter Dixon -- Temporal conflict in the reading experience; Cathrine Kietz -- The aesthetic experience with visual art "at first glance"; Paul J. …”
    Link to Metadata
    Electronic eBook
  6. 8226
  7. 8227
  8. 8228
  9. 8229
  10. 8230
  11. 8231
  12. 8232
  13. 8233
  14. 8234
  15. 8235
  16. 8236
  17. 8237

    The Digital Black Atlantic

    Published 2021
    DOAB: download the publication
    DOAB: description of the publication
    Electronic Book Chapter
  18. 8238
  19. 8239
  20. 8240