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  (94)
  • Sociology
  • ddc:600
  • Springer Nature  (147)
  • English  (147)
  • Czech
  • Russian
Collection
Keywords
Language
  • English  (147)
  • Czech
  • Russian
  • German  (8)
Years
  • 1
    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 ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-14
    Description: This open access book uncovers the historical context and entrenched beliefs that have perpetuated exclusionary urban landscapes and disadvantage for marginalized groups. It offers an in-depth exploration of the intricate interplay of geographical space, recognizing its pivotal role in shaping our cities and exacerbating spatial injustice. The construction industry, a vital agent in forging accessible environments, often falls short in accommodating persons with disabilities and older individuals. This important book underscores the urgent need for integrated approaches woven into the fabric of cities, companies, and the construction industry itself, to ensure universal accessibility. Drawing upon practical strategies and compelling case studies, the book presents actionable frameworks such as the DisCo Policy Framework and the Iceberg of Inequality Model, facilitating the assessment of progress towards achieving radical inclusion. Inviting readers to embark on a journey into the cities of tomorrow, where inclusion and belonging are the norm, it concludes with a simple idea: the future is accessible.
    Keywords: Urban Studies ; Urban Affairs ; Urban Governance ; Disability Studies ; Urbanization ; Public Administration ; Sociology ; Development Studies ; Public Policy ; Smart Cities ; Inclusive Design ; Capability Based Planning ; Universal Design ; Environmental Design ; Urban Planning ; Covid-19 ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    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 ; 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 ...
  • 4
    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 ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: This unique open access book applies the functional OCaml programming language to numerical or computational weighted data science, engineering, and scientific applications. This book is based on the authors' first-hand experience building and maintaining Owl, an OCaml-based numerical computing library. You'll first learn the various components in a modern numerical computation library. Then, you will learn how these components are designed and built up and how to optimize their performance. After reading and using this book, you'll have the knowledge required to design and build real-world complex systems that effectively leverage the advantages of the OCaml functional programming language. What You Will Learn Optimize core operations based on N-dimensional arrays Design and implement an industry-level algorithmic differentiation module Implement mathematical optimization, regression, and deep neural network functionalities based on algorithmic differentiation Design and optimize a computation graph module, and understand the benefits it brings to the numerical computing library Accommodate the growing number of hardware accelerators (e.g. GPU, TPU) and execution backends (e.g. web browser, unikernel) of numerical computation Use the Zoo system for efficient scripting, code sharing, service deployment, and composition Design and implement a distributed computing engine to work with a numerical computing library, providing convenient APIs and high performance Who This Book Is For Those with prior programming experience, especially with the OCaml programming language, or with scientific computing experience who may be new to OCaml. Most importantly, it is for those who are eager to understand not only how to use something, but also how it is built up.
    Keywords: programming language ; OCaml ; scientific computing ; computational ; debugging ; open source ; source ; code ; numerical ; data science ; big data ; owl ; functional ; math ; scientific ; engineering ; thema EDItEUR::U Computing and Information Technology ; 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::UYQ Artificial intelligence
    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-04
    Description: This open access text aims at giving you the simplest possible introduction to differential equations that are used in models of electrophysiology. It covers models at several spatial and temporal scales with associated numerical methods. The text demonstrates that a very limited number of fundamental techniques can be used to define numerical methods for equations ranging from ridiculously simple to extremely complex systems of partial differential equations. Every method is implemented in Matlab and the codes are freely available online. By using these codes, the reader becomes familiar with classical models of electrophysiology, like the cable equation, the monodomain model, and the bidomain model. But modern models that have just started to gain attention in the field of computational electrophysiology are also presented. If you just want to read one book, it should probably not be this one, but if you want a simple introduction to a complex field, it is worth considering the present text.
    Keywords: Action potential ; Cardiomyocytes ; Differential equations ; numerical methods ; software ; computational physiology ; computational electrophysiology ; Cable equation ; bidomain ; cell-based models ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::P Mathematics and Science::PH Physics::PHV Applied physics::PHVN Biophysics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    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 ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2023-11-17
    Description: The book provides a comprehensive and updated introduction to concept of territory in the study of democratic politics. Territory plays a rather marginal role in the traditional conceptions of democracy that in many ways still prevail today. Democratic politics is often analysed from the point of view of its institutions, citizens and voters, while little is said about the territory through which it is expressed – at most it provides a broader perimeter or context of political and institutional action. The book offers, instead, an introductory theoretically-oriented discussion of crucial issues such as the genesis of state-nation, the transformation of democratic citizenship, the current borders’ policies, the rising of territorial populism and the experience of 19-covid pandemic. This is an open access book.
    Keywords: Democracy ; Territorial Politics ; Populism ; Sociology ; Citizenship ; Covid 19 ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    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 ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
    Keywords: Object Information Theory ; Information Space ; Structural Framework ; Metaverse ; Information Model ; Information Measure ; Information Systems Dynamics ; Air Traffic Control System (ATCS) ; Smart Court SoSs (System of Systems) ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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::UYQ Artificial intelligence ; 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 ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Switzerland
    Publication Date: 2024-04-04
    Description: This open access volume explains the foundations of modern solvers for ordinary differential equations (ODEs). Formulating and solving ODEs is an essential part of mathematical modeling and computational science, and numerous solvers are available in commercial and open source software. However, no single ODE solver is the best choice for every single problem, and choosing the right solver requires fundamental insight into how the solvers work. This book will provide exactly that insight, to enable students and researchers to select the right solver for any ODE problem of interest, or implement their own solvers if needed. The presentation is compact and accessible, and focuses on the large and widely used class of solvers known as Runge-Kutta methods. Explicit and implicit methods are motivated and explained, as well as methods for error control and automatic time step selection, and all the solvers are implemented as a class hierarchy in Python.
    Keywords: Ordinary differential equations ; Runge-Kutta methods ; scientific programming ; Python programming ; object-oriented programming ; difference equations ; adaptive time step methods ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::P Mathematics and Science::PB Mathematics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.
    Keywords: artificial intelligence ; communication systems ; computer networks ; computer systems ; computer vision ; correlation analysis ; data mining ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; numerical methods ; signal processing ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer Nature Singapore
    Publication Date: 2024-04-14
    Description: This open access book provides a unique and state-of-the-art view on DNA nanotechnology with an eye toward future developments. Intended as a tribute to Nadrian C. Seeman, who founded the field of DNA nanotechnology, the content is an exciting mixture of technical and non-technical material, reviews, tutorials, perspectives, new findings, and open questions. The book aims to inspire current researchers to sit back and think about the big picture, while also enticing new researchers to enter the field. Most of all, the book captures voices from a unique moment in time: 40 years after the publication of the first paper that envisioned DNA nanotechnology. From this vantage point, what are the untold stories, the unspoken concerns, the underlying fundamental issues, the overlooked opportunities, and the unifying grand challenges? What will help us see more clearly, see more creatively, or see farther? What is transpiring right now that could pave the way for the future? To address these questions, leading researchers have contributed 22 chapters, grouped into five sections: perspectives, chemistry and physics, structures, biochemical circuits, and spatial systems. This book will be an important reference point in the field of DNA nanotechnology, both for established researchers looking to take stock of the field and its future, and for newcomers such as graduate students and researchers in other fields who are beginning to appreciate the power and applicability of its methods.
    Keywords: DNA nanotechnology ; DNA computing ; Natural computing ; Bio-inspired computing ; Information-based chemistry ; Molecular programming ; Self-assembly and self-organization ; Structure and function ; Computer-aided design ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBN Nanotechnology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSB Biochemistry ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    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 ...
  • 15
    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 ...
  • 16
    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 ...
  • 17
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book provides a unique research perspective on life course transitions. Here, transitions are understood as social processes and practices. Leveraging the recent “practice turn” in the social sciences, the contributors analyze how life course transitions are “done.” This book introduces the concept of “doing transitions” and its implications for theories and methods. It presents fresh empirical research on “doing transitions” in different life phases (e.g., childhood, young adulthood, later life) and life domains (e.g., education, work, family, health, migration). It also emphasizes themes related to institutions and organizations, time and normativity, materialities (such as bodies, spaces, and artifacts), and the reproduction of social inequalities in education and welfare. In coupling this new perspective with empirical illustrations, this book is an indispensable resource for scholars from demography, sociology, psychology, social work and other scientific fields, as well as for students, counselors and practitioners, and policymakers.
    Keywords: Transitions in the life course ; Life course and biography ; Transitions as social practice ; Doing difference and social inequalities ; Social inclusion and exclusion ; Doing transitions in the life course ; Discoursive articulation of transitions in the life course ; Institutional regulation of the life course ; Individual coping with life course transitions ; Education and the life course ; Welfare and the life course ; Doing gender in the life course ; Migration and transitions ; Transitions from education to work ; Relational research perspectives ; Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    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 ...
  • 19
    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 ...
  • 20
    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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; 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 ...
  • 22
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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 ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: embedded systems ; formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; software and hardware verification ; specification and verification techniques ; static and dynamic program analysis ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; 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::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 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, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; signal processing ; software and hardware verification ; specification and verification techniques ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; 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::UT Computer networking and communications ; 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 ...
  • 25
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This third and last open access volume in the series takes the perspective of non-EU countries on immigrant social protection. By focusing on 12 of the largest sending countries to the EU, the book tackles the issue of the multiple areas of sending state intervention towards migrant populations. Two “mirroring” chapters are dedicated to each of the 12 non-EU states analysed (Argentina, China, Ecuador, India, Lebanon, Morocco, Russia, Senegal, Serbia, Switzerland, Tunisia, Turkey). One chapter focuses on access to social benefits across five core policy areas (health care, unemployment, old-age pensions, family benefits, guaranteed minimum resources) by discussing the social protection policies that non-EU countries offer to national residents, non-national residents, and non-resident nationals. The second chapter examines the role of key actors (consulates, diaspora institutions and home country ministries and agencies) through which non-EU sending countries respond to the needs of nationals abroad. The volume additionally includes two chapters focusing on the peculiar case of the United Kingdom after the Brexit referendum. Overall, this volume contributes to ongoing debates on migration and the welfare state in Europe by showing how non-EU sending states continue to play a role in third country nationals’ ability to deal with social risks. As such this book is a valuable read to researchers, policy makers, government employees and NGO’s.
    Keywords: Social Sciences, general ; Microeconomics ; Social Policy ; Sociology of Migration ; Open access ; Non-EU countries ; Immigrant social protection ; Migrant populations ; Argentina, China, Ecuador, India ; Lebanon, Morocco, Russia ; Senegal, Serbia, Switzerland ; Tunisia, Turkey ; Health care ; Unemployment ; Old-age pensions ; Guaranteed minimum resources ; Family benefits ; Migration and integration ; Sending states ; Society & Social Sciences ; Sociology ; Political economy ; Social & ethical issues ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCC Microeconomics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 28
    Publication Date: 2024-04-01
    Description: This book offers a provocative account of interdisciplinary research across the neurosciences, social sciences and humanities. Setting itself against standard accounts of interdisciplinary 'integration,' and rooting itself in the authors' own experiences, the book establishes a radical agenda for collaboration across these disciplines. Rethinking Interdisciplinarity does not merely advocate interdisciplinary research, but attends to the hitherto tacit pragmatics, affects, power dynamics, and spatial logics in which that research is enfolded. Understanding the complex relationships between brains, minds, and environments requires a delicate, playful and genuinely experimental interdisciplinarity, and this book shows us how it can be done.
    Keywords: neurosciences ; interdisciplinarity ; social sciences ; interdisciplinary research ; integration ; humanities ; Des Fitzgerald ; Epistemology ; Sociology ; thema EDItEUR::N History and Archaeology::NH History ; thema EDItEUR::J Society and Social Sciences ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Publication Date: 2024-04-06
    Description: fuzzy arithmetic; defuzzyfication; fuzzy prediction models; analysis; trend processing; uncertainty modeling; propagation of uncertainty; Kosinski’s fuzzy numbers
    Keywords: fuzzy arithmetic ; defuzzyfication ; fuzzy prediction models ; analysis ; trend processing ; uncertainty modeling ; propagation of uncertainty ; Kosinski’s fuzzy numbers ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific work are driven by the shift to grid-based worlds, the use of information and communication systems, and the existential infrastructure, which includes global collaboration. In this context, the book addresses emerging issues such as open access, collaboration and virtual communities and highlights the diverse range of developments associated with e-Science. As such, it will be of interest to researchers and scholars in the fields of information technology and knowledge management.
    Keywords: Science and Technology Studies ; Media and Communication ; Business Information Systems ; Computer Applications ; Education, general ; Knowledge Management ; Science Communication ; Computer and Information Systems Applications ; Digital Education and Educational Technology ; Open Access ; Grid computing ; Science 2.0 ; Research network ; Education portal ; Virtual organization ; Governance ; Social control ; Science collaboration ; Digitization ; Digital research infrastructures ; Cyberinfrastructure software ; Sustainability ; Software sustainability ; Sociology ; Media studies ; Business mathematics & systems ; Information technology: general issues ; Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMK Knowledge management
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2024-04-02
    Description: This open access book explores the historical, cultural and philosophical contexts that have made anti-poverty the core of Chinese society since Liberation in 1949, and why poverty alleviation measures evolved from the simplistic aid of the 1950s to Xi Jinping’s precision poverty alleviation and its goal of eliminating absolute poverty by 2020. The book also addresses the implications of China’s experience for other developing nations tackling not only poverty but such issues as pandemics, rampant urbanization and desertification exacerbated by global warming. The first of three parts draws upon interviews of rural and urban Chinese from diverse backgrounds and local and national leaders. These interviews, conducted in even the remotest areas of the country, offer candid insights into the challenges that have forced China to continually evolve its programs to resolve even the most intractable cases of poverty. The second part explores the historic, cultural and philosophical roots of old China’s meritocratic government and how its ancient Chinese ethics have led to modern Chinese socialism’s stance that “poverty amidst plenty is immoral”. Dr. Huang Chengwei, one of China’s foremost anti-poverty experts, explains the challenges faced at each stage as China’s anti-poverty measures evolved over 70 years to emphasize “enablement” over “aid” and to foster bottom-up initiative and entrepreneurialism, culminating in Xi Jinping’s precision poverty alleviation. The book also addresses why national economic development alone cannot reduce poverty; poverty alleviation programs must be people-centered, with measurable and accountable practices that reach even to household level, which China has done with its “First Secretary” program. The third part explores the potential for adopting China’s practices in other nations, including the potential for replicating China’s successes in developing countries through such measures as the Belt and Road Initiative. This book also addresses prevalent misperceptions about China’s growing global presence and why other developing nations must address historic, systemic causes of poverty and inequity before they can undertake sustainable poverty alleviation measures of their own.
    Keywords: History of China ; Urban Studies/Sociology ; Organizational Studies, Economic Sociology ; Contemporary Literature ; Urban Sociology ; Economic Sociology ; Open Access ; Precision Poverty Alleviation ; Minority Poverty in China ; Unequal Regional Development in China ; Xi Jinping Fights Poverty ; China and Sustainable Development Goals for 2030 ; Morality and Ethics of Poverty Alleviation ; Asian history ; Sociology ; Urban communities ; Sociology: work & labour ; Literary studies: c 1900 to c 2000 ; thema EDItEUR::N History and Archaeology::NH History::NHF Asian history ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBL Sociology: work and labour ; thema EDItEUR::D Biography, Literature and Literary studies::DS Literature: history and criticism::DSB Literary studies: general::DSBH Literary studies: c 1900 to c 2000
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Publication Date: 2024-04-14
    Description: artificial intelligence; big data; cloud computing; communication; computer architecture; computer science; computer systems; data management; databases; hardware; High-Performance Computing (HPC); information management; map-reduce; processors; programming languages; semantics; wireless telecommunication systems
    Keywords: artificial intelligence ; big data ; cloud computing ; communication ; computer architecture ; computer science ; computer systems ; data management ; databases ; hardware ; High-Performance Computing (HPC) ; information management ; map-reduce ; processors ; programming languages ; semantics ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 8th International Conference on Principles of Security and Trust, POST 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 10 papers presented in this volume were carefully reviewed and selected from 27 submissions. They deal with theoretical and foundational aspects of security and trust, including on new theoretical results, practical applications of existing foundational ideas, and innovative approaches stimulated by pressing practical problems.
    Keywords: Computer science ; Computer security ; Software engineering ; Artificial intelligence ; Computer system failures ; Computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-23
    Description: This open access book collects the major discussions in divorce research in Europe. It starts with an understanding of divorce trends. Why was divorce increasing so rapidly throughout the US and Europe and do we see signs of a turn? Do cohabitation breakups influence divorce trends or is there a renewed stability on the partner market? In terms of divorce risks, the book contains new insights on Eastern European countries. These post socialist countries have evolved dramatically since the fall of the Wall and at present they show the highest divorce figures in Europe. Also the influence of gender, and more specifically women’s education as a risk in divorce is examined cross nationally. The book also provides explanations for the negative gradient in female education effects on divorce. It devotes three separate parts to new insights in the post-divorce effects of the life course event by among others looking at consequences for adults and children but also taking the larger family network into account. As such the book is of interest to demographers, sociologists, psychologists, family therapists, NGOs, and politicians. “This wide-ranging volume details important trends in divorce in Europe that hold implications for understanding family dissolution causes and consequences throughout the world. Highly recommended for researchers and students everywhere.”
    Keywords: Social sciences ; Demography ; Psychology ; Population ; Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBD Population and demography ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book assembles landmark studies on divorce and separation in European countries, and how this affects the life of parents and children. It focuses on four major areas of post-separation lives, namely (1) economic conditions, (2) parent-child relationships, (3) parent and child well-being, and (4) health. Through studies from several European countries, the book showcases how legal regulations and social policies influence parental and child well-being after divorce and separation. It also illustrates how social policies are interwoven with the normative fabric of a country. For example, it is shown that father-child contact after separation is more intense in those countries which have adopted policies that encourage shared parenting. Correspondingly, countries that have adopted these regulations are at the forefront of more egalitarian gender role attitudes. Apart from a strong emphasis on the legal and social policy context, the studies in this volume adopt a longitudinal perspective and situate post-separation behaviour and well-being in the life course. The longitudinal perspective opens up new avenues for research to understand how behaviour and conditions prior or at divorce and separation affect later behaviour and well-being. As such this book is of special appeal to scholars of family research as well as to anyone interested in the role of divorce and separation in Europe in the 21st century.
    Keywords: Life course ; Population Economics ; Quality of Life Research ; Sociology of Family, Youth and Aging ; European Politics ; Life Course ; Open access ; Separation ; Divorce ; Well-being ; Parent-child relationships ; post-separation families ; Parental and Child well-being ; economic conditions after divorce ; Sociology ; Political economy ; Population & demography ; Personal & public health ; Public health & preventive medicine ; Sociology: family & relationships ; Politics & government ; Europe ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine::MBNH Personal & public health ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBK Sociology: family & relationships ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2024-03-29
    Description: This open access book focuses on how and why digital games and gambling are increasingly intertwined and asks “does this matter?” Looking at how “loot boxes” became the poster child for the convergence of gambling and gaming, Wardle traces how we got here. She argues that the intersection between gambling and gaming cultures has a long lineage, one that can be traced back throughout the 20th century but also incorporates more recent trends like the poker boom of the 1990s, the development of social media gambling products and the development of skin betting markets. Underpinned by changing technology, which facilitated new ways to bet, trade and play, the intersection between gaming and gambling cultures and products has accelerated within the last decade – and shows little signs of stopping. Wardle explores what this means for our understanding of risk, how gaming and gambling entities use each other for commercial advantage, and crucially explores what young people think of this, before making recommendations for action.
    Keywords: Sociology ; Internet ; Online ; Australia ; UK ; USA ; Reward ; Risk ; Money ; E-sports ; Leisure ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies::JBCC1 Popular culture ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology::JHBS Sociology: sport and leisure ; thema EDItEUR::S Sports and Active outdoor recreation
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    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 ...
  • 38
    Publication Date: 2024-04-14
    Description: computer science; algorithms; visualization; software; programming
    Keywords: computer science ; algorithms ; visualization ; software ; programming ; 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
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 40
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 41
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access book provides insight on current patterns of migration in Switzerland, which fall along a continuum from long-term and permanent to more temporary and fluid. These patterns are shaped by the interplay of legal norms, economic drivers and societal factors. The various dimensions of this Migration-Mobility Nexus are investigated by means of newly collected survey data: the Migration-Mobility Survey. The book covers different aspects of life in the host country, including the family dimension, the labour market and political participation as well as social integration. The book also takes into account the chronological dimension of migration by considering the migrants’ arrival, their stay, and their expectations regarding return. Through applying conclusions drawn from the Swiss context to the migration literature on other European and high-income countries, this book contributes to new knowledge on current migration processes in high-income countries. As such it will be a valuable reference work to scholars and students in migration, social scientists and policy makers.
    Keywords: Social sciences ; Emigration and immigration ; Population ; Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues::JBFH Migration, immigration and emigration ; thema EDItEUR::5 Interest qualifiers::5P Relating to specific groups and cultures or social and cultural interests::5PB Relating to peoples: ethnic groups, indigenous peoples, cultures and other groupings of people::5PBC Relating to migrant groups / diaspora communities or peoples ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer Singapore
    Publication Date: 2021-02-10
    Description: This open access book focuses on the dimensions of the discourse of 'The World Class University', its alleged characteristics, and its policy expressions. It offers a broad overview of the historical background and current trajectory of the world-class-university construct. It also deepens the theoretical discussion, and points a way forward out of present impasses resulting from the pervasive use and abuse of the notion of "world-class" and related terms in the discourse of quality assessment. The book includes approaches and results from fields of inquiry not otherwise prominent in Higher Education studies, including philosophy and media studies, as well as sociology, anthropology, educational theory. The growing impact of global rankings and their strategic use in the restructuring of higher education systems to increase global competitiveness has led to a ‘reputation race’ and the emergence of the global discourse of world class universities. The discourse of world class universities has rapid uptake in East Asian countries, with China recently refining its strategy. This book provides insights into this process and its future development.
    Keywords: Educational Policy and Politics ; Higher Education ; Administration, Organization and Leadership ; Sociology of Education ; Educational Philosophy ; Philosophy of Education ; Organization and Leadership ; open access ; higher education policy ; global rankings and league tables ; audit culture and the university ; universities and liberal education ; mediatization and the university ; academic excellence and marketization ; higher education and performance indicators ; academic freedom ; global educational competitiveness ; world class university discourse ; academic capitalism ; Educational strategies & policy ; Higher & further education, tertiary education ; Educational administration & organization ; Sociology ; Philosophy & theory of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNA Philosophy & theory of education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Publication Date: 2021-02-10
    Description: This open access book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being. Understanding SEPLS and the forces of change that can weaken their resilience requires the integration of knowledge across a wide range of academic disciplines as well as from indigenous knowledge and experience. Moreover, given the wide variation in the socio-ecological makeup of SEPLS around the globe, as well as in their political and economic contexts, individual communities will be at the forefront of developing the measures appropriate for their unique circumstances. This in turn requires robust communication systems and broad participatory approaches. Sustainability science (SuS) research is highly integrated, participatory and solutions driven, and as such is well suited to the study of SEPLS. Through case studies, literature reviews and SuS analyses, the book explores various approaches to stakeholder participation, policy development and appropriate action for the future of SEPLS. It provides communities, researchers and decision-makers at various levels with new tools and strategies for exploring scenarios and creating future visions for sustainable societies.
    Keywords: Environmental Management ; Landscape Ecology ; Development and Sustainability ; Landscape/Regional and Urban Planning ; Environmental Sociology ; Sustainable Development ; Development Studies ; Geography ; Biotechnology ; Environmental Social Sciences ; Indigenous and local knowledge ; Science-policy interface ; Ecosystem services ; Future scenarios ; Stakeholder analysis ; Visualization ; Satoyama ; Satoumi ; SEPLS ; Social-ecological system ; Open Access ; Environmental management, ; Botany & plant sciences ; Sustainability ; Regional & area planning ; Sociology ; The environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Publication Date: 2024-04-14
    Description: computer architecture; computer software selection and evaluation; formal logic; formal methods; model checker; model checking; multi core processors; program compilers; programming languages; semantics; software engineering; specifications; state space; verification
    Keywords: computer architecture ; computer software selection and evaluation ; formal logic ; formal methods ; model checker ; model checking ; multi core processors ; program compilers ; programming languages ; semantics ; software engineering ; specifications ; state space ; verification ; 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
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 47
    Publication Date: 2024-03-23
    Description: user interfaces; human computer interaction; computers and society
    Keywords: user interfaces ; human computer interaction ; computers and society ; thema EDItEUR::A The Arts ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::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 ; 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 ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book explores cultural competence in the higher education sector from multi-disciplinary and inter-disciplinary perspectives. It addresses cultural competence in terms of leadership and the role of the higher education sector in cultural competence policy and practice. Drawing on lessons learned, current research and emerging evidence, the book examines various innovative approaches and strategies that incorporate Indigenous knowledge and practices into the development and implementation of cultural competence, and considers the most effective approaches for supporting cultural competence in the higher education sector. This book will appeal to researchers, scholars, policy-makers, practitioners and general readers interested in cultural competence policy and practice.
    Keywords: Higher Education ; Educational Policy and Politics ; Ethnicity in Education ; Sociology of Education ; open access ; Indigenous higher education ; student equity ; student transition ; higher education policy ; Indigenous research ; community engagement ; cultural competency policy and practices ; developing cultural competency in higher education ; implementing cultural competency in higher education ; culturally competent leadership ; culturally responsive pedagogy ; diversity, social justice, equity and inclusion ; culturally competent service learning ; Higher & further education, tertiary education ; Educational strategies & policy ; Education ; Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: Simulation and Modeling ; Computational Biology/Bioinformatics ; Models and Principles ; Computer Appl. in Arts and Humanities ; Computer Science ; Computational and Systems Biology ; Database Management System ; Computer and Information Systems Applications ; Computational Aesthetics ; Computing with Natural media ; Harness the Nature for Computation ; Synthetic Biology ; Computer modelling & simulation ; Life sciences: general issues ; Information technology: general issues ; Computer science ; Computer applications in the arts & humanities ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::N History and Archaeology::NH History
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the thoroughly refereed post-conference proceedings of the 6th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2020, held virtually in September 2020, associated with ECAI 2020, the 24th European Conference on Artificial Intelligence. The 7 revised full papers presented together with 2 invited contributions were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background, which allows to bridge the gap between the different communities.
    Keywords: Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Computer Communication Networks ; Mathematical Logic and Formal Languages ; Computer and Information Systems Applications ; Formal Languages and Automata Theory ; open access ; concept lattices ; data mining ; databases ; fca ; formal concept analysis ; formal languages ; formal logic ; information analysis ; information systems ; knowledge-based system ; model-based reasoning ; network protocols ; ontologies ; Information retrieval ; Internet searching ; Network hardware ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Publication Date: 2024-04-14
    Description: software development; process management; collaboration; software-driven innovation
    Keywords: software development ; process management ; collaboration ; software-driven innovation ; 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
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-04
    Description: This open access edited book provides new thinking on scientific identity formation. It thoroughly interrogates the concepts of community and identity, including both historical and contemporaneous analyses of several scientific fields. Chapters examine whether, and how, today’s scientific identities and communities are subject to fundamental changes, reacting to tangible shifts in research funding as well as more intangible transformations in our society’s understanding and expectations of technoscience. In so doing, this book reinvigorates the concept of scientific community. Readers will discover empirical analyses of newly emerging fields such as synthetic biology, systems biology and nanotechnology, and accounts of the evolution of theoretical conceptions of scientific identity and community. With inspiring examples of technoscientific identity work and community constellations, along with thought-provoking hypotheses and discussion, the work has a broad appeal. Those involved in science governance will benefit particularly from this book, and it has much to offer those in scholarly fields including sociology of science, science studies, philosophy of science and history of science, as well as teachers of science and scientists themselves. ; Reinvigorates the concept of scientific community Delineates ongoing changes across a range of epistemic cultures Elaborates on social, cultural and political aspects of contemporary technoscience Traces historical influences on technoscience, including in the European context Provides new thinking on scientific identity formation
    Keywords: Philosophical and Historical Foundations of Science ; Science and Technology Studies ; Cultural Theory ; Science Education ; Governance and Government ; Philosophy ; Open Access ; Community in the Technosciences ; Communities of Practice ; Contemporary Technosciences ; Emergence of Technoscience ; Epistemic Cultures ; Engineering Laboratory Communities ; Funding Regimes ; Scientific Community ; Scientific Identity ; Science Governance ; Synthetic Biology ; Shaping of Technoscience ; Steering European research ; Science in Public ; Science Communication ; Technoscience and Society ; Transdisciplinary Research ; Philosophy of science ; Sociology ; Cultural studies ; Teaching of a specific subject ; Science: general issues ; Political structure & processes ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDA Philosophy of science ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCC Cultural studies ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPH Political structure and processes
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book is unique in presenting the first oral history of individuals with an intellectual disability and their families in China. In this summary volume and the two accompanying volumes that follow, individuals with an intellectual disability tell their life stories, while their family members, teachers, classmates, and co-workers describe their professional, academic, and family relationships. Besides interview transcripts, each volume provides observations and records in real time the daily experiences of people with an intellectual disability. Drawing on the methodologies of sociology and oral history, the summary volume provides an unprecedented account of how people with intellectual disabilities in China understand themselves while also examining pertinent issues of public policy and civil society that have ramifications beyond the field of disability itself.
    Keywords: Disability Studies ; Social Structure, Social Inequality ; Sports Economics ; Oral History ; Public Health ; Social Justice, Equality and Human Rights ; Biotechnology ; Social Structure ; Human Rights ; Intellectual Disability ; Special Olympics ; human Rights ; Human Rights in China ; Disability Rights ; Open Access ; Sociology ; Social & ethical issues ; Economics ; Oral history ; Public health & preventive medicine ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::H Humanities::HB History::HBT History: specific events & topics::HBTD Oral history ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2021-02-10
    Description: This open access book carefully explores the relationship between social democracy and its working-class electorate in Western Europe. Relying on different indicators, it demonstrates an important transformation in the class basis of social democracy. At the beginning of the twenty-first century, the working-class vote is strongly fragmented and social democratic parties face competition on multiple fronts for their core electorate – and not only from radical right parties. Starting from a reflection on ‘working-class parties’ and using a sophisticated class schema, the book paints a nuanced and diversified picture of the trajectory of social democracy that goes beyond a simple shift from working-class to middle-class parties. Following a detailed description, the book reviews possible explanations of workers' new voting patterns and emphasizes the crucial changes in parties' ideologies. It closes with a discussion on the role of the working class in social democracy's future electoral strategies.
    Keywords: Electoral Politics ; Political Sociology ; Political History ; European Politics ; Comparative Politics ; Open Access ; social democracy ; electoral behaviour ; voting behaviour ; working class electorate ; labour movement ; class mobilisation ; working class party ; party politics ; industrial relations ; social classes and stratification ; electoral strategies ; immigration ; service workers ; radical left parties ; radical right parties ; European politics ; Elections & referenda ; Sociology ; Politics & government ; Political science & theory ; History: specific events & topics ; Europe ; Comparative politics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPH Political structure & processes::JPHF Elections & referenda ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPB Comparative politics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book explores the dataspace paradigm as a best-effort approach to data management within data ecosystems. It establishes the theoretical foundations and principles of real-time linked dataspaces as a data platform for intelligent systems. The book introduces a set of specialized best-effort techniques and models to enable loose administrative proximity and semantic integration for managing and processing events and streams. The book is divided into five major parts: Part I “Fundamentals and Concepts” details the motivation behind and core concepts of real-time linked dataspaces, and establishes the need to evolve data management techniques in order to meet the challenges of enabling data ecosystems for intelligent systems within smart environments. Further, it explains the fundamental concepts of dataspaces and the need for specialization in the processing of dynamic real-time data. Part II “Data Support Services” explores the design and evaluation of critical services, including catalog, entity management, query and search, data service discovery, and human-in-the-loop. In turn, Part III “Stream and Event Processing Services” addresses the design and evaluation of the specialized techniques created for real-time support services including complex event processing, event service composition, stream dissemination, stream matching, and approximate semantic matching. Part IV “Intelligent Systems and Applications” explores the use of real-time linked dataspaces within real-world smart environments. In closing, Part V “Future Directions” outlines future research challenges for dataspaces, data ecosystems, and intelligent systems. Readers will gain a detailed understanding of how the dataspace paradigm is now being used to enable data ecosystems for intelligent systems within smart environments. The book covers the fundamental theory, the creation of new techniques needed for support services, and lessons learned from real-world intelligent systems and applications focused on sustainability. Accordingly, it will benefit not only researchers and graduate students in the fields of data management, big data, and IoT, but also professionals who need to create advanced data management platforms for intelligent systems, smart environments, and data ecosystems.
    Keywords: Computer science ; Database management ; Special purpose computers ; Computers ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UN Databases ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Publication Date: 2024-04-14
    Description: anomaly detection; artificial intelligence; cloud computing; data security; cyber crime; internet; network security; wireless; web
    Keywords: anomaly detection ; artificial intelligence ; cloud computing ; data security ; cyber crime ; internet ; network security ; wireless ; web ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book brings together oral histories that record the experiences of individuals with intellectual disabilities in Shanghai as they participate in their careers. Employees with intellectual disabilities describe their experiences seeking, attaining, and maintaining employment. Their managers, colleagues, and family members also provide keen insight into the challenges and opportunities these individuals have encountered in the process of securing employment. An appendix provides a compilation of employment policies related to people with intellectual disabilities, particularly with respect to Shanghai.
    Keywords: Disability Studies ; Social Structure, Social Inequality ; Sports Economics ; Oral History ; Public Health ; Social Justice, Equality and Human Rights ; Biotechnology ; Social Structure ; Human Rights ; Intellectual Disability ; Special Olympics ; Human Rights in China ; Disability Rights ; Open Access ; Sociology ; Social & ethical issues ; Economics ; Oral history ; Public health & preventive medicine ; Politics & government ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBF Social and ethical issues ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTD Oral history ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Publication Date: 2024-04-14
    Description: human-computer interaction; machine learning; cyber-physical systems
    Keywords: human-computer interaction ; machine learning ; cyber-physical systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Pivot
    Publication Date: 2021-02-10
    Description: This Open Access book is an anthropological urban study of the Emirate of Dubai, its institutions, and their evolution. It provides a contemporary history of disability in city planning from a non-Western perspective and explores the cultural context for its positioning. Three insights inform the author’s approach. First, disability research, much like other urban or social issues, must be situated in a particular place. Second, access and inclusion forms a key part of both local and global planning issues. Third, a 21st century planning education should take access and inclusion into consideration by applying a disability lens to the empirical, methodological, and theoretical advances of the field. By bridging theory and practice, this book provides new insights on inclusive city planning and comparative urban theory. This book should be read as part of a larger struggle to define and assert access; it’s a story of how equity and justice are central themes in building the cities of the future and of today.
    Keywords: Urban Studies/Sociology ; Disability Studies ; Public Policy ; Social Justice, Equality and Human Rights ; Middle Eastern Culture ; Urban Sociology ; Biotechnology ; Human Rights ; Urban Studies ; Urban Affairs ; Urban Planning ; Urban Governance ; Middle East ; Dubai ; City States ; Urbanization ; Public Administration ; Sociology ; Development Studies ; Gulf Studies ; Urban communities ; Public administration ; Politics & government ; Cultural studies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFC Cultural studies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Publication Date: 2021-02-10
    Description: This open access short reader discusses the emerging patterns of sedentary migration versus mobility of the highly-skilled thereby providing a comprehensive overview of the recent literature on highly-skilled migration. Highly-skilled migrations are arguably the only non-controversial migrant category in political and public discourse. The common perception is that highly-skilled migrants are high-earners with top educational skills and that they are easy to integrate. These perceptions make them a “wanted” migrant. There seems to be however a big divide between the popular perceptions of this migration and its realities uncovered in social research. This publication closes this divide by delving deeper in the variety of experiences, discourses and realities of highly skilled migrants, thereby uncovering the inherent divides between the highly skilled migrants from the North and the South. The reader shows that these divides are constructed realities, shaped by the state policies and underpinned by social imaginary. Written in an accessible language this reader is a perfect read for academics, students and policy makers and all those unfamiliar with the topic.
    Keywords: Social Sciences, general ; Population Economics ; Political Science ; Human Geography ; Sociology of Migration ; Open access ; Expatriates ; Lifestyle migrants ; Cosmopolitans ; Eurostars ; Elite migrants ; Knowledge migrants ; Low-skilled migrants ; International student migration ; Migration and integration ; Migration and labour market ; Settlement and mobility ; Transatlantic migrations ; Brain flows ; Highly skilled migration ; Labour market integration ; Freedom of movement ; Talent mobility ; Society & Social Sciences ; Sociology ; Political economy ; Population & demography ; Political science & theory ; Human geography ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPA Political science & theory ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This book contains the joint proceedings of the Winter School of Hakodate (WSH) 2011 held in Hakodate, Japan, March 15–16, 2011, and the 6th International Workshop on Natural Computing (6th IWNC) held in Tokyo, Japan, March 28–30, 2012, organized by the Special Interest Group of Natural Computing (SIG-NAC), the Japanese Society for Artificial Intelligence (JSAI). This volume compiles refereed contributions to various aspects of natural computing, ranging from computing with slime mold, artificial chemistry, eco-physics, and synthetic biology, to computational aesthetics.
    Keywords: QA75.5-76.95 ; TP248.13-248.65 ; TL1-4050 ; TS1-2301 ; Computational Biology/Bioinformatics ; Simulation and Modeling ; Models and Principles ; Computer Appl. in Arts and Humanities ; 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 ...
  • 67
    Publication Date: 2024-04-14
    Description: agile software development; test-driven development; project and people management; empirical software engineering; continuous experimentation
    Keywords: agile software development ; test-driven development ; project and people management ; empirical software engineering ; continuous experimentation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-11
    Description: This open access book bridges the disciplinary boundaries within the social sciences to explore the role of social institutions in shaping geographical contexts, and in creating new knowledge. It includes theorizations as well as original empirical case studies on the emergence, maintenance and change of institutions as well as on their constraining and enabling effects on innovation, entrepreneurship, art and cultural heritage, often at regional scales across Europe and North America. Rooted in the disciplines of management and organization studies, sociology, geography, political science, and economics the contributors all take comprehensive approaches to carve out the specific contextuality of institutions as well as their impact on societal outcomes. Not only does this book offer detailed insights into current debates in institutional theory, it also provides background for scholars, students, and professionals at the intersection between regional development, policy-making, and regulation.
    Keywords: Social sciences ; Human geography ; Sociology ; Management ; Industrial management ; Industrial psychology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMJ Occupational and industrial psychology ; 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 ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th European Symposium on Programming, ESOP 2019, which took place in Prague, Czech Republic, in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.
    Keywords: Computer science ; Programming languages (Electronic computers) ; Computer programming ; Software engineering ; Computers ; Computers ; Computer system failures ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; 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::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::UY Computer science::UYD Systems analysis and design
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; 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::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-27
    Description: Information Storage and Retrieval; Innovation/Technology Management; Computer Applications; Computers and Society; Big data
    Keywords: Information Storage and Retrieval ; Innovation/Technology Management ; Computer Applications ; Computers and Society ; Big data ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GL Library and information sciences / Museology ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::W Lifestyle, Hobbies and Leisure::WC Antiques, vintage and collectables::WCF Collecting coins, banknotes, medals and other related items
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 28 regular papers presented in this volume were carefully reviewed and selected from 88 submissions. They deal with research on theories and methods to support the analysis, integration, synthesis, transformation, and verification of programs and software systems.
    Keywords: Mathematical Logic and Formal Languages ; Theory of Computation ; Natural Language Processing (NLP) ; Database Management ; Programming Techniques ; Formal Languages and Automata Theory ; automata theory ; databases ; formal languages ; formal logic ; computational linguistics ; open access ; semantics ; 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 ; logical foundations of data bases ; models of software security ; logical aspects of computation complexity ; logics of programming ; Mathematical theory of computation ; Computer science ; Natural language & machine translation ; Database programming ; Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 75
    facet.materialart.
    Unknown
    Springer Nature | Springer International Publishing
    Publication Date: 2021-02-10
    Description: This second open access book in a series of three volumes examines the repertoire of policies and programmes led by EU Member States to engage with their nationals residing abroad. Focusing on sending states’ engagement in the area of social protection, this book shows how a series of emigration-related policies that go beyond the realm of social security address the needs of nationals abroad in the area of health care, unemployment, family benefits, pensions and economic hardship. In addition, this volume highlights the variety of sending states’ institutions that are involved in these policies (consulates, diaspora institutions, ministries, agencies…) and their engagement with citizens abroad in other policy areas such as electoral rights, citizenship, language, culture, education, business or religion. As such this book is a valuable read to researchers, policy makers, government employees and NGO’s.
    Keywords: Social Sciences, general ; Microeconomics ; Social Policy ; Sociology of Migration ; Open access ; Diaspora Policies ; Emigration-related policies ; Health care ; Unemployment ; Family benefits ; Pensions ; Economic hardship ; migration and integration ; Social security and inequality ; Expats ; Sending states ; Society & Social Sciences ; Sociology ; Political economy ; Social & ethical issues ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCC Microeconomics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Arising from a scientific conference marking the 100th anniversary of her birth, this book honors the life and work of the social scientist and diplomat Ester Boserup, who blazed new trails in her interdisciplinary approach to development and sustainability.
    Keywords: Environment ; Sustainable development ; Agriculture ; Sociology ; Ecosystems ; Human geography ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBS Social groups, communities and identities::JBSF Gender studies, gender groups ; 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::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century. Holmes reconceived law as prophecy based on experience, prefiguring the buzzwords of the machine learning age—prediction based on datasets. On the path to AI introduces readers to the key concepts of machine learning, discusses the potential applications and limitations of predictions generated by machines using data, and informs current debates amongst scholars, lawyers and policy makers on how it should be used and regulated wisely. Technologists will also find useful lessons learned from the last 120 years of legal grappling with accountability, explainability, and biased data.
    Keywords: Science and Technology Studies ; Human Geography ; IT Law, Media Law, Intellectual Property ; Artificial Intelligence ; AI ; Machine learning ; artificial intelligence ; 'big data' ; probability theory ; history of ideas ; legal interpretation ; Transhumanism ; Futurism ; Oliver Wendell Holmes Jr ; Wendell Holmes Jr. ; legal philosophy ; machine bias ; algorithmic bias ; Open Access ; Sociology ; Human geography ; Entertainment & media law ; Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Publication Date: 2024-04-14
    Description: brain computer interface; artificial intelligence; computer networks; classification databases; HCI machine learning; signal processing; user interfaces
    Keywords: brain computer interface ; artificial intelligence ; computer networks ; classification databases ; HCI machine learning ; signal processing ; user interfaces ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-07
    Description: This open access book explores the complex relationship between schooling as a set of practices embedded in educational institutions and their specific spatial dimensions from different disciplinary perspectives. It presents innovative empirical and conceptual research by international scholars from the fields of social geography, pedagogy, educational and social sciences in Germany, the United Kingdom, France, Czechia, Hungary, Austria, Switzerland, Norway and Canada. The book covers a broad range of topics, all examined from a spatial perspective: the governance of schooling, the transition processes of and within national school systems, the question of small schools in peripheral areas as well as the embeddedness of schooling in broader processes of social change. Transcending disciplinary boundaries, the book offers deep insights into current theoretical debates and empirical case studies within the broad research field encompassing the complex relationship between education and space.
    Keywords: Social sciences ; Human geography ; Schools ; Urban geography ; Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography::RGC Human geography ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RP Regional and area planning::RPC Urban and municipal planning and policy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Publication Date: 2024-04-14
    Description: Computational Science and Engineering; Numerical Analysis;
    Keywords: Computational Science and Engineering ; Numerical Analysis ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2022-05-12
    Description: Economics, Development Economics, Social Policy, Children, Youth and Family Policy, Sociology, Childhood and Youth, Development, Children and Youth, International Economics
    Keywords: Economics ; Development Economics ; Social Policy ; Children ; Youth and Family Policy ; Sociology ; Childhood and Youth ; Development ; Children and Youth ; International Economics ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFP Social interaction
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: DevOps; continuous delivery; software lifecycle; concurrent parallel testing; service management; ITIL; GRC; PaaS; containerization; API management; lean principles; technical debt; end-to-end automation; automation
    Keywords: DevOps ; continuous delivery ; software lifecycle ; concurrent parallel testing ; service management ; ITIL ; GRC ; PaaS ; containerization ; API management ; lean principles ; technical debt ; end-to-end automation ; automation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Publication Date: 2024-04-14
    Description: Big data; Computing ethics; Women in computing; Research ethics
    Keywords: Big data ; Computing ethics ; Women in computing ; Research ethics ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 86
    Publication Date: 2024-04-14
    Description: authentication; computer science; computer software selection and evaluation; cryptography; data privacy; formal logic; formal methods; formal specification; internet; privacy; program compilers; programming languages; security analysis; security systems; semantics; separation logic; software engineering; specifications; verification; world wide web
    Keywords: authentication ; computer science ; computer software selection and evaluation ; cryptography ; data privacy ; formal logic ; formal methods ; formal specification ; internet ; privacy ; program compilers ; programming languages ; security analysis ; security systems ; semantics ; separation logic ; software engineering ; specifications ; verification ; world wide web ; 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
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book introduces readers to the vision on future cities and urban lives in connection with “Society 5.0”, which was proposed in the 5th Basic Science and Technology Plan by Japan’s national government for a technology-based, human-centered society, emerging from the fourth industrial revolution. The respective chapters summarize the findings and suggestions of joint research projects conducted by H-UTokyo Lab. Through the research collaboration and discussion, this book explores the future urban lives under the concept of “Society 5.0”, characterized by the key phrases of data-driven society, knowledge-intensive society, and non-monetary society, and suggests the directionality to which the concept should aim as Japan’s technology-led national vision. Written by Hitachi’s researchers as well as academics from a wide range of fields, including engineering, economics, psychology and philosophy at The University of Tokyo, the book is a must read for members of the general public interested in urban planning, students, professionals and researchers in engineering and economics.
    Keywords: Quality of Life Research ; Environmental Policy ; Sociology, general ; Geography, general ; Data Engineering ; IT in Business ; Environmental Social Sciences ; Geography ; Urban Geography and Urbanism ; Data Driven Society ; Innovation ; The Fourth Industrial Revolution ; Internet of Things ; IoT ; Industry 4.0 ; Open Access ; Social & ethical issues ; Central / national / federal government policies ; Sociology ; Databases ; Technology: general issues ; Business mathematics & systems ; Business applications ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::U Computing & information technology::UN Databases ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2022-04-28
    Description: Social Policy, Politics and Economics of Welfare, Business and Management, Innovation, Sociology, Economic Sociology, Politics, Citizenship, Social Policy and Welfare
    Keywords: Social Policy ; Politics and Economics of Welfare ; Business and Management ; Innovation ; Sociology ; Economic Sociology ; Politics ; Citizenship ; Social Policy and Welfare ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFP Social interaction
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-04-08
    Description: This open access book provides an exploration of the consequences of the ontological differences between natural and social objects (sometimes described as objects of nature and objects of thought) in the workings of causal and agency relationships. One of its important and possibly original conclusions is that causal and agency relationships do not encompass all of the dependent relationships encountered in social life. The idea that social reality is contingent has been known (and largely undisputed) at least since Wittgenstein’s “On Certainty”, but social science, and most notably economics has continued to operate on the basis of causal and agency theories borrowed or adapted from the natural sciences. This volume contains essays that retain and justify the partial or qualified use of this approach and essays that totally reject any use of causal and agency theory built on determined facts (closed systems).The rejection is based on the possibly original claim that, whereas causation in the objects of the natural sciences reside in their properties, human action is a matter of intentionality. It engages with critical realist theory and re-examines the role of free will in theories of human action in general and economic theory in particular.
    Keywords: Philosophy ; Ontology ; Economic history ; Ethnology ; Philosophy and social sciences ; Sociology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTJ Philosophy: metaphysics and ontology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTS Social and political philosophy ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTJ Philosophy: metaphysics and ontology ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTS Social and political philosophy ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHM Anthropology::JHMC Social and cultural anthropology ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCZ Economic history
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2024-03-29
    Description: Information Systems and Communication Service; Education, general
    Keywords: Information Systems and Communication Service ; Education, general ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries::KNTX Information technology industries ; bic Book Industry Communication::U Computing & information technology::UY Computer science ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KN Industry and industrial studies::KNT Media, entertainment, information and communication industries::KNTX Information technology industries ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 93
    Publication Date: 2024-04-14
    Description: cyber security; IT management; computer science; computer engineering; digital vulnerability
    Keywords: cyber security ; IT management ; computer science ; computer engineering ; digital vulnerability ; 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
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book addresses how to help students find purpose in a rapidly changing world. In a probing and visionary analysis of the field of global education Fernando Reimers explains how to lead the transformation of schools and school systems in order to more effectively prepare students to address today’s’ most urgent challenges and to invent a better future. Offering a comprehensive and multidimensional framework for designing and implementing a global education program that combines cultural, psychological, professional, institutional and political perspectives the book integrates an extensive body of empirical literature on the practice of global education. It discusses several global citizenship curricula that have been adopted by schools and school networks, and ties them into an approach to lead school change into the uncharted territory of the future. Given its scope, the book will help teachers, school and district leaders tackle the change management needed in order to introduce global education, and more generally increase the relevancy of education. In addition, the book offers a “bridge” for more productive collaboration and communication between those who lead the process of educational change, and those who study and theorize this important work. At a time when the urgency of our shared global challenges calls for more understanding and collaboration and when the rapid transformation of societies requires that we help students develop a clear sense of relevancy and purpose, this book offers a way to pursue deep and sustainable change in instruction and school culture, so that students learn that nothing human is foreign and that they can find meaning in lives aligned with audacious purposes to make the world better.
    Keywords: Curriculum Studies ; Educational Policy and Politics ; Learning & Instruction ; Education Policy ; Sociology of Education ; 21st century skills ; global education ; multicultural education ; deeper learning ; immigrant students ; diversity and education ; teaching diverse students ; framework for global education ; global citizenship education ; global citizenship curriculum ; leading transformation of schools ; internationalization of education ; school reform ; school change ; school leadership ; open access ; Curriculum planning & development ; Educational strategies & policy ; Teaching skills & techniques ; Cognition & cognitive psychology ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    facet.materialart.
    Unknown
    Springer Nature | Palgrave Macmillan
    Publication Date: 2021-02-10
    Description: This open access volume addresses the role of external actors in social protection in the Global South, from the Second World War until today, analysing the influence of colonial powers, superpowers during the Cold War and contemporary donor agencies. Following an introduction to the analysis of external actors in social policy making in the Global South, the contributions explore which external actors were dominant in the decades after World War II, and how they shaped early and contemporary social protection making in developing countries. The latter half of the collection elucidates important players in the contemporary transnational social policy arena, such as donor organizations and international organizations, and critically evaluates the potential for and limits of the explanatory power of external actors in social protection making in the Global South, considering the relative contribution of external and domestic influences. By examining how transnational relationships and external actors have influenced the formation, development and transformation of social policies in the developing world, this collection will be an invaluable resource for scholars interested in social protection in the Global South from a range of disciplines. These include political science, social policy, and sociology, as well as historians of the welfare state, international relations scholars and scholars working on global and transnational social policy and development policy.
    Keywords: Comparative Social Policy ; Social Structure, Social Inequality ; Public Policy ; Political Sociology ; Social Policy ; Social Structure ; Cold War ; colonialism ; superpowers ; transnational social policy ; global social policy ; Open access ; Central / national / federal government policies ; Social & ethical issues ; Public administration ; Sociology ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Publication Date: 2024-04-04
    Description: Computational Science and Engineering; software Engineering; Programming Techniques
    Keywords: Computational Science and Engineering ; software Engineering ; Programming Techniques ; thema EDItEUR::P Mathematics and Science ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    facet.materialart.
    Unknown
    Springer Nature | Apress
    Publication Date: 2024-04-14
    Description: Computer science
    Keywords: 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 ...
  • 98
    facet.materialart.
    Unknown
    Springer Nature | Springer Berlin Heidelberg
    Publication Date: 2021-02-10
    Description: This open access book examines the role of pilot and demonstration projects as crucial devices for conducting innovation in the context of the energy transition. Bridging literature from sustainability transitions and Science and Technology Studies (STS), it argues that such projects play a crucial role, not only in shaping future energy and mobility systems, but in transforming societies more broadly. Pilot projects constitute socio-technical configurations where imagined future realities are materialized. With this as a backdrop, the book explores pilot projects as political entities, focusing on questions of how they gain their legitimacy, which resources are mobilized in their production, and how they can serve as sites of public participation and the production of energy citizenship. The book argues that such projects too often have a narrow technology focus, and that this is a missed opportunity. The book concludes by critically discussing the potential roles of research and innovation policy in transforming how such projects are configured and conducted.
    Keywords: Environmental Policy ; Sociology, general ; Energy Policy, Economics and Management ; Environmental Geography ; Human Geography ; Environmental Social Sciences ; Science and Technology Studies ; Environmental Studies ; energy citizenship ; energy transitions ; sustainability transitions ; low carbon energy transitions ; energy policy ; social scientific studies of energy transitions ; open access ; Central / national / federal government policies ; Sociology ; Energy technology & engineering ; Energy industries & utilities ; Development & environmental geography ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::T Technology, engineering, agriculture::TH Energy technology & engineering ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    facet.materialart.
    Unknown
    Springer Nature
    Publication Date: 2021-02-10
    Description: Using longitudinal data from the Swiss Household Panel to zoom in on continuity and change in the life course, this open access book describes how the lives of the Swiss population have changed in terms of health, family circumstances, work, political participation, and migration over the last sixteen years. What are the different trajectories in terms of mobility, health, wealth, and family constellations? What are the drivers behind all these changes over time and in the life course? And what are the implications for inequality in society and for social policy? The Swiss Household Panel is a unique ongoing longitudinal survey that has followed a large sample of Swiss households since 1999. The data provide the rare opportunity to go beyond a snapshot of contemporary Swiss society and give insight into the processes in people’s lives and in society that lie behind recent developments. ; This open access book provides an unique insight into the processes in people's lives and society Based on unique longitudinal data spanning 16 years (1999-2014) Contains several cross-national comparisons.
    Keywords: Social sciences ; Quality of life ; Sociology ; Social policy ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents and discusses current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land. Drawing on experience in sustainable land management gained from seven years of the FONA programme (Research for Sustainable Development, conducted under the auspices of the German Federal Ministry of Education and Research), the book stresses and highlights co-design processes within the “co-creation of knowledge”, involving collaboration in transdisciplinary research processes between academia and other stakeholders. The book begins with an overview of the current state of land use practices and the subsequent need to manage land resources more sustainably. New system solutions and governance approaches in sustainable land management are presented from a European perspective on land use. The volume also addresses how to use new modes of knowledge transfer between science and practice. New perspectives in sustainable land management and methods of combining knowledge and action are presented to a broad readership in land system sciences and environmental sciences, social sciences and geosciences.
    Keywords: Sustainable Development ; Regional/Spatial Science ; Environmental Geography ; Human Geography ; Knowledge - Discourse ; Environmental Social Sciences ; Regional and Spatial Economics ; Environmental Studies ; Biotechnology ; Open Access ; Sustainable land management ; System solutions ; Governance of land ; Transdisciplinarity Interdisciplinarity ; Knowledge management ; Sustainability ; Political economy ; Regional studies ; Development & environmental geography ; Human geography ; Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    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...