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
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation  (5)
  • Microplastics
  • Springer Nature Switzerland  (6)
  • American Chemical Society  (1)
  • American Chemical Society (ACS)
Collection
Keywords
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 14th International Symposium on Frontiers of Combining Systems, FroCoS 2023, held in Prague, Czech Republic, in September 2023. The symposium was co-located with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023. The 14 papers presented were thorouhgly reviewed and selected from the 22 high-quality paper submissions. They are grouped in the volume according to the following topic classification: analysis of programs and equations; unification; decidable fragments; frameworks; higher-order theorem proving. This is an open access book.
    Keywords: artificial intelligence ; computer networks ; automated reasoning ; computer systems ; description logics ; formal languages ; formal logic ; constraint solving ; decision procedures ; network protocols ; ontologies ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    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 proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
    Keywords: tableaux ; tableaux calculus ; sequent calculus ; proof theory ; theorem proving ; proof assistant ; natural deduction ; formalized proof ; decision procedures ; automated deduction ; SMT ; resolution ; cut-elimination ; non-classical logics ; modal logic ; intuitionistic ; inear logic ; substructural logic ; separation logic ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    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 surveys the progress in addressing selected challenges related to the growth of big data in combination with increasingly complicated hardware. It emerged from a research program established by the German Research Foundation (DFG) as priority program SPP 1736 on Algorithmics for Big Data where researchers from theoretical computer science worked together with application experts in order to tackle problems in domains such as networking, genomics research, and information retrieval. Such domains are unthinkable without substantial hardware and software support, and these systems acquire, process, exchange, and store data at an exponential rate. The chapters of this volume summarize the results of projects realized within the program and survey-related work. This is an open access book.
    Keywords: computer hardware ; computer networks ; computer programming ; computer science ; computer systems ; directed graphs ; distributed computer systems ; distributed systems ; engineering ; graph theory ; graphic methods ; internet ; mathematics ; microprocessor chips ; network protocols ; parallel processing systems ; processors ; signal processing ; telecommunication systems ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    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 Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-05-09
    Description: The open access book 3-volume set LNCS 14570-14573 constitutes the proceedings of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2024, which was held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, during April 6-11, 2024, in Luxembourg. The 53 full papers and 16 short SVComp contributions included in these proceedings were carefully reviewed and selected from 159 submissions. They were organized in topical sections as follows: Part I: STA and SMT solving; synthesis; logic and decidability; program analysis and proofs; proof checking; Part II: Model Checking; automata and learning; software verification; probabilistic systems; simulations; Part III: Neural networks; testing and verification; games; concurrency; SV-Comp 2024.
    Keywords: TACAS ; formal verification ; software systems ; hardware systems ; static analysis ; probabilistic programming ; program synthesis ; concurrency ; testing ; simulations ; verification of machine ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 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...