ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Microplastics
  • thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
  • Springer Nature Switzerland  (9)
  • Elsevier  (2)
  • American Chemical Society  (1)
  • American Chemical Society (ACS)
Collection
Keywords
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Frontiers of Combining Systems (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Artificial Intelligence and Cognitive Science (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes selected papers presented during the 30th Irish Conference on Artificial Intelligence and Cognitive Science, held in Munster, Ireland, in December 2022. The 41 presented papers were thoroughly reviewed and selected from the 102 submissions. They are organized in topical sections on ​machine learning, deep learning and applications; responsible and trustworthy artificial intelligence; natural language processing and recommender systems; knowledge representation, reasoning, optimisation and intelligent applications.
    Keywords: information retrieval ; computer vision ; artificial intelligence ; machine learning ; agent systems ; collaborative networks ; neural networks ; image processing ; patter recognition ; neural computing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; 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::U Computing and Information Technology::UK Computer hardware::UKN Network hardware
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    Automated Reasoning with Analytic Tableaux and Related Methods (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 4
    facet.materialart.
    Unknown
    Algorithms for Big Data (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 5
    facet.materialart.
    Unknown
    Digital Twin (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-11
    Description: This open access book offers comprehensive, self-contained knowledge on Digital Twin (DT), which is a very promising technology for achieving digital intelligence in the next-generation wireless communications and computing networks. DT is a key technology to connect physical systems and digital spaces in Metaverse. The objectives of this book are to provide the basic concepts of DT, to explore the promising applications of DT integrated with emerging technologies, and to give insights into the possible future directions of DT. For easy understanding, this book also presents several use cases for DT models and applications in different scenarios. The book starts with the basic concepts, models, and network architectures of DT. Then, we present the new opportunities when DT meets edge computing, Blockchain and Artificial Intelligence, and distributed machine learning (e.g., federated learning, multi-agent deep reinforcement learning). We also present a wide application of DT as an enabling technology for 6G networks, Aerial-Ground Networks, and Unmanned Aerial Vehicles (UAVs). The book allows an easy cross-reference owing to the broad coverage on both the principle and applications of DT. The book is written for people interested in communications and computer networks at all levels. The primary audience includes senior undergraduates, postgraduates, educators, scientists, researchers, developers, engineers, innovators and research strategists.
    Keywords: Digital Twin ; Edge Computing ; Machine Learning ; 6G ; Internet of Things ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 6
    facet.materialart.
    Unknown
    Digital Health Transformation, Smart Ageing, and Managing Disability (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 20th International Conference on Digital Health Transformation and Smart Ageing, ICOST 2023, held in Wonju, South Korea, during July 7–8, 2023. The 18 full papers and 16 short papers included in this book were carefully reviewed and selected from 41 submissions. They were organized in topical sections as follows: IoT and AI Solutions for E-health, Biomedical and Health Informatics, Wellbeing Technologies, Short Contributions: Medical Systems and E-health Solutions and Short Contributions: Wellbeing Technologies.
    Keywords: architechture types ; Information systems ; Security and privacy ; Human-centered computing ; Applied computing ; Emerging technologies ; Network protocols ; Network algorithms ; Data management systems ; Information storage systems ; Information retrieval ; Information systems applications ; system security ; Network security ; Software and application security ; Data base and storage security ; Human computer interaction ; Ubiquitous and mobile computing ; Life and medical sciences ; 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::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 7
    facet.materialart.
    Unknown
    Automated Deduction – CADE 29 (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 9
    facet.materialart.
    Unknown
    Marine Pollution – Monitoring, Management and Mitigation (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    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 ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    Accumulation and distribution of microplastics in coastal sediments from the inner Oslofjord, Norway (2022)
    Elsevier
    Details
    Publication Date: 2022-02-14
    Description: Microplastic presence in benthic marine systems is a widely discussed topic. The influence of the natural matrix on microplastic distribution within the sedimentary matrix is often overlooked. Marine sediments from the western inner Oslofjord, Norway, were investigated for temporal trends, with a particular focus on the relationship between sediment grain-sizes and microplastic distribution. Density separation, optical microscopy and chemical validation were used to categorize microplastics. Microplastic concentrations ranged from 0.02 to 1.71 MPs g − 1 dry weight (dw). Fibres were the most common (76%), followed by fragments and films (18%, 6%). Common polymers were polyesters (50%), polypropylene (18%), polymethylmethacrylate (9%), rayon and viscose (5%) and elastane (4%). Microplastics appear to accumulate preferentially according to their morphology and polymer type in certain sediment grain-sizes. Microplastics inputs to the Oslofjord appear to derive from a wastewater treatment plant in the vicinity. Although, the redistribution of microplastics within the fjord needs further investigation.
    Description: This project was supported by the Norwegian Institute for Water Research (NIVA) and the Erasmus+ Programme (EU).
    Description: Published
    Description: 113076
    Description: 7SR AMBIENTE – Servizi e ricerca per la società
    Description: JCR Journal
    Keywords: Accumulation ; Plastic pollution ; Canonical correspondence analysis (CCA) ; Wastewater treatment plant (WWTP) ; Sediment core ; FT-IR ; Microplastics ; Marine sediments
    Repository Name: Istituto Nazionale di Geofisica e Vulcanologia (INGV)
    Type: article
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    PAPER (OA)
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...