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
  • Research  (5)
  • Microplastics
  • Springer Nature Switzerland  (6)
  • American Chemical Society
  • American Chemical Society (ACS)
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2023, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, during April 22-27, 2023, in Paris, France. The 56 full papers and 6 short tool demonstration papers presented in this volume were carefully reviewed and selected from 169 submissions. The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, flexibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; 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 ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 26 regular papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 26th International Conference on Fundamental Approaches to Software Engineering, FASE 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 12 regular papers presented in this volume were carefully reviewed and selected from 50 submissions. The proceedings also contain 2 tool papers, 2 NIER papers, and 2 competition papers from the Test-Comp Competition. The papers deal with the foundations on which software engineering is built, including topics like software engineering as an engineering discipline, requirements engineering, software architectures, software quality, model-driven development, software processes, software evolution, AI-based software engineering, and the specification, design, and implementation of particular classes of systems, such as (self-)adaptive, collaborative, AI, embedded, distributed, mobile, pervasive, cyber-physical, or service-oriented applications. .
    Keywords: Computer Science ; Informatics ; Conference Proceedings ; Research ; Applications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-09
    Description: The study of marine environments inevitably involves considering the problem of marine pollution, which includes questions that focus on the essential need to ensure the long-term health of these exceptional ecosystems and the lives and livelihoods they support. The open access textbook "Marine Pollution: monitoring, management and mitigation" approaches these questions in a practical and highly readable format. It gives newcomers to the field background and perspective through the first comprehensive, multidisciplinary exploration of the topic. The topic is indeed complex, requiring the integration of the natural sciences and chemistry with management, policymakers, industry and all of us who are users of the marine environment. The textbook was written by leading experts to especially prepare graduates for a career in marine pollution studies. At the same time, it is relevant for anyone invested in the marine environment with a will to reduce their impacts. The chapters can easily be used independently and are also connected through the cross-referencing of related content. The introductory chapter provides a historical account of marine pollution and explores the fundamental physicochemical conditions of seawater. Two full chapters cover the requisite resources for ensuring success in field and laboratory studies. Then, chapter by chapter the book dives into to the various types of marine pollutants. In closing, it discusses the challenges of understanding multiple stressors and presents mitigation and restoration practices, along with a global overview of marine pollution legislation. We envisioned this textbook as being open access for the very reason we created it: this topic calls for global contributions and champions, and financial restraints should not limit access to this knowledge.
    Keywords: Marine pollution textbook ; Ocean acidification ; Microplastics ; Dead Zones ; Oil Pollution ; Marine conservation ; Fisheries management ; Marine geochemistry ; Ecosystem services ; Ocean chemistry ; pollution assessment ; marine pollution management ; marine ecotoxicology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans) ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBK Hydrology and the hydrosphere::RBKC Oceanography (seas and oceans) ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNP Pollution and threats to the environment ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2022-10-21
    Description: © The Author(s), 2021. This article is distributed under the terms of the Creative Commons Attribution License. The definitive version was published in Colson, B. C., & Michel, A. P. M. Flow-through quantification of microplastics using impedance spectroscopy. ACS Sensors, 6(1), (2021): 238–244, doi:10.1021/acssensors.0c02223.
    Description: Understanding the sources, impacts, and fate of microplastics in the environment is critical for assessing the potential risks of these anthropogenic particles. However, our ability to quantify and identify microplastics in aquatic ecosystems is limited by the lack of rapid techniques that do not require visual sorting or preprocessing. Here, we demonstrate the use of impedance spectroscopy for high-throughput flow-through microplastic quantification, with the goal of rapid measurement of microplastic concentration and size. Impedance spectroscopy characterizes the electrical properties of individual particles directly in the flow of water, allowing for simultaneous sizing and material identification. To demonstrate the technique, spike and recovery experiments were conducted in tap water with 212–1000 μm polyethylene beads in six size ranges and a variety of similarly sized biological materials. Microplastics were reliably detected, sized, and differentiated from biological materials via their electrical properties at an average flow rate of 103 ± 8 mL/min. The recovery rate was ≥90% for microplastics in the 300–1000 μm size range, and the false positive rate for the misidentification of the biological material as plastic was 1%. Impedance spectroscopy allowed for the identification of microplastics directly in water without visual sorting or filtration, demonstrating its use for flow-through sensing.
    Description: The authors thank the Richard Saltonstall Charitable Foundation and the National Academies Keck Futures Initiative (NAKFI DBS13) for their funding support.
    Keywords: Microplastics ; Plastics ; Impedance spectroscopy ; Dielectric properties ; Instrumentation ; Particle detection ; Flow-through ; Environmental sensing
    Repository Name: Woods Hole Open Access Server
    Type: Article
    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...