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
  • Springer International Publishing  (12)
  • River Publishers  (2)
  • American Chemical Society
  • American Institute of Physics (AIP)
  • American Meteorological Society
  • Copernicus
Collection
Publisher
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: automata theory ; computer programming ; computer systems ; databases ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; linguistics ; ontologies ; parallel processing systems ; program compilers ; programming languages ; semantics ; software design ; software engineering ; software quality ; verification ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This open access book describes Smittestopp, the first Norwegian system for digital contact tracing of Covid-19 infections, which was developed in March and early April 2020. The system was deployed after five weeks of development and was active for a little more than two months, when a drop in infection levels in Norway and privacy concerns led to shutting it down. The intention of this book is twofold. First, it reports on the design choices made in the development phase. Second, as one of the only systems in the world that collected population data into a central database and which was used for an entire population, we can share experience on how the design choices impacted the system's operation. By sharing lessons learned and the challenges faced during the development and deployment of the technology, we hope that this book can be a valuable guide for experts from different domains, such as big data collection and analysis, application development, and deployment in a national population, as well as digital tracing.
    Keywords: digital contract tracing ; Covid-19 ; public health ; pandemic ; BLE ; GPS ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine::MBNS Epidemiology and Medical statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; 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 ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book answers two central questions: firstly, is it at all possible to verify electronic equipment procured from untrusted vendors? Secondly, can I build trust into my products in such a way that I support verification by untrusting customers? In separate chapters the book takes readers through the state of the art in fields of computer science that can shed light on these questions. In a concluding chapter it discusses realistic ways forward. In discussions on cyber security, there is a tacit assumption that the manufacturer of equipment will collaborate with the user of the equipment to stop third-party wrongdoers. The Snowden files and recent deliberations on the use of Chinese equipment in the critical infrastructures of western countries have changed this. The discourse in both cases revolves around what malevolent manufacturers can do to harm their own customers, and the importance of the matter is on par with questions of national security. This book is of great interest to ICT and security professionals who need a clear understanding of the two questions posed in the subtitle, and to decision-makers in industry, national bodies and nation states.
    Keywords: Privacy ; Computer Engineering ; Management of Computing and Information Systems ; Governance and Government ; R & D/Technology Policy ; Computer Hardware ; IT Operations ; Economics ; cyber security ; IT management ; computer science ; digital vulnerability ; open access ; Privacy & data protection ; Information architecture ; Maintenance & repairs ; Political structure & processes ; Research & development management ; thema EDItEUR::U Computing and Information Technology::UR Computer security::URD Privacy and data protection ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV6 Research and development management
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book provides an in-depth description of the EU project European Language Grid (ELG). Its motivation lies in the fact that Europe is a multilingual society with 24 official European Union Member State languages and dozens of additional languages including regional and minority languages. The only meaningful way to enable multilingualism and to benefit from this rich linguistic heritage is through Language Technologies (LT) including Natural Language Processing (NLP), Natural Language Understanding (NLU), Speech Technologies and language-centric Artificial Intelligence (AI) applications. The European Language Grid provides a single umbrella platform for the European LT community, including research and industry, effectively functioning as a virtual home, marketplace, showroom, and deployment centre for all services, tools, resources, products and organisations active in the field. Today the ELG cloud platform already offers access to more than 13,000 language processing tools and language resources. It enables all stakeholders to deposit, upload and deploy their technologies and datasets. The platform also supports the long-term objective of establishing digital language equality in Europe by 2030 – to create a situation in which all European languages enjoy equal technological support. This is the very first book dedicated to Language Technology and NLP platforms. Cloud technology has only recently matured enough to make the development of a platform like ELG feasible on a larger scale. The book comprehensively describes the results of the ELG project. Following an introduction, the content is divided into four main parts: (I) ELG Cloud Platform; (II) ELG Inventory of Technologies and Resources; (III) ELG Community and Initiative; and (IV) ELG Open Calls and Pilot Projects.
    Keywords: Language technology platform ; Language processing platform ; LT platform ; NLP platform ; Language technology directory ; Language processing directory ; LT directory ; NLP directory ; Language technology repository ; Language processing repository ; LT repository ; NLP repository ; Language data repository ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; 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::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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 ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-08
    Description: This open access book tackles the pressing problem of integrating concerns related to Artificial Intelligence (AI) ethics into higher education curriculums aimed at future AI developers in Africa and beyond. For doing so, it analyzes the present and future states of AI ethics education in local computer science and engineering programs. The authors share relevant best practices and use cases for teaching, develop answers to ongoing organizational challenges, and reflect on the practical implications of different theoretical approaches to AI ethics. The book is of great interest to faculty members, researchers, and students in the fields of artificial intelligence, computer science, mathematics, computer engineering, and related areas, as well as higher education administration.
    Keywords: Artificial Intelligence Ethics ; African AI Ethics ; Responsible Use of Technology ; Computer Science Training ; Higher Education in Africa ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-05
    Description: This open access book provides the first comprehensive coverage of the wheat genome sequence since the publication of the draft and reference sequences for bread wheat and durum wheat. It presents an overview and all aspects of the gold standard sequence of the bread wheat genome, IWGSC RefSeq v1.0 and its subsequent improvements through 2022 (IWGSC RefSeq v2.1), as well as the sequencing of multiple elite wheat varieties, durum wheat, and ancient wheat. The book provides a broad and extensive review of the resources, tools, and methodologies available for exploiting the wheat genome sequence for crop improvement and studying fundamental questions related to the structure, function, and evolution of the wheat genome. Wheat (Tritcum aestivum L.) is the most widely grown crop in the world, contributing approximately 20 percent of total calories and more protein in human diets than any other single source. This book is useful to students, teachers, and scientists in academia and industry interested in gaining an understanding of the wheat genome and its application as well as plant scientists generally interested in polyploid plant species.
    Keywords: International Wheat Genome Sequencing Consortium ; polyploidy ; wheat genome sequence ; structural genomics ; functional genomics ; wheat evolution ; wheat improvement ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAK Genetics (non-medical) ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TC Biochemical engineering::TCB Biotechnology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Publication Date: 2024-04-14
    Description: This book aims to provide a broad overview of various topics of Internet of Things (IoT), ranging from research, innovation and development priorities to enabling technologies, nanoelectronics, cyber-physical systems, architecture, interoperability and industrial applications. All this is happening in a global context, building towards intelligent, interconnected decision making as an essential driver for new growth and co-competition across a wider set of markets. It is intended to be a standalone book in a series that covers the Internet of Things activities of the IERC – Internet of Things European Research Cluster from research to technological innovation, validation and deployment.The book builds on the ideas put forward by the European Research Cluster on the Internet of Things Strategic Research and Innovation Agenda, and presents global views and state of the art results on the challenges facing the research, innovation, development and deployment of IoT in future years. The concept of IoT could disrupt consumer and industrial product markets generating new revenues and serving as a growth driver for semiconductor, networking equipment, and service provider end-markets globally. This will create new application and product end-markets, change the value chain of companies that creates the IoT technology and deploy it in various end sectors, while impacting the business models of semiconductor, software, device, communication and service provider stakeholders. The proliferation of intelligent devices at the edge of the network with the introduction of embedded software and app-driven hardware into manufactured devices, and the ability, through embedded software/hardware developments, to monetize those device functions and features by offering novel solutions, could generate completely new types of revenue streams. Intelligent and IoT devices leverage software, software licensing, entitlement management, and Internet connectivity in ways that address many of the societal challenges that we will face in the next decade.
    Keywords: Computer science ; Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 23 regular papers presented in this volume were carefully reviewed and selected from 77 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Categorical models and logics ; language theory, automata, and games ; modal, spatial, and temporal logics ; type theory and proof theory ; concurrency theory and process calculi ; rewriting theory ; semantics of programming languages ; program analysis ; logics of programming ; software specification and refinement ; models of concurrent systems ; emerging models of computation ; logical aspects of computational complexity ; correctness, transformation, and verification ; models of software security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; 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::UYD Systems analysis and design ; 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 ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering, FASE 2022, which was held during April 4-5, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 17 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. The proceedings also contain 3 contributions 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: architecture verification and validation ; distributed computer systems ; embedded systems ; empirical software validation ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; program analysis, ; software performance ; software quality ; software testing and debugging ; 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 ; 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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-04
    Description: This is open access book provides plenty of pleasant mathematical surprises. There are many fascinating results that do not appear in textbooks although they are accessible with a good knowledge of secondary-school mathematics. This book presents a selection of these topics including the mathematical formalization of origami, construction with straightedge and compass (and other instruments), the five- and six-color theorems, a taste of Ramsey theory and little-known theorems proved by induction. Among the most surprising theorems are the Mohr-Mascheroni theorem that a compass alone can perform all the classical constructions with straightedge and compass, and Steiner's theorem that a straightedge alone is sufficient provided that a single circle is given. The highlight of the book is a detailed presentation of Gauss's purely algebraic proof that a regular heptadecagon (a regular polygon with seventeen sides) can be constructed with straightedge and compass. Although the mathematics used in the book is elementary (Euclidean and analytic geometry, algebra, trigonometry), students in secondary schools and colleges, teachers, and other interested readers will relish the opportunity to confront the challenge of understanding these surprising theorems.
    Keywords: open access high school mathematics book ; origami book ; elementary mathematics book ; mathematics circle book ; Moti Ben-Ari mathematical surprises ; what is mathematics book ; mathematics independent study ; mathematics problems book ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; 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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...