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
  • Computer science  (74)
  • thema EDItEUR::N History and Archaeology::NH History  (73)
  • apoptosisBcl-GBcl-2 family
  • ground deformation
  • Springer Nature  (150)
  • American Institute of Physics (AIP)
  • Nature Publishing Group
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-06
    Description: This open access book provokes critical thinking regarding the most ambitious Chinese project since the founding of the People’s Republic of China, The Belt and Road Initiative (BRI). The book presents extensive quality research and original insights in assessing the status of China’s outbound investment and construction projects under the BRI umbrella. Referring to case studies and projects of selected countries from Southeast Asia, Central Asia, and the Middle East, the author sheds new light on the issues and problems associated with the BRI's implementation and discusses both the readjustments and prospects for the BRI. Finally, this book demarcates the limits and potential of the world’s second largest economy in pushing for the BRI, which is challenged by enormous domestic tensions and external pressures. It also identifies and analyzes potential new collaboration areas between the Belt and Road countries and China under the BRI framework in the context of the post-COVID-19 era. It provides an outstanding reference for academics, students, policymakers, and the business community working in areas of international affairs and Asian economics and development, particularly those interested in Sino-relations and Chinese power dynamics in the global world order.
    Keywords: Contemporary Chinese Politics ; Asian Economics ; Connectivity and Infrastructure Development ; One Belt One Road ; Southeast Asia ; Diplomacy ; East Asia ; International Relations ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; 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 ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; 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
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-07
    Description: This open access book aims to provide an overview of state-of-the-art approaches to 3D documentation from a practical perspective and formulate the most important areas for future developments. Bringing together a wide range of case studies, examples of best practice approaches, workflows, and first attempts to establish sustainable solutions to pressing problems, this book offers readers current practical advice on how to approach 3D archaeology and cultural heritage. Divided into five parts, this book begins with an overview of 3D archaeology in its present state. It goes on to give insights into the development of the technology and recent cutting-edge applications. The next section identifies current challenges in 3D archaeology and then presents approaches and solutions for data management of a large number of 3D objects and ways to ensure sustainable solutions for the archiving of the produced data. This book will be of interest to researchers working in the fields of archaeology, heritage management, and digital humanities in general.
    Keywords: 3D Documentation ; 3D-technologies in archaeology ; 3D Scanning in Archaeology ; Digital Archaeology ; Digital Archiving ; Image-based 3D-reconstruction ; Long-term Storage of Digital Data ; Photogrammetry ; 3D-Archaeology and Cultural Heritage ; Crossmodal search and visual exploration of 3D Cultural Heritage ; Data-Management and Scientific Usage of 3D-Data ; Case Studies in Cultural Heritage and Archaeology ; 3D spatial analysis of remains ; 3D-approach to rock art documentation ; application of image-based 3D technologies in archaeology ; 3D content in EUROPEANA ; 3D and archaeological data strategy ; Data management and handling of 3D-objects post-collection phase ; Integrating SFM technology in excavation ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHA History: theory and methods::NHAH Historiography ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::U Computing and Information Technology::UF Business applications
    Language: English
    Format: image/jpeg
    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-04-04
    Description: This open access book explores knowledge practices by five women from different European contexts. Contributors document, analyze, and discuss how women employed practices of privacy to pursue knowledge that did not necessarily conform with the curriculum prescribed for them. The practices of Jane Lumley in England, Camila Herculiana in Padua, Victorine de Chastenay in Paris, as well as Elisabeth Sophie Marie and Philippine Charlotte in Brunswick-Wolfenbüttel, will help us to exemplify the delicate balance between audacity and obedience that women had to employ to be able to explore science, literature, philosophy, theology, and other types of learned activities. Cases range from the sixteenth to the nineteenth century, presenting continuities and discontinuities across temporal and geographical lines of the strategies that women used to protect their knowledge production and retain intact their reputations as good Christian daughters, wives, and mothers. Taken together, the essays show how having access to privacy—the ability to regulate access to themselves while studying and learning—was a crucial condition for the success of the knowledge activities these women pursued. This is an open access book.
    Keywords: early modern Europe ; Camilla Herculiana ; Lady Jane Lumley ; Victorine de Chastenay ; public sphere ; domesticity ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTB Social and cultural history ; thema EDItEUR::N History and Archaeology::NH History ; 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 ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-24
    Description: This open access book takes the biographical case of German feminist Käthe Schirmacher (1865–1930), a multilingual translator, widely travelled writer of fiction and non-fiction, and a disputatious activist to examine the travel and translation of ideas between the women’s movements that emerged in many countries in the late 19th and early 20th century. It discusses practices such as translating, interpreting, and excerpting from journals and books that spawned and supported transnational civic spaces and develops a theoretical framework to analyse these practices. It examines translations of literary, scholarly and political texts and their contexts. The book will be of interest to academics as well as undergraduate and postgraduate students in the fields of modern history, women’s and gender history, cultural studies, transnational and transfer history, translation studies, history and theory of biography.
    Keywords: Travel ; Gender ; Käthe Schirmacher ; European history ; political history ; biography ; early 20th century ; late 19th century ; mobility ; equal rights ; women's emancipation ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTC Communication studies ; 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::JBCC Cultural studies ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTS Social and political philosophy ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    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 ...
  • 6
    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 ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-29
    Description: Marek Thee was a Jewish Polish journalist, scholar, and activist. This book tells his life from narrowly escaping death in the Holocaust to exile in Palestine, where he became attached to the Polish consular service. On his return to Poland in 1950, he worked for the Foreign Ministry and later for the Polish Institute for International Affairs. He served as Head of the Polish delegation to the International Control Commission in Indochina in the late 1950s. In 1968 he lost his job and his Polish citizenship in a nationalistic and antisemitic campaign. He was able to move to Norway where he worked for twenty years at the Peace Research Institute Oslo (PRIO), editing an international quarterly journal, Bulletin of Peace Proposals and doing research on the arms race. In retirement, he continued his research and writing at the Norwegian Human Rights Institute. The book vividly relates the drama of his life in Poland, Palestine, Indochina, and Norway. This is an open access book.
    Keywords: The Holocaust ; Palestine ; The Indochina wars ; Poland under communism ; Peace research ; Human rights ; Military research and development ; The arms race ; Disarmament and development ; Anti-semitism ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPS International relations ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPV Political control and freedoms::JPVH Human rights, civil rights
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book explores a wide-ranging discussion about the sociopolitical, cultural, and scientific ramifications of speciesism and world views that derive from it. In this light, it integrates subjects across the natural sciences, social sciences, and humanities. The 21st-century western world is anthropocentric to an extreme; we adopt unreasonably self-centered and self-serving ideas and lifestyles. Americans consume more energy resources per person than most other nations on Earth and have little concept of how human ecology and population biology interface with global sustainability. We draw upon religion, popular culture, politics, and technology to justify our views and actions, yet remain self-centered because our considerations rarely extend beyond our immediate interests. Stepping upward on the hierarchy from “racism,” “speciesism” likewise refers to the view that unique natural kinds (species) exist and are an important structural element of biodiversity. This ideology manifests in the cultural idea that humans are distinct from and intrinsically superior to other forms of life. It further carries a plurality of implications for how we perceive ourselves in relation to nature, how we view Judeo-Christian religions and their tenets, how we respond to scientific data about social problems such as climate change, and how willing we are to change our actions in the face of evidence.
    Keywords: Speciesism ; anthropocentric practices ; conservation biology ; ecological and evolutionary history ; environmental ethics ; religion and culture ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment::RNPG Climate change ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNK Conservation of the environment ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Publication Date: 2023-07-03
    Description: The 79 CE eruption of Vesuvius is the first documented Plinian eruption, also famous for the archaeological ruins of Pompeii and Herculaneum. Although much is known regarding the eruption dynamics and magma reservoir, little is known about the reservoir shape and growth, and related ground deformation. Numerical modelling by Finite Element Method was carried out, aimed at simulating the reservoir growth and ground deformation with respect to the reservoir shape (prolate, spherical, oblate) and magma overpressure. The modelling was tuned with volcanological, petrological and paleoenvironmental ground deformation con straints. Results indicate that the highest magma overpressure is achieved considering a prolate reservoir, making it as the most likely shape that led to eruption. Similar deformations but lower overpressures are obtained considering spherical and oblate reservoirs. These results demonstrate that ground deformation may not be indicative of eruption probability, style/size, and this has direct implications on surveillance at active explosive volcanoes
    Description: Published
    Description: 211
    Description: 2V. Struttura e sistema di alimentazione dei vulcani
    Description: 4V. Processi pre-eruttivi
    Description: JCR Journal
    Keywords: Pompeii eruption ; ground deformation ; surveillance ; magma reservoir
    Repository Name: Istituto Nazionale di Geofisica e Vulcanologia (INGV)
    Type: article
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Publication Date: 2024-04-02
    Description: Historicizing both emotions and politics, this open access book argues that the historical work of emotion is most clearly understood in terms of the dynamics of institutionalization. This is shown in twelve case studies that focus on decisive moments in European and US history from 1800 until today. Each case study clarifies how emotions were central to people’s political engagement and its effects. The sources range from parliamentary buildings and social movements, to images and speeches of presidents, from fascist cemeteries to the International Criminal Court. Both the timeframe and the geographical focus have been chosen to highlight the increasingly participatory character of nineteenth- and twentieth-century politics, which is inconceivable without the work of emotions.
    Keywords: political institutions ; emotional communities ; history of emotions ; new institutional history ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History::NHK History of the Americas
    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-05-12
    Description: This open access book explores the role of continuity in political processes and practices during the Age of Revolutions. It argues that the changes that took place in the years around 1800 were enabled by different types of continuities across Europe and in the Americas. With historians of modernity tending to emphasise the rise of the new, scholarship has leaned towards an assumption that existing modes of action, thought and practice simply became extinct, irrelevant or at least subordinate to new modes. In contrast, this collection examines continuities between early modern and modern political cultures and organization in Europe and the Americas. Shifting the focus from political modernization, the authors examine the continued relevance of older, often local, practices in (post)revolutionary politics. By doing so, they aim to highlight the role of local political traditions and practices in forging and enabling political change. The book argues that while political change was in fact at the centre of both the old and new polities that emerged in the Age of Revolutions, it coexisted with, and was indeed enabled by, continuities at other levels.
    Keywords: Political culture ; Political processes ; Age of Revolutions ; Early modern ; Modern Europe ; Modernity ; Local politics ; Political tradition ; Political change ; Transition ; Political activism ; Citizenship ; Continuity ; Revolutionary Era ; Europe and the Americas ; American history ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History::NHK History of the Americas ; thema EDItEUR::N History and Archaeology::NH History::NHB General and world history ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPA Political science and theory ; thema EDItEUR::N History and Archaeology::NH History
    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 | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book tackles the design of 3D spatial interactions in an audio-centered and audio-first perspective, providing the fundamental notions related to the creation and evaluation of immersive sonic experiences. The key elements that enhance the sensation of place in a virtual environment (VE) are: Immersive audio: the computational aspects of the acoustical-space properties of Virutal Reality (VR) technologies Sonic interaction: the human-computer interplay through auditory feedback in VE VR systems: naturally support multimodal integration, impacting different application domains Sonic Interactions in Virtual Environments will feature state-of-the-art research on real-time auralization, sonic interaction design in VR, quality of the experience in multimodal scenarios, and applications. Contributors and editors include interdisciplinary experts from the fields of computer science, engineering, acoustics, psychology, design, humanities, and beyond. Their mission is to shape an emerging new field of study at the intersection of sonic interaction design and immersive media, embracing an archipelago of existing research spread in different audio communities and to increase among the VR communities, researchers, and practitioners, the awareness of the importance of sonic elements when designing immersive environments.
    Keywords: Virtual Reality ; Sonic Interactions ; Auralization ; Sound Processing ; Immersive Audio ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::A The Arts::AV Music ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This is an open access book. Histories we tell never emerge in a vacuum, and history as an academic discipline that studies the past is highly sensitive to the concerns of the present and the heated debates that can divide entire societies. But does the study of the past also have something to teach us about the future? Can history help us in coping with the planetary crisis we are now facing? By analyzing historical societies as complex adaptive systems, we contribute to contemporary thinking about societal-environmental interactions in policy and planning and consider how environmental and climatic changes, whether sudden high impact events or more subtle gradual changes, impacted human responses in the past. We ask how societal perceptions of such changes affect behavioral patterns and explanatory rationalities in premodernity, and whether a better historical understanding of these relationships can inform our response to contemporary problems of similar nature and magnitude, such as adapting to climate change.
    Keywords: History ; Climate Change ; sustainable development ; Social History ; Ecological change ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 15
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; Des Fitzgerald ; Epistemology ; Sociology ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    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 ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Human Geography; Innovation/Technology Management; Economic Geography; Knowledge - Discourse
    Keywords: Human Geography ; Innovation/Technology Management ; Economic Geography ; Knowledge - Discourse ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; 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 ...
  • 18
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book is a modern guide for all C++ programmers to learn Threading Building Blocks (TBB). Written by TBB and parallel programming experts, this book reflects their collective decades of experience in developing and teaching parallel programming with TBB, offering their insights in an approachable manner. Throughout the book the authors present numerous examples and best practices to help you become an effective TBB programmer and leverage the power of parallel systems. Pro TBB starts with the basics, explaining parallel algorithms and C++'s built-in standard template library for parallelism. You'll learn the key concepts of managing memory, working with data structures and how to handle typical issues with synchronization. Later chapters apply these ideas to complex systems to explain performance tradeoffs, mapping common parallel patterns, controlling threads and overhead, and extending TBB to program heterogeneous systems or system-on-chips. What You'll Learn Use Threading Building Blocks to produce code that is portable, simple, scalable, and more understandable Review best practices for parallelizing computationally intensive tasks in your applications Integrate TBB with other threading packages Create scalable, high performance data-parallel programs Work with generic programming to write efficient algorithms Who This Book Is For C++ programmers learning to run applications on multicore systems, as well as C or C++ programmers without much experience with templates. No previous experience with parallel programming or multicore processors is required. ;
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Algorithms ; Data structures (Computer science) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Publication Date: 2024-04-01
    Description: Popular Social Sciences; Childhood, Adolescence and Society; Sociology of Education; Demography; Social Work
    Keywords: Popular Social Sciences ; Childhood, Adolescence and Society ; Sociology of Education ; Demography ; Social Work ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This Open Access book explores questions such as why and how did the first biological cells appear? And then complex organisms, brains, societies and –now– connected human societies? Physicists have good models for describing the evolution of the universe since the Big Bang, but can we apply the same concepts to the evolution of aggregated matter –living matter included? The Amazing Journey analyzes the latest results in chemistry, biology, neuroscience, anthropology and sociology under the light of the evolution of intelligence, seen as the ability of processing information. The main strength of this book is using just two concepts used in physics –information and energy– to explain: The emergence and evolution of life: procaryotes, eukaryotes and complex organisms The emergence and evolution of the brain The emergence and evolution of societies (human and not) Possible evolution of our "internet society" and the role that Artificial Intelligence is playing
    Keywords: Computer science ; Computer science—Mathematics ; Input-output equipment (Computers) ; Computer communication systems ; Operating systems (Computers) ; Algorithms ; Mathematical logic ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation::UYAM Maths for computer scientists
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-23
    Description: This interdisciplinary book contains 22 essays and interventions on rest and restlessness, silence and noise, relaxation and work. It draws together approaches from artists, literary scholars, psychologists, activists, historians, geographers and sociologists who challenge assumptions about how rest operates across mind, bodies, and practices. Rest’s presence or absence affects everyone. Nevertheless, defining rest is problematic: both its meaning and what it feels like are affected by many socio-political, economic and cultural factors. The authors open up unexplored corners and experimental pathways into this complex topic, with contributions ranging from investigations of daydreaming and mindwandering, through histories of therapeutic relaxation and laziness, and creative-critical pieces on lullabies and the Sabbath, to experimental methods to measure aircraft noise and track somatic vigilance in urban space. The essays are grouped by scale of enquiry, into mind, body and practice, allowing readers to draw new connections across apparently distinct phenomena. The book will be of interest to students and scholars across a range of disciplines in the social sciences, life sciences, arts and humanities.
    Keywords: Experiment ; Interdisciplinarity ; Rest ; Restless ; Rhythm ; Silence ; Noise ; Work ; Autonomous sensory meridian response ; Creative Commons license ; Daydream ; thema EDItEUR::A The Arts ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences
    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 ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: demography
    Keywords: demography ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book presents the first comprehensive overview of general methods in Automated Machine Learning (AutoML), collects descriptions of existing systems based on these methods, and discusses the first series of international challenges of AutoML systems. The recent success of commercial ML applications and the rapid growth of the field has created a high demand for off-the-shelf ML methods that can be used easily and without expert knowledge. However, many of the recent machine learning successes crucially rely on human experts, who manually select appropriate ML architectures (deep learning architectures or more traditional ML workflows) and their hyperparameters. To overcome this problem, the field of AutoML targets a progressive automation of machine learning, based on principles from optimization and machine learning itself. This book serves as a point of entry into this quickly-developing field for researchers and advanced students alike, as well as providing a reference for practitioners aiming to use AutoML in their work.
    Keywords: Computer science ; Artificial intelligence ; Optical data processing ; Pattern recognition ; 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::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; 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::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access book offers an unprecedented analysis of child welfare schemes, situating them in the wider context of post-war policy debates about the care of children. Between 1945 and 1970, an estimated 3,500 children were sent from Britain to Australia, unaccompanied by their parents, through child migration schemes funded by the Australian and British Governments and delivered by churches, religious orders and charities. Functioning in a wider history of the migration of unaccompanied children to overseas British colonies, the post-war schemes to Australia have become the focus of public attention through a series of public reports in Britain and Australia that have documented the harm they caused to many child migrants. Whilst addressing the wide range of organisations involved, the book focuses particularly on knowledge, assumptions and decisions within UK Government Departments and asks why these schemes continued to operate in the post-war period despite often failing to adhere to standards of child-care set out in the influential 1946 Curtis Report. Some factors – such as the tensions between British policy on child-care and assisted migration – are unique to these schemes. However, the book also examines other factors such as complex government systems, fragmented lines of departmental responsibility and civil service cultures that may contribute to the failure of vulnerable people across a much wider range of policy contexts.
    Keywords: History of Britain and Ireland ; History, general ; Imperialism and Colonialism ; Australian History ; religion ; charity ; colonies ; open access ; empire ; European history ; History ; Historiography ; Colonialism & imperialism ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTQ Colonialism and imperialism
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book details the relationship between the artist and their created works, using tools such as information technology, computer environments, and interactive devices, for a range of information sources and application domains. This has produced new kinds of created works which can be viewed, explored, and interacted with, either as an installation or via a virtual environment such as the Internet. These processes generate new dimensions of understanding and experience for both the artist and the public’s relationships with the works that are produced. This has raised a variety of interdisciplinary opportunities and issues, and these are examined. The symbiotic relationship between artistic works and the cultural context in which they are produced is reviewed. Technology can provide continuity by making traditional methods and techniques more efficient and effective. It can also provide discontinuity by opening up new perspectives and paradigms. This can generate new ideas, and produce a greater understanding of artistic processes and how they are implemented in practice. Tools have been used from the earliest times to create and modify artistic works. For example, naturally occurring pigments have been used for cave paintings. What has been created provides insight into the cultural context and social environment at the time of creation. There is an interplay between the goal of the creator, the selection and use of appropriate tools, and the materials and representations chosen. Technology, Design and the Arts - Opportunities and Challenges is relevant for artists and technologists and those engaged in interdisciplinary research and development at the boundaries between these disciplines.
    Keywords: User Interfaces and Human Computer Interaction ; Computer Appl. in Arts and Humanities ; Media Design ; Information Systems Applications (incl. Internet) ; Computer and Information Systems Applications ; Information Systems Applications (incl.Internet) ; Interactive Arts ; Digital Art ; Creativity and Virtual Reality ; Technology, Design and the Arts ; Open Access ; Collaborative Art and Design ; User interface design & usability ; Computer applications in the arts & humanities ; Graphical & digital media applications ; Information retrieval ; Internet searching ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | The Palgrave Handbook of the History of Surgery | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: The following chapter is concerned with the ways in which political, social and cultural contexts shape the performance and perceptions of surgery, especially under nineteenth-century colonial empires.
    Keywords: Surgery ; History ; Nineteenth Century ; Colonial empires ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::M Medicine and Nursing::MN Surgery
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2021-02-10
    Description: This open access book constitutes the proceedings of the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. 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 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years The 15 full papers presented in this volume were carefully reviewed and selected from 45 submissions. They were organized in topical sections named: agile adoption, agile practices; large-scale agile; agility beyond IT, and the future of agile. ;
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & 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 ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; 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 ...
  • 35
    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: Theory of Computation ; 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 ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ...
  • 36
    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 ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; 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::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 38
    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 ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Human Geography; Psychology Research; Social Theory; Knowledge - Discourse
    Keywords: Human Geography ; Psychology Research ; Social Theory ; Knowledge - Discourse ; thema EDItEUR::N History and Archaeology::NH History ; 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 ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access edited collection brings together established and new perspectives on Cold War civil defence in Western Europe within a common analytical framework that also facilitates comparative and transnational dimensions. The current interest in creating disaster-resilient societies demands new histories of civil defence. Historical contextualization is essential in order to understand what is at stake in preparing, devising, and implementing forms of preparedness, protection, and security that are specifically targeted at societies and citizens. Applying the concept of sociotechnical imaginaries to civil defence history, the chapters of this volume cover a range of new themes, from technology and materiality to media, memory, and everyday experience. The book underlines the social embeddedness of civil defence by detailing how it both prompted new forms of social interaction and reflected norms and visions of the ‘good society’ in an age where nuclear technology seemed to hold the key to both doom and salvation.
    Keywords: Survival ; Resilience ; Disaster planning ; Terrorism ; Nuclear conflict ; Memory studies ; Materiality ; Everyday experience ; Cold War ; NATO ; Twentieth century ; open access ; thema EDItEUR::N History and Archaeology::NH History::NHD European history ; thema EDItEUR::J Society and Social Sciences::JW Warfare and defence ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTB Social and cultural history ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBX History of engineering and technology ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Publication Date: 2021-02-10
    Description: This open access book constitutes the research workshops, doctoral symposium and panel summaries presented at the 20th International Conference on Agile Software Development, XP 2019, held in Montreal, QC, Canada, in May 2019. 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 2019 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. Research papers and talks submissions were invited for the three XP 2019 research workshops, namely, agile transformation, autonomous teams, and large scale agile. This book includes 15 related papers. In addition, a summary for each of the four panels at XP 2019 is included. The panels were on security and privacy; the impact of the agile manifesto on culture, education, and software practices; business agility – agile’s next frontier; and Agile – the next 20 years.
    Keywords: Computer science ; Software engineering ; Management information systems ; Computer science ; Management information systems ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::U Computing & 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 ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    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
    Publication Date: 2024-04-02
    Description: Migration; Child and School Psychology; Political Science
    Keywords: Migration ; Child and School Psychology ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: Beginning and experienced programmers will use this comprehensive guide to persistent memory programming. You will understand how persistent memory brings together several new software/hardware requirements, and offers great promise for better performance and faster application startup times—a huge leap forward in byte-addressable capacity compared with current DRAM offerings. This revolutionary new technology gives applications significant performance and capacity improvements over existing technologies. It requires a new way of thinking and developing, which makes this highly disruptive to the IT/computing industry. The full spectrum of industry sectors that will benefit from this technology include, but are not limited to, in-memory and traditional databases, AI, analytics, HPC, virtualization, and big data. Programming Persistent Memory describes the technology and why it is exciting the industry. It covers the operating system and hardware requirements as well as how to create development environments using emulated or real persistent memory hardware. The book explains fundamental concepts; provides an introduction to persistent memory programming APIs for C, C++, JavaScript, and other languages; discusses RMDA with persistent memory; reviews security features; and presents many examples. Source code and examples that you can run on your own systems are included. What You’ll Learn Understand what persistent memory is, what it does, and the value it brings to the industry Become familiar with the operating system and hardware requirements to use persistent memory Know the fundamentals of persistent memory programming: why it is different from current programming methods, and what developers need to keep in mind when programming for persistence Look at persistent memory application development by example using the Persistent Memory Development Kit (PMDK) Design and optimize data structures for persistent memory Study how real-world applications are modified to leverage persistent memory Utilize the tools available for persistent memory programming, application performance profiling, and debugging Who This Book Is For C, C++, Java, and Python developers, but will also be useful to software, cloud, and hardware architects across a broad spectrum of sectors, including cloud service providers, independent software vendors, high performance compute, artificial intelligence, data analytics, big data, etc.
    Keywords: Computer science ; Computer communication systems ; Big data ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    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-04-07
    Description: This open access peer-reviewed volume was inspired by the UNESCO UNITWIN Network for Underwater Archaeology International Workshop held at Flinders University, Adelaide, Australia in November 2016. Content is based on, but not limited to, the work presented at the workshop which was dedicated to 3D recording and interpretation for maritime archaeology. The volume consists of contributions from leading international experts as well as up-and-coming early career researchers from around the globe. The content of the book includes recording and analysis of maritime archaeology through emerging technologies, including both practical and theoretical contributions. Topics include photogrammetric recording, laser scanning, marine geophysical 3D survey techniques, virtual reality, 3D modelling and reconstruction, data integration and Geographic Information Systems. The principal incentive for this publication is the ongoing rapid shift in the methodologies of maritime archaeology within recent years and a marked increase in the use of 3D and digital approaches. This convergence of digital technologies such as underwater photography and photogrammetry, 3D sonar, 3D virtual reality, and 3D printing has highlighted a pressing need for these new methodologies to be considered together, both in terms of defining the state-of-the-art and for consideration of future directions. As a scholarly publication, the audience for the book includes students and researchers, as well as professionals working in various aspects of archaeology, heritage management, education, museums, and public policy. It will be of special interest to those working in the field of coastal cultural resource management and underwater archaeology but will also be of broader interest to anyone interested in archaeology and to those in other disciplines who are now engaging with 3D recording and visualization.
    Keywords: Geography ; Remote sensing ; Archaeology ; Coasts ; Application software ; Geophysics ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NK Archaeology ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVG Geophysics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGB Physical geography and topography::RGBP Coastlines ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGW Geographical information systems, geodata and remote sensing
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book provides the most in-depth study of capital punishment in Scotland between the mid-eighteenth and early nineteenth century to date. Based upon an extensive gathering and analysis of previously untapped resources, it takes the reader on a journey from the courtrooms of Scotland to the theatre of the gallows. It introduces them to several of the malefactors who faced the hangman’s noose and explores the traditional hallmarks of the spectacle of the scaffold. It demonstrates that the period between 1740 and 1834 was one of discussion, debate and fundamental change in the use of the death sentence and how it was staged in practice. In addition, the study provides an innovative investigation of the post-mortem punishment of the criminal corpse. It offers the reader an insight into the scene at the foot of the gibbets from which criminal bodies were displayed, and around the dissection tables of Scotland’s main universities where criminal bodies were used as cadavers for anatomical demonstration. In doing so it reveals an intermediate stage in the long-term disappearance of public bodily punishment.
    Keywords: Capital punishment ; Scotland ; eighteenth century ; nineteenth century ; Autopsy ; Dissection ; Edinburgh ; England ; Gallows ; Gibbeting ; Glasgow ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-04
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science.
    Keywords: Computer science ; Mathematical logic ; Artificial intelligence ; Computer science—Mathematics ; Data structures (Computer science) ; Programming languages (Electronic computers) ; Computer programming ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Sociology, general; Social Policy; Political Theory
    Keywords: Sociology, general ; Social Policy ; Political Theory ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 5th Asian Supercomputing Conference, SCFA 2019, held in Singapore in March 2019. The 6 full papers presented in this book were carefully reviewed and selected from 33 submissions. They cover a range of topics including memory fault handling, linear algebra, image processing, heterogeneous computing, resource usage prediction, and data caching.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Optical data processing ; Operating systems (Computers) ; Microprogramming  ; Input-output equipment (Computers) ; thema EDItEUR::U Computing and Information Technology::UL Operating 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; 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::UL Operating 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Publication Date: 2024-04-02
    Description: Criminology and Criminal Justice, general; Social Work; Methodology of the Social Sciences; Criminal Law
    Keywords: Criminology and Criminal Justice, general ; Social Work ; Methodology of the Social Sciences ; Criminal Law ; 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::JKVG Drugs trade / drug trafficking
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Publication Date: 2024-04-02
    Description: Migration; Population Economics; Sociology, general; Political Science; Human Geography
    Keywords: Migration ; Population Economics ; Sociology, general ; Political Science ; Human Geography ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Publication Date: 2024-04-02
    Description: Higher Education; Educational Policy and Politics; International and Comparative Education
    Keywords: Higher Education ; Educational Policy and Politics ; International and Comparative Education ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Publication Date: 2024-04-02
    Description: This open access book provides a panoramic view of the evolution of Spanish agriculture from 1900 to the present, offering a more diverse picture to the complex and multidimensional reality of agrarian production. With a clear transdisciplinary ambition, the book applies an original and innovative theoretical and methodological tool, termed Agrarian Social Metabolism, combining Social Metabolism with an agroecological perspective. This integrative analysis is especially interesting for environmental scientists and policy makers being the best way to design sustainable agroecosystems and public policies capable of moving us towards a more sustainable food system. Spanish agricultural production has experienced impressive growth during the 20th century which has allowed it to ensure the supply of food to the population and even to transform some crops into important chapters in foreign trade. However, this growth has had its negative side since it was based on the injection of large amounts of external energy, on the destruction of employment and the loss of profitability of agricultural activity. But perhaps the most serious part is the strong impact of the current industrialised agriculture model on Spanish agroecosystems, exposed to the overexploitation of hydric resources, pollution of the water by nitrates and pesticides, high erosion rates and an alarming loss of biodiversity; damage which in the immediate future will end up reducing production capacity.
    Keywords: Life sciences ; Agriculture ; Environment ; History ; Environmental economics ; Economic history ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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::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::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book was prepared as a Final Publication of the COST Action IC1406 “High-Performance Modelling and Simulation for Big Data Applications (cHiPSet)“ project. Long considered important pillars of the scientific method, Modelling and Simulation have evolved from traditional discrete numerical methods to complex data-intensive continuous analytical optimisations. Resolution, scale, and accuracy have become essential to predict and analyse natural and complex systems in science and engineering. When their level of abstraction raises to have a better discernment of the domain at hand, their representation gets increasingly demanding for computational and data resources. On the other hand, High Performance Computing typically entails the effective use of parallel and distributed processing units coupled with efficient storage, communication and visualisation systems to underpin complex data-intensive applications in distinct scientific and technical domains. It is then arguably required to have a seamless interaction of High Performance Computing with Modelling and Simulation in order to store, compute, analyse, and visualise large data sets in science and engineering. Funded by the European Commission, cHiPSet has provided a dynamic trans-European forum for their members and distinguished guests to openly discuss novel perspectives and topics of interests for these two communities. This cHiPSet compendium presents a set of selected case studies related to healthcare, biological data, computational advertising, multimedia, finance, bioinformatics, and telecommunications.
    Keywords: Computer science ; Computer system failures ; Computer communication systems ; Microprocessors ; Application software ; Logic design ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 10980 and 10981 constitutes the refereed proceedings of the 30th International Conference on Computer Aided Verification, CAV 2018, held in Oxford, UK, in July 2018. The 52 full and 13 tool papers presented together with 3 invited papers and 2 tutorials were carefully reviewed and selected from 215 submissions. The papers cover a wide range of topics and techniques, from algorithmic and logical foundations of verification to practical applications in distributed, networked, cyber-physical, and autonomous systems. They are organized in topical sections on model checking, program analysis using polyhedra, synthesis, learning, runtime verification, hybrid and timed systems, tools, probabilistic systems, static analysis, theory and security, SAT, SMT and decisions procedures, concurrency, and CPS, hardware, industrial applications.
    Keywords: Computer science ; Computer logic ; Software engineering ; Artificial intelligence ; Mathematical logic ; Algorithms ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; 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 ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-15
    Description: This open access book was prepared as a Final Publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)”. The concept of Enhanced Living Environments (ELE) refers to the area of Ambient Assisted Living (AAL) that is more related with Information and Communication Technologies (ICT). Effective ELE solutions require appropriate ICT algorithms, architectures, platforms, and systems, having in view the advance of science and technology in this area and the development of new and innovative solutions that can provide improvements in the quality of life for people in their homes and can reduce the financial burden on the budgets of the healthcare providers. The aim of this book is to become a state-of-the-art reference, discussing progress made, as well as prompting future directions on theories, practices, standards, and strategies related to the ELE area. The book contains 12 chapters and can serve as a valuable reference for undergraduate students, post-graduate students, educators, faculty members, researchers, engineers, medical doctors, healthcare organizations, insurance companies, and research strategists working in this area.
    Keywords: Computer science ; Computer organization ; User interfaces (Computer systems) ; Application software ; Artificial intelligence ; Optical data processing ; Application software ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    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 ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    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 Foundations of Software Science and Computational Structures, FOSSACS 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 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book explores creative and collaborative forms of research praxis within the social sustainability sciences. The term co-creativity is used in reference to both individual methods and overarching research approaches. Supported by a series of in-depth examples, the edited collection critically reviews the potential of co-creative research praxis to nurture just and transformative processes of change. Included amongst the individual chapters are first-hand accounts of such as: militant research strategies and guerrilla narrative, decolonial participative approaches, appreciative inquiry and care-ethics, deep-mapping, photo-voice, community-arts, digital participatory mapping, creative workshops and living labs. The collection considers how, through socially inclusive forms of action and reflection, such co-creative methods can be used to stimulate alternative understandings of why and how things are, and how they could be. It provides illustrations of (and problematizes) the use of co-creative methods as overtly disruptive interventions in their own right, and as a means of enriching the transformative potential of transdisciplinary and more traditional forms of social science research inquiry. The positionality of the researcher, together with the emotional and embodied dimensions of engaged scholarship, are threads which run throughout the book. So too does the question of how to communicate sustainability science research in a meaningful way.
    Keywords: sustainability ; transdisciplinary ; methods ; mixed methods ; creative research methods ; social sustainability science ; research methods ; resilient ; environmental practice ; open access ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    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 ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 17th International Conference on String Processing and Information Retrieval, ICOST 2019, held in New York City, NY, USA, in October 2019. The 15 full papers and 5 short papers presented in this volume were carefully reviewed and selected from 24 submissions. They cover topics such as: e-health technology design; well-being technology; biomedical and health informatics; and smart environment technology.
    Keywords: Computer science ; Computer communication systems ; Special purpose computers ; User interfaces (Computer systems) ; Artificial intelligence ; 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 ; 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::UYZ Human–computer interaction::UYZG User interface design and usability ; 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 ; 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::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: Rethinking the ways global history is envisioned and conceptualized in diverse countries such as China, Japan, Mexico or Spain, this collections considers how global issues are connected with our local and national communities. It examines how the discipline had evolved in various historiographies, from Anglo Saxon to southern European, and its emergence in Asia with the rapid development of the Chinese economy motivation to legitimate the current uniqueness of the history and economy of the nation. It contributes to the revitalization of the field of global history in Chinese historiography, which have been dominated by national narratives and promotes a debate to open new venues in which important features such as scholarly mobility, diversity and internationalization are firmly rooted, putting aside national specificities. Dealing with new approaches on the use of empirical data by framing the proper questions and hypotheses and connecting western and eastern sources, this text opens a new forum of discussion on how global history has penetrated in western and eastern historiographies, moving the pivotal axis of analysis from national perspectives to open new venues of global history.
    Keywords: Global history ; chinese history ; Europe ; industrial revolution ; globalization ; Asia ; Japan ; China ; Colonialism ; Ming dynasty ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Mathematical logic ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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 ...
  • 73
    Publication Date: 2024-04-02
    Description: Higher Education; Educational Policy and Politics; International and Comparative Education; International higher education arena; Higher education reforms; UEFISCDI; Evidence-based policy making; Higher education in Romania; Higher education public policies
    Keywords: Higher Education ; Educational Policy and Politics ; International and Comparative Education ; International higher education arena ; Higher education reforms ; UEFISCDI ; Evidence-based policy making ; Higher education in Romania ; Higher education public policies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: Acting on stage is a mode of performing an action, in the context of which the bodily aspects implicitly at work in acting reveal their own significance and power. This event can actualize a wound incarnated in human beings, because the actor acts and does not act at the same time and hence the concept of being ‘the doer’ unmasks itself as being illusionary. One could call it a kind of ‘symbolic death’ (Mueller), an ‘anthropological mutation’ (Agamben)––an event of great interest because of its highly ethical call.The book “Actors and the Art of Performance. Under Exposure” opens with a cascade of contradictory motives for becoming an actor. But, if theatre is no longer understood as a theatre of representation, then what takes place on stage is a transformation at play with truth, in which ethics are realized by the aesthetic. Insofar the book summarizes the attempt to explore and map guidelines of acting as being under the perspective of be-coming. That may sound fairly harmless in theory, but it feels anything but harmless when you experience it on your own body. For example, for being physical under exposure actors have to learn that there exists no fundamental dualism between mind and matter. Furthermore, actors are espoused to a dynamic shifting ground in the name of creativity. They have to carry the burden that the self is no sovereign identity as we generally suppose, but rather a threshold of permanent be-coming. One could call it the outstanding gift of acting. In the German language, gift means “poison”, in German ears the word has the double meaning of poison and present, thus expressing the fact that a gift is disturbing and blessing at the same time. Loaded with fear and joy as the crucial point of acting, which attacks and attracts actors and spectators most.
    Description: Wird Theater nicht mehr als Repräsentation verstanden, werden im „Spiel mit der Wahrheit“ eine Fülle von Fragen über den Vollzug und das Ereignis unseres Daseins provoziert, die in einem ethischen Anspruch im Ästhetischen münden. Das klingt in der Theorie harmloser als es seinem physischen Ereignis nach ist. Denn der schöpferische Akt katapultiert SchauspielerInnen in eine Zone zwischen aktiv und passiv, in der sie nicht mehr alleinige Täter und souveräne Subjekte ihres Spiels sind.
    Keywords: Performing Arts ; Theatre ; Acting ; Artistic Research ; Arts-based-Philosophy ; Philosophy On Stage ; Performance Philosophy ; Schauspieler ; Theater ; Philosophie ; Korporale Performanz ; Künstlerische Forschung ; Theaterwissenschaft ; Kunst ; Actor ; Friedrich Nietzsche ; thema EDItEUR::N History and Archaeology::NH History
    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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-03-23
    Description: In this Open Access book, film scholar Rasmus Greiner develops a theoretical model for the concept of the histosphere to refer to the “sphere” of a cinematically modelled, physically experienceable historical world. His analysis of practices of modelling and perceiving, immersion and empathy, experience and remembering, appropriation and refiguration, combine approaches from film studies, such as Vivian Sobchack’s phenomenology of film experience, with historiographic theories, such as Frank R. Ankersmit’s concept of historical experience. Building on this analysis, Greiner examines the spatial and temporal organization of historical films and presents discussions of mood and atmosphere, body and memory, and genre and historical consciousness. The analysis is based around three historical films, spanning six decades, that depict 1950s Germany: Helmut Käutner’s Sky Without Stars (1955), Jutta Brückner’s Years of Hunger (1980), and Sven Bohse’s three-part TV series Ku’damm 56 (2016).
    Keywords: Screen Studies ; History, general ; Film Theory ; Film Studies ; History ; Histosphere ; Historical Film ; Phenomenology of Film ; Historical Experience ; Audiovisual ; Historical Worlds ; Open Access ; Performing arts ; Historiography ; Film history, theory & criticism ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema ; thema EDItEUR::A The Arts::AT Performing arts::ATJ Television ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::A The Arts::AT Performing arts::ATF Films, cinema::ATFA Film history, theory or criticism
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Publication Date: 2024-03-28
    Description: Political Communication; Political Theory
    Keywords: Political Communication ; Political Theory ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTU Peace studies and conflict resolution ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::L Law
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access handbook provides the first comprehensive overview of biometrics exploiting the shape of human blood vessels for biometric recognition, i.e. vascular biometrics, including finger vein recognition, hand/palm vein recognition, retina recognition, and sclera recognition. After an introductory chapter summarizing the state of the art in and availability of commercial systems and open datasets/open source software, individual chapters focus on specific aspects of one of the biometric modalities, including questions of usability, security, and privacy. The book features contributions from both academia and major industrial manufacturers.
    Keywords: Computer science ; Biometrics (Biology) ; Computer security ; User interfaces (Computer systems) ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQP Pattern recognition ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-28
    Description: Migration; Population Economics; Political Science
    Keywords: Migration ; Population Economics ; Political Science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Publication Date: 2024-04-02
    Description: Migration; Urban Geography / Urbanism (inc. megacities, cities, towns); Political Science
    Keywords: Migration ; Urban Geography / Urbanism (inc. megacities, cities, towns) ; Political Science ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; 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 ...
  • 84
    Publication Date: 2021-02-10
    Description: Break down the misconceptions of the Internet of Things by examining the different security building blocks available in Intel Architecture (IA) based IoT platforms. This open access book reviews the threat pyramid, secure boot, chain of trust, and the SW stack leading up to defense-in-depth. The IoT presents unique challenges in implementing security and Intel has both CPU and Isolated Security Engine capabilities to simplify it. This book explores the challenges to secure these devices to make them immune to different threats originating from within and outside the network. The requirements and robustness rules to protect the assets vary greatly and there is no single blanket solution approach to implement security. Demystifying Internet of Things Security provides clarity to industry professionals and provides and overview of different security solutions What You'll Learn Secure devices, immunizing them against different threats originating from inside and outside the network Gather an overview of the different security building blocks available in Intel Architecture (IA) based IoT platforms Understand the threat pyramid, secure boot, chain of trust, and the software stack leading up to defense-in-depth Who This Book Is For Strategists, developers, architects, and managers in the embedded and Internet of Things (IoT) space trying to understand and implement the security in the IoT devices/platforms.
    Keywords: Computer science ; Computer communication systems ; Computer security ; Information technology ; Business—Data processing ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UK Computer hardware::UKN Network hardware ; bic Book Industry Communication::U Computing & information technology::UR Computer security
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-23
    Description: This open access book, published to mark the 15th anniversary of the International Software Quality Institute (iSQI), is intended to raise the profile of software testers and their profession. It gathers contributions by respected software testing experts in order to highlight the state of the art as well as future challenges and trends. In addition, it covers current and emerging technologies like test automation, DevOps, and artificial intelligence methodologies used for software testing, before taking a look into the future. The contributing authors answer questions like: "How is the profession of tester currently changing? What should testers be prepared for in the years to come, and what skills will the next generation need? What opportunities are available for further training today? What will testing look like in an agile world that is user-centered and fast-paced? What tasks will remain for testers once the most important processes are automated?" iSQI has been focused on the education and certification of software testers for fifteen years now, and in the process has contributed to improving the quality of software in many areas. The papers gathered here clearly reflect the numerous ways in which software quality assurance can play a critical role in various areas. Accordingly, the book will be of interest to both professional software testers and managers working in software testing or software quality assurance.
    Keywords: Computer science ; Software engineering ; Management information systems ; Management information systems ; Computer science ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; 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::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This open access book analyses Iberian expansion by using knowledge accumulated in recent years to test some of the most important theories regarding Europe’s economic development. Adopting a comparative perspective, it considers the impact of early globalization on Iberian and Western European institutions, social development and political economies. In spite of globalization’s minor importance from the commercial perspective before 1750, this book finds its impact decisive for institutional development, political economies, and processes of state-building in Iberia and Europe. The book engages current historiographies and revindicates the need to take the concept of composite monarchies as a point of departure in order to understand the period’s economic and social developments, analysing the institutions and societies resulting from contact with Iberian peoples in America and Asia. The outcome is a study that nuances and contests an excessively-negative yet prevalent image of the Iberian societies, explores the difficult relationship between empires and globalization and opens paths for comparisons to other imperial formations.
    Keywords: Imperialism ; colonialism ; Iberia ; Europe ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Publication Date: 2024-04-01
    Description: Springer Proceedings in Complexity
    Keywords: Springer Proceedings in Complexity ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Publication Date: 2024-04-02
    Description: Educational Technology
    Keywords: Educational Technology ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-02
    Description: Migration; Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law
    Keywords: Migration ; Statistics for Social Science, Behavorial Science, Education, Public Policy, and Law ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSA Social classes ; thema EDItEUR::L Law
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-04-02
    Description: This book is a multidisciplinary work that investigates the notion of posthumous harm over time. The question what is and when is death, affects how we understand the possibility of posthumous harm and redemption. Whilst it is impossible to hurt the dead, it is possible to harm the wishes, beliefs and memories of persons that once lived. In this way, this book highlights the vulnerability of the dead, and makes connections to a historical oeuvre, to add critical value to similar concepts in history that are overlooked by most philosophers. There is a long historical view of case studies that illustrate the conceptual character of posthumous punishment; that is, dissection and gibbetting of the criminal corpse after the Murder Act (1752), and those shot at dawn during the First World War. A long historical view is also taken of posthumous harm; that is, body-snatching in the late Georgian period, and organ-snatching at Alder Hey in the 1990s.
    Keywords: death ; posthumous harm ; punishment ; redemption ; history ; philosophy ; Autopsy ; Body snatching ; Cadaver ; Capital punishment ; Epicurus ; Organ (anatomy) ; Redfern ; New South Wales ; Social death ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Publication Date: 2021-02-10
    Description: In diesem Open-Access-Buch wird das Geschäftsprozessmanagement als ein ganzheitlicher Prozess begriffen, der der Mitwirkung aller Stakeholder bedarf. Denn das traditionelle Business Process Engineering stößt heute angesichts der Digitalisierung und der dynamischen Entwicklung von Organisationen immer mehr an seine Grenzen, beispielsweise bezüglich Agilität. Um nun das Wesen von Aufgaben und Abläufen in Organisationen zu erfassen, schlagen die Autoren einen Perspektivwechsel vor: das Denken in Kommunikationsprozessen. Dieses Konzept lässt sich wirtschaftlich, organisatorisch und technisch ohne einschlägige Vorkenntnisse umsetzen. Leserinnen und Leser finden in dem Buch konkrete Handlungsanleitungen für die Digitalisierung von organisationsrelevanten Abläufen. Daneben liefern die Autoren Einblicke in die Systemtheorie und in das Design Thinking. Ihr Ziel ist, Konzepte einfach und verständlich zu erläutern, ohne dabei komplexe Zusammenhänge zu vernachlässigen. Dank ausführlicher Konzeptdarstellung und Ausflüge in die Theorie mit Beispielen aus der Praxis, eignet es sich für Studierende und für Wissenschaftler genauso wie für Praktiker. Entwickler und andere Fachkräfte aus den Bereichen Operatives Management, Geschäftsprozessmanagement, Organisationsentwicklung, Qualitätsmanagement, Wissensmanagement werden sich von der Übersichtlichkeit und dem Nutzwert angesprochen fühlen.
    Keywords: Computer science ; Computers ; Management ; Industrial management ; Information technology ; Business—Data processing ; 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::KJQ Business mathematics & systems ; bic Book Industry Communication::U Computing & information technology::UT Computer networking & communications
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-01
    Description: transdisziplinäre Forschung; transformative Forschung; partizipative Forschung; Reallabore; Realexperimente; Methodologie; Methodik; Methodensammlung; Co-Design und Co-Produktion; Partizipation; Nachhaltigkeitsforschung; Transdisziplinarität; Wissensproduktion; Wissensintegration; Praxisakteure
    Keywords: transdisziplinäre Forschung ; transformative Forschung ; partizipative Forschung ; Reallabore ; Realexperimente ; Methodologie ; Methodik ; Methodensammlung ; Co-Design und Co-Produktion ; Partizipation ; Nachhaltigkeitsforschung ; Transdisziplinarität ; Wissensproduktion ; Wissensintegration ; Praxisakteure ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::N History and Archaeology::NH History
    Language: German
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
    Keywords: Computer science ; Special purpose computers ; Application software ; Computer communication systems ; Artificial intelligence ; Computer system failures ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book is a must-have for anyone serious about rendering in real time. With the announcement of new ray tracing APIs and hardware to support them, developers can easily create real-time applications with ray tracing as a core component. As ray tracing on the GPU becomes faster, it will play a more central role in real-time rendering. Ray Tracing Gems provides key building blocks for developers of games, architectural applications, visualizations, and more. Experts in rendering share their knowledge by explaining everything from nitty-gritty techniques that will improve any ray tracer to mastery of the new capabilities of current and future hardware. What you'll learn: The latest ray tracing techniques for developing real-time applications in multiple domains Guidance, advice, and best practices for rendering applications with Microsoft DirectX Raytracing (DXR) How to implement high-performance graphics for interactive visualizations, games, simulations, and more Who this book is for: Developers who are looking to leverage the latest APIs and GPU technology for real-time rendering and ray tracing Students looking to learn about best practices in these areas Enthusiasts who want to understand and experiment with their new GPUs
    Keywords: Computer science ; Computer graphics ; Computer games—Programming ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMK Games development and programming ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UML Graphics programming ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 15th International Annual Conference on Cyber Security, CNCERT 2018, held in Beijing, China, in August 2018. The 14 full papers presented were carefully reviewed and selected from 53 submissions. The papers cover the following topics: emergency response, mobile internet security, IoT security, cloud security, threat intelligence analysis, vulnerability, artificial intelligence security, IPv6 risk research, cybersecurity policy and regulation research, big data analysis and industrial security.
    Keywords: Computer science ; Computer security ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; 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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book gives a complete and comprehensive introduction to the fields of medical imaging systems, as designed for a broad range of applications. The authors of the book first explain the foundations of system theory and image processing, before highlighting several modalities in a dedicated chapter. The initial focus is on modalities that are closely related to traditional camera systems such as endoscopy and microscopy. This is followed by more complex image formation processes: magnetic resonance imaging, X-ray projection imaging, computed tomography, X-ray phase-contrast imaging, nuclear imaging, ultrasound, and optical coherence tomography.
    Keywords: Computer science ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature | Rethinking Interdisciplinarity across the Social Sciences and Neurosciences | Palgrave Macmillan
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    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...