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
  • thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware  (5)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation  (5)
  • bic Book Industry Communication::J Society & social sciences::JN Education  (4)
  • Microplastics
  • American Chemical Society
  • American Chemical Society (ACS)
  • Springer Nature Switzerland
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
    Schools and Society During the COVID-19 Pandemic (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-03-29
    Description: This open access book provides an analysis of the effects of the COVID-19 Pandemic on diverse education systems, and of the results of the policies adopted to sustain educational opportunities. Through a series of diverse national case studies, the book examines the preexisting fragilities and vulnerabilities in educational structures which shaped the nature of the varied responses, around the world, to teaching and learning during the worst crisis in public education in recent history. The chapters in the book take stock of how educational opportunities changed in various education systems around the world as a result of the Covid-19 pandemic, answering the question of what did education systems, and societies, learn about education as a result of the pandemic. The book covers diverse education systems, with varying levels of resources and facing distinct education challenges, including Brazil, Chile, Finland, Japan, Mexico, Norway, Portugal, Russia, Singapore, Spain, South Africa, and the United States.
    Keywords: Covid-19 ; Education Policy ; Comparative Education ; Education and Covid-19 ; Learning Loss ; teaching during covid-19 ; schools and societies during covid-19 ; education systems ; comparative education study ; re-institutionalizing school education ; Emotionally Challenging education ; guaranteeing academic achievement ; causes of learning loss ; educational opportunity ; Distance Teaching and Learning ; educational support societal change ; education during global health crisis ; Paradoxical educational effects of the COVID-19 ; Learning to read during pandemic ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 4
    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
  • 5
    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
  • 6
    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
  • 7
    facet.materialart.
    Unknown
    Making Universities Matter (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-01-16
    Description: In an era of rapid change and increasing societal demands, the role of universities as knowledge producers and catalysts for change has come under scrutiny. This open access book offers a fresh perspective on the significance of universities in society, shedding light on how their knowledge can truly matter beyond academia. Drawing upon insightful inquiries from both the Swedish and international contexts, this volume delves into the multifaceted interactions between universities and various knowledge users, emphasizing the need for scholars to reflect on how their knowledge can become useful and applicable to wider society. Organized into three compelling themes, collaboration, engagement, and impact, this book explores the concept of "mattering". Together and jointly, they point at the fluid movement of scholars and scholarly knowledge across academic, political, and public spaces, and the intentional actions of scientists to leverage their expertise for real-world impact. Essential reading for social science and humanities scholars, university management professionals, and individuals keen on a critical understanding of the evolving role of universities, this volume offers a comprehensive examination of how universities have mattered, continue to matter, and can shape the future.
    Keywords: Knowledge and Innovation ; Knowledge transfer ; Universities in society ; Knowledge production ; Innovation and Technology Management ; University governance ; Science–policy interaction ; Role of universities in society ; Research collaboration ; Inequality in academia ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management ; 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::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 8
    facet.materialart.
    Unknown
    Modernising European Legal Education (MELE) (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2023-09-14
    Description: This open access book presents innovative strategies to address cross-cutting topics and foster transversal competences. The modernization of European legal education presents a compelling challenge that calls for enhanced interdisciplinary collaboration among academic disciplines and innovative teaching methods. The volume introduces venues towards education innovation and engages with complex and emerging topics such as datafication, climate change, gender, and the aftermath of the COVID-19 pandemic. The insights presented not only emphasize the importance of preserving traditional approaches to legal disciplines and passing them on to future generations, but also underscore the need to critically reassess and revolutionize existing structures. As our societies become more diverse and our understanding of legitimacy, justice, and values undergoes transformations, it is imperative to reconsider the role of traditional values while exploring promising alternative approaches.
    Keywords: European Law ; International Law ; Education Innovation ; Modernising European Legal Education ; Interdisciplinary Approaches ; SDG ; bic Book Industry Communication::L Law::LB International law ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/png
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 9
    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
  • 10
    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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...