ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

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)
  • Physics
  • bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment
  • Springer Nature  (94)
  • CRC Press  (19)
  • Berlin : Springer
Collection
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Managing Protected Areas (2024)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-01-16
    Description: This open access book brings together 16 specially commissioned chapters drawn from a range of different professional-practitioner and academic global perspectives on the importance of the relationship between people and green and blue spaces. It focuses on issues surrounding the importance of natural environments on public health and wellbeing, and the environmental, cultural, and social importance of green and blue spaces that can result through responsible and sustainable adaptive management processes. It explores how the Covid-19 pandemic forced reconsiderations of our relationship with these natural spaces and highlights the important impact of the pace of climate change. While not pretending to have the answers, the stimulating and imaginative contributions embrace rich perspectives drawn from backgrounds as diverse as heritage studies, tourism, conservation, geography, policy formulation, public health, environmental health, research methods, history, literature, art, and theology.
    Keywords: protected areas ; environmental management ; environmental policy ; conservation ; national parks ; adaptive management ; heritage landscapes ; natural environments ; Global Biodiversity Framework ; green and blue spaces ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Conservation in Chilean Patagonia (2024)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-01-16
    Description: Chilean Patagonia, located at the southwestern tip of South America, is one of the last regions on earth where highly intact environments predominate. With a coastline that extends along some 100,000 km of fjords, channels, and islands, it has one of the world´s most extensive marine-terrestrial interfaces. Local place-based and Indigenous cultures and management practices are a vital presence across the region, while the long and rich history of conservation efforts have resulted in officially protected areas covering over 50% of the land and 41% of the coastal-marine area. However, Chilean Patagonia is increasingly facing anthropogenic pressures associated with increased infrastructure and access, salmon aquaculture, extractive industries, and the spread of invasive exotic species. Despite widespread recognition that Chilean Patagonia represents a unique global reservoir of socio-natural heritage, to date there has been no region-wide assessment of the scientific evidence of the conservation status of its ecosystems or the priorities for their effective conservation. Conservation in Chilean Patagonia: Assessing the state of knowledge, opportunities, and challenges is the first book to gather and synthesize the available scientific and socio-environmental information related to Patagonian conservation. It presents the collaborative work of 68 researchers and local experts, representing a range of specialties and perspectives, including: biology, ecology, socio-ecology, fisheries, aquaculture, anthropology, economics, geography, tourism, cryosphere, oceanography, climate and global change. The book’s 18 chapters focus on the status of key ecosystems and conservation tools, and provide recommendations toward the construction of a renewed, inclusive, and integrated conservation agenda for the Chilean Patagonian region. It provides an essential primer for anyone interested in the future of this ecologically vital region, as well as lessons on interdisciplinary collaboration and integrated analysis of conservation issues useful for conservation practitioners and scholars. This is an open access book. This book is a translation of an original Spanish edition. The translation was done with the help of artificial intelligence (machine translation by the service DeepL.com). A subsequent human revision was done primarily in terms of content, so that the book will read stylistically differently from a conventional translation.
    Keywords: Ecology ; Limnology ; Oceanography ; Biodiversity ; Marine-terrestrial Interface ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGM Biogeography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology::RNCB Biodiversity
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Transition Engineering (2023)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Transition Engineering: Building a Sustainable Future examines new strategies emerging in response to the mega-issues of global climate change, decline in world oil supply, scarcity of key industrial minerals, and local environmental constraints. These issues pose challenges for organizations, businesses, and communities, and engineers will need to begin developing ideas and projects to implement the transition of engineered systems. This work presents a methodology for shifting away from unsustainable activities. Teaching the Transition Engineering approach and methodology is the focus of the text, and the concept is presented in a way that engineers can begin applying it in their work.
    Keywords: building life-cycle cost analysis;energy policies;environmental costs;global climate change;input-output analysis;local environmental constraints;resource management;sustainability;transition engineering;world oil supply ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning::RPC Urban & municipal planning ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy ; bic Book Industry Communication::T Technology, engineering, agriculture::TB Technology: general issues ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    The Carbon Chain in Carbon Dioxide Industrial Utilization Technologies (2023)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: A shift towards implementation of renewable energy has disadvantages, such as power availability, storage capacity, and accompanying costs, and therefore the potential of clean fossil fuel technologies to ensure the stability of electricity generation needs to be reconsidered until these challenges will be overcome. These clean technologies can help prevent the greenhouse effect and, at the same time, guarantee energy security, as coal is a widespread, price-stable raw material that is available in large quantities. This book focuses on the carbon chain, starting from the formation of CO2, through its capture, possible cleaning, to the production of useful products such as dimethylether, methanol, and carbonated cement prefabricates. The comprehensive case study presents the research results of an international team established within the "CCS-CCU technology for carbon footprint reduction using bio-adsorbents" (BIOCO2) project.
    Keywords: Bio-adsorbents;CO2 capture;CO2 purification;carbon capture;emission standards;Fixed-beds reactors;Fluidized-bed reactors;flue gas purification;Hydrothermal carbonization;Pyrolysis;recycled cement;Slurry reactors ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Tourism and Conservation-based Development in the Periphery (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2023-11-17
    Description: This open access book applies a social ecological systems (SES) lens to conservation-based development in Patagonia, bringing together authors with historical, contemporary, and future-oriented perspectives in order to increase understanding of the social and environmental implications of nature-based tourism and other forms of conservation-based territorial development. By focusing on Patagonia (as a region) and its various forms of conservation-based development, this book contributes one of the first collections of South American based lessons and will be valuable to researchers and practitioners, both locally and around the world, seeking to better understand complex interconnections between social and ecological environments, and pursue a similar path to resilience and sustainability.
    Keywords: Patagonia protected area systems ; conservation based development ; nature-based tourism development ; green economy ; rural transitoins in patagonia ; lived experience of tourism and place ; natural resource values, conflicts and disscourses ; ecological / economic resilience in rural peripheral geographies ; livelihood sustainability and vulnerablity ; global change and Patagonia ; climate change in patagonia ; sustainable tourism in patagonia ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Biodiversity of the Gulf of Guinea Oceanic Islands (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2022-11-19
    Description: This open access book presents a comprehensive synthesis of the biodiversity of the oceanic islands of the Gulf of Guinea, a biodiversity hotspot off the west coast of Central Africa. Written by experts, the book compiles data from a plethora of sources – archives, museums, bibliography, official reports and previously unpublished data – to provide readers with the most updated information about the biological richness of these islands and the conservation issues they face. The Gulf of Guinea Oceanic Islands (Príncipe, São Tomé and Annobón and surrounding islets) present extraordinary levels of endemism across different animal, fungi and plant groups. This very high endemism likely results from the long geological history of the islands and their proximity to the diversity-rich continent. Many researchers, students and conservationists from across the globe are interested in documenting biodiversity on the islands, understanding the evolutionary origins of this diversity, and mitigating the impacts of global change on this unique archipelago. This book aims to be a primer for a broad audience seeking baseline biodiversity information and to serve as a roadmap for future research efforts aiming to fill knowledge gaps in understanding and conserving the unparalleled biodiversity of the Gulf of Guinea islands.
    Keywords: Island Biology ; Biogeography ; Taxonomy ; Conservation ; Ecosystems ; São Tomé ; Príncipe ; Endemism ; Annobón ; Biological Taxonomy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology::RNCB Biodiversity ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSV Zoology & animal sciences ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Ecology and Applied Environmental Science (2022)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Ecology and Applied Environmental Science addresses the impact of contemporary environmental problems by using the main principles of scientific ecology. It offers a brief yet comprehensive explanation of ecosystems based on energy, populations, and cycles of chemical elements. The book presents a variety of scientific ecological issues and uses these to examine a range of environmental problems while considering potential engineering, scientific, and managerial solutions. It takes an engineering approach and avoids excessive biological detail, while introducing ecology with a systemic approach. The book examines categories of organisms as well as the physical and chemical processes that affect them. It refers to the dynamics of populations and analysis of their major mutual influences, elaborates on the roles of primary production, limiting factors, energy flow, and circulation of chemical substances in the ecosystems, and presents the basic functions of aquatic ecosystems. The author considers important issues related to environmental degradation of forests, aquatic habitats, coastal zones, other natural landscapes, and urban areas, includes a survey of problems related to waste and toxic and radioactive substances, and presents the greenhouse effect and impacts from climate change. He discusses environmental management prospects and the potential for technological control of pollution from liquid, solid, and gaseous waste. He also highlights existing tools for environmental management, ecological and social aspects of biodiversity and landscape protection, and the contrast between development and environment in combination with ideas about sustainability. The Open Access version of this book, available at http://www.taylorfrancis.com, has been made available under a Creative Commons Attribution-Non Commercial-No Derivatives 4.0 license.
    Keywords: Biodiversity and Landscape Protection ; Ecological Systems ; Environment and Development ; Fundamentals of Environmental Problems ; Management of Environmental Problems ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TD Industrial chemistry & manufacturing technologies::TDC Industrial chemistry ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Digital Video Concepts, Methods, and Metrics: Quality, Compression, Performance, and Power Trade-off Analysis (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    The Privacy Engineer's Manifesto (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Molecular Beams in Physics and Chemistry (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-05
    Description: This Open Access book gives a comprehensive account of both the history and current achievements of molecular beam research. In 1919, Otto Stern launched the revolutionary molecular beam technique. This technique made it possible to send atoms and molecules with well-defined momentum through vacuum and to measure with high accuracy the deflections they underwent when acted upon by transversal forces. These measurements revealed unforeseen quantum properties of nuclei, atoms, and molecules that became the basis for our current understanding of quantum matter. This volume shows that many key areas of modern physics and chemistry owe their beginnings to the seminal molecular beam work of Otto Stern and his school. Written by internationally recognized experts, the contributions in this volume will help experienced researchers and incoming graduate students alike to keep abreast of current developments in molecular beam research as well as to appreciate the history and evolution of this powerful method and the knowledge it reveals.
    Keywords: Quantum Physics ; Atomic/Molecular Structure and Spectra ; Astronomy, Astrophysics and Cosmology ; History and Philosophical Foundations of Physics ; Physics, general ; Atomic and Molecular Structure and Properties ; History of Physics and Astronomy ; Philosophical Foundations of Physics and Astronomy ; Physics and Astronomy ; Open Access ; Molecular Beam History ; Precision Measurements ; Femto- and Atto-science ; Foundations of Quantum Mechanics ; Droplet Beams ; Molecular Beam Applications ; Matter Wave Interferometry ; Ultracold Atoms ; Quantum physics (quantum mechanics & quantum field theory) ; Nuclear physics ; Theoretical & mathematical astronomy ; History of science ; Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PG Astronomy, space and time ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Student Misconceptions and Errors in Physics and Mathematics (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access report explores the nature and extent of students’ misconceptions and misunderstandings related to core concepts in physics and mathematics and physics across grades four, eight and 12. Twenty years of data from the IEA’s Trends in International Mathematics and Science Study (TIMSS) and TIMSS Advanced assessments are analyzed, specifically for five countries (Italy, Norway, Russian Federation, Slovenia, and the United States) who participated in all or almost all TIMSS and TIMSS Advanced assessments between 1995 and 2015. The report focuses on students’ understandings related to gravitational force in physics and linear equations in mathematics. It identifies some specific misconceptions, errors, and misunderstandings demonstrated by the TIMSS Advanced grade 12 students for these core concepts, and shows how these can be traced back to poor foundational development of these concepts in earlier grades. Patterns in misconceptions and misunderstandings are reported by grade, country, and gender. In addition, specific misconceptions and misunderstandings are tracked over time, using trend items administered in multiple assessment cycles. The study and associated methodology may enable education systems to help identify specific needs in the curriculum, improve inform instruction across grades and also raise possibilities for future TIMSS assessment design and reporting that may provide more diagnostic outcomes.
    Keywords: Education ; International education  ; Comparative education ; Assessment ; Science education ; Mathematics ; Physics ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKD Examinations & assessment ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::P Mathematics & science::PB Mathematics ; bic Book Industry Communication::P Mathematics & science::PH Physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 12
    facet.materialart.
    Unknown
    Framing in Sustainability Science (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book offers both conceptual and empirical descriptions of how to “frame” sustainability challenges. It defines “framing” in the context of sustainability science as the process of identifying subjects, setting boundaries, and defining problems. The chapters are grouped into two sections: a conceptual section and a case section. The conceptual section introduces readers to theories and concepts that can be used to achieve multiple understandings of sustainability; in turn, the case section highlights different ways of comprehending sustainability for researchers, practitioners, and other stakeholders. The book offers diverse illustrations of what sustainability concepts entail, both conceptually and empirically, and will help readers become aware of the implicit framings in sustainability-related discourses. In the extant literature, sustainability challenges such as climate change, sustainable development, and rapid urbanization have largely been treated as “pre-set,” fixed topics, while possible solutions have been discussed intensively. In contrast, this book examines the framings applied to the sustainability challenges themselves, and illustrates the road that led us to the current sustainability discourse.
    Keywords: Environment ; Sustainable development ; Regional planning ; Urban planning ; Nature conservation ; Economic development—Environmental aspects ; Environmental education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Pro TBB (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Principles of Security and Trust (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Gauge Theories in Particle Physics: A Practical Introduction, Volume 2: Non-Abelian Gauge Theories (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-05
    Description: Volume 2 of this revised and updated edition provides an accessible and practical introduction to the two non-Abelian quantum gauge field theories of the Standard Model of particle physics: quantum chromodynamics (QCD) and the Glashow-Salam-Weinberg (GSW) electroweak theory.This volume covers much of the experimental progress made in the last ten y
    Keywords: Nuclear physics ; Physics ; Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    The Amazing Journey of Reason (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Permeable Reactive Barrier (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Remediation of groundwater is complex and often challenging. But the cost of pump and treat technology, coupled with the dismal results achieved, has paved the way for newer, better technologies to be developed. Among these techniques is permeable reactive barrier (PRB) technology, which allows groundwater to pass through a buried porous barrier that either captures the contaminants or breaks them down. And although this approach is gaining popularity, there are few references available on the subject. Until now. Permeable Reactive Barrier: Sustainable Groundwater Remediation brings together the information required to plan, design/model, and apply a successful, cost-effective, and sustainable PRB technology. With contributions from pioneers in this area, the book covers state-of-the-art information on PRB technology. It details design criteria, predictive modeling, and application to contaminants beyond petroleum hydrocarbons, including inorganics and radionuclides. The text also examines implementation stages such as the initial feasibility assessment, laboratory treatability studies (including column studies), estimation of PRB design parameters, and development of a long-term monitoring network for the performance evaluation of the barrier. It also outlines the predictive tools required for life cycle analysis and cost/performance assessment. A review of current PRB technology and its applications, this book includes case studies that exemplify the concepts discussed. It helps you determine when to recommend PRB, what information is needed from the site investigation to design it, and what regulatory validation is required.
    Keywords: Barrier ; Groundwater ; Permeable ; Reactive ; Remediation ; Sustainable ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology::TQS Sanitary & municipal engineering::TQSW Water supply & treatment
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Computer Vision Metrics (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    Optimizing HPC Applications with Intel Cluster Tools (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 20
    facet.materialart.
    Unknown
    The Physics of the B Factories (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: Physics
    Keywords: Physics ; bic Book Industry Communication::P Mathematics & science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 21
    facet.materialart.
    Unknown
    Automated Machine Learning (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 22
    facet.materialart.
    Unknown
    TouchDevelop (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    Lie Algebras In Particle Physics (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-04
    Description: In this book, the author convinces that Sir Arthur Stanley Eddington had things a little bit wrong, as least as far as physics is concerned. He explores the theory of groups and Lie algebras and their representations to use group representations as labor-saving tools.
    Keywords: Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    GUI Design for Android Apps (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 25
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 26
    facet.materialart.
    Unknown
    Historical Agriculture and Soil Erosion in the Upper Mississippi Valley Hill Country (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: "This thought-provoking book demonstrates how processes of landscape transformation, usually illustrated only in simplified or idealized form, play out over time in real, complex landscapes. Trimble illustrates how a simple landscape disturbance, generated in this case by agriculture, can spread an astonishing variety of altered hydrologic and sedi
    Keywords: Geology - Earth Sciences ; Soil Science ; Ecology - Environment Studies ; ENVIRO ; AGRICULTURE ; SCI-TECH ; GEO ; ENVIRONMENTALSCIENCE ; STM ; bank ; coon ; county ; creek ; high ; lower ; main ; terrace ; vernon ; winona ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 27
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 28
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 29
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 30
    facet.materialart.
    Unknown
    Pro Git (Second Edition) (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 31
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 32
    facet.materialart.
    Unknown
    Natural Computing and Beyond (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    The World in Eleven Dimensions (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-05
    Description: A unified theory embracing all physical phenomena is a major goal of theoretical physics. In the early 1980s, many physicists looked to eleven-dimensional supergravity in the hope that it might provide that elusive superunified theory. In 1984 supergravity was knocked off its pedestal by ten-dimensional superstrings, one-dimensional objects whose v
    Keywords: Nuclear physics ; Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 34
    facet.materialart.
    Unknown
    Agile Processes in Software Engineering and Extreme Programming – Workshops (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 35
    facet.materialart.
    Unknown
    Heavy Flavour Physics Theory and Experimental Results in Heavy Quark Physics (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-05
    Description: This book provides a thorough introduction to the phenomenology of heavy flavour physics, those working on the B-factories, LHCb, BTeV, HERA and the Tevatron. It explains how heavy quark theory could be implemented on the lattice, and discusses the status of CP-violation in the neutral kaon system.
    Keywords: Nuclear physics ; Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 36
    facet.materialart.
    Unknown
    Counteracting Urban Heat Island Effects in a Global Climate Change Scenario (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: Climate Change; Energy Efficiency; Remote Sensing; Photogrammetry; Physics
    Keywords: Climate Change ; Energy Efficiency ; Remote Sensing ; Photogrammetry ; Physics ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHH Thermodynamics and heat
    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 ...
    E-BOOK
  • 37
    facet.materialart.
    Unknown
    Programming Persistent Memory (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 38
    facet.materialart.
    Unknown
    Learn BlackBerry 10 App Development (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 39
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 40
    facet.materialart.
    Unknown
    Nb3Sn Accelerator Magnets (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book is written by world-recognized experts in the fields of applied superconductivity and superconducting accelerator magnet technologies. It provides a contemporary review and assessment of the experience in research and development of high-field accelerator dipole magnets based on Nb3Sn superconductor over the past five decades. The reader attains clear insight into the development and the main properties of Nb3Sn composite superconducting wires and Rutherford cables, and details of accelerator dipole designs, technologies and performance. Special attention is given to innovative features of the developed Nb3Sn magnets. The book concludes with a discussion of accelerator magnet needs for future circular colliders. ; Broadens our understanding of design and performance limits of high-field Nb3Sn accelerator magnets for a future very high energy hadron collider Offers beginners a concise overview of the relevant design concepts for a new generation of superconducting accelerator magnets based on Nb3Sn superconductor Illustrates the complete process of accelerator magnet design and fabrication Provides a contemporary review and assessment of the past experience with Nb3Sn high-field dipole accelerator magnets Identifies the main open R&D issues for Nb3Sn high-field dipole magnets
    Keywords: Physics ; Particle acceleration ; Physical measurements ; Measurement    ; Machinery ; Atoms ; Physics ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDD Scientific standards, measurement etc ; thema EDItEUR::P Mathematics and Science::PH Physics::PHM Atomic and molecular physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHP Particle and high-energy physics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering::TGBN Engines and power transmission
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 41
    facet.materialart.
    Unknown
    Real-time Linked Dataspaces (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 42
    facet.materialart.
    Unknown
    Supercomputing Frontiers (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 43
    facet.materialart.
    Unknown
    An Introduction to Particle Physics and the Standard Model (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-05
    Description: An Introduction to the Standard Model of Particle Physics familiarizes readers with what is considered tested and accepted and in so doing, gives them a grounding in particle physics in general. Whenever possible, Dr. Mann takes an historical approach showing how the model is linked to the physics that most of us have learned in less challenging ar
    Keywords: Nuclear physics ; Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 44
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 45
    facet.materialart.
    Unknown
    High-Performance Modelling and Simulation for Big Data Applications (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 46
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 47
    facet.materialart.
    Unknown
    Enhanced Living Environments (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 48
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 49
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 50
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 51
    facet.materialart.
    Unknown
    How AI Impacts Urban Living and Public Health (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 52
    facet.materialart.
    Unknown
    Ship and Offshore Structure Design in Climate Change Perspective (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-30
    Description: This book summarizes results of longstanding research and scientific contributions from many projects and relevant working groups. It collects and evaluates wind and wave climate projections under changing climate having design needs and marine safety in focus. Potential impact of projected climate change in met-ocean conditions on ships and offshore structures is discussed and illustrated by an example of the expected wave climate change on tanker design.
    Keywords: GE1-350 ; TA1-2040 ; TK1-9971 ; TP248.13-248.65 ; TL1-4050 ; HG1-9999 ; QE1-996.5 ; RS1-441 ; TA401-492 ; Statistics for Engineering ; Computer Science ; Climate Change Management and Policy ; Chemistry and Earth Sciences ; Reliability ; Safety and Risk ; Physics ; Quality Control ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Language: English
    Format: application/octet-stream
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 53
    facet.materialart.
    Unknown
    Intel Trusted Execution Technology for Server Platforms (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 54
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 55
    facet.materialart.
    Unknown
    Principles of Mechanics (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This open access textbook takes the reader step-by-step through the concepts of mechanics in a clear and detailed manner. Mechanics is considered to be the core of physics, where a deep understanding of the concepts is essential in understanding all branches of physics. Many proofs and examples are included to help the reader grasp the fundamentals fully, paving the way to deal with more advanced topics. After solving all of the examples, the reader will have gained a solid foundation in mechanics and the skills to apply the concepts in a variety of situations. The book is useful for undergraduate students majoring in physics and other science and engineering disciplines. It can also be used as a reference for more advanced levels.
    Keywords: Physics ; Mechanics ; Mechanical engineering ; Elementary particles (Physics) ; Quantum field theory ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHQ Quantum physics (quantum mechanics & quantum field theory) ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 56
    facet.materialart.
    Unknown
    Handbook of Vascular Biometrics (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 57
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (First Edition) (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 58
    facet.materialart.
    Unknown
    Intel Galileo and Intel Galileo Gen 2 (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 59
    facet.materialart.
    Unknown
    The InfoSec Handbook (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 60
    facet.materialart.
    Unknown
    Demystifying Internet of Things Security (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 61
    facet.materialart.
    Unknown
    The Future of Software Quality Assurance (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 62
    facet.materialart.
    Unknown
    Building the Infrastructure for Cloud Security (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 63
    facet.materialart.
    Unknown
    Design with the Desert (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Typical development in the American Southwest often resulted in scraping the desert lands of the ancient living landscape, to be replaced with one that is human-made and dependent on a large consumption of energy and natural resources. This transdisciplinary book explores the natural and built environment of this desert region and introduces development tools for shaping its future in a more sustainable way. It offers valuable insights to help promote ecological balance between nature and the built environment in the American Southwest-and in other ecologically fragile regions around the world.
    Keywords: Biodiversity ; Planning ; Ecology - Environment Studies ; ENG ; ENVIRO ; CivilEngineering ; SCI-TECH ; ENVIRONMENTALSCIENCE ; STM ; area ; basin ; chihuahuan ; colorado ; great ; metropolitan ; mojave ; phoenix ; river ; sonoran ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 64
    facet.materialart.
    Unknown
    Flowing Matter (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This open access book, published in the Soft and Biological Matter series, presents an introduction to selected research topics in the broad field of flowing matter, including the dynamics of fluids with a complex internal structure -from nematic fluids to soft glasses- as well as active matter and turbulent phenomena. Flowing matter is a subject at the crossroads between physics, mathematics, chemistry, engineering, biology and earth sciences, and relies on a multidisciplinary approach to describe the emergence of the macroscopic behaviours in a system from the coordinated dynamics of its microscopic constituents. Depending on the microscopic interactions, an assembly of molecules or of mesoscopic particles can flow like a simple Newtonian fluid, deform elastically like a solid or behave in a complex manner. When the internal constituents are active, as for biological entities, one generally observes complex large-scale collective motions. Phenomenology is further complicated by the invariable tendency of fluids to display chaos at the large scales or when stirred strongly enough. This volume presents several research topics that address these phenomena encompassing the traditional micro-, meso-, and macro-scales descriptions, and contributes to our understanding of the fundamentals of flowing matter. This book is the legacy of the COST Action MP1305 “Flowing Matter”.
    Keywords: Physics ; Amorphous substances ; Complex fluids ; Fluids ; Fluid mechanics ; Chemical engineering ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDF Physics: Fluid mechanics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHF Materials / States of matter ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMF Engineering: Mechanics of fluids ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDF Physics: Fluid mechanics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHF Materials / States of matter ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMF Engineering: Mechanics of fluids
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 65
    facet.materialart.
    Unknown
    Ganzheitliche Digitalisierung von Prozessen (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 66
    facet.materialart.
    Unknown
    Internet of Things. Information Processing in an Increasingly Connected World (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 67
    facet.materialart.
    Unknown
    Environmental Life Cycle Assessment (2021)
    CRC Press
    Details
    Publication Date: 2023-07-10
    Description: Environmental Life Cycle Assessment is a pivotal guide to identifying environmental problems and reducing related impacts for companies and organizations in need of life cycle assessment (LCA). LCA, a unique sustainability tool, provides a framework that addresses a growing demand for practical technological solutions. Detailing each phase of the LCA methodology, this textbook covers the historical development of LCA, presents the general principles and characteristics of LCA, and outlines the corresponding standards for good practice determined by the International Organization for Standardization. It also explains how to identify the critical aspects of an LCA, provides detailed examples of LCA analysis and applications, and includes illustrated problems and solutions with concrete examples from water management, electronics, packaging, automotive, and other industries. In addition, readers will learn how to: Use consistent criteria to realize and evaluate an LCA independently of individual interests Understand the LCA methodology and become familiar with existing databases and methods based on the latest results of international research Analyze and critique a completed LCA Apply LCA methodology to simple case studies Geared toward graduate and undergraduate students studying environmental science and industrial ecology, as well as practicing environmental engineers, and sustainability professionals who want to teach themselves LCA good practices, Environmental Life Cycle Assessment demonstrates how to conduct environmental assessments for products throughout their life cycles. It presents existing methods and recent developments in the growing field of LCA and systematically covers goal and system definition, life cycle inventory, life cycle impact assessment, and interpretation.
    Keywords: Nature ; Environmental Conservation & Protection ; Science ; Environmental Science (see Also Chemistry ; Environmental) ; Technology & Engineering ; Civil ; General ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 68
    facet.materialart.
    Unknown
    Ray Tracing Gems (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 69
    facet.materialart.
    Unknown
    Cyber Security (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 70
    facet.materialart.
    Unknown
    Medical Imaging Systems (2021)
    Springer Nature
    Details
    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 ...
    E-BOOK
  • 71
    facet.materialart.
    Unknown
    Sensor Technologies (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 72
    facet.materialart.
    Unknown
    Sustainability and the Rights of Nature in Practice (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: This book, and the intellectual and legal movement summarised within its pages, charts a bold alternative course for humanity. That there are certain ‘rights of Nature’ intrinsic to landscapes and life-forms around the world is a revolutionary assertion, yet an assertion with abundant and venerable precedents. By the logic of this movement, nonhuman beings have intrinsic existential rights and, by extension, should possess certain rights protecting their survival and interests within the evolving legal practices of modern nations. Concepts akin to human rights are thus extended to populations of wild nonhuman species, and to landforms such as mountains or rivers, on which many other lives depend. These entities might then possess rights to representation in legal arenas akin to personhood – so that certain keystone landforms or living beings cannot be destroyed for the profit of human individuals without overwhelmingly compelling reasons, nor damaged without efforts to directly compensate nonhuman ‘claimants’ for damages.
    Keywords: Cameron, Chris, Follette, La, Maser, Nature, Practice, Rights, Sustainability ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNK Environment, transport & planning law::LNKJ Environment law ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 73
    facet.materialart.
    Unknown
    Cosmology in Gauge Field Theory and String Theory (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-04
    Description: Cosmology in Gauge Field Theory and String Theory focuses on the cosmological implications of the gauge theories of particle physics and of string theory. The book first examines the universe's series of phase transitions in which the successive gauge symmetries of the higher-temperature phase were spontaneously broken after the big bang, discussing relics of these phase transitions, more generic relics (baryons, neutrinos, axions), and supersymmetric particles (neutralinos and gravitinos). The author next studies supersymmetric theory, supergravity theory, and the constraints on the underlying field theory of the universe's inflationary era. The book concludes with a discussion of black hole solutions of the supergravity theory that approximates string theory at low energies and the insight that string theory affords into the microscopic origin of the Bekenstein-Hawking entropy. Cosmology in Gauge Field Theory and String Theory provides a modern introduction to these important problems from a particle physicist's perspective. It is intended as an introductory textbook for a first course on the subject at a graduate level.
    Keywords: Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 74
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 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 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of systems; and software testing.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computer system failures ; Computers ; Computers ; Computer simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 75
    facet.materialart.
    Unknown
    Intel Xeon Phi Coprocessor Architecture and Tools (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 76
    facet.materialart.
    Unknown
    Android Application Development for the Intel Platform (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 77
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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 ...
    E-BOOK
  • 78
    facet.materialart.
    Unknown
    Android on x86 (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 79
    facet.materialart.
    Unknown
    Managing Risk and Information Security: Protect to Enable (Second Edition) (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 80
    facet.materialart.
    Unknown
    Global Forest Monitoring from Earth Observation (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Forests provide a large range of beneficial services, including tangible ones such as timber and recreation, and intangible services such as climate regulation, biodiversity, and watershed protection. On the other hand, forests can also be considered roadblocks to progress that occupy space more productively used for agriculture, making consideration of their regulating services crucial for balancing land use and forest loss. Monitoring forest cover and loss is critical for obtaining the data necessary to help define what is needed to maintain the varying forest service requirements in different parts of the world. There is an increasing need for timely and accurate forest change information, and consequently a greater interest in monitoring those changes. Global Forest Monitoring from Earth Observation covers the very recent developments undertaken for monitoring forest areas from global to national levels using Earth observation satellite data. It describes operational tools and systems for monitoring forest ecosystems, discussing why and how researchers currently use remotely sensed data to study forest cover and loss over large areas. The book introduces the role of forests in providing ecosystem services and the need for monitoring their change over time, followed by an overview of the use of earth observation data to support forest monitoring. It discusses general methodological differences, including wall-to-wall mapping and sampling approaches, as well as data availability. This book provides excellent coverage of the research and applications of forest monitoring, indicator mapping at coarse spatial resolution, sample-based assessments, and wall-to-wall mapping at medium spatial resolution using optical remote sensing datasets, such as MODIS and Landsat. It examines the use of radar imagery in forest monitoring and presents a number of operational systems, from Brazil’s PRODES and DETER products to Australia’s NCAS system. Written by leading global experts in the field, this book offers a launch point for future advances in satellite-based monitoring of global forest resources. It gives readers a deeper understanding of global forest monitoring methods and shows how state-of-the-art technologies may soon provide key data for creating more balanced policies.
    Keywords: Conservation of the environment ; Geographical information systems & remote sensing ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 81
    facet.materialart.
    Unknown
    Interdisciplinary Insights for Digital Touch Communication (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: Communication is increasingly moving beyond ‘ways of seeing’ to ‘ways of feeling’. This Open Access book provides social design insights and implications for HCI research and design exploring digitally mediated touch communication. It offers a socially orientated map to help navigate the complex social landscape of digitally mediated touch for communication: from everyday touch-screens, tangibles, wearables, haptics for virtual reality, to the tactile internet of skin. Drawing on literature reviews, new case-study vignettes, and exemplars of digital touch, the book examines the major social debates provoked by digital touch, and investigates social themes central to the communicative potential and societal consequences of digital touch: · Communication environments, capacities and practices · Norms associations and expectations · Presence, absence and connection · Social imaginaries of digital touch · Digital touch ethics and values The book concludes with a discussion of the significance of social understanding and methods in the context of Interdisciplinary collaborations to explore touch, towards the design of digital touch communication, ‘ways of feeling’, that are useable, appropriate, ethical and socially aware.
    Keywords: Computer science ; User interfaces (Computer systems) ; Technology—Sociological aspects ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 82
    facet.materialart.
    Unknown
    Office 365 (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 83
    facet.materialart.
    Unknown
    Measurement and Control of Charged Particle Beams (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This advanced textbook and reference is the first comprehensive and systematic review of all methods used for the measurement, correction, and control of the beam dynamics of modern particle accelerators. Based on material presented in several lectures at the US Particle Accelerator School, the text is intended for graduate students starting research or work in the field of beam physics. Relativistic beams in linear accelerators and storage rings provide the focus. After a review of linear optics, the text addresses basic and advanced techniques for beam control, plus a variety of methods for the manipulation of particle-beam properties. In each case, specific procedures are illustrated by examples from operational accelerators, e.g., CERN, DESY, SLAC, KEK, LBNL, and FNAL. The book also treats special topics such as injection and extraction methods, beam cooling, spin transport, and polarization. Problems and solutions enhance the book’s usefulness in graduate courses.
    Keywords: Physics ; Physics ; CERN ; DESY ; Particle accelerator ; Storage ring ; control ; measurement ; thema EDItEUR::P Mathematics and Science::PH Physics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 84
    facet.materialart.
    Unknown
    Handbook on Craniofacial Superimposition (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access handbook presents a trustable craniofacial superimposition methodological framework. It includes detailed technical and practical overviews, and discussions about the latest tools and open problems, covering the educational, technical, ethical, and security aspects of this forensic identification technique. The book will be of particular interest to researchers and practitioners in forensic anthropology and forensic ID, and also researchers in computational intelligence. It is the final result of a European project, New Methodologies and Protocols of Forensic Identification by Craniofacial Superimposition (MEPROCS). The project collaborators who contributed to this handbook are: S. Damas, O. Ibáñez, M.I. Huete, T. Kahana, C. Wilkinson, E. Ferguson, C. Erolin, C. Cattaneo, P.T. Jayaprakash, R. Jankauskas, F. Cavalli, K. Imaizumi, R. Vicente, D. Navega, E. Cunha, A.H. Ross, E. Veselovskaya, A. Abramov, P. Lestón, F. Molinero, E. Ruiz, F. Navarro, J. Cardoso, F. Viegas, D. Humpire, R. Hardiman, J. Clement, A. Valsecchi, B.R. Campomanes-Alvarez, C. Campomanes-Alvarez, A.S. Çağdır, T. Briers, M. Steyn, M. Viniero, D.N. Vieira, and O. Cordón. ; Authors among leading researchers and practitioners worldwide Reports successful collaborative project results First comprehensive guide on this important technique Open Access
    Keywords: Computer science ; Artificial intelligence ; Forensic medicine ; Computational intelligence ; Forensic science ; Health informatics ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVF Criminal investigation and detection::JKVF1 Forensic science ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKT Forensic medicine ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects ; 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 ...
    E-BOOK
  • 85
    facet.materialart.
    Unknown
    Permeable Reactive Barrier (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Remediation of groundwater is complex and often challenging. But the cost of pump and treat technology, coupled with the dismal results achieved, has paved the way for newer, better technologies to be developed. Among these techniques is permeable reactive barrier (PRB) technology, which allows groundwater to pass through a buried porous barrier that either captures the contaminants or breaks them down. And although this approach is gaining popularity, there are few references available on the subject. Until now. Permeable Reactive Barrier: Sustainable Groundwater Remediation brings together the information required to plan, design/model, and apply a successful, cost-effective, and sustainable PRB technology. With contributions from pioneers in this area, the book covers state-of-the-art information on PRB technology. It details design criteria, predictive modeling, and application to contaminants beyond petroleum hydrocarbons, including inorganics and radionuclides. The text also examines implementation stages such as the initial feasibility assessment, laboratory treatability studies (including column studies), estimation of PRB design parameters, and development of a long-term monitoring network for the performance evaluation of the barrier. It also outlines the predictive tools required for life cycle analysis and cost/performance assessment. A review of current PRB technology and its applications, this book includes case studies that exemplify the concepts discussed. It helps you determine when to recommend PRB, what information is needed from the site investigation to design it, and what regulatory validation is required.
    Keywords: Water Science ; Ecology - Environment Studies ; ENVIRO ; WATER ; SCI-TECH ; ENVIRONMENTALENGINEERING ; ENVIRONMENTALSCIENCE ; STM ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology::TQS Sanitary & municipal engineering::TQSW Water supply & treatment
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 86
    facet.materialart.
    Unknown
    Area-wide Integrated Pest Management (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: Over 98% of sprayed insecticides and 95% of herbicides reach a destination other than their target species, including non-target species, air, water and soil. The extensive reliance on insecticide use reduces biodiversity, contributes to pollinator decline, destroys habitat, and threatens endangered species. This book offers a more effective application of the Integrated Pest Management (IPM) approach, on an area-wide (AW) or population-wide (AW-IPM) basis, which aims at the management of the total population of a pest, involving a coordinated effort over often larger areas. For major livestock pests, vectors of human diseases and pests of high-value crops with low pest tolerance, there are compelling economic reasons for participating in AW-IPM. This new textbook attempts to address various fundamental components of AW-IPM, e.g. the importance of relevant problem-solving research, the need for planning and essential baseline data collection, the significance of integrating adequate tools for appropriate control strategies, and the value of pilot trials, etc. With chapters authored by 184 experts from more than 31 countries, the book includes many technical advances in the areas of genetics, molecular biology, microbiology, resistance management, and social sciences that facilitate the planning and implementing of area-wide strategies. The book is essential reading for the academic and applied research community as well as national and regional government plant and human/animal health authorities with responsibility for protecting plant and human/animal health.
    Keywords: Conservation of the environment ; Biology, life sciences ; Insects (entomology) ; Environmental science, engineering and technology ; Zoology: invertebrates ; Botany and plant sciences ; Agriculture and farming ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSV Zoology & animal sciences::PSVT Zoology: Invertebrates::PSVT7 Insects (entomology) ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSV Zoology & animal sciences::PSVT Zoology: Invertebrates ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming
    Language: English
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 87
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; 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::UT Computer networking and communications ; 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::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 88
    facet.materialart.
    Unknown
    Ionospheric Multi-Spacecraft Analysis Tools (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book provides a comprehensive toolbox of analysis techniques for ionospheric multi-satellite missions. The immediate need for this volume was motivated by the ongoing ESA Swarm satellite mission, but the tools that are described are general and can be used for any future ionospheric multi-satellite mission with comparable instrumentation. In addition to researching the immediate plasma environment and its coupling to other regions, such a mission aims to study the Earth’s main magnetic field and its anomalies caused by core, mantle, or crustal sources. The parameters for carrying out this kind of work are examined in these chapters. Besides currents, electric fields, and plasma convection, these parameters include ionospheric conductance, Joule heating, neutral gas densities, and neutral winds. ;
    Keywords: Physics ; Space sciences ; Atmospheric sciences ; Observations, Astronomical ; Astronomy—Observations ; Planetary science ; thema EDItEUR::P Mathematics and Science::PG Astronomy, space and time ; thema EDItEUR::P Mathematics and Science::PG Astronomy, space and time::PGS Solar system: the Sun and planets ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTD Space science::TTDS Astronautics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 89
    facet.materialart.
    Unknown
    A Practical Guide to TPM 2.0 (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
  • 90
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    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 ; Software engineering ; Mathematical logic ; Algorithms ; Logic design ; Artificial intelligence ; Computer logic ; 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::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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::UYF Computer architecture and logic design ; 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 ...
    E-BOOK
  • 91
    facet.materialart.
    Unknown
    Particle Accelerator Physics (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-04
    Description: This book by Helmut Wiedemann is a well-established, classic text, providing an in-depth and comprehensive introduction to the field of high-energy particle acceleration and beam dynamics. The present 4th edition has been significantly revised, updated and expanded. The newly conceived Part I is an elementary introduction to the subject matter for undergraduate students. Part II gathers the basic tools in preparation of a more advanced treatment, summarizing the essentials of electrostatics and electrodynamics as well as of particle dynamics in electromagnetic fields. Part III is an extensive primer in beam dynamics, followed, in Part IV, by an introduction and description of the main beam parameters and including a new chapter on beam emittance and lattice design. Part V is devoted to the treatment of perturbations in beam dynamics. Part VI then discusses the details of charged particle acceleration.
    Keywords: Physics ; Physics ; Accelerator Science and Technology ; Beam dynamics ; Beam physics ; Charged particle beams ; Charged particles dynamics ; Free electron laser ; Introduction to Particle Accelerators ; Physics of Particle Accelerators ; Synchrotron radiation ; US Accelerator Physics School ; thema EDItEUR::P Mathematics and Science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics
    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 ...
    E-BOOK
  • 92
    facet.materialart.
    Unknown
    CyberParks – The Interface Between People, Places and Technology (2021)
    Springer Nature
    Details
    Publication Date: 2024-05-09
    Description: This open access book is about public open spaces, about people, and about the relationship between them and the role of technology in this relationship. It is about different approaches, methods, empirical studies, and concerns about a phenomenon that is increasingly being in the centre of sciences and strategies – the penetration of digital technologies in the urban space. As the main outcome of the CyberParks Project, this book aims at fostering the understanding about the current and future interactions of the nexus people, public spaces and technology. It addresses a wide range of challenges and multidisciplinary perspectives on emerging phenomena related to the penetration of technology in people’s lifestyles - affecting therefore the whole society, and with this, the production and use of public spaces. Cyberparks coined the term cyberpark to describe the mediated public space, that emerging type of urban spaces where nature and cybertechnologies blend together to generate hybrid experiences and enhance quality of life.
    Keywords: Computer science ; User interfaces (Computer systems) ; Coding theory ; Information theory ; Special purpose computers ; Computer communication systems ; Application software ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::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 ...
    E-BOOK
  • 93
    facet.materialart.
    Unknown
    Gauge Theories in Particle Physics: A Practical Introduction, Volume 1 (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2024-04-05
    Description: Volume 1 of this revised and updated edition provides an accessible and practical introduction to the first gauge theory included in the Standard Model of particle physics: quantum electrodynamics (QED).The book includes self-contained presentations of electromagnetism as a gauge theory as well as relativistic quantum mechanics. It provides a uniqu
    Keywords: Nuclear physics ; Physics ; Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::P Mathematics and Science::PH Physics::PHN Nuclear physics ; thema EDItEUR::P Mathematics and Science::PH Physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 94
    facet.materialart.
    Unknown
    Tensor Network Contractions (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-05
    Description: Tensor network is a fundamental mathematical tool with a huge range of applications in physics, such as condensed matter physics, statistic physics, high energy physics, and quantum information sciences. This open access book aims to explain the tensor network contraction approaches in a systematic way, from the basic definitions to the important applications. This book is also useful to those who apply tensor networks in areas beyond physics, such as machine learning and the big-data analysis. Tensor network originates from the numerical renormalization group approach proposed by K. G. Wilson in 1975. Through a rapid development in the last two decades, tensor network has become a powerful numerical tool that can efficiently simulate a wide range of scientific problems, with particular success in quantum many-body physics. Varieties of tensor network algorithms have been proposed for different problems. However, the connections among different algorithms are not well discussed or reviewed. To fill this gap, this book explains the fundamental concepts and basic ideas that connect and/or unify different strategies of the tensor network contraction algorithms. In addition, some of the recent progresses in dealing with tensor decomposition techniques and quantum simulations are also represented in this book to help the readers to better understand tensor network. This open access book is intended for graduated students, but can also be used as a professional book for researchers in the related fields. To understand most of the contents in the book, only basic knowledge of quantum mechanics and linear algebra is required. In order to fully understand some advanced parts, the reader will need to be familiar with notion of condensed matter physics and quantum information, that however are not necessary to understand the main parts of the book. This book is a good source for non-specialists on quantum physics to understand tensor network algorithms and the related mathematics.
    Keywords: Physics ; Physics ; Quantum physics ; Quantum optics ; Statistical physics ; Machine learning ; Elementary particles (Physics) ; Quantum field theory ; thema EDItEUR::P Mathematics and Science::PH Physics::PHJ Optical physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::P Mathematics and Science::PH Physics::PHS Statistical physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::P Mathematics and Science::PH Physics::PHJ Optical physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHQ Quantum physics (quantum mechanics and quantum field theory) ; thema EDItEUR::P Mathematics and Science::PH Physics::PHS Statistical physics ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 95
    facet.materialart.
    Unknown
    Multiple-Aspect Analysis of Semantic Trajectories (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First International Workshop on Multiple-Aspect Analysis of Semantic Trajectories, MASTER 2019, held in conjunction with the 19th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2019, in Würzburg, Germany, in September 2019. The 8 full papers presented were carefully reviewed and selected from 12 submissions. They represent an interesting mix of techniques to solve recurrent as well as new problems in the semantic trajectory domain, such as data representation models, data management systems, machine learning approaches for anomaly detection, and common pathways identification.
    Keywords: Computer science ; Machine learning ; Application software ; Optical data processing ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; 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 ...
    E-BOOK
  • 96
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 97
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. This book, LNCS 11429, is part III of 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. It's a special volume on the occasion of the 25 year anniversary of TACAS.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Computers ; Computer system failures ; Computer simulation ; 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::UYM Computer modelling and simulation ; 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::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 98
    facet.materialart.
    Unknown
    Semantic Systems. The Power of AI and Knowledge Graphs (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 15th International Conference on Semantic Systems, SEMANTiCS 2019, held in Karlsruhe, Germany, in September 2019. The 20 full papers and 8 short papers presented in this volume were carefully reviewed and selected from 88 submissions. They cover topics such as: web semantics and linked (open) data; machine learning and deep learning techniques; semantic information management and knowledge integration; terminology, thesaurus and ontology management; data mining and knowledge discovery; semantics in blockchain and distributed ledger technologies.
    Keywords: Computer science ; Knowledge representation (Information theory)  ; Special purpose computers ; Computer communication systems ; User interfaces (Computer systems) ; Application software ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 99
    facet.materialart.
    Unknown
    Reducing Greenhouse Gas Emissions and Improving Air Quality (2021)
    Taylor & Francis | CRC Press
    Details
    Publication Date: 2023-09-12
    Description: "The world’s atmosphere is a common resource. Air quality, along with energy, transportation, and climate change have significant impacts on our lives and this book helps readers understand the changes happening at the nexus of these areas, as they relate to reducing greenhouse gas emissions and improving air quality. Discussing the transitions to electric vehicles, solar and wind energy for electricity generation, battery developments, smart grids and electric power management, and progress in the electrification of agricultural technology, it also provides the latest information in the context of the United Nations sustainable development goals and the Paris Agreement on Climate Change. Features: Includes content on how to improve urban air quality in large cities and urban environments. Effectively addresses the nexus of energy, transportation, air quality, climate change and health. Discusses innovative concepts at the nexus of renewable energy, smart grid, electric vehicles, and electric power management. Describes recent progress in meeting the goals of the Paris Agreement on Climate Change and the benefits of reducing greenhouse gas emissions. Written for a wide audience by world experts in sustainability. Reducing Greenhouse Gas Emission and Improving Air Quality: Two Interrelated Global Challenges, is an invaluable book for professionals and academics at the center of changes relating to solar and wind energy, electric vehicles, and charging infrastructure, including government officials, community leaders, researchers, students, and interested citizens. It is also an excellent text for classes that address sustainability, particularly for those focused on transportation and energy. "
    Keywords: Air quality, policy;Electricity;Electric vehicles;Batteries;Paris Agreement;Solar energy;Wind energy ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNK Environment, transport & planning law::LNKJ Environment law ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RND Environmental policy & protocols ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology::TQK Pollution control
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 100
    facet.materialart.
    Unknown
    Embedded Firmware Solutions (2021)
    Springer Nature | Apress
    Details
    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 ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...