ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Bücher  (68)
  • open access  (38)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence  (35)
  • Springer  (68)
  • American Chemical Society (ACS)
  • American Institute of Physics (AIP)
  • 2020-2024  (68)
  • 2015-2019
  • 1950-1954
Sammlung
  • Bücher  (68)
Sprache
Erscheinungszeitraum
  • 2020-2024  (68)
  • 2015-2019
  • 1950-1954
Jahr
  • 1
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Schlagwort(e): Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This book is open access, which means that you have free and unlimited access. This book presents the Proceedings of the 9th Machine Intelligence and Digital Interaction Conference. Significant progress in the development of artificial intelligence (AI) and its wider use in many interactive products are quickly transforming further areas of our life, which results in the emergence of various new social phenomena. Many countries have been making efforts to understand these phenomena and find answers on how to put the development of artificial intelligence on the right track to support the common good of people and societies. These attempts require interdisciplinary actions, covering not only science disciplines involved in the development of artificial intelligence and human-computer interaction but also close cooperation between researchers and practitioners. For this reason, the main goal of the MIDI conference held on 9-10.12.2021 as a virtual event is to integrate two, until recently, independent fields of research in computer science: broadly understood artificial intelligence and human-technology interaction.
    Schlagwort(e): Computational Intelligence ; AI ; MIDI 2021 ; MIDI ; Machine Intelligence ; Digital Interaction ; 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::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 18th China Annual Conference on Cyber Security, CNCERT 2022, held in Beijing, China, in August 2022. The 17 papers presented were carefully reviewed and selected from 64 submissions. The papers are organized according to the following topical sections: ​​data security; anomaly detection; cryptocurrency; information security; vulnerabilities; mobile internet; threat intelligence; text recognition.
    Schlagwort(e): application service layer ; artificial intelligence ; communication systems ; computer crime ; computer networks ; computer security ; computer systems ; cryptography ; cyber security ; data communication systems ; data security ; databases ; machine learning ; network protocols ; network security ; privacy ; signal processing ; telecommunication networks ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBL Digital and information technologies: Legal aspects ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications::UTN Network security
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book introduces Vector semantics, which links the formal theory of word vectors to the cognitive theory of linguistics. The computational linguists and deep learning researchers who developed word vectors have relied primarily on the ever-increasing availability of large corpora and of computers with highly parallel GPU and TPU compute engines, and their focus is with endowing computers with natural language capabilities for practical applications such as machine translation or question answering. Cognitive linguists investigate natural language from the perspective of human cognition, the relation between language and thought, and questions about conceptual universals, relying primarily on in-depth investigation of language in use. In spite of the fact that these two schools both have ‘linguistics’ in their name, so far there has been very limited communication between them, as their historical origins, data collection methods, and conceptual apparatuses are quite different. Vector semantics bridges the gap by presenting a formal theory, cast in terms of linear polytopes, that generalizes both word vectors and conceptual structures, by treating each dictionary definition as an equation, and the entire lexicon as a set of equations mutually constraining all meanings.
    Schlagwort(e): Semantics ; Natural Language Processing ; Computational Linguistics ; Artificial Intelligence ; explainable AI ; Artificial Neural Nets ; lexical semantics ; word vectors ; embeddings ; dynamic embeddings ; algebraic semantic ; knowledge bases ; machine learning ; 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::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book discusses the statistical modeling of insurance problems, a process which comprises data collection, data analysis and statistical model building to forecast insured events that may happen in the future. It presents the mathematical foundations behind these fundamental statistical concepts and how they can be applied in daily actuarial practice. Statistical modeling has a wide range of applications, and, depending on the application, the theoretical aspects may be weighted differently: here the main focus is on prediction rather than explanation. Starting with a presentation of state-of-the-art actuarial models, such as generalized linear models, the book then dives into modern machine learning tools such as neural networks and text recognition to improve predictive modeling with complex features. Providing practitioners with detailed guidance on how to apply machine learning methods to real-world data sets, and how to interpret the results without losing sight of the mathematical assumptions on which these methods are based, the book can serve as a modern basis for an actuarial education syllabus.
    Schlagwort(e): Deep Learning ; Actuarial Modeling ; Pricing and Claims Reserving ; Artificial Neural Networks ; Regression Modeling ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBW Applied mathematics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBT Probability and statistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book establishes a dialog among the medical and intelligent system domains for igniting transition toward a sustainable and cost-effective healthcare. The Person-Centered Care (PCC) positions a person in the center of a healthcare system, instead of defining a patient as a set of diagnoses and treatment episodes. The PCC-based conceptual background triggers enhanced application of Artificial Intelligence, as it dissolves the limits of processing traditional medical data records, clinical tests and surveys. Enhanced knowledge for diagnosing, treatment and rehabilitation is captured and utilized by inclusion of data sources characterizing personal lifestyle, and health literacy, and it involves insights derived from smart ambience and wearables data, community networks, and the caregivers’ feedback. The book discusses intelligent systems and their applications for healthcare data analysis, decision making and process design tasks. The measurement systems and efficiency evaluation models analyze ability of intelligent healthcare system to monitor person health and improving quality of life.
    Schlagwort(e): Person-centered Healthcare Model ; Heterogeneous Healthcare Data ; Remote Care Feedback Mechanisms ; Monitoring Health Status ; Data-driven Decision Making for Person Health ; Efficiency of Healthcare ; Quality of Person-centered Care ; Big Data for Personal Self-sustainment ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::M Medicine and Nursing::MQ Nursing and ancillary services::MQW Biomedical engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, held in Hamburg, Germany, in May 2022. The 36 regular papers included in this book were carefully reviewed and selected from 129 submissions. They were organized in topical sections as follows: haptic science; haptic technology; and haptic applications.
    Schlagwort(e): communication systems ; computer networks ; data communication systems ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; mobile devices ; network protocols ; rehabilitation systems ; robotics ; signal processing ; telecommunication networks ; telecommunication systems ; user interfaces ; virtual reality ; wireless telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; mathematics ; model checking ; programming languages ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; verification ; verification and validation ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022. The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems. This is an open access book.
    Schlagwort(e): artificial intelligence ; automata theory ; computer hardware ; computer networks ; computer programming ; computer systems ; embedded systems ; formal languages ; formal logic ; logic programming ; network protocols ; semantics ; software architecture ; software design ; software engineering ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This two-volume set LNCS 12962 and 12963 constitutes the thoroughly refereed proceedings of the 7th International MICCAI Brainlesion Workshop, BrainLes 2021, as well as the RSNA-ASNR-MICCAI Brain Tumor Segmentation (BraTS) Challenge, the Federated Tumor Segmentation (FeTS) Challenge, the Cross-Modality Domain Adaptation (CrossMoDA) Challenge, and the challenge on Quantification of Uncertainties in Biomedical Image Quantification (QUBIQ). These were held jointly at the 23rd Medical Image Computing for Computer Assisted Intervention Conference, MICCAI 2020, in September 2021. The 91 revised papers presented in these volumes were selected form 151 submissions. Due to COVID-19 pandemic the conference was held virtually. This is an open access book.
    Schlagwort(e): artificial intelligence ; bioinformatics ; computer science ; computer systems ; computer vision ; education ; image analysis ; image processing ; image segmentation ; learning ; machine learning ; medical images ; neural networks ; pattern recognition ; segmentation methods ; software design ; software engineering ; software quality ; validation ; verification and validation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; 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::UB Information technology: general topics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: AI (Artificial Intelligence) is predicted to radically change teaching and learning in both schools and industry causing radical disruption of work. AI can support well-being initiatives and lifelong learning but educational institutions and companies need to take the changing technology into account. Moving towards AI supported by digital tools requires a dramatic shift in the concept of learning, expertise and the businesses built off of it. Based on the latest research on AI and how it is changing learning and education, this book will focus on the enormous opportunities to expand educational settings with AI for learning in and beyond the traditional classroom. This open access book also introduces ethical challenges related to learning and education, while connecting human learning and machine learning. This book will be of use to a variety of readers, including researchers, AI users, companies and policy makers.
    Schlagwort(e): artificial intelligence ; life-long learning ; tutoring ; virtual learning ; learning analytics ; well-being ; simulations ; games ; intelligent digital tools ; deep learning ; robotics ; human-machine interaction ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::H Humanities::HP Philosophy::HPM Philosophy of mind ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): Software Engineering/Programming and Operating Systems ; 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 ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; 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::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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Schlagwort(e): Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This edited open access book presents the comprehensive outcome of The European DataBio Project, which examined new data-driven methods to shape a bioeconomy. These methods are used to develop new and sustainable ways to use forest, farm and fishery resources. As a European initiative, the goal is to use these new findings to support decision-makers and producers – meaning farmers, land and forest owners and fishermen. With their 27 pilot projects from 17 countries, the authors examine important sectors and highlight examples where modern data-driven methods were used to increase sustainability. How can farmers, foresters or fishermen use these insights in their daily lives? The authors answer this and other questions for our readers. The first four parts of this book give an overview of the big data technologies relevant for optimal raw material gathering. The next three parts put these technologies into perspective, by showing useable applications from farming, forestry and fishery. The final part of this book gives a summary and a view on the future. With its broad outlook and variety of topics, this book is an enrichment for students and scientists in bioeconomy, biodiversity and renewable resources.
    Schlagwort(e): Data-driven bioeconomy ; big data ; artificial intelligence ; agriculture ; forestry ; earth observation ; satellite images ; fishery ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVR Forestry and silviculture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVG Environmental economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book discusses service design capabilities in innovation processes, and provides a framework that guides design students, practitioners and researchers towards a better understanding of operational aspects of service design processes. More specifically, it revisits service designers’ capabilities in light of the new roles that have opened up in innovation processes on different scales. After years of being inadequately defined, the professional profile of service designers is now taking shape. Today private and public institutions recognize service designers as essential contributors to their innovation and development processes. What are the capabilities that characterize a service designer? These essential capabilities are what service designers should acquire in their education and can sell when looking for a job.
    Schlagwort(e): Innovation/Technology Management ; Manufacturing, Machines, Tools, Processes ; Services ; Business and Management ; Machines, Tools, Processes ; Industries ; service design ; value creation interaction ; value creation infrastructure ; Service System Design ; innovation ; Design capabilities ; open access ; Research & development management ; Industrial applications of scientific research & technological innovation ; Production engineering ; Hospitality & service industries ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJM Management & management techniques::KJMV Management of specific areas::KJMV6 Research & development management ; bic Book Industry Communication::T Technology, engineering, agriculture::TG Mechanical engineering & materials::TGP Production engineering ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNS Service industries
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Schlagwort(e): Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Schlagwort(e): Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 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 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; 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::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    Schlagwort(e): Computer Systems Organization and Communication Networks ; Image Processing and Computer Vision ; Control Structures and Microprogramming ; Input/Output and Data Communications ; Operating Systems ; Information Systems and Communication Service ; Computer Engineering and Networks ; Computer Vision ; Database Management System ; computer hardware ; computer networks ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; hpc ; image processing ; microprocessor chips ; network protocols ; parallel architectures ; parallel processing systems ; processors ; signal processing ; telecommunication networks ; telecommunication systems ; telecommunication traffic ; open access ; Computer networking & communications ; Image processing ; Computer vision ; Algorithms & data structures ; Distributed databases ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: This open access book states that the societal fault lines of our times are deeply intertwined and that they confront us with challenges affecting the security, fairness and sustainability of our societies. The author, Prof. Dr. Patrick Huntjens, argues that overcoming these existential challenges will require a fundamental shift from our current anthropocentric and economic growth-oriented approach to a more ecocentric and regenerative approach. He advocates for a Natural Social Contract that emphasizes long-term sustainability and the general welfare of both humankind and planet Earth. Achieving this crucial balance calls for an end to unlimited economic growth, overconsumption and over-individualisation for the benefit of ourselves, our planet, and future generations. To this end, sustainability, health, and justice in all social-ecological systems will require systemic innovation and prioritizing a collective effort. The Transformative Social-Ecological Innovation (TSEI) framework presented in this book serves that cause. It helps to diagnose and advance innovation and spur change across sectors, disciplines, and at different levels of governance. Altogether, TSEI identifies intervention points and formulates jointly developed and shared solutions to inform policymakers, administrators, concerned citizens, and professionals dedicated towards a more sustainable, healthy and just society. A wide readership of students, researchers, practitioners and policy makers interested in social innovation, transition studies, development studies, social policy, social justice, climate change, environmental studies, political science and economics will find this cutting-edge book particularly useful. “As a sustainability transition researcher, I am truly excited about this book. Two unique aspects of the book are that it considers bigger transformation issues (such as societies’ relationship with nature, purpose and justice) than those studied in transition studies and offers analytical frameworks and methods for taking up the challenge of achieving change on the ground.” - Prof. Dr. René Kemp, United Nations University and Maastricht Sustainability Institute
    Schlagwort(e): Social Justice, Equality and Human Rights ; Sustainable Development ; Social Policy ; Politics of the Welfare State ; Social Work and Community Development ; Comparative Social Policy ; Social Justice ; Sustainability ; Environmental Social Sciences ; Environmental Anthropology ; Human Security ; Institutional Change ; Planetary Boundaries ; Planetary Health ; Social Contract ; Social Innovation ; Social-Ecological Systems ; Sustainability Transition ; open access ; sustainable development goals ; Politics & government ; Central / national / federal government policies ; Social work ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; 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::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKS Social welfare and social services::JKSN Social work
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book provides an alternative theoretical framework of irregular migration that allows to overcome many of the contradictions and theoretical impasses displayed by the majority of approaches in current literature. The analytical framework allows moving from an interpretation biased by methodological nationalism, to a more general systemic interpretation. It explains irregular migration as a structural phenomenon or contemporary society, and why state policies are greatly ineffective in their attempt to control irregular migration. It also explains irregular migration as a diversified phenomenon that relates to the social characteristics of the context, and why states accept irregular migrants. By providing new comparative, empirical, qualitative material which allows to start filling an evident gap in the current research on irregular migration, this book is of interest to graduate students, scholars and policy makers.
    Schlagwort(e): Migration ; irregular migration ; migration and integration ; modern state and society ; diversity ; open access ; social systems theory ; migration control ; citizenship ; Luhmann ; migration policy ; Migration, immigration & emigration ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book on the history of the National Radio Astronomy Observatory covers the scientific discoveries and technical innovations of late 20th century radio astronomy with particular attention to the people and institutions involved. The authors have made extensive use of the NRAO Archives, which contain an unparalleled collection of documents pertaining to the history of radio astronomy, including the institutional records of NRAO as well as the personal papers of many of the pioneers of U.S. radio astronomy. Technical details and extensive citations to original sources are given in notes for the more technical readers, but are not required for an understanding of the body of the book. This book is intended for an audience ranging from interested lay readers to professional researchers studying the scientific, technical, political, and cultural development of a new science, and how it changed the course of 20th century astronomy.
    Schlagwort(e): Astronomy, Observations and Techniques ; History and Philosophical Foundations of Physics ; History of Science ; Philosophical Foundations of Physics and Astronomy ; Radio Astronomy in the USA ; NRAO ; Radio astronomers ; SETI ; Search for extraterrestrial intelligence ; Radio astronomy politics and culture ; Radio telescope construction ; open access ; Astronomy, space & time ; History of science ; thema EDItEUR::P Mathematics and Science::PG Astronomy, space and time ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDX History of science
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book provides an empirical account of the psychological and social experiences of 3500 African migrants to 6 European countries: Germany, Spain, Italy, The Netherlands, France, and the UK. It discusses the psychosocial motivations for migration from Africa, who migrates where, and stressful pre- and post-migration factors affecting the social and psychological wellbeing of migrants. The book also includes a detailed exploration of posttraumatic stress disorder (PTSD) and posttraumatic stress symptoms (PTSS) among African migrants. Addressing and offering solutions to pre- and post-migration problems in Africa and Europe as well as the problems associated with the perilous journeys involved, this unique study is a must-read for anyone interested in cross-cultural psychology and social science, and particularly in migration and mental health.
    Schlagwort(e): Cross Cultural Psychology ; Migration ; Development Studies ; Cross-Cultural Psychology ; Biotechnology ; African migration patterns ; trends in migrations ; theoretical approaches to migration ; migration and PTSS ; migration and PTSD ; migration to the EU ; social experiences of migrants ; varieties of migrants ; consequences of migration ; open access ; Social, group or collective psychology ; Migration, immigration & emigration ; Development studies ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMH Social, group or collective psychology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes::JFFN Migration, immigration & emigration ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-01
    Beschreibung: This open access book, published under a CC BY 4.0 license in the Pubmed indexed book series Handbook of Experimental Pharmacology, provides up-to-date information on best practice to improve experimental design and quality of research in non-clinical pharmacology and biomedicine.
    Schlagwort(e): Pharmacology/Toxicology ; Neurosciences ; Cardiology ; Oncology ; Pharmacology ; Neuroscience ; Internal Medicine ; reproducibility ; study design ; data analysis ; data reporting ; data integrity ; quality management ; open access ; Cardiovascular medicine ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKG Pharmacology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAN Neurosciences ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJD Cardiovascular medicine ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCL Oncology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-31
    Beschreibung: Implementing safety practices in healthcare saves lives and improves the quality of care: it is therefore vital to apply good clinical practices, such as the WHO surgical checklist, to adopt the most appropriate measures for the prevention of assistance-related risks, and to identify the potential ones using tools such as reporting & learning systems. The culture of safety in the care environment and of human factors influencing it should be developed from the beginning of medical studies and in the first years of professional practice, in order to have the maximum impact on clinicians' and nurses' behavior. Medical errors tend to vary with the level of proficiency and experience, and this must be taken into account in adverse events prevention. Human factors assume a decisive importance in resilient organizations, and an understanding of risk control and containment is fundamental for all medical and surgical specialties. This open access book offers recommendations and examples of how to improve patient safety by changing practices, introducing organizational and technological innovations, and creating effective, patient-centered, timely, efficient, and equitable care systems, in order to spread the quality and patient safety culture among the new generation of healthcare professionals, and is intended for residents and young professionals in different clinical specialties.
    Schlagwort(e): Internal Medicine ; Surgery ; Risk Management ; Drug Safety and Pharmacovigilance ; Laboratory Medicine ; IT Risk Management ; Biomedical Research ; patient safety ; clinical risk management ; medical errors ; reliability organization ; ergonomics and human factors ; patient engagement ; open access ; Clinical & internal medicine ; Management & management techniques ; Pharmacology ; Medical laboratory testing & techniques ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine ; thema EDItEUR::M Medicine and Nursing::MN Surgery ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKG Pharmacology ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBG Medical equipment and techniques::MBGL Medical laboratory testing and techniques
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book is an important reframing of the role of innovation in agriculture. Dr. Campos and his distinguished coauthors address the need for agriculture to feed a growing global population with a reduced environmental footprint while adapting to and mitigating the effects of changing climate. The authors expand the customary discussion of innovation in terms of supply driven R&D to focus on the returns to investors and most importantly, the value to end-users. This is brought to life by exploring effective business models and many cases from agricultural systems across the globe. The focus on converting the results of innovation in R&D into adoption by farmers and other end-users is its greatest contribution. Many lessons from the book can be applied to private and public sectors across an array of agricultural systems. This book will be of enormous value to agri-business professionals, NGO leaders, agricultural and development researchers and those funding innovation and agriculture across the private and public sectors. Tony Cavalieri, Senior Program Officer, Bill & Melinda Gates Foundation Hugo Campos, Ph.D., MBA, has 20+ years of international corporate and development experience. His distinguished coauthors represent a rich collection of successful innovation practice in industry, consultancy, international development and academy, in both developed and developing countries.”
    Schlagwort(e): Agriculture ; Innovation/Technology Management ; Business and Management ; value creation ; business model ; agricultural innovation ; open innovation ; design thinking ; open access ; Agricultural science ; Research & development management ; Industrial applications of scientific research & technological innovation ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Schlagwort(e): Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-31
    Beschreibung: This open access volume will introduce recent discoveries in cancer metabolism since the publication of the first edition in 2018, providing readers with an up-to-date understanding of developments in the field. Genetic alterations in cancer, in addition to being the fundamental drivers of tumorigenesis, can give rise to a variety of metabolic adaptations that allow cancer cells to survive and proliferate in diverse tumor microenvironments. This metabolic flexibility is different from normal cellular metabolic processes and leads to heterogeneity in cancer metabolism within the same cancer type or even within the same tumor. In this book, the authors delve into the complexity and diversity of cancer metabolism and highlight how understanding the heterogeneity of cancer metabolism is fundamental to the development of effective metabolism-based therapeutic strategies for cancer treatment. Deciphering how cancer cells utilize various nutrient resources will enable clinicians and researchers to pair specific chemotherapeutic agents with patients who are most likely to respond with positive outcomes, allowing for more cost-effective and personalized cancer treatment. This book has four major parts. Part one will cover the basic metabolism of cancer cells, followed by a discussion of the heterogeneity of cancer metabolism in part two. Part three addresses the relationship between cancer cells and cancer-associated fibroblasts, and the new part four will explore the metabolic interplay between cancer and other diseases. This new section makes the book unique from other texts currently available on the market. The second edition will be useful for cancer metabolism researchers, cancer biologists, epidemiologists, physicians, health care professionals in related disciplines, policymakers, marketing and economic strategists, among others. It may also be used in courses such as intro to cancer metabolism, cancer biology, and related biochemistry courses for undergraduate and graduate students.
    Schlagwort(e): Cancer Research ; Cancer Metabolism ; Cancer Therapy ; Cancer Biology ; open access ; personalized cancer treatment ; glucose metabolism ; glutamine metabolism ; metabolism biomarkers ; metabolic pathways ; drug treatments ; glioblastoma ; pancreatic cancer ; breast cancer ; renal cell carcinoma ; non-hodgkin's lymphoma ; cancer-associated fibroblasts ; tumor microenvironment ; covid-19 ; diabetes ; cardiovascular diseases ; gene profiles ; chemotherapeutic agenet ; clinical trials ; Oncology ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine::MJC Diseases and disorders::MJCL Oncology
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-24
    Beschreibung: This open access book is a timely contribution in presenting recent issues, approaches, and results that are not only central to the highly interdisciplinary field of concept research but also particularly important to newly emergent paradigms and challenges. The contributors present a unique, holistic picture for the understanding and use of concepts from a wide range of fields including cognitive science, linguistics, philosophy, psychology, artificial intelligence, and computer science. The chapters focus on three distinct points of view that lie at the core of concept research: representation, learning, and application. The contributions present a combination of theoretical, experimental, computational, and applied methods that appeal to students and researchers working in these fields.
    Schlagwort(e): Conceptual Spaces ; Concept and Representation ; Learning, Language and Application ; Robotics and Typicality ; Compositionality and Concepts ; Concept Research ; Concept Research and Machine Learning ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general::CBX Language: history and general works ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTM Philosophy of mind ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 36
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-11
    Beschreibung: This open access book presents established methods of structural health monitoring (SHM) and discusses their technological merit in the current aerospace environment. While the aerospace industry aims for weight reduction to improve fuel efficiency, reduce environmental impact, and to decrease maintenance time and operating costs, aircraft structures are often designed and built heavier than required in order to accommodate unpredictable failure. A way to overcome this approach is the use of SHM systems to detect the presence of defects. This book covers all major contemporary aerospace-relevant SHM methods, from the basics of each method to the various defect types that SHM is required to detect to discussion of signal processing developments alongside considerations of aerospace safety requirements. It will be of interest to professionals in industry and academic researchers alike, as well as engineering students. This article/publication is based upon work from COST Action CA18203 (ODIN - http://odin-cost.com/), supported by COST (European Cooperation in Science and Technology). COST (European Cooperation in Science and Technology) is a funding agency for research and innovation networks. Our Actions help connect research initiatives across Europe and enable scientists to grow their ideas by sharing them with their peers. This boosts their research, career and innovation.
    Schlagwort(e): Structural health monitoring ; Aerospace monitoring ; Nondestructive evaluation ; Acoustic emission ; Guided waves ; Vibration monitoring ; Acousto-ultrasonics ; Fiber optical sensors ; Defect types ; Aerospace requirements ; open access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRP Aerospace and aviation technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDD Scientific standards, measurement etc ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBM Imaging systems and technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGM Materials science::TGMD Engineering: Mechanics of solids
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 37
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes revised selected papers from the 4th International Workshop on Brain-Inspired Computing, BrainComp 2019, held in Cetraro, Italy, in July 2019. The 11 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They deal with research on brain atlasing, multi-scale models and simulation, HPC and data infra-structures for neuroscience as well as artificial and natural neural architectures.
    Schlagwort(e): artificial intelligence ; communication systems ; computer hardware ; computer networks ; computer programming ; computer systems ; computer vision ; deep learning ; distributed computer systems ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; signal processing ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 38
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book is part of the LAMBDA Project (Learning, Applying, Multiplying Big Data Analytics), funded by the European Union, GA No. 809965. Data Analytics involves applying algorithmic processes to derive insights. Nowadays it is used in many industries to allow organizations and companies to make better decisions as well as to verify or disprove existing theories or models. The term data analytics is often used interchangeably with intelligence, statistics, reasoning, data mining, knowledge discovery, and others. The goal of this book is to introduce some of the definitions, methods, tools, frameworks, and solutions for big data processing, starting from the process of information extraction and knowledge representation, via knowledge processing and analytics to visualization, sense-making, and practical applications. Each chapter in this book addresses some pertinent aspect of the data processing chain, with a specific focus on understanding Enterprise Knowledge Graphs, Semantic Big Data Architectures, and Smart Data Analytics solutions. This book is addressed to graduate students from technical disciplines, to professional audiences following continuous education short courses, and to researchers from diverse areas following self-study courses. Basic skills in computer science, mathematics, and statistics are required.
    Schlagwort(e): Database Management ; Information Systems Applications (incl. Internet) ; Logic in AI ; Computer Appl. in Administrative Data Processing ; Business Information Systems ; Computer and Information Systems Applications ; Computer Application in Administrative Data Processing ; artificial intelligence ; big data ; data analytics ; data handling ; data integration ; data mining ; databases ; digital storage ; domain knowledge ; graph theory ; information management ; information technology ; integrated data ; internet ; knowledge management ; knowledge-based system ; ontologies ; semantics ; Databases ; Database programming ; Information retrieval ; Internet searching ; Artificial intelligence ; Public administration ; Information technology: general issues ; Business mathematics & systems ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 39
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 40
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 41
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 42
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: The open access book provides a critical account of parenthood in Polish society. It uses a qualitative perspective to show how mothers and fathers engage with parenthood and also function in the labour market. Parenting in contemporary Poland is not only affected by individual preferences and choices, but significantly by the institutional context, in particular the family policy system, as well as socio-cultural norms of how men and women should fulfill parental roles. The author distinguishes between different kinds of work done in connection to parenthood and shows how the existing institutional system reinforces gender and other forms of social inequalities even in a post-communist state like Poland. The author demonstrates that Polish society has different expectations and institutional norms related to work and gender norms compared to those in long-standing democracies in Europe and elsewhere. The book also shows that the experiences of parenthood in Poland are different between men and women, between single and coupled parents, and based on economic and other resources. This book is of interest to social science students and researchers of family studies, parenting, sociology of work, and social structure in post-communist societies.
    Schlagwort(e): Sociology of Family, Youth and Aging ; Gender Studies ; Sociology of Work ; Social Theory ; Family policy ; Gender roles ; Parenthood in Polish society ; Family life in Poland ; Gender inequalities ; Domestic work ; Paid work ; Social Policies ; open access ; Sociology: family & relationships ; Gender studies, gender groups ; Sociology: work & labour ; 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::JF Society & culture: general::JFS Social groups::JFSJ Gender studies, gender groups ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBL Sociology: work & labour ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBA Social theory
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 43
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Schlagwort(e): Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 44
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book is a collection of 12 case studies capturing decades of experience improving health care and outcomes in low- and middle-income countries. Each case study is written by healthcare managers and providers who have implemented health improvement projects using quality improvement methodology, with analysis from global health experts on the practical application of improvement methods. The book shows how frontline providers in health and social services can identify gaps in care, propose changes to address those gaps, and test the effectiveness of their changes in order to improve health processes and outcomes. The chapters feature cases that provide real-life examples of the challenges, solutions, and benefits of improving healthcare quality and clearly demonstrate for readers what quality improvement looks like in practice: Addressing Behavior Change in Maternal, Neonatal, and Child Health with Quality Improvement and Collaborative Learning Methods in Guatemala Haiti’s National HIV Quality Management Program and the Implementation of an Electronic Medical Record to Drive Improvement in Patient Care Scaling Up a Quality Improvement Initiative: Lessons from Chamba District, India Promoting Rational Use of Antibiotics in the Kyrgyz Republic Strengthening Services for Most Vulnerable Children through Quality Improvement Approaches in a Community Setting: The Case of Bagamoyo District, Tanzania Improving HIV Counselling and Testing in Tuberculosis Service Delivery in Ukraine: Profile of a Pilot Quality Improvement Team and Its Scale‐Up Journey Improving Health Care in Low- and Middle-Income Countries: A Case Book will find an engaged audience among healthcare providers and administrators implementing and managing improvement projects at Ministries of Health in low- to middle-income countries. The book also aims to be a useful reference for government donor agencies, their implementing partners, and other high-level decision makers, and can be used as a course text in schools of public health, public policy, medicine, and development. ACKNOWLEDGMENT: This work was conducted under the USAID Applying Science to Strengthen and Improve Systems (ASSIST) Project, USAID Award No. AID-OAA-A-12-00101, which is made possible by the generous support of the American people through the U.S. Agency for International Development (USAID). DISCLAIMER: The contents of this book are the sole responsibility of the Editor(s) and do not necessarily reflect the views of USAID or the United States Government. Presents real-life case studies, from all levels of the healthcare system and addressing a wide range of health topics, to teach readers about using quality improvement methodology to strengthen health care in lower- and middle-income countries Teaches readers about the process of designing improvement efforts, choosing priorities, carrying out activities, understanding results, building health worker capacity to improve care, engaging leadership, and applying lessons learned from improvement to spread and scale-up initiatives Provides rich detail on how improvement work is applied in practice rather than focusing on methodologies and theory Includes expert commentaries and analysis to guide the reader in understanding results on key issues and themes in designing, supporting, and scaling up improvement Open access
    Schlagwort(e): Health Services Research ; Development and Health ; Health Administration ; Health Care Management ; Health Sciences ; Development Studies ; Health Care ; quality improvement methodology ; improvement science ; health care improvement methods ; case studies ; global health ; public health ; strengthening health systems ; improving health outcomes ; patient-centered care ; low- and middle-income countries (LMICs) ; scale-up initiatives ; healthcare systems ; quality of care ; healthcare access ; sustainability ; facility-level improvement ; community-level improvement ; district/regional-level improvement ; national-level improvement ; open access ; Health systems & services ; Development studies ; Medical administration & management ; Health economics ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBP Health systems & services ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBP Health systems & services::MBPM Medical administration & management ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCQ Health economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 45
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-29
    Beschreibung: This Open Access book features a school development model (Arizona Initiative for Leadership Development and Research – AZiLDR) that offers a roadmap for schools to navigate the complexities of continuous school development. Filled with processes that balance evidence-based values with democratic, culturally responsive values, this book offers strategies to mediate the tensions and to address school culture, context and values, leadership capacity, using data as a source of reflection, curricular and pedagogical activity, and strengths-based approaches to meeting the needs of culturally diverse students. You will find: · - Active, reflective activities · - Case studies illustrating each concept · - The research base supporting each concept · - Descriptions of processes from other contexts (South Carolina, Germany, Australia, Sweden) · - Thoughts about next steps for contextually sensitive and multi-level school development · - Suggestions for cross-national dialogue and research within the Zone of Uncertainty Use this ideal source to guide school leadership teams in creating productive schools that continually grow!
    Schlagwort(e): leadership development ; Leadership teams ; Leadership capacity ; School improvement ; Leadership coaching ; open access ; Culturally responsive schooling ; Evidence-based policy ; Multi-level leadership ; International school development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management 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 ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; 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::JN Education::JND Educational systems and structures::JNDG Curriculum planning and development
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 46
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 18th International Conference on Intelligent Data Analysis, IDA 2020, held in Konstanz, Germany, in April 2020. The 45 full papers presented in this volume were carefully reviewed and selected from 114 submissions. Advancing Intelligent Data Analysis requires novel, potentially game-changing ideas. IDA’s mission is to promote ideas over performance: a solid motivation can be as convincing as exhaustive empirical evaluation.
    Schlagwort(e): Database Management ; Data Mining and Knowledge Discovery ; Computing Milieux ; Machine Learning ; Computer Systems Organization and Communication Networks ; open access ; data mining ; learning systems ; classification ; clustering ; semantics ; learning algorithms ; supervised learning ; association rules ; social networks ; graphic methods ; neural networks ; artificial intelligence ; computer vision ; correlation analysis ; databases ; education ; engineering ; graph theory ; image analysis ; Databases ; Database programming ; Data mining ; Expert systems / knowledge-based systems ; Information technology: general issues ; Machine learning ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UN Databases ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 47
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification. This is an open access book.
    Schlagwort(e): architecture verification ; artificial intelligence ; automata theory ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal languages ; formal logic ; formal methods ; model checking ; software architecture ; software design ; software engineering ; software quality ; temporal logic ; verification techniques ; 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::UM Computer programming / software engineering ; 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::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 48
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: 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.
    Schlagwort(e): 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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 49
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the refereed post-conference proceedings of the 9th IFIP WG 5.5 International Precision Assembly Seminar, IPAS 2020, held virtually in December 2020. The 16 revised full papers and 10 revised short papers presented together with 1 keynote paper were carefully reviewed and selected from numerous submissions. The papers address topics such as assembly design and planning; assembly operations; assembly cells and systems; human centred assembly; and assistance methods in assembly.
    Schlagwort(e): Computer Applications ; Special Purpose and Application-Based Systems ; User Interfaces and Human Computer Interaction ; Robotics ; Computer and Information Systems Applications ; open access ; artificial intelligence ; computer vision ; hci ; human engineering ; human-computer interaction ; image processing ; manipulators ; mobile robots ; motion planning ; network protocols ; robots ; sensors ; signal processing ; software engineering ; telecommunication networks ; user interfaces ; Information technology: general issues ; Expert systems / knowledge-based systems ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 50
    Publikationsdatum: 2024-04-11
    Beschreibung: This open access book mainly focuses on the safe control of robot manipulators. The control schemes are mainly developed based on dynamic neural network, which is an important theoretical branch of deep reinforcement learning. In order to enhance the safety performance of robot systems, the control strategies include adaptive tracking control for robots with model uncertainties, compliance control in uncertain environments, obstacle avoidance in dynamic workspace. The idea for this book on solving safe control of robot arms was conceived during the industrial applications and the research discussion in the laboratory. Most of the materials in this book are derived from the authors’ papers published in journals, such as IEEE Transactions on Industrial Electronics, neurocomputing, etc. This book can be used as a reference book for researcher and designer of the robotic systems and AI based controllers, and can also be used as a reference book for senior undergraduate and graduate students in colleges and universities.
    Schlagwort(e): Robotics and Automation ; Control and Systems Theory ; Artificial Intelligence ; Robotic Engineering ; Safe Control ; Deep Reinforcement Learning ; Recurrent Neural Network ; Force Control ; Obstacle Ovoidance ; Adaptive Control ; Trajectory Tracking ; Open Access ; Robotics ; Automatic control engineering ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 51
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 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 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions. The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional and non-functional properties, model-driven development and model transformation, software processes, security and software evolution.
    Schlagwort(e): Software Engineering ; Special Purpose and Application-Based Systems ; Control Structures and Microprogramming ; Computer System Implementation ; Information Systems and Communication Service ; Artificial Intelligence ; open access ; software engineering ; requirements engineering ; model-based design ; software analysis ; testing ; software architectures ; security ; model transformations ; software evolution ; software product lines ; architecting ; artificial intelligence ; computer programming ; computer systems ; embedded systems ; mathematics ; software architecture ; software design ; Expert systems / knowledge-based systems ; Algorithms & data structures ; Systems analysis & design ; Computer networking & communications ; Artificial intelligence ; 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::UYQE Expert systems / knowledge-based systems ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 52
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-01
    Beschreibung: This is an open access proceeding book of 9th European-Japanese Cerebrovascular Congress at Milan 2018. Since many experts from Europe and Japan had very important and fruitful discussion on the management of Cerebrovascular diseases, the proceeding book is very attractive for the physician and scientists of the area.
    Schlagwort(e): Neurosurgery ; Neuroradiology ; Imaging / Radiology ; Neurology ; Radiology ; cerebrovascular disease ; stroke diagnosis ; stroke management ; stroke surgery ; cerebral blood flow ; intracranial aneurysms ; arteriovenous malformations ; cerebral cavernomas ; carotid endarterectomy ; clipping ; coiling ; moyamoya ; open access ; Neurology & clinical neurophysiology ; Medical imaging ; thema EDItEUR::M Medicine and Nursing::MN Surgery::MNN Neurosurgery ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKS Medical imaging::MKSH Medical imaging: radiology ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKJ Neurology and clinical neurophysiology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 53
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-31
    Beschreibung: This unique and engaging open access title provides a compelling and ground-breaking account of the patient safety movement in the United States, told from the perspective of one of its most prominent leaders, and arguably the movement’s founder, Lucian L. Leape, MD. Covering the growth of the field from the late 1980s to 2015, Dr. Leape details the developments, actors, organizations, research, and policy-making activities that marked the evolution and major advances of patient safety in this time span. In addition, and perhaps most importantly, this book not only comprehensively details how and why human and systems errors too often occur in the process of providing health care, it also promotes an in-depth understanding of the principles and practices of patient safety, including how they were influenced by today’s modern safety sciences and systems theory and design. Indeed, the book emphasizes how the growing awareness of systems-design thinking and the self-education and commitment to improving patient safety, by not only Dr. Leape but a wide range of other clinicians and health executives from both the private and public sectors, all converged to drive forward the patient safety movement in the US. Making Healthcare Safe is divided into four parts: I. In the Beginning describes the research and theory that defined patient safety and the early initiatives to enhance it. II. Institutional Responses tells the stories of the efforts of the major organizations that began to apply the new concepts and make patient safety a reality. Most of these stories have not been previously told, so this account becomes their histories as well. III. Getting to Work provides in-depth analyses of four key issues that cut across disciplinary lines impacting patient safety which required special attention. IV. Creating a Culture of Safety looks to the future, marshalling the best thinking about what it will take to achieve the safe care we all deserve. Captivatingly written with an “insider’s” tone and a major contribution to the clinical literature, this title will be of immense value to health care professionals, to students in a range of academic disciplines, to medical trainees, to health administrators, to policymakers and even to lay readers with an interest in patient safety and in the critical quest to create safe care.
    Schlagwort(e): Internal Medicine ; Surgery ; patient safety ; high-risk industries ; system design ; silent epidemic ; workplace safety ; open access ; Clinical & internal medicine ; thema EDItEUR::M Medicine and Nursing::MJ Clinical and internal medicine ; thema EDItEUR::M Medicine and Nursing::MN Surgery
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 54
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book provides an overview of the recent advances in representation learning theory, algorithms and applications for natural language processing (NLP). It is divided into three parts. Part I presents the representation learning techniques for multiple language entries, including words, phrases, sentences and documents. Part II then introduces the representation techniques for those objects that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, networks, and cross-modal entries. Lastly, Part III provides open resource tools for representation learning techniques, and discusses the remaining challenges and future research directions. The theories and algorithms of representation learning presented can also benefit other related domains such as machine learning, social network analysis, semantic Web, information retrieval, data mining and computational biology. This book is intended for advanced undergraduate and graduate students, post-doctoral fellows, researchers, lecturers, and industrial engineers, as well as anyone interested in representation learning and natural language processing.
    Schlagwort(e): Natural Language Processing (NLP) ; Computational Linguistics ; Artificial Intelligence ; Data Mining and Knowledge Discovery ; Open Access ; Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Natural language & machine translation ; Computational linguistics ; Artificial intelligence ; Data mining ; Expert systems / knowledge-based systems ; 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::UN Databases::UNF Data mining
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 55
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions. The papers were organized in the following topical sections: Part I: invited papers; AI verification; concurrency and blockchain; hybrid and cyber-physical systems; security; and synthesis. Part II: complexity and termination; decision procedures and solvers; hardware and model checking; logical foundations; and software verification.
    Schlagwort(e): architecture verification ; artificial intelligence ; computer programming ; distributed computer systems ; distributed systems ; embedded systems ; formal logic ; formal methods ; formal verifications ; model checker ; model checking ; signal processing ; software architecture ; software design ; software engineering ; software quality ; 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::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 56
    Publikationsdatum: 2024-04-08
    Beschreibung: This open access book introduces the reader to the foundations of AI and ethics. It discusses issues of trust, responsibility, liability, privacy and risk. It focuses on the interaction between people and the AI systems and Robotics they use. Designed to be accessible for a broad audience, reading this book does not require prerequisite technical, legal or philosophical expertise. Throughout, the authors use examples to illustrate the issues at hand and conclude the book with a discussion on the application areas of AI and Robotics, in particular autonomous vehicles, automatic weapon systems and biased algorithms. A list of questions and further readings is also included for students willing to explore the topic further.
    Schlagwort(e): Engineering Ethics ; Robotics ; Applied Psychology ; Moral Philosophy and Applied Ethics ; Behavioral Sciences and Psychology ; AI and ethics ; ethics and robotics ; descriptive ethics ; relationship between ethics and law ; machine ethics ; machine meta-ethics ; machine normative ethics ; types of AI systems ; strong and weak AI ; challenges of AI ; Open Access ; Ethics & moral philosophy ; Technology: general issues ; Artificial intelligence ; Psychology ; bic Book Industry Communication::H Humanities::HP Philosophy::HPQ Ethics & moral philosophy ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JM Psychology ; 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::UYQ Artificial intelligence ; thema EDItEUR::J Society and Social Sciences::JM Psychology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 57
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: 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.
    Schlagwort(e): Software Engineering ; Theory of Computation ; Computer Systems Organization and Communication Networks ; Artificial Intelligence ; Information Systems and Communication Service ; Computer Hardware ; Computer Engineering and Networks ; Database Management System ; architecture verification and validation ; artificial intelligence ; computer hardware ; computer networks ; computer programming ; computer systems ; data security ; distributed computer systems ; embedded systems ; formal logic ; linguistics ; model checking ; network protocols ; parallel processing systems ; signal processing ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Artificial intelligence ; Computer hardware ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 58
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: ​This open access book presents the outcomes of the symposium “NEW METROPOLITAN PERSPECTIVES,” held at Mediterranea University, Reggio Calabria, Italy on May 26–28, 2020. Addressing the challenge of Knowledge Dynamics and Innovation-driven Policies Towards Urban and Regional Transition, the book presents a multi-disciplinary debate on the new frontiers of strategic and spatial planning, economic programs and decision support tools in connection with urban–rural area networks and metropolitan centers. The respective papers focus on six major tracks: Innovation dynamics, smart cities and ICT; Urban regeneration, community-led practices and PPP; Local development, inland and urban areas in territorial cohesion strategies; Mobility, accessibility and infrastructures; Heritage, landscape and identity;and Risk management,environment and energy. The book also includes a Special Section on Rhegion United Nations 2020-2030. Given its scope, the book will benefit all researchers, practitioners and policymakers interested in issues concerning metropolitan and marginal areas.
    Schlagwort(e): Computational Intelligence ; Urban Economics ; Regional and Spatial Economics ; Integrated Approach of Sustainable Urban Development ; Metropolitan City: Issues and Challenges ; Urban Regeneration: Community Involvement and PPP ; Heritage and Identity ; Economic-Estimative Dynamics and Valuation Tools ; Open Access ; Artificial intelligence ; Urban economics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCV Economics of specific sectors::KCVS Regional / urban economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 59
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Schlagwort(e): Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Operating systems ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 60
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Schlagwort(e): Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 61
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book addresses three themes which have been central to Leydesdorff's research: (1) the dynamics of science, technology, and innovation; (2) the scientometric operationalization of these concept; and (3) the elaboration in terms of a Triple Helix of university-industry-government relations. In this study, I discuss the relations among these themes. Using Luhmann's social-systems theory for modelling meaning processing and Shannon's theory for information processing, I show that synergy can add new options to an innovation system as redundancy. The capacity to develop new options is more important for innovation than past performance. Entertaining a model of possible future states makes a knowledge-based system increasingly anticipatory. The trade-off between the incursion of future states on the historical developments can be measured using the Triple-Helix synergy indicator. This is shown, for example, for the Italian national and regional systems of innovation.
    Schlagwort(e): Research Methodology ; Knowledge - Discourse ; Communication Studies ; Market Research/Competitive Intelligence ; Semantics ; Sociological Methods ; Biotechnology ; Media and Communication ; Marketing ; Linguistics ; Triple-Helix synergy ; A calculus of redundancy ; horizons of meaning ; anticipatory systems ; operationalisation and measurement ; neo-evolutionary ; social-systems theory ; entropy statistics ; open access ; Social research & statistics ; Sociology ; Market research ; Semantics, discourse analysis, stylistics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTC Communication studies ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJS Sales & marketing::KJSM Market research ; bic Book Industry Communication::C Language::CF linguistics::CFG Semantics, discourse analysis, etc
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 62
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book presents a comparative study on how large-scale professional development programs for teachers are designed and implemented. Around the world, governments and educators are recognizing the need to educate students in a broad range of higher order cognitive skills and socio-emotional competencies, and providing effective opportunities for teachers to develop the expertise needed to teach these skills is a crucial aspect of effective implementation of curricula which include those goals. This study examines how large-scale efforts to empower teachers for deeper instruction have been designed, how they have been implemented, and their outcomes. To do so, it investigates six programs from England, Colombia, Mexico, India, and the United States. Though all six are intended to broaden and deepen students’ curricular aspirations, each takes this expansion of curricular goals in a different direction. The ambitious education reforms studied here explicitly focus on building teachers’ capacity to teach on a broader set of goals. Through a discerning analysis of program documents, evaluations, and interviews with senior leaders and participants in the programs, the book identifies the various theories of action used in these programs, examines how they were implemented, and discusses what they achieved. As such, it offers an indispensable resource for education leaders interested in designing and implementing professional development programs for teachers that are aligned with ambitious instructional goals.
    Schlagwort(e): Teaching and Teacher Education ; Educational Policy and Politics ; Curriculum Studies ; Education Policy ; Sociology of Education ; open access ; large scale professional development programs ; Teacher education and deeper learning ; Teacher education and twenty first century skills ; supporting teacher knowledge development ; supporting teacher pedagogical development ; designing teacher professional development ; implementing teacher professional development ; National education reforms and teacher professional development ; Comparative teacher education ; Mastery Math reform in England ; District based teacher professional development ; Teacher professional development in Colombia ; Teacher Professional development Mexico ; Teacher professional development in India ; Teacher professional development in Cambodia ; Teacher professional development in USA ; Teacher training ; Educational strategies & policy ; Curriculum planning & development ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; 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::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
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 63
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book focuses on processing, modeling, and visualization of anisotropy information, which are often addressed by employing sophisticated mathematical constructs such as tensors and other higher-order descriptors. It also discusses adaptations of such constructs to problems encountered in seemingly dissimilar areas of medical imaging, physical sciences, and engineering. Featuring original research contributions as well as insightful reviews for scientists interested in handling anisotropy information, it covers topics such as pertinent geometric and algebraic properties of tensors and tensor fields, challenges faced in processing and visualizing different types of data, statistical techniques for data processing, and specific applications like mapping white-matter fiber tracts in the brain. The book helps readers grasp the current challenges in the field and provides information on the techniques devised to address them. Further, it facilitates the transfer of knowledge between different disciplines in order to advance the research frontiers in these areas. This multidisciplinary book presents, in part, the outcomes of the seventh in a series of Dagstuhl seminars devoted to visualization and processing of tensor fields and higher-order descriptors, which was held in Dagstuhl, Germany, on October 28–November 2, 2018.
    Schlagwort(e): Visualization ; Linear and Multilinear Algebras, Matrix Theory ; Computational Science and Engineering ; Computer Imaging, Vision, Pattern Recognition and Graphics ; Theoretical, Mathematical and Computational Physics ; Data and Information Visualization ; Linear Algebra ; tensor ; tensor fields ; higher-order harmonics ; spherical harmonics ; image processing ; medical imaging ; diffusion-weighted imaging (DWI) ; structural mechanics ; astrophysics ; statistics ; open access ; Combinatorics & graph theory ; Algebra ; Maths for scientists ; Computer vision ; Mathematical physics ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBV Combinatorics and graph theory ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 64
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
    Schlagwort(e): Management of Computing and Information Systems ; IT in Business ; Software Engineering ; IT Operations ; XP ; Agile software development ; Extreme programming ; Lean development ; Software measurement ; open access ; Software maintenance ; Software testing ; Empirical software engineering ; Software management ; Software development techniques ; Business agility ; Information architecture ; Maintenance & repairs ; Business mathematics & systems ; Business applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 65
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-24
    Beschreibung: This open access book describes the Reading Success project, in which a 5-step, assessment-to- intervention process, based on the Simple View of Reading, was used within a primary school setting in Australia to better support those students who struggle with reading. It provides an easily accessible overview of each step of the process involved in implementing this approach and highlights the crucial importance of collaboration between professionals involved in the teaching of reading within a school setting. It focuses on the decision-making processes used, such as rich dialogue with the leadership team and teachers, and shares participants’ perspectives gathered throughout the project. Using case studies, the book describes how the 5-step approach assists in creating detailed profiles of students’ strengths and weaknesses in spoken and written language skills that can be used to guide targeted intervention This book offers valuable insights for educators, speech pathologists, researchers, and pre-service teacher education students interested in the teaching of reading
    Schlagwort(e): Literacy ; Teaching and Teacher Education ; Speech Pathology ; Assessment, Testing and Evaluation ; Early Childhood Education ; Schools and Schooling ; Speech and Language Therapy ; Education ; simple view of reading ; the teaching of reading ; reading comprehension ; reading accuracy ; collaborative practice ; speech to print profile ; school-based literacy interventions ; speech pathologists in school ; reading success ; literacy success ; open access ; Teacher training ; Speech & language disorders & therapy ; Education: examinations & assessment ; Early childhood care & education ; Schools ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFC Literacy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKZ Therapy and therapeutics::MKZL Speech and language disorders and therapy ; thema EDItEUR::J Society and Social Sciences::JN Education::JND Educational systems and structures::JNDH Education: examinations and assessment ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools::JNLA Pre-school and kindergarten ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 66
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-03-31
    Beschreibung: This open access volume is the first academic book on the controversial issue of including spiritual care in integrated electronic medical records (EMR). Based on an international study group comprising researchers from Europe (The Netherlands, Belgium and Switzerland), the United States, Canada, and Australia, this edited collection provides an overview of different charting practices and experiences in various countries and healthcare contexts. Encompassing case studies and analyses of theological, ethical, legal, healthcare policy, and practical issues, the volume is a groundbreaking reference for future discussion, research, and strategic planning for inter- or multi-faith healthcare chaplains and other spiritual care providers involved in the new field of documenting spiritual care in EMR. Topics explored among the chapters include: Spiritual Care Charting/Documenting/Recording/Assessment Charting Spiritual Care: Psychiatric and Psychotherapeutic Aspects Palliative Chaplain Spiritual Assessment Progress Notes Charting Spiritual Care: Ethical Perspectives Charting Spiritual Care in Digital Health: Analyses and Perspectives Charting Spiritual Care: The Emerging Role of Chaplaincy Records in Global Health Care is an essential resource for researchers in interprofessional spiritual care and healthcare chaplaincy, healthcare chaplains and other spiritual caregivers (nurses, physicians, psychologists, etc.), practical theologians and health ethicists, and church and denominational representatives.
    Schlagwort(e): Health Services Research ; Religion and Health ; Religion and Psychology ; Theory of Medicine/Bioethics ; Health Sciences ; Sociology of Religion ; Psychology of Religion and Spirituality ; healthcare chaplaincy ; spiritual care ; spirituality and health ; professionalization of spiritual care ; integration of spirituality in health care ; electronic medical records (EMR) ; pastoral confidentiality ; models of recording spiritual care ; outcome-oriented chapliancy ; digital health ; health ethics ; religion and health ; interprofessional spiritual care ; legal and theoretical perspectives ; open access ; Health systems & services ; Religious issues & debates ; Psychology ; Religion: general ; Bioethics ; Medicine: general issues ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBP Health systems and services ; thema EDItEUR::Q Philosophy and Religion::QR Religion and beliefs::QRA Religion: general::QRAM Religious issues and debates ; thema EDItEUR::J Society and Social Sciences::JM Psychology ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAD Bioethics
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 67
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-04
    Beschreibung: This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 31 regular papers presented in this volume were carefully reviewed and selected from 98 submissions. The papers cover topics such as 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, correctness, transformation, and verification; logics of programming; software specification and refinement; models of concurrent, reactive, stochastic, distributed, hybrid, and mobile systems; emerging models of computation; logical aspects of computational complexity; models of software security; and logical foundations of data bases.​
    Schlagwort(e): Mathematical Logic and Foundations ; Discrete Mathematics in Computer Science ; Programming Languages, Compilers, Interpreters ; Programming Techniques ; Logic in AI ; Computer Systems Organization and Communication Networks ; 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, correctness, transformation, and verification ; logics of programming ; software specification and refinement ; emerging models of computation ; logical aspects of computational complexity ; models of software security ; logical foundations of data bases ; mathematics ; artificial intellegence ; formal logic ; linguistics ; Mathematical foundations ; Mathematical logic ; Discrete mathematics ; Maths for computer scientists ; Programming & scripting languages: general ; Compilers & interpreters ; Computer programming / software engineering ; Artificial intelligence ; Computer networking & communications ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBD Discrete mathematics ; 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 ; 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
    Sprache: Englisch
    Format: image/jpeg
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 68
    facet.materialart.
    Unbekannt
    Springer Nature | Springer
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020, held in Leiden, The Netherlands, in September 2020. The 60 papers presented in this volume were carefully reviewed and selected from 111 submissions. The were organized in topical sections on haptic science, haptic technology, and haptic applications. This year's focus is on accessibility.
    Schlagwort(e): User Interfaces and Human Computer Interaction ; Robotics ; Special Purpose and Application-Based Systems ; Information Systems Applications (incl. Internet) ; Image Processing and Computer Vision ; Computer and Information Systems Applications ; Computer Vision ; communication systems ; computer networks ; data communication systems ; display devices ; engineering ; haptic devices ; haptic interfaces ; human engineering ; Human-Computer Interaction (HCI) ; mobile computing ; network protocols ; robotics ; signal processing ; telecommunication networks ; user interfaces ; virtual reality ; wireless telecommunication systems ; User interface design & usability ; Artificial intelligence ; Expert systems / knowledge-based systems ; Information retrieval ; Internet searching ; Image processing ; Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...