ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • Books  (54)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Software Engineering
  • thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
  • Springer Nature  (54)
  • English  (54)
  • Italian
Collection
  • Books  (54)
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book demonstrates that despite different epistemological starting points, history and speculative fiction perform similar work in “making the strange familiar” and “making the familiar strange” by taking their readers on journeys through space and time. Excellent history, like excellent speculative fiction, should cause readers to reconsider crucial aspects of their society that they normally overlook or lead them to reflect on radically different forms of social organization. Drawing on Gunlög Fur’s postcolonial concept of concurrences, and with contributions that explore diverse examples of speculative fiction and historical encounters using a variety of disciplinary approaches, this volume provides new perspectives on colonialism, ecological destruction, the nature of humanity, and how to envision a better future.
    Keywords: Science Fiction ; speculative fiction ; historical fiction ; postcolonialism ; Literature and Postcolonial Studies ; alternative realities ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book demonstrates that despite different epistemological starting points, history and speculative fiction perform similar work in “making the strange familiar” and “making the familiar strange” by taking their readers on journeys through space and time. Excellent history, like excellent speculative fiction, should cause readers to reconsider crucial aspects of their society that they normally overlook or lead them to reflect on radically different forms of social organization. Drawing on Gunlög Fur’s postcolonial concept of concurrences, and with contributions that explore diverse examples of speculative fiction and historical encounters using a variety of disciplinary approaches, this volume provides new perspectives on colonialism, ecological destruction, the nature of humanity, and how to envision a better future.
    Keywords: Science Fiction ; speculative fiction ; historical fiction ; postcolonialism ; Literature and Postcolonial Studies ; alternative realities ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-27
    Description: This book deconstructs androcentric approaches to spacetimeinherited from western modernity through its theoretical frame of the chronotropics. It sheds light on the literary acts of archival disruption, radical remapping, and epistemic marronnage by twenty-first-century Caribbean women writers to restore a connection to spacetime, expanding it within and beyond the region. Arguing that the chronotropics points to a vocation for social justice and collective healing, this pan-Caribbean volume returns to autochthonous ontologies and epistemologies to propose a poetics and politics of the chronotropics that is anticolonial, gender inclusive, pluralistic, and non-anthropocentric. This is an open access book.
    Keywords: Literature, Gender and Sexuality ; Literature and Postcolonial Studies ; Literature and the Environment ; Capitalism ; Eurocentric ; Legacy of slavery ; Economic order ; Temporality ; Mikhail Bakhtin ; Anti-colonial ; Violence ; Diaspora ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000::DSBH5 Literary studies: postcolonial literature ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book challenges the contemporary relevance of the current model of knowledge production. It argues that the full digitisation of society sharply accelerated by the COVID-19 pandemic has added extreme complexity to the world, conclusively exposing the inadequacy of our current model of knowledge creation. Addressing many of the different ways in which reality has been transformed by technology – the pervasive adoption of big data, the fetishisation of algorithms and automation, and the digitalisation of education and research – Viola examines how the rigid conceptualisation in disciplines’ division and competition is complicit of promoting a narrative which has paired computational methods with exactness and neutrality whilst stigmatising consciousness and criticality as carriers of biases and inequality. Taking the humanities as a focal point, the author retraces schisms in the field between the humanities, the digital humanities and critical digital humanities; these are embedded, she argues, within old dichotomies: sciences vs humanities, digital vs non-digital and authentic vs non-authentic. Through the analysis of personal use cases and exploring a variety of applied contexts such as digital heritage practices, digital linguistic injustice, critical digital literacy and critical digital visualisation, the book shows a third way: knowledge creation in the digital.
    Keywords: Digital Hermeneutics ; digital history ; data humanities ; digital turn ; computational methods ; metadata ; information technology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-06
    Description: This open access book contributes to the discourse of Responsible Artificial Intelligence (AI) from an African perspective. It is a unique collection that brings together prominent AI scholars to discuss AI ethics from theoretical and practical African perspectives and makes a case for African values, interests, expectations and principles to underpin the design, development and deployment (DDD) of AI in Africa. The book is a first in that it pays attention to the socio-cultural contexts of Responsible AI that is sensitive to African cultures and societies. It makes an important contribution to the global AI ethics discourse that often neglects AI narratives from Africa despite growing evidence of DDD in many domains. Nine original contributions provide useful insights to advance the understanding and implementation of Responsible AI in Africa, including discussions on epistemic injustice of global AI ethics, opportunities and challenges, an examination of AI co-bots and chatbots in an African work space, gender and AI, a consideration of African philosophies such as Ubuntu in the application of AI, African AI policy, and a look towards a future of Responsible AI in Africa. This is an open access book.
    Keywords: Artificial Intelligence ; AI Ecosystems in Africa ; AI ethics ; digital culture ; SDGs ; Sustainable Development Goals ; AI policy ; ICT infrastructure in Africa ; AI governance ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-24
    Description: This open access book focuses on the textual features, or ‘strategies’, which form popularization discourse. In popularization discourse, research findings from academia are re-presented to make them noteworthy to society and influential for everyday life. Popularization involves recontextualization, or reimagination of findings in an everyday and newsworthy context, and reformulation, the use of audience-appropriate language to increase text comprehension and engagement. ‘Re-presenting research’ presents an empirically grounded, analytic framework for the analysis of popularization texts. Its applicability spans across disciplinary, multidisciplinary, and interdisciplinary fields, and overarches science communication, science journalism, and research communication. The book offers theoretical background information on popularization discourse, empirical underpinning of the construction of the framework, and practical applicability in examples from multiple text types and academic fields. This book acts as a guide for those working with or on popularization discourse – whether it is to analyze it or learn about it.
    Keywords: popularization discourse ; discourse analysis ; science journalism ; textual features ; media and communication ; linguistic strategies ; science writing ; popular science ; thema EDItEUR::C Language and Linguistics::CF Linguistics ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-27
    Description: This open-access book investigates Francophone Caribbean literature by exploring and analyzing French seventeenth-century travel writings. The book argues for a literary re-examination of the representation of the early colonial Caribbean by proposing theoretical linkages to contemporary Caribbean theories of creolization and archipelagic thinking. Using Édouard Glissant’s notion of points of entanglement, Christina Kullberg claims that the historical, social, and political messiness of the Caribbean seventeenth century make for complex representations and expressions, generating textual instability despite the travelers’ apparent desires to domesticate the islands. Taking a synoptic approach to travel narratives in French from 1620 up to the publication of Labat’s Nouveau voyage aux Isles de l’Amérique in 1722, Kullberg examines textual instances where the islands and the peoples of this period disrupt and unsettle dominant French narratives and enter productively into the construction of knowledge and the representations of the region. Kullberg’s contribution is to read French early modern travels in situ as shaped by the archipelagic geography, its history and social formations in order to interrogate both the construction and the limitations of discourses of power.
    Keywords: travel writing ; Caribbean literature ; French seventeenth-century travelogues ; Francophone Caribbean ; Édouard Glissant ; baroque period ; archipelagic ; colonialism ; geography ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000::DSBH5 Literary studies: postcolonial literature ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTQ Colonialism and imperialism ; thema EDItEUR::N History and Archaeology::NH History::NHD European history
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-03-26
    Description: This open access book includes forty-one chapters about foreign observers’ discourses on Japan. These include a wide range of perspectives from the travelogues of curious visitors to academic theses by scholars, which offer us a broad spectrum of contents, reflecting a variety of attitudes toward Japan. The works were written during the period from the 1850s to the 1980s, a timespan during which Japan became, in stages, more open to the outside world after a long isolation under the Tokugawa shogunate. From the perspective of “Japanology,” one can discern three distinct periods of rising interest in the country from abroad. The first tide of such interest came shortly after the opening of Japan, when various foreign travelers, including those who could not be included in this book, came over and wrote down their impressions of the country—which was, for them, a land of mystery and mystique, which had just opened its doors to them. The second wave arose at the beginning of the twentieth century, just after the Russo-Japanese War, when Japan again generated a remarkable surge of interest as a “miracle” in Asia that had pulled off the wondrous feat of defeating a white superpower. The third wave was more recent, which took place from the late 1960s to the 1980s, a period of high economic growth when the “miracle” of Japan’s remarkable economic recovery from the defeat of World War II attracted enthusiastic and curious attention from the outside world once again. It is not the intention of this book to directly highlight such historical transitions, but these forty-two brilliant mirrors (forty-one chapters, including forty-two discourses), even when looked in casually, provide us with unexpected insights and various perspectives. Shōichi Saeki (1922–2016) was Professor Emeritus, the University of Tokyo. Tōru Haga (1931–2020) was Professor Emeritus, International Research Center for Japanese Studies.
    Keywords: Ivan Aleksandrovich Goncharov ; Sir Rutherford Alcock ; Ernest Mason Satow ; William Elliot Griffiths ; Percival Lowell ; Basil Hall Chamberlain ; Lafcadio Hearn ; Ludwig Riess ; Erwin von Balz ; Mustafa Kamil Pasha ; Ernest Francisco Fenollosa ; Edward Sylvester Morse ; Rabindranath Tagore ; Donald Keene ; Edwin Oldfather Reischauer ; Edward Seidensticker ; Maurice Pinguet ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations::JPSD Diplomacy ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book suggests new ways of reading nineteenth-century African American literature environmentally. Combining insights from ecocriticism, African American studies, and Foucauldian theory, Matthias Klestil examines forms of environmental knowledge in African American writing ranging from antebellum slave narratives and pamphlets to Charlotte Forten’s journals, Booker T. Washington’s autobiographies, and Charles W. Chesnutt’s short fiction. The volume highlights how literary forms of environmental knowledge in the African American tradition were shaped by the histories of slavery and race, mainstream environmental writing traditions, and African American forms of expression and intertextuality. Turning to the Underground Railroad, debates over education and home-building, and the aesthetics of the pastoral and the georgic, Environmental Knowledge, Race, and African American Literature provides an original perspective on the African American ecoliterary tradition that uncovers new facets of canonical and understudied texts and offers new directions for ecocriticism and African American studies.
    Keywords: African American literature ; environmental humanities ; ecocriticism ; antebellum ; race studies ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBF Literary studies: c 1800 to c 1900 ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides information how to choose and collect the appropriate metrics for a software project in an organization. There are several kinds of metrics, based on the analysis of source code and developed for different programming paradigms such as structured programming and object-oriented programming (OOP). This way, the book follows three main objectives: (i) to identify existing and easily-collectible measures, if possible in the early phases of software development, for predicting and modeling both the traditional attributes of software systems and attributes specifically related to their efficient use of resources, and to create new metrics for such purposes; (ii) to describe ways to collect these measures during the entire lifecycle of a system, using minimally-invasive monitoring of design-time processes, and consolidate them into conceptual frameworks able to support model building by using a variety of approaches, including statistics, data mining and computational intelligence; and (iii) to present models and tools to support design time evolution of systems based on design-time measures and to empirically validate them. The book provides researchers and advanced professionals with methods for understanding the full implications of alternative choices and their relative attractiveness in terms of enhancing system resilience. It also explores the simultaneous use of multiple models that reflect different system interpretations or stakeholder perspectives.
    Keywords: Software Engineering ; Software Metrics ; Software Sustainability ; Software Quality Assurance ; Green Software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-03
    Description: This open access edited collection explores various aspects of how oceanic im/ mobilities have been framed and articulated in the literary and cultural imagination. It covers the entanglements of maritime mobility and immobility as they are articulated and problematized in selected literature and cultural forms from the early modern period to the present. In particular, it brings cultural mobility studies into conversation with the maritime and oceanic humanities. The contributors examine the interface between the traditional Eurocentric imagination of the sea as romantic and metaphorical, and the materiality of the sea as a deathbed for racialized and illegalized humans as well as non-human populations
    Keywords: mobilities studies ; maritime studies ; oceanic humanities ; postcolonial literature ; maritime literature ; overfishing ; water conservation ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000::DSBH5 Literary studies: postcolonial literature ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-11
    Description: This open access book addresses the protection of privacy and personality rights in public records, records management, historical sources, and archives; and historical and current access to them in a broad international comparative perspective. Considering the question “can archiving pose a security risk to the protection of sensitive data and human rights?”, it analyses data security and presents several significant cases of the misuse of sensitive personal data, such as census data or medical records. It examines archival inflation and the minimisation and reduction of data in public records and archives, including data anonymisation and pseudonymisation, and the risks of deanonymisation and reidentification of persons. The book looks at post-mortem privacy protection, the relationship of the right to know and the right to be forgotten and introduces a specific model of four categories of the right to be forgotten. In its conclusion, the book presents a set of recommendations for archives and records management.
    Keywords: Privacy rights ; Archives and human rights ; Personal data storage ; Archiving ; Right to be forgotten ; Post-mortem privacy ; Privacy protection ; thema EDItEUR::N History and Archaeology::NH History::NHA History: theory and methods::NHAH Historiography ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::U Computing and Information Technology::UR Computer security
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | J.B. Metzler
    Publication Date: 2024-04-07
    Description: Dieser Open Access-Band dokumentiert die Beiträge des DFG-Symposions 2017 und ist Teil der Reihe der DFG-Symposionsbände. Die Tagung 2017 zum Thema „Digitale Literaturwissenschaft“ behandelte in vier Sektionen die Veränderungen, die das Fach der germanistischen Literaturwissenschaft als ganzes und in einzelnen seiner Arbeitsbereiche erfahren hat, wie auch die des Gegenstands, der Literatur, selbst. Insbesondere in zwei Arbeitsfeldern sind in den letzten Jahren größere Fortschritte erzielt worden. Zum einen im Feld der digitalen Edition und Annotation literarischer Texte, zum anderen im Bereich der Textanalyse, vor allem der Untersuchung von größeren Textsammlungen. Durch diese Erweiterungen des literaturwissenschaftlichen Methodeninventars haben sich auch die Anforderungen an forschungsrelevante Institutionen, wie etwa Archive und Bibliotheken, und die Beziehungen zu ihnen einschneidend verändert.
    Keywords: Edition ; Annotation ; Textanalyse ; Hermeneutik ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: German , English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book offers innovative and wide-ranging responses to the continuously flourishing literary phenomenon of autofiction. The book shows the insights that are gained in the shift from the genre descriptor to the adjective, and from a broad application of “the autofictional” as a theoretical lens and aesthetic strategy. In three sections on “Approaches,” “Affordances,” and “Forms,” the volume proposes new theoretical approaches for the study of autofiction and the autofictional, offers fresh perspectives on many of the prominent authors in the discussion, draws them into a dialogue with autofictional practice from across the globe, and brings into view texts, forms, and media that have not traditionally been considered for their autofictional dimensions. The book, in sum, expands the parameters of research on autofiction to date to allow new voices and viewpoints to emerge.
    Keywords: Autofiction ; Autobiography ; Life writing ; Comparative literature ; World literature ; Narrative theory ; Biography ; Memoir ; Identity studies ; Postcolonialism ; Travel writing ; Open Access ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory ; thema EDItEUR::D Biography, Literature and Literary studies ; thema EDItEUR::N History and Archaeology::NH History::NHA History: theory and methods::NHAH Historiography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use. In spite of the fact that these two schools both have ‘linguistics’ in their name, so far there has been very limited communication between them, as their historical origins, data collection methods, and conceptual apparatuses are quite different. Vector semantics bridges the gap by presenting a formal theory, cast in terms of linear polytopes, that generalizes both word vectors and conceptual structures, by treating each dictionary definition as an equation, and the entire lexicon as a set of equations mutually constraining all meanings.
    Keywords: Semantics ; Natural Language Processing ; Computational Linguistics ; Artificial Intelligence ; explainable AI ; Artificial Neural Nets ; lexical semantics ; word vectors ; embeddings ; dynamic embeddings ; algebraic semantic ; knowledge bases ; machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: In the present as in the past, the dead have been deployed to promote visions of identity, as well as ostensibly wider human values. Through a series of case studies from ancient Egypt through prehistoric, historic, and present-day Europe, this book discusses what is constant and what is locally and historically specific in our ways of interacting with the remains of the dead, their objects, and monuments. Postmortem interaction encompasses not only funerary rituals and intergenerational engagement with forebears, but also concerns encounters with the dead who died centuries and millennia ago. Drawing from a variety of disciplines such as archaeology, bioarchaeology, literary studies, ancient Egyptian philology, and sociocultural anthropology, this volume provides an interdisciplinary account of the ways in which the dead are able to transcend temporal distances and engender social relationships. Until quite recently, literary sciences and archaeology were generally regarded as incommensurable in their aims, methodologies, and source material. Although archaeologists and literary critics have been increasingly willing to borrow concepts and terminology from the other discipline, this book is one examples of a genuinely collaborative endeavor. This is an open access book.
    Keywords: mortuary archaeology ; dead-body politics ; memory studies ; agency of the dead ; archaeological theory ; literary studies ; medieval relics ; mass graves ; burial monuments ; prehistoric graves ; History of Egyptian Sepulchral Monuments ; Iron Age in Northern Central Europe ; Historic Sources about the Uses of the Dead ; Literary Tombs in the Twelfth Century ; Archaeological Traces in Beowulf ; National Identity through Merovingian Burials ; Skeletal Remains of Saint Erik ; Dissolving Subjects in Medieval Reliquaries ; Shakespearean Exhumations ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-24
    Description: This open access book attempts to show that an examination of the list’s formal features has the potential to produce genuine insights into the production of knowledge, the poetics of literature and the composition of visual art. Following a conceptual introduction, the twelve single-authored chapters place the list in a variety of well-researched contexts, including ancient Roman historiography, medieval painting, Enlightenment periodicals, nineteenth-century botanical geography, American Beat poetry and contemporary photobooks. With its interdisciplinary approach, this book is a unique contribution to an emerging field dedicated to the study of lists.
    Keywords: list making ; enumeration ; epistemology ; narrative ; new formalism ; epistemic form ; narrativity ; lists ; Open Access ; thema EDItEUR::D Biography, Literature and Literary studies ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-26
    Description: This open access book explores commentaries on an influential text of pre-Copernican astronomy in Europe. It features essays that take a close look at key intellectuals and how they engaged with the main ideas of this qualitative introduction to geocentric cosmology. Johannes de Sacrobosco compiled his Tractatus de sphaera during the thirteenth century in the frame of his teaching activities at the then recently founded University of Paris. It soon became a mandatory text all over Europe. As a result, a tradition of commentaries to the text was soon established and flourished until the second half of the 17th century. Here, readers will find an informative overview of these commentaries complete with a rich context. The essays explore the educational and social backgrounds of the writers. They also detail how their careers developed after the publication of their commentaries, the institutions and patrons they were affiliated with, what their agenda was, and whether and how they actually accomplished it. The editor of this collection considers these scientific commentaries as genuine scientific works. The contributors investigate them here not only in reference to the work on which it comments but also, and especially, as independent scientific contributions that are socially, institutionally, and intellectually contextualized around their authors.
    Keywords: History ; History ; Europe—History ; Mathematics ; History ; Books—History ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBX History of mathematics ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: Communications Engineering, Networks; Computer Communication Networks; Software Engineering; Computational Intelligence
    Keywords: Communications Engineering, Networks ; Computer Communication Networks ; Software Engineering ; Computational Intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-26
    Description: This open access collection offers a detailed mapping of recent Nordic literature and its different genres (fiction, poetry, and children’s literature) through the perspective of spatiality. Concentrating on contemporary Nordic literature, the book presents a distinctive view on the spatial turn and widens the understanding of Nordic literature outside of canonized authors. Examining literatures by Danish, Norwegian, Swedish, and Finnish authors, the chapters investigate a recurrent theme of social criticism and analyze this criticism against the welfare state and power hierarchies in spatial terms. The chapters explore various narrative worlds and spaces—from the urban to parks and forests, from textual spaces to spatial thematics, studying these spatial features in relation to the problems of late modernity.
    Keywords: Literature ; European literature ; Literature, Modern—20th century ; Literature, Modern—21st century ; Literature—Philosophy ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000 ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSA Literary theory ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Keywords: User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access book studies breath and breathing in literature and culture and provides crucial insights into the history of medicine, health and the emotions, the foundations of beliefs concerning body, spirit and world, the connections between breath and creativity and the phenomenology of breath and breathlessness. Contributions span the classical, medieval, early modern, Romantic, Victorian, modern and contemporary periods, drawing on medical writings, philosophy, theology and the visual arts as well as on literary, historical and cultural studies. The collection illustrates the complex significance and symbolic power of breath and breathlessness across time: breath is written deeply into ideas of nature, spirituality, emotion, creativity and being, and is inextricable from notions of consciousness, spirit, inspiration, voice, feeling, freedom and movement. The volume also demonstrates the long-standing connections between breath and place, politics and aesthetics, illuminating both contrasts and continuities.
    Keywords: health humanities ; medical humanities ; breath in literature ; COPD ; breathlessness ; literature and science ; Open Access ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-26
    Description: This open access collection of essays examines the literary advice industry since its emergence in Anglo-American literary culture in the mid-nineteenth century within the context of the professionalization of the literary field and the continued debate on creative writing as art and craft. Often dismissed as commercial and stereotypical by authors and specialists alike, literary advice has nonetheless remained a flourishing business, embodying the unquestioned values of a literary system, but also functioning as a sign of a literary system in transition. Exploring the rise of new online amateur writing cultures in the twenty-first century, this collection of essays considers how literary advice proliferates globally, leading to new forms and genres.
    Keywords: History of the Book ; Nineteenth-Century Literature ; Creative Writing ; Literature and Technology/Media ; Culture and Technology ; Literature and Technology ; literary culture ; publishing culture ; literary advice manuals ; creative writing advice ; self-help books ; popular literature ; writing podcasts ; reading communities ; commercial writing culture ; popular amateur writing culture ; Open Access ; Literature: history & criticism ; Literary studies: c 1800 to c 1900 ; Creative writing & creative writing guides ; Literary studies: general ; Cultural studies ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBF Literary studies: c 1800 to c 1900 ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBV Creative writing and creative writing guides ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Publication Date: 2024-03-30
    Description: Business Information Systems; Software Engineering; Software Management; Management of Computing and Information Systems
    Keywords: Business Information Systems ; Software Engineering ; Software Management ; Management of Computing and Information Systems ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book presents a set of basic techniques for estimating the benefit of IT development projects and portfolios. It also offers methods for monitoring how much of that estimated benefit is being achieved during projects. Readers can then use these benefit estimates together with cost estimates to create a benefit/cost index to help them decide which functionalities to send into construction and in what order. This allows them to focus on constructing the functionality that offers the best value for money at an early stage. Although benefits management involves a wide range of activities in addition to estimation and monitoring, the techniques in this book provides a clear guide to achieving what has always been the goal of project and portfolio stakeholders: developing systems that produce as much usefulness and value as possible for the money invested. The techniques can also help deal with vicarious motives and obstacles that prevent this happening. The book equips readers to recognize when a project budget should not be spent in full and resources be allocated elsewhere in a portfolio instead. It also provides development managers and upper management with common ground as a basis for making informed decisions.
    Keywords: Mathematical Software ; Software Engineering ; open access ; benefits management ; benefit points ; earned business ; value management ; benefit/costs index ; uncertainty assessment ; periodization ; Mathematical & statistical software ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Keywords: Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-23
    Description: Based on extensive archival research, this open access book examines the poetics and politics of the Dublin Gate Theatre (est. 1928) over the first three decades of its existence, discussing some of its remarkable productions in the comparative contexts of avant-garde theatre, Hollywood cinema, popular culture, and the development of Irish-language theatre, respectively. The overarching objective is to consider the output of the Gate in terms of cultural convergence – the dynamics of exchange, interaction, and acculturation that reveal the workings of transnational infrastructures.
    Keywords: Theatre History ; National/Regional Theatre and Performance ; British and Irish Literature ; National and Regional Theatre and Performance ; Literature ; Dublin Gate Theatre ; cultural exchange ; Ireland ; avant-garde ; North America ; experimental ; exchange ; interaction ; acculturation ; Open Access ; Theatre studies ; Literature: history & criticism ; thema EDItEUR::A The Arts::AT Performing arts::ATD Theatre studies ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2023-03-03
    Description: Information Systems Applications (incl. Internet); Business IT Infrastructure; Computer Appl. in Administrative Data Processing; Operations Management; Software Engineering; Special Purpose and Application-Based Systems; Business Information Systems; Ubiquitous Computing; Reference Architecture; Spatio-Temporal Systems; Smart Objects; Supply Chain Management; IoT; SCM; Web Applications; Internet of Things; Smart Homes; RFID
    Keywords: Information Systems Applications (incl. Internet) ; Business IT Infrastructure ; Computer Appl. in Administrative Data Processing ; Operations Management ; Software Engineering ; Special Purpose and Application-Based Systems ; Business Information Systems ; Ubiquitous Computing ; Reference Architecture ; Spatio-Temporal Systems ; Smart Objects ; Supply Chain Management ; IoT ; SCM ; Web Applications ; Internet of Things ; Smart Homes ; RFID ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNB Energy industries & utilities ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KND Manufacturing industries ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KND Manufacturing industries::KNDP Pharmaceutical industries ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::T Technology, engineering, agriculture::TC Biochemical engineering ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; bic Book Industry Communication::W Lifestyle, sport & leisure::WC Antiques & collectables::WCF Coins, banknotes, medals, seals (numismatics)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Keywords: Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-08
    Description: This open access book offers comprehensive information on Wang Yang-ming’s life, helping readers identify and grasp the foundations on which his philosophy was established. Though a great man, Wang had an extremely difficult life, full of many hardships. Based on various official histories, Wang’s own writings, and his disciples’ records, the book explores the legendary life of this ancient philosopher, who not only diligently pursued his objective of living as a sage, but also persistently sought the ideal state of a sage in ideology. The author also shares his own interpretations of the main aspects of Wang’s philosophy using simple and straightforward language. This book will help readers understand and appreciate Wang Yang-ming’s extraordinary life, his generous mind, deep thoughts and bright personality, inspiring them to pursue enriching lives. It offers a unique and insightful work for undergraduate students and all others interested in Wang’s philosophy and life story.
    Keywords: Non-Western Philosophy ; Asian Literature ; Philosophical Traditions ; Open Access ; Yang-ming Wang ; Philosophy of Mind ; The Oneness of Knowledge and Action ; Wang Shou-ren ; Ping Dong ; Legendary Life of Wang Yang-ming ; Master Yang-ming ; Wang Yun ; History of philosophy, philosophical traditions ; Literature: history & criticism ; bic Book Industry Communication::H Humanities::HP Philosophy::HPD Non-Western philosophy ; bic Book Industry Communication::D Literature & literary studies::DS Literature: history & criticism ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDH Philosophical traditions and schools of thought ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2021-02-10
    Description: This open access book is among the first cross-disciplinary works about Manufacturing 4.0. It includes chapters about the technical, the economic, and the social aspects of this important phenomenon. Together the material presented allows the reader to develop a holistic picture of where the manufacturing industry and the parts of the society that depend on it may be going in the future. Manufacturing 4.0 is not only a technical change, nor is it a purely technically driven change, but it is a societal change that has the potential to disrupt the way societies are constructed both in the positive and in the negative. This book will be of interest to scholars researching manufacturing, technological innovation, innovation management and industry 4.0.
    Keywords: Innovation/Technology Management ; Knowledge Management ; Software Engineering/Programming and Operating Systems ; Engineering, general ; Business and Management ; Management ; Software Engineering ; Technology and Engineering ; additive manufacturing ; materials research ; automation ; robotics ; analytics ; change management ; business models ; life-long learning ; societal adaption ; open access ; Research & development management ; Industrial applications of scientific research & technological innovation ; Knowledge management ; Operating systems ; Engineering: general ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV3 Knowledge management ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TB Technology: general issues::TBC Engineering: general
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the five nominees for the Ernst Denert Award for Software Engineering in 2019. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains five papers describing the works by Sebastian Baltes (U Trier) on Software Developers’Work Habits and Expertise, Timo Greifenberg’s thesis on Artefaktbasierte Analyse modellgetriebener Softwareentwicklungsprojekte, Marco Konersmann’s (U Duisburg-Essen) work on Explicitly Integrated Architecture, Marija Selakovic’s (TU Darmstadt) research about Actionable Program Analyses for Improving Software Performance, and Johannes Späth’s (Paderborn U) thesis on Synchronized Pushdown Systems for Pointer and Data-Flow Analysis – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Management ; Management of Computing and Information Systems ; IT in Business ; IT Operations ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Open Access ; Ernst Denert Award ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This book offers a concise and gentle introduction to finite element programming in Python based on the popular FEniCS software library. Using a series of examples, including the Poisson equation, the equations of linear elasticity, the incompressible Navier–Stokes equations, and systems of nonlinear advection–diffusion–reaction equations, it guides readers through the essential steps to quickly solving a PDE in FEniCS, such as how to define a finite variational problem, how to set boundary conditions, how to solve linear and nonlinear systems, and how to visualize solutions and structure finite element Python programs. This book is open access under a CC BY license.
    Keywords: Computational Science and Engineering ; Algorithms ; Visualization ; Mathematical Software ; Numerical Analysis ; Software Engineering/Programming and Operating Systems ; Data and Information Visualization ; Software Engineering ; Finite element ; FEniCS ; Partial Differential Equations ; Python ; Simulation ; Open access ; Maths for scientists ; Combinatorics & graph theory ; Mathematical & statistical software ; Operating systems ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBV Combinatorics and graph theory ; thema EDItEUR::U Computing and Information Technology::UF Business applications::UFM Mathematical and statistical software ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Keywords: Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access collection examines how higher education responds to the demands of the automation economy and the fourth industrial revolution. Considering significant trends in how people are learning, coupled with the ways in which different higher education institutions and education stakeholders are implementing adaptations, it looks at new programs and technological advances that are changing how and why we teach and learn. The book addresses trends in liberal arts integration of STEM innovations, the changing role of libraries in the digital age, global trends in youth mobility, and the development of lifelong learning programs. This is coupled with case study assessments of the various ways China, Singapore, South Africa and Costa Rica are preparing their populations for significant shifts in labour market demands – shifts that are already underway. Offering examples of new frameworks in which collaboration between government, industry, and higher education institutions can prevent lagging behind in this fast changing environment, this book is a key read for anyone wanting to understand how the world should respond to the radical technological shifts underway on the frontline of higher education.
    Keywords: Education ; Higher education ; Educational technology ; Humanities—Digital libraries ; Educational technology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNV Educational equipment and technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: Software Engineering; Software Development; Software Processes; Software Architectures; Software Management
    Keywords: Software Engineering ; Software Development ; Software Processes ; Software Architectures ; Software Management ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: Artificial Intelligence ; Mathematical Logic and Formal Languages ; Logics and Meanings of Programs ; Software Engineering ; Formal Languages and Automata Theory ; Computer Science Logic and Foundations of Programming ; automata theory ; boolean functions ; computer programming ; first order logic ; formal languages ; formal logic ; logic programming ; model checking ; program verification ; semantics ; software architecture ; software design ; software quality ; software verification ; theorem provers ; theorem proving ; Mathematical theory of computation ; Computer programming / software engineering ; Computer architecture & logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2023-12-20
    Description: This open access book includes contributions by leading researchers and industry thought leaders on various topics related to the essence of software engineering and their application in industrial projects. It offers a broad overview of research findings dealing with current practical software engineering issues and also pointers to potential future developments. Celebrating the 20th anniversary of adesso AG, adesso gathered some of the pioneers of software engineering including Manfred Broy, Ivar Jacobson and Carlo Ghezzi at a special symposium, where they presented their thoughts about latest software engineering research and which are part of this book. This way it offers readers a concise overview of the essence of software engineering, providing valuable insights into the latest methodological research findings and adesso’s experience applying these results in real-world projects.
    Keywords: QA75.5-76.95 ; Software Development ; Software Engineering ; Software Processes ; Software Management ; Software Architectures ; bic Book Industry Communication::U Computing & information technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-23
    Description: In this open access book, seventeen scholars discuss how contemporary Scandinavian art and media have become important arenas to articulate and stage various forms of vulnerability in the Scandinavian welfare states. How do discourses of privilege and vulnerability coexist and interact in Scandinavia? How do the Scandinavian countries respond to vulnerability given increased migration? How is vulnerability distributed in terms of margin and centre, normality and deviance? And how can vulnerability be used to move audiences towards each other and accomplish change? We address these questions in an interdisciplinary study that brings examples from celebrated and provocative fiction and documentary films, TV-series, reality TV, art installations, design, literature, graphic art, radio podcasts and campaigns on social media.
    Keywords: European Cinema and TV ; Arts ; Scandinavian ; Comparative Literature ; Open Access ; Productive Vulnerability ; Contemporary Art ; Welfare State ; Gendered Bodies ; Privilege ; Aesthetics ; Performing arts ; The arts: general issues ; Language: reference & general ; Scandinavian languages ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television ; thema EDItEUR::A The Arts::AB The arts: general topics ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Publication Date: 2024-04-07
    Description: Architecture and the Novel under the Italian Fascist Regime discusses the relationship between the novel and architecture during the Fascist period in Italy (1922-1943). By looking at two profoundly diverse aesthetic phenomena within the context of the creation of a Fascist State art, Billiani and Pennacchietti argue that an effort of construction, or reconstruction, was the main driving force behind both projects: the advocated “revolution” of the novel form (realism) and that of architecture (rationalism). The book is divided into seven chapters, which in turn analyze the interconnections between the novel and architecture in theory and in practice. The first six chapters cover debates on State art, on the novel and on architecture, as well as their historical development and their unfolding in key journals of the period. The last chapter offers a detailed analysis of some important novels and buildings, which have in practice realized some of the key principles articulated in the theoretical disputes.
    Keywords: Culture-Study and teaching ; Ethnology—Europe ; Cultural heritage ; Fine arts ; European literature ; Architecture ; thema EDItEUR::A The Arts::AF The Arts: art forms ; thema EDItEUR::A The Arts::AM Architecture::AMA Theory of architecture ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-30
    Description: Computer Systems Organization and Communication Networks; Software Engineering; Complex Systems; Information Systems Applications (incl. Internet); Computer Applications
    Keywords: Computer Systems Organization and Communication Networks ; Software Engineering ; Complex Systems ; Information Systems Applications (incl. Internet) ; Computer Applications ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNB Energy industries and utilities ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Operating systems ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Keywords: Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project (TOOP). The Once-Only Principle (OOP) is part of the seven underlying principles of the eGovernment Action Plan 2016-2020. It aims to make the government more effective and to reduce administrative burdens by asking citizens and companies to provide certain standard information to the public authorities only once. The project was horizontal and policy-driven with the aim of showing that the implementation of OOP in a cross-border and cross-sector setting is feasible. The book summarizes the results of the project from policy, organizational, architectural, and technical points of view.
    Keywords: Computer Applications ; Special Purpose and Application-Based Systems ; Programming Techniques ; Software Engineering/Programming and Operating Systems ; Computer Application in Administrative Data Processing ; Computer and Information Systems Applications ; Software Engineering ; access control ; communication systems ; computer systems ; cryptography ; databases ; Field Programmable Gate Array (FPGA) ; gateways (computer networks) ; information systems ; internet protocols ; network protocols ; object-oriented design ; object-oriented programming ; object-oriented programming languages ; signal processing ; social networks ; software architecture ; software design ; system architectures ; Information technology: general issues ; Expert systems / knowledge-based systems ; Computer programming / software engineering ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
    Keywords: Management of Computing and Information Systems ; IT in Business ; Software Engineering ; IT Operations ; XP ; Agile software development ; Extreme programming ; Lean development ; Software measurement ; open access ; Software maintenance ; Software testing ; Empirical software engineering ; Software management ; Software development techniques ; Business agility ; Information architecture ; Maintenance & repairs ; Business mathematics & systems ; Business applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...