ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology  (29)
  • thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building  (25)
  • Physics  (21)
  • Computers  (18)
  • ENG
  • bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNK Conservation of the environment
  • CRC Press  (77)
  • Cham : Springer  (29)
  • Berlin : Springer
Collection
Keywords
Language
  • 1
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-02-02
    Description: Artificial intelligence (AI) permeates our lives in a growing number of ways. Relying solely on traditional, technology-driven approaches won't suffice to develop and deploy that technology in a way that truly enhances human experience. A new concept is desperately needed to reach that goal. That concept is Human-Centered AI (HCAI). With 29 captivating chapters, this book delves deep into the realm of HCAI. In Section I, it demystifies HCAI, exploring cutting-edge trends and approaches in its study, including the moral landscape of Large Language Models. Section II looks at how HCAI is viewed in different institutions—like the justice system, health system, and higher education—and how it could affect them. It examines how crafting HCAI could lead to better work. Section III offers practical insights and successful strategies to transform HCAI from theory to reality, for example, studying how using regulatory sandboxes could ensure the development of age-appropriate AI for kids. Finally, decision-makers and practitioners provide invaluable perspectives throughout the book, showcasing the real-world significance of its articles beyond academia. Authored by experts from a variety of backgrounds, sectors, disciplines, and countries, this engaging book offers a fascinating exploration of Human-Centered AI. Whether you're new to the subject or not, a decision-maker, a practitioner or simply an AI user, this book will help you gain a better understanding of HCAI's impact on our societies, and of why and how AI should really be developed and deployed in a human-centered future.
    Keywords: Responsible AI;AI Governance;AI Regulation;Human Rights;Impacts of AI ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THR Electrical engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TB Technology: general issues::TBC Engineering: general ; bic Book Industry Communication::T Technology, engineering, agriculture::TB Technology: general issues::TBD Technical design::TBDG Ergonomics ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBJ Ethical & social aspects of IT ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence::UYQN Neural networks & fuzzy systems ; bic Book Industry Communication::T Technology, engineering, agriculture::TJ Electronics & communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBL Legal aspects of IT ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-02-02
    Description: The Congress and Exhibition Series ""Arsenic in the Environment"" offers an international, multi- and interdisciplinary discussion platform for research and innovation aimed towards a holistic solution to the challenges posed by the environmental toxin arsenic, with global societal impact. The Congress has focused on cutting edge and breakthrough research in physical, chemical, toxicological, medical, agricultural and other specific issues on arsenic across a broader environmental realm. The Biennial Congress and Exhibition ""Arsenic in the Environment"" was first organized in Mexico City (As2006) followed by As2008 in Valencia (Spain), As2010 in Tainan (Chinese Taiwan), As2012 in Cairns (Australia), As2014 in Buenos Aires (Argentina), As2016 in Stockholm (Sweden) and As2018 in Beijing (P.R. China). The 8th International Congress As2020 was held June 7-9, 2021 (first time digitally owing to the global COVID-19 pandemic, in Wageningen, The Netherlands) and with a title Arsenic in the Environment - Bridging Science to Practice for Sustainable Development. The Congress addressed the broader context of arsenic research aligned on the following themes: Theme 1: Arsenic in Natural Soil and Water Systems Theme 2: Arsenic in Agriculture and Food Production Theme 3: Health Impacts of Arsenic Theme 4: Technologies for Arsenic Removal from Water Theme 5: Sustainable Mitigation and Management for Sustainable Development Arsenic in drinking water and food is a major health issue, affecting millions of people in many parts of the world. In recent years serious cases of arsenic exposure through different environmental matrices have been reported from, for example, Argentina, Bangladesh, Chile, China, Taiwan, Turkey, India, Mexico, UK, USA, Pakistan, Vietnam as well as other regions in the world. Arsenic can cause a number of carcinogenic and non-carcinogenic adverse effects on human health and therefore human exposure to arsenic should be avoided. Notably, The Netherlands has been in the forefront of research on arsenic removal technology and developed a cutting edge innovation to remove arsenic to levels below the WHO drinking water guideline to as low as less than 1 μg/L. This has created an enabling environment to discuss on policy issues for defining the new drinking water guideline. The Congress has attracted professionals involved in different segments of interdisciplinary research on arsenic in an open forum, and strengthened relations between academia, research institutions, government and non-governmental agencies, industries, and civil society organizations to share an optimal ambience for exchange of knowledge.
    Keywords: Environmental toxicology;Arsenic;Health impact;Arsenic removal;Sustainable development ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNA Primary industries::KNAC Agriculture & related industries ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSB Biochemistry::PSBT Toxicology (non-medical) ; 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 ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNB Energy industries & utilities::KNBW Water industries ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-02-20
    Description: In the oil and gas industry, technologies have been developed to address microbial-related issues such as oil field souring, microbiologically influenced corrosion, biofouling, and targeted measures for risk assessment and mitigation. Microorganisms have also benefited the oil sector through microbial-enhanced oil recovery and bioremediation of petroleum-contaminated environments. However, during the current transitional phase in the oil and gas industry, the role of the microbiome within the current infrastructure and its potential impact on future systems remains an open question. Petroleum Microbiology: The Role of Microorganisms in the Transition to Net Zero Energy explores technological advances in applied microbiology in the oil and gas sector that can be utilized in its transition to renewable energy systems. • Provides insights on the potential of applying microbiological techniques in oil systems to pave the way to achieving net-zero energy. • Presents the major industrial problems caused by microbes and their beneficial activities from both fundamental and applied perspectives. • Covers such technologies as next-generation sequencing, sampling, and diagnostics. • Offers a solid foundation on the importance of microbes to key aspects of the energy industry. • Seeks to answer the question: what role will microorganisms play in the evolution of energy systems? Featuring chapters from interdisciplinary experts spanning academia and industry, this is an excellent reference for microbial ecologists, molecular biologists, operators, engineers, chemists, and academics involved in the oil and gas sector, working toward energy transition. 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 (CC-BY-NC-ND)] 4.0 license.
    Keywords: renewable energy ; souring ; MIC ; biofouling ; microbial ecology ; reservoir microbiome ; microbial bioinformatics ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THX Alternative & renewable energy sources & technology ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNA Primary industries::KNAT Mining industry ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSD Molecular biology ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 5
    Publication Date: 2024-04-11
    Description: Discharge Modeling; Numerical Analysis; Desalination; Outfall; Inclined Jets; OpenFOAM; Effluent Dilution Modeling
    Keywords: Discharge Modeling; Numerical Analysis; Desalination; Outfall; Inclined Jets; OpenFOAM; Effluent Dilution Modeling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQS Sanitary and municipal engineering::TQSW Water supply and treatment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: The texts presented in Proportion Harmonies and Identities (PHI) Time and Space were compiled to establish a multidisciplinary platform for presenting, interacting, and disseminating research. It also aims to foster awareness and discussion on Time and Space, focusing on different visions relevant to Architecture, Arts and Humanities, Design and Social Sciences, and its importance and benefits for the sense of identity, both individual and communal. The idea of Time and Space has been a powerful motor for development since the Western Early Modern Age. Its theoretical and practical foundations have become the working tools of scientists, philosophers, and artists, who seek strategies and policies to accelerate the development process in different contexts.
    Keywords: Architecture ; Arts ; Design ; Humanities ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    facet.materialart.
    Unknown
    Taylor & Francis | GIS in Healthcare | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-02-03
    Description: GIS and Housing: Principles and Practices discusses one of the challenges that has not been addressed by Geographic Information Science thus far: how can we use GIS to deal with the complex issues underlying the housing crisis? This book provides GIS technicians and analysts with an overview of US housing challenges and examples of how to effectively integrate spatial thinking to address housing policy questions, while simultaneously introducing housing policy analysts to advanced GIS concepts and techniques to create livable neighborhoods that include housing alternatives beyond the single family. Through numerous examples, the authors advocate for a collaborative approach that encourages professionals, policymakers, and analysts, across different ideological and political perspectives, to confront the multifaceted housing crisis. Features: Examines the historical aspects of housing provision, societal attitudes, demographic shifts, and government policies. Bridges the gaps between housing professionals and GIS experts, facilitating an interdisciplinary approach to address the housing crisis. Explores different challenges that are facing urban, suburban, and rural neighborhoods in different US regions. Provides professionals with the necessary tools for informed decision-making. Proposes solutions that leverage the integrative capacity of GIS to address established housing issues. Advocates for denser housing alternatives to address issues of affordability, supply shortages, and homelessness. This book is intended for graduate students and professionals in housing, community development, urban planning, architecture, and GIS, and anyone curious about learning more about the American housing crisis.
    Keywords: Education;GIS Analysis;GIS Mapping;GIS Visualization;Housing challenges;Housing finance;Land use patterns;New York City;Transportation;Urban sprawl ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning::RPC Urban & municipal planning ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNK Environment, transport & planning law::LNKJ Environment law ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: The Institution’s International Conference on Turbochargers and Turbocharging (Twickenham, London, UK, 16-17 May 2023) returns to address the latest advances, research and developments in turbocharging system designs and boosting solutions. This volume presents a peer-reviewed collection of papers which will address current and novel turbocharging system choices and components with a renewed emphasis to address the challenges posed by emission regulations and market trends. The latest developments leading to enhanced performance and efficiency, increased durability and reduced emissions in line with meeting Net-Zero and global emissions targets. Topics include: Air management in powertrains: conventional, hybrids, fuel cells and novel configurations Alternate fuels and their needs in boosting (e.g. hydrogen, synthetic fuels) Electrification of turbochargers, compressors, and exhaust turbines Simulation and testing techniques, data analytics, including AI and digital twins Thermal management, waste heat recovery and expanders Turbomachinery aerodynamic: novel compressors & turbines and multi-stage systems. Component fatigue life, bearing design, rotor-dynamics and durability prediction Mechatronics, control, sensors and power electronics High speed turbomachinery in propulsion and power systems Future Legislation needs for thermal propulsion systems
    Keywords: Mechanical Engineering;Turbochargers;Turbocharging ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THF Fossil fuel technologies ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-01-30
    Description: Oceanography and Marine Biology: An Annual Review remains one of the most cited sources in marine science. The increasing interest in oceanography and marine biology and its relevance to global environmental issues, especially global climate change and its impacts, creates a demand for authoritative refereed reviews summarising and synthesising the results of both historical and recent research. For more than 50 years, OMBAR has been an essential reference for researchers, students and workers in all fields of marine science. An international Editorial Board ensures global relevance and expert peer review, with editors from Australia, Hong Kong, Ireland, Singapore, and the UK. The series of volumes can be found in the libraries of institutes and universities worldwide. Five of the seven peer-reviewed contributions in Volume 61 are available to read Open Access via this webpage and on OAPEN. Supplementary material is provided online on the Support Materials tab on the book’s www.routledge.com webpage for Reviews 1, 2, 4, 5 and 6. Volume 61 features a review of 100 years of daily sea surface temperature from the Hopkins Marine Station in Pacific Grove, California; an exploration of the biology and life cycle of enigmatic crustacean y-larvae; a review of the science, policy and management of the Central and South Atlantic Deep-Sea benthos; a review of the biodiversity of the Irish-Scottish continental margin; an investigation of how new molecular tools can be used for marine biodiversity and ecosystem assessments, and a look at the resilience of marine organisms to climate change. A final monograph considers enemy shells as refugia from grazing and competition pressure. If you are interested in submitting a review for consideration for publication in OMBAR, please email the new co-Editors in Chief, Dr Peter Todd (dbspat@nus.edu.sg) and Dr Bayden Russell (brussell@hku.hk). Guidelines for contributors to OMBAR, including information on illustration requirements, can be downloaded on the “Support Material” tab on the latest volume’s webpage.
    Keywords: oceanography ; marine biology ; marine science ; environmental science ; fisheries ; fish biology ; crustaceans ; climate change ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::W Lifestyle, sport & leisure::WN Natural history::WNW The Earth: natural history general ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere::RBKC Oceanography (seas) ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: This book provides the thoughtful writings of a selection of authors illustrating a central concept: Sustainable Development in Creative Industries, which utilizes a monetary equilibrium addressing issues, particularly those associated with the use of an integrated area in cyberspace and physical space, and their effect on the creative industries. 15 universities from Asia and Europe have participated in the 9th Bandung Creative Movement, where this topic was explored. Sustainability issues are now at the forefront of progress. The book covers four main areas. The first section, entitled "Art, Culture, and Society," delves into the various sectors that contribute to building a more sustainable environment, including the arts and culture. Whereas, "Design and Architecture" is referring to cutting-edge practices in the fields of manufacturing, transportation, interior design, and building construction. The third section "Technology and New Media" delves into the transformation of technology into a new medium for the development of the creative industries. The final section, "management and Business," discusses an innovative perspective on the state of the market and management in the sector. Anyone interested in the intersection of creative industries, sustainability, and digital cultures would benefit intellectually from reading this book. 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 (CC-BY-NC-ND) 4.0 license. Funded by Telkom University, Indonesia.
    Keywords: arts ; culture ; environmental design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Publication Date: 2024-04-11
    Description: By delivering the mindful writings from our selected authors, this book portrays one big idea: a new Human-Centered society that balances economics to resolve problems, especially in the use of an integrated area in cyberspace, physical space, and how it impacts the creative industries. Through The 8th Bandung Creative Movement, scholars from 15 Universities around the Asian and European countries have discussed this issue where Human-Centered society became the main consideration in the development. Three topics are presented to the readers. Firstly, "Sustainable Cities and Communities" explores the sub-fields that construct a more sustainable environment for society post-pandemic era, such as technologies, transportation, interior design, architecture, urban planning, etc. While "Art and Design: Recontextualization of Nusantara Tradition and Indigenous Culture" concerned the novel perspectives on recognizing cultural aspects that shape the face of creative industry, from cultural identity, visual and performing arts, pop culture to language and media. The last topic, "Changes and Dynamics in The Creative Industries," reviews the creative approach toward the industry's current trends, including marketplace, destination branding, or digital culture ecosystem. This book will enrich the mind of everybody who is an enthusiast of innovative research on creative industries, human-centered technologies, environmental design, and excellent society 5.0 post-pandemic era.
    Keywords: creative industry ; Indigenous Culture ; sustainable cities ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Smart Geotechnics for Smart Societies contains the contributions presented at the 17th Asian Regional Conference on Soil Mechanics and Geotechnical Engineering (17th ARC, Astana, Kazakhstan, 14-18 August, 2023). The topics covered include: Geomaterials for soil improvement Tunneling and rock engineering Slope, embankments and dams Shallow and deep foundations Soil dynamics and geotechnical earthquake engineering Geoenvironmental engineering and frost geotechnics Investigation of foundations of historical structures and monitoring Offshore, harbor geotechnics and GeoEnergy Megaprojects and transportation geotechnics Smart Geotechnics for Smart Societies will be of interest to academics and engineers interested or involved in geotechnical engineering.
    Keywords: Deep Foundations ; Earthquake Engineering ; Geotechnical Engineering ; Rock Engineering ; Soil Dynamics ; Tunnelling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-06
    Description: The Animal Production International Seminar (APIS) is the first international conference held by the Faculty of Animal Science, Universitas Brawijaya. APIS was held for the first time in 2010 and was repeated every three years. In 2022, the 5th APIS was organized as an online meeting. The Faculty of Animal Science, Universitas Brawijaya, is optimistic that the results of the 5th APIS will just be as successful as the 4th APIS in 2019. The theme of 5th APIS was ""Developing Modern Livestock Production in Tropical Countries"". The 5th APIS discussed matters related to strategies for developing modern livestock production in several tropical countries. The participants of 5th APIS, including keynote speakers and invited speakers, are from various countries (tropical and sub-tropical). These proceedings present the selected papers from the 5th APIS conference.
    Keywords: animal breeding;livestock engineering;quantitative genetics ; thema EDItEUR::M Medicine and Nursing::MZ Veterinary medicine ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Taylor & Francis | Oceanography and Marine Biology | Oceanography and Marine Biology | CRC Press
    Publication Date: 2024-01-30
    Description: If marine organisms are to persist through the Anthropocene, they will need to be resilient, but what is resilience, and can resilience of marine organisms build within a single lifetime or over generations? The aim of this review is to evaluate the resilience capacity of marine animals in a time of unprecedented global climate change. Resilience is the capacity of an ecosystem, society, or organism to recover from stress. Marine organisms can build resilience to climate change through phenotypic plasticity or adaptation. Phenotypic plasticity involves phenotypic changes in physiology, morphology, or behaviour which improve the response of an organism in a new environment without altering their genotype. Adaptation is an evolutionary longer process, occurring over many generations and involves the selection of tolerant genotypes which shift the average phenotype within a population towards the fitness peak. Research on resilience of marine organisms has concentrated on responses to specific species and single climate change stressors. It is unknown whether phenotypic plasticity and adaptation of marine organisms including molluscs, echinoderms, polychaetes, crustaceans, corals, and fish will be rapid enough for the pace of climate change.
    Keywords: Anthropocene ; Phenotypic Plasticity ; Resilience ; Transgenerational Plasticity ; Ocean Warming ; Ocean Acidification ; Marine Organisms ; Adaptive Capacity ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::W Lifestyle, sport & leisure::WN Natural history::WNW The Earth: natural history general ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere::RBKC Oceanography (seas) ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: The Congress ""Arsenic in the Environment"" offers an international, multi- and interdisciplinary discussion platform for research and innovation aimed towards a holistic solution to the problem posed by the environmental toxin arsenic, with significant societal impact. The Congress has focused on cutting edge and breakthrough research in physical, chemical, toxicological, medical, agricultural and other specific issues on arsenic across a broader environmental realm. The Biennial Congress ""Arsenic in the Environment"" was first organized in Mexico City (As2006) followed by As2008 in Valencia (Spain), As2010 in Tainan (Chinese Taiwan), As2012 in Cairns (Australia), As2014 in Buenos Aires (Argentina) and As2016 in Stockholm (Sweden). The 7th International Congress As2018 was held July 1-6, 2018, in Beijing, P. R. China and was entitled Environmental Arsenic in a Changing World. The Congress addressed the broader context of arsenic research aligned on the following themes: Theme 1: Arsenic Behaviour in Changing Environmental Media Theme 2: Arsenic in a Changing Agricultural Ecosystem Theme 3: Health Impacts of Environmental Arsenic Theme 4: Technologies for Arsenic Immobilization and Clean Water Blueprints Theme 5: Sustainable Mitigation and Management Arsenic in drinking water (mainly groundwater) has emerged as an issue of global health concern. During last decade, the presence of arsenic in rice, possibly also other food of plant origins, has attained increasing attention. This is particularly true in the Asian countries, where the use of high arsenic groundwater as source of irrigation water and drinking water has been flagged as severe health concern. This has been accentuated by elevating arsenic concentrations in deep groundwater recharged from shallow high arsenic groundwater, which may have further detrimental effects on public health. Notably, China has been in the forefront of research on arsenic biogeochemical cycling, health effects of arsenic, technologies for arsenic removal, and sustainable mitigation measures. The Congress has attracted professionals involved in different segments of interdisciplinary research on arsenic in an open forum, and strengthened relations between academia, research institutions, government and non-governmental agencies, industries, and civil society organizations to share an optimal ambience for exchange of knowledge.
    Keywords: arsenic behaviour in changing environmental media;arsenic in a changing acricultural ecosystem;arsenic research;clean water blueprints;environmental toxin arsenic;health impacts;health impacts of environmental arsenic;sustainable mitigation;sustainable mitigation and management;technologies for arsenic immobilization and clean water blueprints ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    facet.materialart.
    Unknown
    Taylor & Francis | GIS in Healthcare | GIS | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 20
    facet.materialart.
    Unknown
    Taylor & Francis | GIS in Healthcare | GIS | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Smart and Resilient Infrastructure For Emerging Economies: Perspectives on Building Better is about pressing and multidimensional challenges faced in constructing resilient, sustainable, and smart infrastructure in developing countries. The 32 case studies, literature reviews, comparative analyses and systematic reviews, cover a wide range of topics, including: sustainable and resilient infrastructure development smart cities digital innovation in construction infrastructure investment construction ergonomics socio-environmental sustainability gender equity, and climate change responses The contributions present innovative solutions, impactful insights, and substantive contributions to the discourse on sustainable infrastructure development, and illuminate the interplay between infrastructure development, social justice, environmental sustainability, and technological advancement. Smart and Resilient Infrastructure For Emerging Economies: Perspectives on Building Better is essential reading for academics, researchers, practitioners, policymakers, and students involved in the built environment, infrastructure delivery, investment in infrastructure, civil engineering, architecture, urban planning, environmental science, and other related disciplines.
    Keywords: climate change responses;construction ergonomics;digital innovation in construction;infrastructure investment;smart cities;socio-environmental sustainability;sustainable and resilient infrastructure development ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    facet.materialart.
    Unknown
    Taylor & Francis | Numerical Simulation of Effluent Discharges | CRC Press
    Publication Date: 2024-04-11
    Description: Chapter 3 is an introduction to OpenFOAM, as the most popular CFD tool in effluent discharge modelling. A decade ago, OpenFOAM was only an academic tool for studying complex fluid mechanics problems. However, it has grown quickly in recent years and has found its way into industry as well (e.g., many consulting firms have invested in creating their own solvers for the particular problems they often solve). This book covers the fundamentals of OpenFOAM related to effluent discharge modeling: the choice of available solvers and differences between them, mesh generation options and methodology in OpenFOAM and postprocessing the numerical results.
    Keywords: Discharge Modeling; Numerical Analysis; Desalination; Outfall; Inclined Jets; OpenFOAM; Effluent Dilution Modeling ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQS Sanitary and municipal engineering::TQSW Water supply and treatment ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: The construction practices we employ in our daily life in European societies today were shaped by major changes in the past, such as the introduction and dissemination of Portland cement and reinforced concrete, a development that constitutes a fundamental chapter in the history of construction in the 19th and 20th centuries. Such changes were boosted by several innovations in the fields of applied mathematics, chemistry and physics. They involved patents licensing, optimization of materials production and machinery. There were new legislative frameworks, a specific knowledge transfer within a network of actors and the transformation of hierarchical frameworks. Written by international specialists, this two-part book is centred on case studies from the UK, Germany, Switzerland, France, Belgium, Portugal, Spain and Italy. The first part explores the mutual international influence between these countries and their intrinsic characteristics in this field, resulting from each nation’s particular economic, social, political, cultural and technological conditions. The second part focuses on the history of public works companies. Capable of carrying out both private works and major infrastructures, these players exemplify the technological and business advances that the construction sector has experienced over the last two centuries. This book is a must-read for researchers on contemporary construction history in Europe. The Open Access version of this book, available at www.taylorfrancis.com, has been made available under a Create Commons Attribution-Non Commercial-No Derivatives 4.0 (CC-BY-NC-ND) license.
    Keywords: building materials;construction history;masonry and carpentry ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Taylor & Francis | GIS | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    facet.materialart.
    Unknown
    Taylor & Francis | Oceanography and Marine Biology | Oceanography and Marine Biology | CRC Press
    Publication Date: 2024-01-30
    Description: The 100-year record of daily sea-surface temperature (SST) acquired at the Hopkins Marine Station (HMS) in Pacific Grove, California, is one of the longest oceanographic records in existence. It is exceeded in length by the record at Scripps Pier by only 3 years. The history of the record at HMS, the methods used to gather the data, the problems that were encountered, and finally, the scientific significance of this record are presented. Reconstructing a complete version of the 100-year time series record was not straightforward. Two major gaps had to be filled using data from another site, and variation in the time of day for sample collection was addressed to better standardise the SST values presented. The observations were first examined for their oceanographic content based on the relevant timescales involved that ranged from daily to the record length, i.e., centennial. The major sources of variability included the El Niño phenomenon, the Pacific Decadal Oscillation, and the Marine Heat Wave (MHW) that began in 2014. The impact of the MHW cannot be overstated, and it was well represented in the data from the HMS. The use of the historical temperature record for studies of long-term changes in species and communities in the biological literature is highlighted. Finally, a set of conclusions is presented highlighting the important contributions of the SST dataset that are only possible through dedicated long-term environmental monitoring programmes such as the one reported here.
    Keywords: Daily Sea-Surface Temperature ; Hopkins Marine Station ; Monterey Bay ; 100-Year Record ; Physical Oceanography ; Marine Biology ; North Pacific Marine Heat Wave ; Coastal Laurence C. Breaker and San Diego State University ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::W Lifestyle, sport & leisure::WN Natural history::WNW The Earth: natural history general ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere::RBKC Oceanography (seas) ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology ; 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::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    facet.materialart.
    Unknown
    Taylor & Francis | Oceanography and Marine Biology | Oceanography and Marine Biology | CRC Press
    Publication Date: 2024-01-30
    Description: The Irish–Scottish margin is geologically and oceanographically heterogeneous. Source waters of subpolar and subtropical origin interact with banks, seamounts, submarine canyon systems, escarpments, and mound provinces resulting in rich and diverse benthic communities that are influenced by local and regional hydrodynamics (e.g., internal waves, tides, and local turbulence). Reef habitats formed by the cold-water coral Desmophyllum pertusum are particularly well studied, such that controls on reef and mound formation are relatively well understood. The distribution of some other Vulnerable Marine Ecosystems (VMEs), such as sponge fields formed by Pheronema carpenteri, and xenophyophore aggregations, is known due to both field observations and predictive modelling. Some VMEs are poorly known, for example, coral gardens, where in many cases even the characteristic species are not fully identified. The autecology of some component species has been studied, but for others, knowledge is almost completely lacking. The evidence for increased biodiversity associated with all these habitats is clear and all suffer anthropogenic impacts.
    Keywords: Cold-water Coral Reefs ; Sponge Aggregations ; Coral Gardens ; Deep Sea ; Vulnerable Marine Ecosystems ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::W Lifestyle, sport & leisure::WN Natural history::WNW The Earth: natural history general ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere::RBKC Oceanography (seas) ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    facet.materialart.
    Unknown
    Taylor & Francis | GIS in Healthcare | GIS | CRC Press
    Publication Date: 2023-09-12
    Description: The third edition of GIS has been revised with extensive new content reflecting the significant progress that has been made in the realm of GIS within the last 20 years. Among the new topics covered are graph databases and graph query languages, ontology engineering and qualitative spatial reasoning, geosensor networks and GeoAI.
    Keywords: Big spatial data, Cloud computing, Fair information practices, GeoAI, Geosensor networks, GIS, Graph databases, Machine learning, Spatial algorithms, Web mapping ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMZ Software Engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: Oceanography and Marine Biology: An Annual Review remains one of the most cited sources in marine science and oceanography. The ever-increasing interest in work in oceanography and marine biology and its relevance to global environmental issues, especially global climate change and its impacts, creates a demand for authoritative refereed reviews summarizing and synthesizing the results of both historical and recent research. This Volume celebrates 60 years of OMBAR, over which time it has been an essential reference for research workers and students in all fields of marine science. The peer-reviewed contributions in Volume 60 are available to read Open Access via this webpage and on OAPEN. If you are interested in submitting a review for consideration for publication in OMBAR, please email the Editor-in-Chief, Stephen Hawkins (S.J.Hawkins@soton.ac.uk) for Volume 61. For Volume 62 onwards, please email the new co-Editors in Chief, Dr Peter Todd (dbspat@nus.edu.sg) and Dr Bayden Russell (brussell@hku.hk). Volume 60 features an editorial on the UN Decade of Ocean Science and goes on to consider such diverse topics as Cenozoic tropical marine biodiversity, blue carbon ecosystems in Sri Lanka, marine litter and microplastics in the Western Indian Ocean, and the ecology and conservation status of the family Syngnathidae in southern and western Africa. This volume also contains a retrospective Prologue on the evolution of OMBAR and pays tribute to one of its early Editors in Chief, Margaret Barnes, by providing an update on her review in OMBAR of the stalked barnacle Pollicipes. Supplementary online videos as well as additional Tables and Appendices are available on the Support Tab of the book's Routledge webpage. An international Editorial Board ensures global relevance and expert peer review, with editors from Australia, Canada, Hong Kong, Ireland, Singapore and the UK. The series volumes find a place in the libraries of not only marine laboratories and oceanographic institutes, but also universities worldwide.
    Keywords: climate change;marine conservation;marine research;marine science;oceanography;ocean toxicology;plastic pollution ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RB Earth sciences::RBK Hydrology & the hydrosphere::RBKC Oceanography (seas) ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSP Hydrobiology::PSPM Marine biology ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNP Pollution & threats to the environment::RNPG Climate change ; 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 ...
  • 29
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Volume 2 of History of Construction Cultures contains papers presented at the 7ICCH – Seventh International Congress on Construction History, held at the Lisbon School of Architecture, Portugal, from 12 to 16 July, 2021. The conference has been organized by the Lisbon School of Architecture (FAUL), NOVA School of Social Sciences and Humanities, the Portuguese Society for Construction History Studies and the University of the Azores. The contributions cover the wide interdisciplinary spectrum of Construction History and consist on the most recent advances in theory and practical case studies analysis, following themes such as: - epistemological issues; - building actors; - building materials; - building machines, tools and equipment; - construction processes; - building services and techniques ; -structural theory and analysis ; - political, social and economic aspects; - knowledge transfer and cultural translation of construction cultures. Furthermore, papers presented at thematic sessions aim at covering important problematics, historical periods and different regions of the globe, opening new directions for Construction History research. We are what we build and how we build; thus, the study of Construction History is now more than ever at the centre of current debates as to the shape of a sustainable future for humankind. Therefore, History of Construction Cultures is a critical and indispensable work to expand our understanding of the ways in which everyday building activities have been perceived and experienced in different cultures, from ancient times to our century and all over the world.
    Keywords: Building construction and materials ; Civil engineering, surveying and building ; Structural engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 31
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: History of Construction Cultures Volume 1 contains papers presented at the 7ICCH – Seventh International Congress on Construction History, held at the Lisbon School of Architecture, Portugal, from 12 to 16 July, 2021. The conference has been organized by the Lisbon School of Architecture (FAUL), NOVA School of Social Sciences and Humanities, the Portuguese Society for Construction History Studies and the University of the Azores. The contributions cover the wide interdisciplinary spectrum of Construction History and consist on the most recent advances in theory and practical case studies analysis, following themes such as: - epistemological issues; - building actors; - building materials; - building machines, tools and equipment; - construction processes; - building services and techniques ; -structural theory and analysis ; - political, social and economic aspects; - knowledge transfer and cultural translation of construction cultures. Furthermore, papers presented at thematic sessions aim at covering important problematics, historical periods and different regions of the globe, opening new directions for Construction History research. We are what we build and how we build; thus, the study of Construction History is now more than ever at the centre of current debates as to the shape of a sustainable future for humankind. Therefore, History of Construction Cultures is a critical and indispensable work to expand our understanding of the ways in which everyday building activities have been perceived and experienced in different cultures, from ancient times to our century and all over the world.
    Keywords: Building construction and materials ; Civil engineering, surveying and building ; Structural engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Innovations in Road, Railway and Airfield Bearing Capacity – Volume 2 comprises the second part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, functional testing, deflection measurement evaluation, structural performance prediction for pavements and tracks, new construction and rehabilitation design systems, frost affected areas, drainage and environmental effects, reinforcement, traditional and recycled materials, full scale testing and on case histories of road, railways and airfields. This edited work is intended for a global audience of road, railway and airfield engineers, researchers and consultants, as well as building and maintenance companies looking to further upgrade their practices in the field.
    Keywords: Civil engineering, surveying and building ; Transport technology and trades ; Structural engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Innovations in Road, Railway and Airfield Bearing Capacity – Volume 3 comprises the third part of contributions to the 11th International Conference on Bearing Capacity of Roads, Railways and Airfields (2022). In anticipation of the event, it unveils state-of-the-art information and research on the latest policies, traffic loading measurements, in-situ measurements and condition surveys, functional testing, deflection measurement evaluation, structural performance prediction for pavements and tracks, new construction and rehabilitation design systems, frost affected areas, drainage and environmental effects, reinforcement, traditional and recycled materials, full scale testing and on case histories of road, railways and airfields. This edited work is intended for a global audience of road, railway and airfield engineers, researchers and consultants, as well as building and maintenance companies looking to further upgrade their practices in the field.
    Keywords: Civil engineering, surveying and building ; Transport technology and trades ; Structural engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Vibro compaction and vibro stone columns are the two dynamic methods of soil improvement most commonly used worldwide. These methods have been developed over almost eighty years and are now of unrivalled importance as modern foundation measures. Vibro compaction works on granular soils by densification, and vibro stone columns are used to displace and reinforce fine-grained and cohesive soils by introducing inert material. This second edition includes also a chapter on vibro concrete columns constructed with almost identical depth vibrators. These small diameter concrete piles are increasingly used as ground improvement methods for moderately loaded large spread foundations, although the original soil characteristics are only marginally improved. This practical guide for professional geotechnical engineers and graduate students systematically covers the theoretical basis and design principles behind the methods, the equipment used during their execution, and state of the art procedures for quality assurance and data acquisition. All the chapters are updated in line with recent developments and improvements in the methods and equipment. Fresh case studies from around the world illustrate the wide range of possible applications. The book concludes with variations to methods, evaluates the economic and environmental benefits of the methods, and gives contractual guidance.
    Keywords: backfill ; column ; columns ; compaction ; concrete ; depth ; material ; replacement ; stone ; vibro ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering::TNCC Soil and rock mechanics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Motion structures are simply assemblies of resistant bodies connected by movable joints. Unlike conventional structures, they allow large shape transformations to satisfy practical requirements and they can be used in:shelters, emergency structures and exhibition standsaircraft morphing wingssatellite solar panels and space antennasmorphing core ma
    Keywords: angle ; assembly ; closure ; compact ; folding ; joint ; linkage ; mobile ; pivoting ; revolute ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: This book contains selected papers presented at the 4th International Seminar of Contemporary Research on Business and Management (ISCRBM 2020), which was organized by the Alliance of Indonesian Master of Management Program (APMMI) and held in Surubaya, Indonesia, 25-27 November 2020. It was hosted by the Master of Management Program Indonesia University and co-hosts Airlangga University, Sriwijaya University, Trunojoyo University of Madura, and Telkom University, and supported by Telkom Indonesia and Triputra. The seminar aimed to provide a forum for leading scholars, academics, researchers, and practitioners in business and management area to reflect on current issues, challenges and opportunities, and to share the latest innovative research and best practice. This seminar brought together participants to exchange ideas on the future development of management disciplines: human resources, marketing, operations, finance, strategic management and entrepreneurship.
    Keywords: Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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 ...
  • 38
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 39
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: This self-contained book gives a detailed treatment of optimal control theory that enables readers to formulate and solve optimal control problems. With a strong emphasis on problem solving, it provides all the necessary mathematical analyses and derivations of important results, including multiplier theorems and Pontryagin's principle. The text presents various examples and basic concepts of optimal control and describes important numerical methods and computational algorithms for solving a wide range of optimal control problems, including periodic processes.
    Keywords: Process Control - Chemical Engineering ; Separation Processing ; Systems and Controls ; ENG ; ElectricalEngineering ; CHEMLIB ; SCI-TECH ; CHEMICALENGINEERING ; STM ; constraint ; derivatives ; equation ; equations ; lagrange ; multiplier ; partial ; problem ; rule ; state ; 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::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 41
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-03-31
    Description: Written to cover often overlooked areas in the field of bioMEMS, this volume bridges topics related to biomolecules and complex biological entities with those directly related to the design, fabrication, and characterization of the devices. Unlike other references, this text aids with the fundamental physicochemical understanding of biological processes relevant to the performance of various biosensing devices. Accessible to seniors and graduate students enrolled in engineering programs, the book includes problems in each chapter as well as case studies to provide real-life examples.
    Keywords: Bioinformatics ; Biomedical Engineering ; Biomaterials ; ENG ; MATERIALS ; MechanicalEngineering ; SCI-TECH ; BIOMEDICALSCIENCE ; STM ; Actuators ; Biosignal Transduction ; Electrokinetics ; Micromachining ; Micropumps ; Microreactors ; Microseparators ; Photoelectron Spectroscopy ; thema EDItEUR::M Medicine and Nursing::MF Pre-clinical medicine: basic sciences ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    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 ...
  • 43
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 44
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-14
    Description: Window functions—otherwise known as weighting functions, tapering functions, or apodization functions—are mathematical functions that are zero-valued outside the chosen interval. They are well established as a vital part of digital signal processing. Window Functions and their Applications in Signal Processing presents an exhaustive and detailed account of window functions and their applications in signal processing, focusing on the areas of digital spectral analysis, design of FIR filters, pulse compression radar, and speech signal processing. Comprehensively reviewing previous research and recent developments, this book: Provides suggestions on how to choose a window function for particular applications Discusses Fourier analysis techniques and pitfalls in the computation of the DFT Introduces window functions in the continuous-time and discrete-time domains Considers two implementation strategies of window functions in the time- and frequency domain Explores well-known applications of window functions in the fields of radar, sonar, biomedical signal analysis, audio processing, and synthetic aperture radar
    Keywords: Computer Engineering ; Digital and Wireless Communication ; Digital Signal Processing ; ENG ; ElectricalEngineering ; SCI-TECH ; COMPUTERSCIENCE ; INFORMATIONSCIENCE ; STM ; digital filtering ; digital signal processing ; radar ; Short Time Fourier Transform ; spectral analysis ; speech processing ; window functions ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKT Telephone technology::TJKT1 Mobile phone technology
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-03-31
    Description: Robotic engineering inspired by biology—biomimetics—has many potential applications: robot snakes can be used for rescue operations in disasters, snake-like endoscopes can be used in medical diagnosis, and artificial muscles can replace damaged muscles to recover the motor functions of human limbs. Conversely, the application of robotics technology to our understanding of biological systems and behaviors—biorobotic modeling and analysis—provides unique research opportunities: robotic manipulation technology with optical tweezers can be used to study the cell mechanics of human red blood cells, a surface electromyography sensing system can help us identify the relation between muscle forces and hand movements, and mathematical models of brain circuitry may help us understand how the cerebellum achieves movement control. Biologically Inspired Robotics contains cutting-edge material—considerably expanded and with additional analysis—from the 2009 IEEE International Conference on Robotics and Biomimetics (ROBIO). These 16 chapters cover both biomimetics and biorobotic modeling/analysis, taking readers through an exploration of biologically inspired robot design and control, micro/nano bio-robotic systems, biological measurement and actuation, and applications of robotics technology to biological problems. Contributors examine a wide range of topics, including: A method for controlling the motion of a robotic snake The design of a bionic fitness cycle inspired by the jaguar The use of autonomous robotic fish to detect pollution A noninvasive brain-activity scanning method using a hybrid sensor A rehabilitation system for recovering motor function in human hands after injury Human-like robotic eye and head movements in human–machine interactions A state-of-the-art resource for graduate students and researchers.
    Keywords: Systems and Controls ; ENG ; ElectricalEngineering ; MechanicalEngineering ; BIOSCIENCE ; thema EDItEUR::M Medicine and Nursing::MF Pre-clinical medicine: basic sciences ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: This book presents an emotion centered research framework titled "emoha" for design innovation. It defines emoha and underlines the importance of the developed framework in culturalization of technology and thereby design innovation. The book explains the detailed research on product styling which leads to the creation of "Emoha" and how to use it in product design.
    Keywords: Industrial Design ; Product Design ; Engineering Project Management ; ENG ; BUSINESS/MANAGEMENT ; ERGONOMICS ; PROJECTMANAGEMENT ; SCI-TECH ; GENERALENGINEERING ; INFORMATIONSCIENCE ; STM ; biking ; color ; efficiency ; emotive ; exploratory ; fuel ; insert ; motorbike ; quality ; segments ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMP Project management ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGP Production engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNX Industrial relations, health & safety::KNXC Health & safety issues
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 48
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: In semiconductor manufacturing, understanding how various materials behave and interact is critical to making a reliable and robust semiconductor package. Semiconductor Packaging: Materials Interaction and Reliability provides a fundamental understanding of the underlying physical properties of the materials used in a semiconductor package. By tying together the disparate elements essential to a semiconductor package, the authors show how all the parts fit and work together to provide durable protection for the integrated circuit chip within as well as a means for the chip to communicate with the outside world. The text also covers packaging materials for MEMS, solar technology, and LEDs and explores future trends in semiconductor packages.
    Keywords: Circuits and Devices ; Electromagnetics and Microwaves ; Electronic Packaging ; ENG ; MATERIALS ; ElectricalEngineering ; SCI-TECH ; STM ; array ; ball ; compound ; frame ; grid ; lead ; level ; molding ; package ; wafer ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-04
    Description: The Microfluidics and Nanofluidics Handbook: Two-Volume Set comprehensively captures the cross-disciplinary breadth of the fields of micro- and nanofluidics, which encompass the biological sciences, chemistry, physics and engineering applications. To fill the knowledge gap between engineering and the basic sciences, the editors pulled together key individuals, well known in their respective areas, to author chapters that help graduate students, scientists, and practicing engineers understand the overall area of microfluidics and nanofluidics. Topics covered include Finite Volume Method for Numerical Simulation Lattice Boltzmann Method and Its Applications in Microfluidics Microparticle and Nanoparticle Manipulation Methane Solubility Enhancement in Water Confined to Nanoscale Pores Volume Two: Fabrication, Implementation, and Applications focuses on topics related to experimental and numerical methods. It also covers fabrication and applications in a variety of areas, from aerospace to biological systems. Reflecting the inherent nature of microfluidics and nanofluidics, the book includes as much interdisciplinary knowledge as possible. It provides the fundamental science background for newcomers and advanced techniques and concepts for experienced researchers and professionals.
    Keywords: Fluid Mechanics ; Renewable Energy ; Nanoscience and Nanotechnology ; ENG ; NANO ; MechanicalEngineering ; SCI-TECH ; STM ; applications ; beads ; capillary ; devices ; magnetic ; microelectromechanical ; micromachining ; microuidic ; surface ; systems ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy ; bic Book Industry Communication::P Mathematics & science::PH Physics ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building ; 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::PHDY Energy ; thema EDItEUR::P Mathematics and Science::PH Physics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: From its initial publication titled Laser Beam Scanning in 1985 to Handbook of Optical and Laser Scanning, now in its second edition, this reference has kept professionals and students at the forefront of optical scanning technology. Carefully and meticulously updated in each iteration, the book continues to be the most comprehensive scanning resource on the market. It examines the breadth and depth of subtopics in the field from a variety of perspectives. The Second Edition covers: Technologies such as piezoelectric devices Applications of laser scanning such as Ladar (laser radar) Underwater scanning and laser scanning in CTP As laser costs come down, and power and availability increase, the potential applications for laser scanning continue to increase. Bringing together the knowledge and experience of 26 authors from England, Japan and the United States, the book provides an excellent resource for understanding the principles of laser scanning. It illustrates the significance of scanning in society today and would help the user get started in developing system concepts using scanning. It can be used as an introduction to the field and as a reference for persons involved in any aspect of optical and laser beam scanning.
    Keywords: Instrumentation, Measurement and Testing ; Optics and optoelectronics ; ENG ; ElectricalEngineering ; PHYSICS ; SCI-TECH ; STM ; Andreas Blume ; Bearings for Rotary Scanners ; Carl E. Conti ; Chris Gerrard ; CTP Scanning Systems ; Daniel D. Stancil ; David C. Brown ; Donald R. Lehmbeck ; Emery Erdelyi ; Frank Caimi ; Fraser Dalgleish ; Gerald A. Rynkowski ; Glenn E. Stutz ; Gregory Mueller ; James Litynski ; Jean Montagu ; John C. Urbach ; LeRoy D. Dickson ; Mark T. Montgomery ; Michael W. Sasnett ; Milton Gottlieb ; Optical Systems for Laser Scanners ; Polygonal Scanners: Components, Performance, and Design ; Pre-objective Polygonal Scanning ; Reeder N. Ward ; Stephen F. Sagan ; Tetsuo Saimi ; Thomas F. Johnston ; Timothy A. Good ; Timothy K. Deis ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBL Laser technology and holography ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 52
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Bituminous materials are used to build durable roads that sustain diverse environmental conditions. However, due to their complexity and a global shortage of these materials, their design and technical development present several challenges. Advanced Testing and Characterisation of Bituminous Materials focuses on fundamental and performance testing
    Keywords: Civil engineering, surveying and building; Materials science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-04
    Description: Water, in all its forms, may be the key to an environmentally friendly energy economy. Water is free, there is plenty of it, plus it carries what is generally believed to be the best long-term source of green energy—hydrogen. Water for Energy and Fuel Production explores the many roles of water in the energy and fuel industry. The text not only discusses water’s use as a direct source of energy and fuel—such as hydrogen from water dissociation, methane from water-based clathrate molecules, hydroelectric dams, and hydrokinetic energy from tidal waves, off-shore undercurrents, and inland waterways—but also: Describes water’s benign application in the production of oil, gas, coal, uranium, biomass, and other raw fuels, and as an energy carrier in the form of hot water and steam Examines water’s role as a reactant, reaction medium, and catalyst—as well as steam’s role as a reactant—for the conversion of raw fuels to synthetic fuels Explains how supercritical water can be used to convert fossil- and bio-based feedstock to synthetic fuels in the presence and absence of a catalyst Employing illustrative case studies and commercial examples, Water for Energy and Fuel Production demonstrates the versatility of water as a provider of energy and fuel, conveying the message that as energy demand and environmental concerns grow, so should our vigilance in pursuing the role of water in the energy landscape.
    Keywords: Energy ; Fuel ; Production ; Water ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy ; bic Book Industry Communication::T Technology, engineering, agriculture::TD Industrial chemistry & manufacturing technologies::TDC Industrial chemistry ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGM Materials science ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THF Fossil fuel technologies ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDY Energy ; 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::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THF Fossil fuel technologies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-04
    Description: Exploring how to counteract the world's energy insecurity and environmental pollution, this volume covers the production methods, properties, storage, engine tests, system modification, transportation and distribution, economics, safety aspects, applications, and material compatibility of alternative fuels. The esteemed editor highlights the importance of moving toward alternative fuels and the problems and environmental impact of depending on petroleum products. Each self-contained chapter focuses on a particular fuel source, including vegetable oils, biodiesel, methanol, ethanol, dimethyl ether, liquefied petroleum gas, natural gas, hydrogen, electric, fuel cells, and fuel from nonfood crops.
    Keywords: Power and Energy ; Automotive Technology and Engineering ; ENG ; MechanicalEngineering ; ENERGYANDCLEANTECH ; SCI-TECH ; STM ; Alternative Energy Sources ; Alternative Fuels ; Biodiesel ; Ethanol ; Fuel Technology ; Internal Combustion Engines ; Methanol ; Nonconventional Fuels ; Renewable Energy ; Sustainable Development ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHD Classical mechanics::PHDY Energy ; bic Book Industry Communication::P Mathematics & science::PH Physics::PHH Thermodynamics & heat ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGB Mechanical engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THX Alternative & renewable energy sources & technology ; thema EDItEUR::P Mathematics and Science::PH Physics::PHD Classical mechanics::PHDY Energy ; thema EDItEUR::P Mathematics and Science::PH Physics::PHH Thermodynamics and heat ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGB Mechanical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-03-23
    Description: Tunnelling has become a fragmented process, excessively influenced by lawyers'notions of confrontational contractual bases. This prevents the pooling of skills, essential to the achievement of the promoters' objectives. Tunnelling: Management by Design seeks the reversal of this trend. After a brief historical treatment of selected developments, th
    Keywords: Tunnelling and Underground Engineering ; Mining Construction ; ENG ; CivilEngineering ; SCI-TECH ; STM ; channel ; clay ; concrete ; extension ; jubilee ; line ; london ; project ; rock ; spray ; thema EDItEUR::A The Arts::AM Architecture::AMC Architectural structure and design ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNK Building construction and materials ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: Forest management has evolved from a mercantilist view to a multi-functional one that integrates economic, social, and ecological aspects. However, the issue of sustainability is not yet resolved. Quantitative Techniques in Participatory Forest Management brings together global research in three areas of application: inventory of the forest variables that determine the main environmental indices, description and design of new environmental indices, and the application of sustainability indices for regional implementations. All these quantitative techniques create the basis for the development of scientific methodologies of participatory sustainable forest management.
    Keywords: Environmental Sciences ; Forestry ; Landscape Conservation, Maintenance and Management ; ENVIRO ; AGRICULTURE ; SCI-TECH ; ENVIRONMENTALSCIENCE ; STM ; height ; individual ; poplar ; preferences ; structure ; sustainable ; timber ; tree ; white ; yield ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVR Forestry & silviculture: practice & techniques ; 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 ...
  • 57
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 58
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: Geospatial information plays an important role in managing location dependent pandemic situations across different communities and domains. Geospatial information and technologies are particularly critical to strengthening urban and rural resilience, where economic, agricultural, and various social sectors all intersect. Examining the United Nations' SDGs from a geospatial lens will ensure that the challenges are addressed for all populations in different locations. This book, with worldwide contributions focused on COVID-19 pandemic, provides interdisciplinary analysis and multi-sectoral expertise on the use of geospatial information and location intelligence to support community resilience and authorities to manage pandemics.
    Keywords: disaster management ; Geoinformation ; Geospatial Planning ; Public health ; sustainable development ; Urban Planning ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGW Geographical information systems (GIS) & remote sensing ; bic Book Industry Communication::T Technology, engineering, agriculture::TQ Environmental science, engineering & technology ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCM Development economics & emerging economies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    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 ...
  • 60
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Electromagnetic Wave Scattering by Aerial and Ground Radar Objects presents the theory, original calculation methods, and computational results of the scattering characteristics of different aerial and ground radar objects. This must-have book provides essential background for computing electromagnetic wave scattering in the presence of different kinds of irregularities, as well as Summarizes fundamental electromagnetic statements such as the Lorentz reciprocity theorem and the image principle Contains integral field representations enabling the study of scattering from various layered structures Describes scattering computation techniques for objects with surface fractures and radar-absorbent coatings Covers elimination of "terminator discontinuities" appearing in the method of physical optics in general bistatic cases Includes radar cross-section (RCS) statistics and high-range resolution profiles of assorted aircrafts, cruise missiles, and tanks Complete with radar backscattering diagrams, echo signal amplitude probability distributions, and other valuable reference material, Electromagnetic Wave Scattering by Aerial and Ground Radar Objects is ideal for scientists, engineers, and researchers of electromagnetic wave scattering, computational electrodynamics, and radar detection and recognition algorithms.
    Keywords: Electromagnetics and Microwaves ; Communications System Design ; Aerospace Engineering ; ENG ; ElectricalEngineering ; MechanicalEngineering ; SCI-TECH ; STM ; Computational Electrodynamics ; Electromagnetic Scattering Theory ; Electromagnetic Wave Scattering ; Physical Optics Approximation ; Radar Cross-Section Prediction ; Radar Detection Algorithms ; Radar Microwaves ; Radar Recognition Algorithms ; Radar Scattering Computation ; Radar Scattering Software ; RCS Prediction ; Reduction of Radar Observability ; Sergey V. Nechitaylo ; Stealth Technology ; Valery M. Orlenko ; Vitaly A. Vasilets ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFN Microwave technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKT Telephone technology::TJKT1 Mobile phone technology ; 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 ...
  • 61
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 62
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 63
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: Discussing the interpretation of tissue concentrations of contaminants in wildlife, this updated edition of a bestseller draws on current scientific research and includes new chapters and greater emphasis on aquatic organisms. Each chapter provides a summary and review of a specific chemical along with direction on research methods and the interpretation of conflicting or insufficient data. Chapters include a comprehensive history of contaminant interpretation in wildlife and fish, the use of tissue residues in ecological risk assessment, and detailed coverage of all bioaccumulative contaminants and their physiologic affects.
    Keywords: Plant and Animal Ecology ; Environmental and Ecological Toxicology ; ENVIRO ; AGRICULTURE ; SCI-TECH ; ENVIRONMENTALSCIENCE ; STM ; black ; concentrations ; crowned ; heron ; mammal ; marine ; night ; tissue ; weight ; wet ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNC Applied ecology ; 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 ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 65
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 66
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 67
    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 ...
  • 68
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-04
    Description: Charged Particle Optics Theory: An Introduction identifies the most important concepts of charged particle optics theory, and derives each mathematically from the first principles of physics. Assuming an advanced undergraduate-level understanding of calculus, this book follows a logical progression, with each concept building upon the preceding one. Beginning with a non-mathematical survey of the optical nature of a charged particle beam, the text: Discusses both geometrical and wave optics, as well as the correspondence between them Describes the two-body scattering problem, which is essential to the interaction of a fast charged particle with matter Introduces electron emission as a practical consequence of quantum mechanics Addresses the Fourier transform and the linear second-order differential equation Includes problems to amplify and fill in the theoretical details, with solutions presented separately Charged Particle Optics Theory: An Introduction makes an ideal textbook as well as a convenient reference on the theoretical origins of the optics of charged particle beams. It is intended to prepare the reader to understand the large body of published research in this mature field, with the end result translated immediately to practical application.
    Keywords: Optics and optoelectronics ; ENG ; ElectricalEngineering ; PHYSICS ; SCI-TECH ; STM ; bic Book Industry Communication::P Mathematics & science::PH Physics ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering::THR Electrical engineering ; bic Book Industry Communication::T Technology, engineering, agriculture::TT Other technologies & applied sciences::TTB Applied optics::TTBL Laser technology & holography ; thema EDItEUR::P Mathematics and Science::PH Physics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBL Laser technology and holography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    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 ...
  • 70
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-05
    Description: This book celebrates the relaunch of the African Pollen Database, presents state-of-the-art of modern and ancient pollen data from sub-Saharan Africa, and promotes Open Access science. Pollen grains are powerful tools for the study of past vegetation dynamics because they preserve well within sedimentary deposits and have a huge diversity in ornamentation that allows different taxa to be determined. The reconstruction of past vegetation from the examination of ancient pollen records thus can be used to characterize the nature of past landscapes (e.g. abundance of forests vs. grasslands), provide insights into changes in biodiversity, and gain empirical evidence of vegetation response to climatic change and human activity. In this, the 35th Volume of "Palaeoecology of Africa", we bring together new data and extensive synthetic reviews to provide novel insights into the relationships between human evolution, human activity, climate change and vegetation dynamics during the Quaternary, the last 2.6 million years. Current and ongoing climate and land-use change is exerting pressure on modern vegetation formations and threatening the livelihoods and wellbeing of many peoples in Africa. In this book the focus is on the Quaternary because it is during this geological period that the modern vegetation formations developed into their current configurations against a backdrop of high magnitude global climate change (glacial-interglacial cycles), human evolution, and a growing human land-use footprint. In this book the latest information is presented and collated from around the African continent to parameterize past vegetation states, identify the drivers of vegetation change, and assess the vegetation resilience to change. To achieve this research from two broad themes are covered: (i) the present is the key to the past (i.e. studies which improve our understanding of modern environments so that we can better interpret evidence from the past), and (ii) the past is the key to the future (i.e. studies which unlock information on how and why vegetation changed in the past so one can better anticipate trajectories of future change). This Open Access book will provide a strong foundation for future research exploring past ecological, environmental and climatic change within Africa and the surrounding islands. The book is organized regionally (covering western, eastern, central, and southern Africa) and it contains specialized articles focused on particular topics (such as modern pollen-vegetation relationships and fire as a driver of vegetation change), as well as regional and pan-African syntheses drawing together decades of research to assess key scientific questions (including the role of climate in driving vegetation change and the role of vegetation change in human evolution). These articles will be useful to students and teachers from high school to the highest level of university who are interested in the origins and dynamics of vegetation in Africa. Furthermore, it is also meant to provide societally relevant information that can act as an inspiration for the development of sustainable management practices for the future.
    Keywords: climate change ; open access ; vegetation dynamics ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBG Geology, geomorphology and the lithosphere ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Serious degradation mechanisms can severely reduce the service life of concrete structures: steel reinforcement can corrode, cement matrix can be attacked, and even aggregates can show detrimental processes. Therefore, it is important to understand how damage can occur to concrete structures and to appreciate the timing of the actions leading to damage. Damage to Concrete Structures summarizes the state-of-the-art information on the degradation of concrete structures, and gives a clear and comprehensive overview of what can go wrong. Offering a logical flow, the chapters are ordered according to the chronological timing of the actions leading to concrete damage. The author explains the different actions or mechanisms in a fundamental manner, without too many physical or chemical details, to provide greater clarity and readability. The book describes the different causes of damage to concrete, including inappropriate design, errors during execution, mechanisms occurring during hardening of concrete, and actions or degradation mechanisms during service life (hardened concrete). The degradation mechanisms are illustrated with numerous real-world examples and many drawings and photographs taken of actual structures. Written as a textbook for students as well as a reference for professionals, this easy-to-comprehend book gives readers a deeper understanding of the damage that can occur to concrete during the construction process and service.
    Keywords: Concrete Durability ; Concrete degradation ; Concrete spalling ; Degradation ; Durable concrete ; Self-compacting concrete ; Self-consolidating concrete ; Service life ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: Dreamers may envision our future, but it is the pragmatists who build it. Solve the right problem in the right way, mankind moves forward. Solve the right problem in the wrong way or the wrong problem in the right way, however clever or ingenious the solution, neither credits mankind. Instead, this misfire demonstrates a failure to appreciate a crucial step in pragmatic problem solving: systems integration. The first book to address the underlying premises of systems integration and how to exposit them in a practical and productive manner, Engineering Systems Integration: Theory, Metrics, and Methods looks at the fundamental nature of integration, exposes the subtle premises to achieve integration, and posits a substantial theoretical framework that is both simple and clear. Offering systems managers and systems engineers the framework from which to consider their decisions in light of systems integration metrics, the book isolates two basic questions, 1) Is there a way to express the interplay of human actions and the result of system interactions of a product with its environment?, and 2) Are there methods that combine to improve the integration of systems? The author applies the four axioms of General Systems Theory (holism, decomposition, isomorphism, and models) and explores the domains of history and interpretation to devise a theory of systems integration, develop practical guidance applying the three frameworks, and formulate the mathematical constructs needed for systems integration. The practicalities of integrating parts when we build or analyze systems mandate an analysis and evaluation of existing integrative frameworks of causality and knowledge. Integration is not just a word that describes a best practice, an art, or a single discipline. The act of integrating is an approach, operative in all disciplines, in all we see, in all we do.
    Keywords: Management of IT ; Engineering Management ; Systems and Control Engineering ; ENG ; BUSINESS/MANAGEMENT ; SCI-TECH ; GENERALENGINEERING ; INFORMATIONSCIENCE ; STM ; design ; entities ; hubble ; objects ; physical ; process ; recursive ; space ; telescope ; thinking ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV3 Knowledge management ; bic Book Industry Communication::T Technology, engineering, agriculture::TB Technology: general issues::TBC Engineering: general ; bic Book Industry Communication::T Technology, engineering, agriculture::TN Civil engineering, surveying & building ; 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 ...
  • 73
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-14
    Description: Guiding readers through the basics of these rapidly emerging networks to more advanced concepts and future expectations, Mobile Ad hoc Networks: Current Status and Future Trends identifies and examines the most pressing research issues in Mobile Ad hoc Networks (MANETs). Containing the contributions of leading researchers, industry professionals, and academics, this forward-looking reference provides an authoritative perspective of the state of the art in MANETs. The book includes surveys of recent publications that investigate key areas of interest such as limited resources and the mobility of mobile nodes. It considers routing, multicast, energy, security, channel assignment, and ensuring quality of service. Also suitable as a text for graduate students, the book is organized into three sections: Fundamentals of MANET Modeling and Simulation—Describes how MANETs operate and perform through simulations and models Communication Protocols of MANETs—Presents cutting-edge research on key issues, including MAC layer issues and routing in high mobility Future Networks Inspired By MANETs—Tackles open research issues and emerging trends Illustrating the role MANETs are likely to play in future networks, this book supplies the foundation and insight you will need to make your own contributions to the field. It includes coverage of routing protocols, modeling and simulations tools, intelligent optimization techniques to multicriteria routing, security issues in FHAMIPv6, connecting moving smart objects to the Internet, underwater sensor networks, wireless mesh network architecture and protocols, adaptive routing provision using Bayesian inference, and adaptive flow control in transport layer using genetic algorithms.
    Keywords: Networks ; Digital and Wireless Communication ; ENG ; ElectricalEngineering ; SCI-TECH ; ITECH ; INFORMATIONSCIENCE ; STM ; ad-hoc ; destination ; intermediate ; node ; nodes ; protocol ; routing ; source ; table ; wireless ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKT Telephone technology::TJKT1 Mobile phone technology
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2023-09-12
    Description: The abbreviation “APCOM” stands for “Applications for Computers and Operations Research in the Minerals Industry”. When the conference started in 1964, it was an informal meeting of scientists from different universities in the USA together with the “Society of Mining Engineers” (SME) of the United States. During the years the APCOM conference was performed in a mostly bi-annual rhythm. Up to today APCOM maintained its original logo formed around a punch card clearly remembering the historic origin of the conference from the times prior to the revolution caused by the era of semiconductors. In the beginning, APCOM focused on the optimization of geostatistics and resource estimation and a number of methods used in these fields were initially presented and discussed on APCOM conferences. This field still today is an important part of any APCOM. During the years, information technology has dramatically developed, new algorithmic methods evolved and the entire fields of electronic communication, machine automation, autonomous machines and process optimization developed. Consequently, today, APCOM is much more than a meeting of specialists in geostatistics and resource estimation: The APCOM has expanded to a conference covering all kinds of Information and Communication Technology in the mineral industry: Already in 2005 on the conference in Tuscon/AZ, the term “Mining Process Optimization” was presented as the next paradigm shift in mining after mechanization and automation, which marked another example of the continued innovative impact of the APCOM. Well ahead of the current discussions about “Digital Transformation”.
    Keywords: Computers ; mineral industry ; mining ; bic Book Industry Communication::R Earth sciences, geography, environment, planning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: Addresses the Challenges Associated with System-on-Chip Integration Network-on-Chip: The Next Generation of System-on-Chip Integration examines the current issues restricting chip-on-chip communication efficiency, and explores Network-on-chip (NoC), a promising alternative that equips designers with the capability to produce a scalable, reusable, and high-performance communication backbone by allowing for the integration of a large number of cores on a single system-on-chip (SoC). This book provides a basic overview of topics associated with NoC-based design: communication infrastructure design, communication methodology, evaluation framework, and mapping of applications onto NoC. It details the design and evaluation of different proposed NoC structures, low-power techniques, signal integrity and reliability issues, application mapping, testing, and future trends. Utilizing examples of chips that have been implemented in industry and academia, this text presents the full architectural design of components verified through implementation in industrial CAD tools. It describes NoC research and developments, incorporates theoretical proofs strengthening the analysis procedures, and includes algorithms used in NoC design and synthesis. In addition, it considers other upcoming NoC issues, such as low-power NoC design, signal integrity issues, NoC testing, reconfiguration, synthesis, and 3-D NoC design. This text comprises 12 chapters and covers: The evolution of NoC from SoC—its research and developmental challenges NoC protocols, elaborating flow control, available network topologies, routing mechanisms, fault tolerance, quality-of-service support, and the design of network interfaces The router design strategies followed in NoCs The evaluation mechanism of NoC architectures The application mapping strategies followed in NoCs Low-power design techniques specifically followed in NoCs The signal integrity and reliability issues of NoC The details of NoC testing strategies reported so far The problem of synthesizing application-specific NoCs Reconfigurable NoC design issues Direction of future research and development in the field of NoC Network-on-Chip: The Next Generation of System-on-Chip Integration covers the basic topics, technology, and future trends relevant to NoC-based design, and can be used by engineers, students, and researchers and other industry professionals interested in computer architecture, embedded systems, and parallel/distributed systems.
    Keywords: Circuits and Devices ; Microelectronics ; Computer Engineering ; ENG ; ElectricalEngineering ; SCI-TECH ; COMPUTERSCIENCE ; INFORMATIONSCIENCE ; STM ; Architecture Design of Network – on- Chip ; Evolution of NoC Architectures ; Interconnection Networks in NoC ; Reconfigurable Network-on-Chip Design ; Santanu Chattopadhyay ; Application Mapping on NoC ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering ; 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 ...
  • 76
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2021-02-10
    Description: As wireless technology becomes more sophisticated and accessible to more users, the interactions of electromagnetic fields with biological systems have captured the interest not only of the scientific community but also the general public. Unintended or deleterious biological effects of electromagnetic fields and radiation may indicate grounds for health and safety precautions in their use. Spanning static fields to terahertz waves, Electromagnetic Fields in Biological Systems explores the range of consequences these fields have on the human body. With contributions by an array of experts, topics discussed include: Essential interactions and field coupling phenomena, highlighting their importance in research on biological effects and in scientific, industrial, and medical applications Electric field interactions in cells, focusing on ultrashort, pulsed high-intensity fields The effect of exposure to naturally occurring and human-made static, low-frequency, and pulsed magnetic fields in biological systems Dosimetry or coupling of extremely low frequency (ELF) fields into biological systems and the historical developments and recent trends in numerical dosimetry Mobile communication devices and the dosimetry or coupling of radiofrequency (RF) radiation into the human body Exposure and dosimetry associated with magnetic resonance imaging (MRI) and spectroscopy Available data on the interaction of terahertz radiation with biological tissues, cells, organelles, and molecules There is great potential for communication, industrial, scientific, and medical use of electromagnetic fields and radiation. To help advance knowledge of the biological effects of such fields and to exploit their potential medical applications, this book highlights critical issues relating to their effects on living systems.
    Keywords: Biomedical Engineering ; Electromagnetics and Microwaves ; Applied Physics ; Biophysics ; ENG ; ElectricalEngineering ; BIOSCIENCE ; PHYSICS ; SCI-TECH ; BIOMEDICALSCIENCE ; STM ; diodes ; electron ; free ; laser ; med ; phys ; radiation ; resonant ; terahertz ; tunneling ; bic Book Industry Communication::M Medicine::MF Pre-clinical medicine: basic sciences ; bic Book Industry Communication::P Mathematics & science::PH Physics ; bic Book Industry Communication::T Technology, engineering, agriculture::TJ Electronics & communications engineering::TJF Electronics engineering::TJFN Microwave technology ; bic Book Industry Communication::M Medicine::MQ Nursing & ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Taylor & Francis | CRC Press
    Publication Date: 2024-04-11
    Description: The series of International Symposiums on Mining with Backfill explores both the theoretical and practical aspects of the application of mine fill, with many case studies from both underground and open-pit mines. Minefill attendees and the Proceedings book audience include mining practitioners, engineering students, operating and regulatory professionals, consultants, academics, researchers, and interested individuals and groups. The papers presented at Minefill symposiums regularly offer the novelties and most modern technical solutions in technology, equipment, and research. In that way, the papers submitted for the Minefill Symposia represent the highest quality and level in the conference domain. For the 2020-2021 edition organizers hope that the papers presented in this publication will also be received with interest by readers around the world, providing inspiration and valuable examples for industry and R&D research.
    Keywords: Backfill reticulation ; bulkhead capacity ; geomechanics ; hazard and risk control ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building::TNC Structural engineering::TNCC Soil and rock mechanics
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Keywords: Computer science ; Computer system failures ; Software engineering ; Data structures (Computer science) ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Theorem Proving --- Unification with Abstraction and Theory Instantiation in Saturation-based Reasoning --- Efficient verification of imperative programs using auto2 --- Frame Inference for Inductive Entailment Proofs in Separation Logic --- Verified Model Checking of Timed Automata --- SAT and SMT I --- Chain Reduction for Binary and Zero-Suppressed Decision Diagrams --- CDCLSym: Introducing E_ective Symmetry Breaking in SAT Solving --- Automatic Generation of Precise and Useful Commutativity Conditions --- Bit-Vector Model Counting using Statistical Estimation --- Deductive Verification --- Hoare Logics for Time Bounds --- A Verified Implementation of the Bounded List Container --- Automating Deductive Verification for Weak-Memory Programs --- Software Verification and Optimisation --- Property Checking Array Programs Using Loop Shrinking --- Invariant Synthesis for Incomplete Verification Engines --- Accelerating Syntax-Guided Invariant Synthesis --- Daisy - Framework for Analysis and Optimization of Numerical Programs --- Model Checking --- Oink: an Implementation and Evaluation of Modern Parity Game Solvers --- More Scalable LTL Model Checking via Discovering Design-Space Dependencies (D^3) --- Generation of Minimum Tree-like Witnesses for Existential CTL --- From Natural Projection to Partial Model Checking and Back --- Machine Learning --- ICE-based Refinement Type Discovery for Higher-Order Functional Programs --- Strategy Representation by Decision Trees in Reactive Synthesis --- Feature-Guided Black-Box Safety Testing of Deep Neural Networks.
    Pages: Online-Ressource (XX, 429 pages) , 93 illustrations
    ISBN: 9783319899602
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Keywords: Computer science ; Computer system failures ; Computer security ; Data structures (Computer science) ; Computers ; Computer Science ; Systems and Data Security ; Theory of Computation ; Computing Milieux ; Data Structures, Cryptology and Information Theory ; System Performance and Evaluation
    Description / Table of Contents: Information Flow and Non-Intereference --- What's the Over/Under? Probabilistic Bounds on Information Leakage --- Secure Information Release in Timed Automata --- Compositional Non-Interference for Concurrent Programs via Separation and Framing --- The Meaning of Memory Safety --- Leakage, Information Flow, and Protocols --- Formal Verification of Integrity Preserving Countermeasures Against Cache Storage --- Leakage and Protocol Composition in a Game-theoretic Perspective --- Equivalence Properties by Typing in Cryptographic Branching Protocols --- Design, Formal Specification and Analysis of Multi-Factor Authentication Solutions with a Single Sign-On Experience --- Smart Contracts and Privacy --- SoK: Unraveling Bitcoin Smart Contracts --- A Semantic Framework for the Security Analysis of Ethereum Smart Contracts --- Tool Demonstration: FSolidM for Designing Secure Ethereum Smart Contracts --- UniTraX: Protecting Data Privacy with Discoverable Biases --- Firewalls and Attack-Defense Trees --- Transcompiling Firewalls --- On Quantitative Analysis of Attack-Defense Trees with Repeated Labels
    Pages: Online-Ressource (XIV, 347 pages) , 85 illustrations
    ISBN: 9783319897226
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Keywords: Computer science ; Computer hardware ; Computer organization ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Programming Languages, Compilers, Interpreters ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Computing Methodologies ; Computing Milieux
    Description / Table of Contents: Language Design --- Consistent Subtyping for All --- HOBiT: Programming Lenses without using Lens Combinators --- Dualizing Generalized Algebraic Data Types by Matrix Transposition --- Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach --- Probabilistic Programming --- An Assertion-Based Program Logic for Probabilistic Programs --- Fine-grained Semantics for Probabilistic Programs --- How long, O Bayesian network, will I sample thee? --- Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus --- Types and Effects --- Failure is Not an Option: An Exceptional Type Theory --- Let Arguments Go First --- Behavioural equivalence via modalities for algebraic effects --- Explicit Effect Subtyping --- Concurrency --- A separation logic for a promising semantics --- Logical Reasoning for Disjoint Permissions --- Deadlock-Free Monitors --- Fragment Abstraction for Concurrent Shape Analysis --- Security --- Reasoning About a Machine with Local Capabilities - Provably Safe Stack and Return Pointer Management --- Modular Product Programs --- Program Verification --- A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification --- Verified Learning Without Regret --- Program Verification by Coinduction --- Velisarios: Byzantine Fault Tolerant Protocols Powered by Coq --- Program Analysis and Automated Verification --- Evaluating Design Tradeoffs in Numeric Static Analysis for Java --- An Abstract Interpretation Framework for Input Data Usage --- Higher-Order Program Verification via HFL Model Checking --- Quantitative Analysis of Smart Contracts --- Session Types and Concurrency --- Session-Typed Concurrent Contracts --- A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems --- On Polymorphic Sessions and Functions: A Tale of Two (Fully Abstract) Encodings --- Concurrent Kleene Algebra: Free Model and Completeness --- Concurrency and Distribution --- Correctness of a Concurrent Object Collector for Actor Languages --- Paxos Consensus, Deconstructed and Abstracted --- On Parallel Snapshot Isolation and Release/Acquire Consistency --- Eventual Consistency for CRDTs --- Compiler Verification --- A Verified Compiler from Isabelle/HOL to CakeML --- Compositional Verification of Compiler Optimisations on Relaxed Memory
    Pages: Online-Ressource (XVI, 1058 pages) , 276 illustrations
    ISBN: 9783319898841
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Keywords: Physics ; Epistemology ; Philosophy and science ; Probabilities ; Physics ; History and Philosophical Foundations of Physics ; Theoretical, Mathematical and Computational Physics ; Epistemology ; Probability Theory and Stochastic Processes ; Philosophy of Science
    Description / Table of Contents: Part I Embedded observers, reflexive perception and representation: Intrinsic and extrinsic observation mode --- Embedded observers and self-expression --- Reflexive measurement --- Intrinsic self-representation --- Part II Provable unknowns: On what is entirely hopeless --- Forecasting and unpredictability --- Induction by rule inference --- Other types of recursion theoretic unknowables --- What if there are no laws? Emergence of laws --- Part III Quantum unknowns: "Shut up and calculate" --- Evolution by permutation --- Quantum mechanics in a nutshell --- Quantum oracles --- Vacuum fluctuations --- Radioactive decay --- Part IV Exotic unknowns: Classical continua and infinities --- Classical (in)determinism --- Deterministic chaos --- Partition logics, finite automata and generalized urn models --- Part V Transcendence: Miracles --- Dualistic interfaces --- Part VI Executive summary: Executive summary --- Appendix A: Formal (in)computability and randomness --- B: Two particle correlations and expectations
    Pages: Online-Ressource (XIV, 219 pages) , 32 illustrations, 24 illustrations in color
    ISBN: 9783319708157
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Keywords: Computer science ; Logic design ; Computer organization ; Operating systems (Computers) ; Computers ; Computer Science ; Computing Methodologies ; Computer Systems Organization and Communication Networks ; Operating Systems ; Logic Design ; Information Systems and Communication Service
    Description / Table of Contents: HHVSF: A Framework to Accelerate Drug-based High-throughput Virtual Screening on High-Performance Computers --- HBasechainDB --- A Scalable Blockchain Framework on Hadoop Ecosystem --- DETOUR: A Large-Scale Non-Blocking Optical Data Center Fabric --- Querying Large Scientific Data Sets with Adaptable IO System ADIOS --- On the Performance of Spark on HPC Systems: Towards a Complete Picture --- Experiences of Converging Big Data Analytics Frameworks with High Performance Computing Systems --- MACC : An OpenACC Transpiler for Automatic Multi-GPU Use --- Acceleration of Wind Simulation using Locally Mesh-Refined Lattice Boltzmann Method on GPU-Rich supercomputers --- Architecture of an FPGA-Based Heterogeneous System for Code-Search Problems --- TINS: A Task-Based Dynamic Helper Core Strategy for In Situ Analytics --- Machine Learning Predictions for Underestimation of Job Runtime on HPC System --- A Power Management Framework with Simple DSL for Automatic Power-Performance Optimization on Power-Constrained HPC Systems --- Scalable Data Management of the Uintah Simulation Framework for Next-Generation Engineering Problems with Radiation --- High performance LOBPCG method for solving multiple eigenvalues of Hubbard model: Efficiency of communication avoiding Neumann expansion preconditioner --- Application of a preconditioned Chebyshev basis communication-avoiding conjugate gradient method to a multiphase thermal-hydraulic CFD code --- Optimization of Hierarchical matrix computation on GPU
    Pages: Online-Ressource (X, 293 pages) , 121 illustrations
    ISBN: 9783319699530
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Keywords: Computer science ; Computer system failures ; Software engineering ; Computer logic ; Computer science ; Mathematics ; Artificial intelligence ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Artificial Intelligence (incl. Robotics) ; System Performance and Evaluation ; The Computing Profession ; Discrete Mathematics in Computer Science
    Description / Table of Contents: Semantics --- Non-angelic Concurrent Game Semantics --- A Trace Semantics for System F Parametric Polymorphism --- Categorical Combinatorics for Non Deterministic Strategies on Simple Games --- A Syntactic View of Computational Adequacy --- Linearity --- A New Linear Logic for Deadlock-Free Session-Typed Processes --- A Double Category Theoretic Analysis of Graded Linear Exponential Comonads --- Depending on Session-Typed Processes --- FabULous Interoperability for ML and a Linear Language --- Concurrency --- Automata for True Concurrency Properties --- A Theory of Encodings and Expressiveness --- A Framework for Parameterized Monitorability --- Logics for Bisimulation and Divergence --- Lambda-Calculi and Types --- Call-by-need, Neededness and All That --- Fitch-Style Modal Lambda Calculi --- Realizability Interpretation and Normalization of Typed Call-by-Need --- Quotient Inductive-Inductive Types --- Category Theory and Quantum Control --- Guarded Traced Categories --- Proper Semirings and Proper Convex Functors --- From Symmetric Pattern-Matching to Quantum Control --- Quantitative Models --- The Complexity of Graph-Based Reductions for Reachability in Markov Decision Processes --- A Hierarchy of Scheduler Classes for Stochastic Automata --- Symbolically Quantifying Response Time in Stochastic Models using Moments and Semirings --- Comparator Automata in Quantitative Verification --- Logics and Equational Theories --- Modular Tableaux Calculi for Separation Theories --- Differential Calculus with Imprecise Input and its Logical Framework --- The Effects of Adding Reachability Predicates in Propositional Separation Logic --- The Equational Theory of the Natural Join and of Inner Union is Decidable --- Graphs and Automata --- Minimization of Graph Weighted Models over Circular Strings --- Games on Graphs with a Public Signal Monitoring --- WQO Dichotomy for 3-Graphs --- Verifying Higher-Order Functions with Tree Automata
    Pages: Online-Ressource (XV, 583 pages) , 75 illustrations
    ISBN: 9783319893662
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Keywords: Computer science ; Computer hardware ; Computer organization ; Software engineering ; Computer logic ; Computers ; Computer Science ; Logics and Meanings of Programs ; Software Engineering/Programming and Operating Systems ; Computer Systems Organization and Communication Networks ; Computing Methodologies ; Computing Milieux ; Computer Hardware
    Description / Table of Contents: Concurrent and Distributed Systems --- Computing the concurrency threshold of sound free-choice workflow nets --- Fine-Grained Complexity of Safety Verification --- Parameterized verification of synchronization in constrained reconfigurable broadcast networks --- EMME: a formal tool for the ECMAScript Memory Model Evaluation --- SAT and SMT II --- What a Difference a Variable Makes --- Abstraction Refinement for Emptiness Checking of Alternating Data Automata --- Revisiting Enumerative Instantiation --- An Non-linear Arithmetic Procedure for Control-Command Software Verification --- Security and Reactive Systems --- Approximate Reduction of Finite Automata for High-Speed Network Intrusion Detection --- Validity-Guided Synthesis of Reactive Systems from Assume-Guarantee Contracts --- RVHyper: A Runtime Verification Tool for Temporal Hyperproperties --- The Refinement Calculus of Reactive Systems Toolset --- Static and Dynamic Program Analysis --- TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation --- Optimal Dynamic Partial Order Reduction with Observers --- Structurally Defined Conditional Data-flow Static Analysis --- Geometric Nontermination Arguments --- Hybrid and Stochastic Systems --- Efficient dynamic error reduction for hybrid systems reachability analysis --- AMT2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic --- Multi-Cost Bounded Reachability in MDPs --- A Statistical Model Checker for Nondeterminism and Rare Events --- Temporal logic and mu-calculus --- Permutation Games for the Weakly Aconjunctive mu-Calculus --- Symmetry Reduction for the Local Mu-Calculus --- Bayesian Statistical Parameter Synthesis for Linear Temporal Properties of Stochastic Models --- 7th Competition on Software Verification (SV-COMP) --- 2LS: Memory Safety and Non-Termination (Competition contribution) --- Yogar-CBMC: CBMC with Scheduling Constraint Based Abstraction Refinement (Competition Contribution) --- CPA-BAM-Slicing: Block-Abstraction Memorization and Slicing with Region-Based Dependency Analysis (Competition Contribution) --- InterpChecker: Reducing State Space via Interpolations (Competition Contribution) --- Map2Check using LLVM and KLEE (Competition Contribution) --- Symbiotic 5: Boosted Instrumentation (Competition Contribution) --- Ultimate Automizer and the Search for Perfect Interpolants (Competition Contribution) --- Ultimate Taipan with Dynamic Block Encoding (Competition Contribution) --- VeriAbs : Verification by Abstraction and Test Generation (Competition Contribution)
    Pages: Online-Ressource (XX, 465 pages) , 92 illustrations
    ISBN: 9783319899633
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Keywords: Computer science ; Computer organization ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Computer Science ; Software Engineering ; Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; The Computing Profession ; Theory of Computation
    Description / Table of Contents: Model-Based Software Development --- A Formal Framework for Incremental Model Slicing --- Multiple Model Synchronization with Multiary Delta Lenses --- Controlling the Attack Surface of Object-Oriented Refactorings --- Efficient Analysis of Attack Trees: a Model-Driven Approach --- Distributed Program and System Analysis --- ROLA: A New Distributed Transaction Protocol and Its Formal Analysis --- A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism --- Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems --- EventHandler-based Analysis Framework for Web Apps using Dynamically Collected States --- Software Design and Verification --- Hierarchical Specification and Verification of Architectural Design Patterns --- Supporting Verification-Driven Incremental Distributed Design of Components --- Summarizing Software API Usage Examples using Clustering Techniques --- Fast Computation of Arbitrary Control Dependencies --- Specification and Program Testing --- Iterative Generation of Diverse Models for Testing Specifications of SL Tools --- Optimising Spectrum Based Fault Localisation for Single Fault Programs using Specifications --- TCM: Test Case Mutation to Improve Crash Detection in Android --- CRETE: A Versatile Binary-Level Concolic Testing Framework --- Family-Based Software Development --- Abstract Family-based Model Checking using Modal Featured Transition Systems: Preservation of CTL* --- FPH: Efficient Non-Commutativity Analysis of Feature-Based Systems --- Taming Multi-Variability of Software Product Line Transformations
    Pages: Online-Ressource (XII, 357 pages) , 116 illustrations
    ISBN: 9783319893631
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Keywords: Physics ; Matrix theory ; Algebra ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Physics ; History and Philosophical Foundations of Physics ; Linear and Multilinear Algebras, Matrix Theory
    Description / Table of Contents: Introduction --- Part I Co(X) and B(H): Classical physics on a finite phase space --- Quantum mechanics on a finite-dimensional Hilbert space --- Classical physics on a general phase space --- Quantum physics on a general Hilbert space --- Symmetry in quantum mechanics --- Part II Between Co(X) and B(H): Classical models of quantum mechanics --- Limits: Small hbar --- Limits: large N --- Symmetry in algebraic quantum theory --- Spontaneous Symmetry Breaking --- The Measurement Problem --- Topos theory and quantum logic --- Appendix A: Finite-dimensional Hilbert spaces --- Appendix B: Basic functional analysis --- Appendix C: Operator algebras --- Appendix D: Lattices and logic --- Appendix E: Category theory and topos theory --- References
    Pages: Online-Ressource (XXXVI, 861 pages) , 9 illustrations, 8 illustrations in color
    ISBN: 9783319517773
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Keywords: Computer science ; Research ; Moral and ethical aspects ; Computers ; Computers and civilization ; Computer Science ; Computers and Society ; History of Computing ; Diversity Management/Women in Business ; Research Ethics
    Description / Table of Contents: Shifting Identities in Computing: From a Useful Tool to a New Method and Theory of Science --- On the Big Impact of “Big Computer Science” --- On Informatics, Diamonds and T --- Leadership and Balance in Research --- Rational ethics --- Ethics for the digital age: where are the moral specs? --- Digital Sovereignty and IT-Security for a Prosperous Society --- Women in Computing and the contingency of informatics cultures --- Ada - poet of computing
    Pages: Online-Ressource (XI, 109 pages) , 22 illustrations in color
    ISBN: 9783319557359
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Keywords: Physics ; Quantum field theory ; String theory ; Elementary particles (Physics) ; Physics ; Elementary Particles, Quantum Field Theory ; Quantum Field Theories, String Theory
    Description / Table of Contents: Preface --- Gauge Theories and the Standard Model --- QCD: The Theory of Strong Interactions --- The Theory of Electroweak Interactions --- References
    Pages: Online-Ressource (XIV, 173 pages) , 60 illustrations, 34 illustrations in color
    ISBN: 9783319519203
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Keywords: Physics ; Complexity, Computational ; Economic theory ; Social sciences ; Physics ; Data-driven Science, Modeling and Theory Building ; Methodology of the Social Sciences ; Economic Theory/Quantitative Economics/Mathematical Methods ; Operations Research/Decision Theory ; Complexity ; Computational Social Sciences
    Description / Table of Contents: Non-Equilibrium Social Science & Policy --- Economics --- Social Psychology and Narrative Economy --- Sociology and Non-Equilibrium Social Science --- Geography far from Equilibrium --- Cities in Disequilibrium --- The Evolutionary Theory of Globalization --- Systems, Networks, and Policy --- Towards a Complexity-Friendly Policy: breaking the vicious circle of equilibrium thinking in economic and public policy --- The Information Economy --- Complexity Science & the Art of Policy Making --- The Complexity of Government --- The Room Around the Elephant: Tackling Context-Dependency in the Social Sciences --- Global Systems Science and Policy --- Index.
    Pages: Online-Ressource (VIII, 232 pages)
    ISBN: 9783319424248
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Keywords: Computer science ; Software engineering ; Computers ; Law and legislation ; Management information systems ; Computer Science ; Management of Computing and Information Systems ; Software Engineering ; Legal Aspects of Computing ; Information Systems Applications (incl. Internet)
    Description / Table of Contents: This book is open access under a CC BY license. This book constitutes the refereed proceedings of the 13th IFIP WG 2.13 International Conference on Open Source Systems, OSS 2017, held in Buenos Aires, Argentina, in May 2017. The 16 revised full papers and 3 short papers presented were carefully reviewed and selected from 32 submissions. The papers cover a wide range of topics related to free, libre, and open source software (FLOSS), including: licensing, strategies, and practices; case studies; projects, communication, and participation; tools; and project management, development and evaluation
    Pages: Online-Ressource (XIV, 220 pages) , 37 illustrations
    ISBN: 9783319577357
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Keywords: Physics ; Quantum optics ; Physics ; Optics, Lasers, Photonics, Optical Devices ; Quantum Optics ; Popular Science in Physics ; History and Philosophical Foundations of Physics
    Description / Table of Contents: History --- A brief history of light --- Ibn Al-Haitham – Father of modern optics --- Optical Sources --- Femtosecond light --- Laser --- LED light --- Electron optics --- Applications --- Biophotonics --- Optical communication --- Optical astronomy --- Solar cells --- Optics in Remote Sensing --- Optics in nanotechnology --- Optics in art --- Eye --- Optics in medicine --- Optical illusions --- Quantum Optics --- Optical tests of foundations of physics --- Nonlinear Optics: Historical Perspectives and New Opportunities --- Quantum communication --- Nature of photon --- Atom optics --- Coherent effects: From EIT to slow light
    Pages: Online-Ressource (XX, 504 pages) , 355 illustrations, 277 illustrations in color
    ISBN: 9783319319032
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Keywords: Physics ; Mathematical physics ; Quantum physics ; Physics ; Quantum Physics ; Mathematical Applications in the Physical Sciences ; History and Philosophical Foundations of Physics
    Description / Table of Contents: I The Cellular Automaton Interpretation as a general doctrine: Motivation for this work --- Deterministic models in quantum notation --- Interpreting quantum mechanics --- Deterministic quantum mechanics --- Concise description of the CA Interpretation --- Quantum gravity --- Information loss --- More problems --- Alleys to be further investigated and open questions --- Conclusions --- II Calculation Techniques: Introduction to part II --- More on cogwheels --- The continuum limit of cogwheels, harmonic rotators and oscillators --- Locality --- Fermions --- PQ theory --- Models in two space-time dimensions without interactions --- Symmetries --- The discretised Hamiltonian formalism in PQ theory --- Quantum Field Theory --- The cellular automaton --- The problem of quantum locality --- Conclusions of part II --- Some remarks on gravity in 2+1 dimensions --- A summary of our views on Conformal Gravity --- Abbreviations.
    Pages: Online-Ressource (XVIII, 298 pages) , 21 illustrations, 19 illustrations in color
    ISBN: 9783319412856
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Keywords: Environment ; Climate change ; Remote sensing ; Physics ; Environment ; Climate Change ; Remote Sensing/Photogrammetry ; Energy Efficiency ; Climate Change/Climate Change Impacts ; Applied and Technical Physics
    Description / Table of Contents: Part I The Urban Heat Island – Evidence, Measures and Tools --- Forecasting Models for Urban Warming in Climate Change --- Assessment Indication and Gold Standard --- Methodologies for UHI Analysis --- Decision Support Systems for Urban Planning --- Part II Pilot Actions in European Cities --- Counteracting Urban Heat Islands: Solutions for European Cities.
    Pages: Online-Ressource (LIII, 400 pages) , 213 illustrations
    ISBN: 9783319104256
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Keywords: Physics ; History ; Nuclear physics ; Heavy ions ; Hadrons ; Particle acceleration ; Physics ; Nuclear Physics, Heavy Ions, Hadrons ; History and Philosophical Foundations of Physics ; Particle Acceleration and Detection, Beam Physics ; History of Science
    Description / Table of Contents: Part I Reminiscences: Rolf Hagedorn and Relativistic Heavy Ion Research.-- Part II The Hagedorn Temperature --- Part III Melting Hadrons, Boiling Quarks Heavy Ion Path to Quark-Gluon Plasma --- Acronyms
    Pages: Online-Ressource (XVI, 441 pages)
    ISBN: 9783319175454
    Language: English
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...