ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

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
  • embedded systems  (16)
  • bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology  (15)
  • Springer  (31)
  • American Chemical Society (ACS)
  • American Institute of Physics
  • American Institute of Physics (AIP)
  • 2020-2024  (31)
  • 2015-2019
  • 1950-1954
Sammlung
Schlagwörter
Verlag/Herausgeber
Sprache
Erscheinungszeitraum
Jahr
  • 1
    facet.materialart.
    Unbekannt
    Health Crises and Media Discourses in Sub-Saharan Africa (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2022-06-21
    Beschreibung: This is an open access book which brings together leading scholars and critical discourses on political, economic, legal, technological, socio-cultural and systemic changes and continuities intersecting media and health crises in Sub-Saharan Africa. The volume extensively discusses COVID-19 but it also covers other epidemics, such as malaria, HIV/AIDS as well as “silent” health crises such as mental health---simmering across the subcontinent. The chapters fill knowledge gaps, highlight innovations, unpack the complexities surrounding the media ecosystem in times of health crises. They explore, among other issues, the politics of public health communication; infodemics; existential threats to media viability; draconian legislations; threats to journalists/journalism; COVID-related entrepreneurship, marginalization, and more. This is a timely resource for academics, advocacy groups, media practitioners and policy makers working on crises and media reporting, not just in Africa but anywhere in the global South.
    Schlagwort(e): Health communication ; COVID-19 ; Political economy of the media ; Pandemics and the media ; Media gagging ; Marginalization discourses ; Sub-Saharan Africa ; Regulatory frameworks ; Reporters Without Borders ; Intimidation of journalists ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 2
    facet.materialart.
    Unbekannt
    Deforming the Reform (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-03-29
    Beschreibung: This open access book presents an actor-centered study on Europeanization, based on the assumption that EU-driven reforms are highly dependent on the behavior and interests of the key domestic actors. Whether or not a state pursues a European and democratic agenda depends on domestic lawmakers. Further, political elites are pre-eminent in deciding on the nature, form and content of any law, and on the extent to which the rule of law is actually enforced. Elites can overcome structural or institutional barriers that stand in the way of achieving their goals. The empirical study on Romania presented here lends this observation a more profound meaning: it shows how, in contexts where high level corruption is the norm rather than the exception, self-serving political elites cannot be expected to genuinely commit to adopting sound anti-corruption reform. The book is an inquiry into the motivations that drive legislators to make particular decisions, but also into the structural characteristics and dynamics of the elite that invite a selfish rather than responsible and responsive behaviour. This publication was supported by funds from the Publication Fund for Open Access Monographs of the Federal State of Brandenburg, Germany.
    Schlagwort(e): Europeanization ; Romania ; European Union ; EU ; post-accession conditionality ; Central and Eastern Europe ; political elite ; corruption ; justice reform ; civil society empowerment ; European Union Politics ; Russian and Post-Soviet Politics ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPB Comparative politics ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPP Public administration ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPB Comparative politics ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 3
    facet.materialart.
    Unbekannt
    The Pathway to Publishing: A Guide to Quantitative Writing in the Health Sciences (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2022-06-21
    Beschreibung: Writing manuscripts is central to the advance of scientific knowledge. For an early career aspiring scientist, writing first author manuscripts is an opportunity to develop critical skills and to credential their expertise. Writing manuscripts, however, is difficult, doubly so for scientists who use English as a second language. Many science students intentionally avoid a writing-intensive curriculum. Careful, thorough reviews of draft manuscripts are difficult to secure, and experienced scientific supervisors face more demands on their time than they have time available. Weak draft manuscripts discourage supervising scientists investing the time to coach revisions. It is easier for experienced scientists to ignore the request, or to simply rewrite the article. Early career scientists are motivated to address these barriers but specific advice is difficult to find, and much of this advice is behind a pay wall. This essential, open access text presents writing lessons organized as common errors, providing students and early-career researchers with an efficient way to learn, and mentors with a quick-reference guide to reviewing. Error descriptions include specific examples drawn from real-world experiences of other early-career writers, and suggestions for how to successfully address and avoid these in the future. Versions of this book have been used by Stanford University, UC Davis, Johns Hopkins, and numerous international institutions and organizations for over a decade. ;
    Schlagwort(e): Scientific writing ; Peer review ; Science manuscript writing ; ESL ; Writing for non-English speakers ; troubleshooting ; Journal article ; Review ; mentoring ; scientific review ; publishing ; scientific communication ; common errors ; early career scientist ; creating presentations ; publication ethics ; bic Book Industry Communication::M Medicine::MB Medicine: general issues ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBG Medical equipment & techniques::MBGR Medical research ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFD Media studies ; bic Book Industry Communication::J Society & social sciences::JN Education::JNZ Study & learning skills: general
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 4
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 5
    facet.materialart.
    Unbekannt
    Automated Reasoning (2022)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 6
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 7
    facet.materialart.
    Unbekannt
    Foundations of a Sociology of Canon Law (2022)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2022-08-18
    Beschreibung: This "Open Access" book investigates the legal reality of the church through a sociological lens and from the perspective of canon law studies, the discipline which researches the law and the legal structure of the Catholic Church. It introduces readers from various backgrounds to the sociology of canon law, which is both a legal and a theological field of study, and is the first step towards introducing a new subdiscipline of the sociology of canon law. As a theoretical approach to mapping out this field, it asks what theology and canon law may learn from sociology; it discusses the understanding of “law” in religious contexts; studies the preconditions of legal validity and effectiveness; and based on these findings it asks in what sense it is possible to speak of canon “law”. By studying a religious order as its struggles to find a balance between continuity and change, this book also contributes to the debates on religious law in modernity and the challenges it faces from secular states and plural societies. This book is of interest to researchers and students of the sociology of law, legal studies, law and religion, the sociology of religion, theology, and religious studies. This is an open access book.
    Schlagwort(e): Canon law ; Religious law ; Sociology of law ; Validity of the law ; Effectiveness of the law ; Legitimacy of the law ; Niklas Luhmann ; Legal monism ; Secular law ; Max Weber ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAQ Law & society ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::H Humanities::HR Religion & beliefs::HRA Religion: general ; bic Book Industry Communication::L Law::LA Jurisprudence & general issues::LAB Jurisprudence & philosophy of law
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 8
    facet.materialart.
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 9
    facet.materialart.
    Unbekannt
    Parental Life Courses after Separation and Divorce in Europe (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book assembles landmark studies on divorce and separation in European countries, and how this affects the life of parents and children. It focuses on four major areas of post-separation lives, namely (1) economic conditions, (2) parent-child relationships, (3) parent and child well-being, and (4) health. Through studies from several European countries, the book showcases how legal regulations and social policies influence parental and child well-being after divorce and separation. It also illustrates how social policies are interwoven with the normative fabric of a country. For example, it is shown that father-child contact after separation is more intense in those countries which have adopted policies that encourage shared parenting. Correspondingly, countries that have adopted these regulations are at the forefront of more egalitarian gender role attitudes. Apart from a strong emphasis on the legal and social policy context, the studies in this volume adopt a longitudinal perspective and situate post-separation behaviour and well-being in the life course. The longitudinal perspective opens up new avenues for research to understand how behaviour and conditions prior or at divorce and separation affect later behaviour and well-being. As such this book is of special appeal to scholars of family research as well as to anyone interested in the role of divorce and separation in Europe in the 21st century.
    Schlagwort(e): Life course ; Population Economics ; Quality of Life Research ; Sociology of Family, Youth and Aging ; European Politics ; Life Course ; Open access ; Separation ; Divorce ; Well-being ; Parent-child relationships ; post-separation families ; Parental and Child well-being ; economic conditions after divorce ; Sociology ; Political economy ; Population & demography ; Personal & public health ; Public health & preventive medicine ; Sociology: family & relationships ; Politics & government ; Europe ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine::MBNH Personal & public health ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology::JHBK Sociology: family & relationships ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 10
    facet.materialart.
    Unbekannt
    Managing Socio-ecological Production Landscapes and Seascapes for Sustainable Communities in Asia (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being. Understanding SEPLS and the forces of change that can weaken their resilience requires the integration of knowledge across a wide range of academic disciplines as well as from indigenous knowledge and experience. Moreover, given the wide variation in the socio-ecological makeup of SEPLS around the globe, as well as in their political and economic contexts, individual communities will be at the forefront of developing the measures appropriate for their unique circumstances. This in turn requires robust communication systems and broad participatory approaches. Sustainability science (SuS) research is highly integrated, participatory and solutions driven, and as such is well suited to the study of SEPLS. Through case studies, literature reviews and SuS analyses, the book explores various approaches to stakeholder participation, policy development and appropriate action for the future of SEPLS. It provides communities, researchers and decision-makers at various levels with new tools and strategies for exploring scenarios and creating future visions for sustainable societies.
    Schlagwort(e): Environmental Management ; Landscape Ecology ; Development and Sustainability ; Landscape/Regional and Urban Planning ; Environmental Sociology ; Sustainable Development ; Development Studies ; Geography ; Biotechnology ; Environmental Social Sciences ; Indigenous and local knowledge ; Science-policy interface ; Ecosystem services ; Future scenarios ; Stakeholder analysis ; Visualization ; Satoyama ; Satoumi ; SEPLS ; Social-ecological system ; Open Access ; Environmental management, ; Botany & plant sciences ; Sustainability ; Regional & area planning ; Sociology ; The environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 11
    facet.materialart.
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 12
    facet.materialart.
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 13
    facet.materialart.
    Unbekannt
    Cultural Competence and the Higher Education Sector (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 14
    facet.materialart.
    Unbekannt
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    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 ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Sprache: Englisch
    Format: image/png
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 15
    facet.materialart.
    Unbekannt
    Supercomputing Frontiers (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 16
    facet.materialart.
    Unbekannt
    An Oral History of the Special Olympics in China Volume 1 (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book is unique in presenting the first oral history of individuals with an intellectual disability and their families in China. In this summary volume and the two accompanying volumes that follow, individuals with an intellectual disability tell their life stories, while their family members, teachers, classmates, and co-workers describe their professional, academic, and family relationships. Besides interview transcripts, each volume provides observations and records in real time the daily experiences of people with an intellectual disability. Drawing on the methodologies of sociology and oral history, the summary volume provides an unprecedented account of how people with intellectual disabilities in China understand themselves while also examining pertinent issues of public policy and civil society that have ramifications beyond the field of disability itself.
    Schlagwort(e): Disability Studies ; Social Structure, Social Inequality ; Sports Economics ; Oral History ; Public Health ; Social Justice, Equality and Human Rights ; Biotechnology ; Social Structure ; Human Rights ; Intellectual Disability ; Special Olympics ; human Rights ; Human Rights in China ; Disability Rights ; Open Access ; Sociology ; Social & ethical issues ; Economics ; Oral history ; Public health & preventive medicine ; Politics & government ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; bic Book Industry Communication::H Humanities::HB History::HBT History: specific events & topics::HBTD Oral history ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine ; bic Book Industry Communication::J Society & social sciences::JP Politics & government
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 17
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 18
    facet.materialart.
    Unbekannt
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 19
    facet.materialart.
    Unbekannt
    A Journey of Embedded and Cyber-Physical Systems (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-11
    Beschreibung: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Schlagwort(e): Circuits and Systems ; Cyber-physical systems, IoT ; Electronics and Microelectronics, Instrumentation ; Electronic Circuits and Systems ; Cyber-Physical Systems ; cyber-physical systems ; embedded systems ; model verification ; software runtime systems ; real-time computing ; open-access embedded systems ; Electronics: circuits & components ; Electrical engineering ; Cybernetics & systems theory ; Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 20
    facet.materialart.
    Unbekannt
    On the path to AI (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book explores machine learning and its impact on how we make sense of the world. It does so by bringing together two ‘revolutions’ in a surprising analogy: the revolution of machine learning, which has placed computing on the path to artificial intelligence, and the revolution in thinking about the law that was spurred by Oliver Wendell Holmes Jr in the last two decades of the 19th century. Holmes reconceived law as prophecy based on experience, prefiguring the buzzwords of the machine learning age—prediction based on datasets. On the path to AI introduces readers to the key concepts of machine learning, discusses the potential applications and limitations of predictions generated by machines using data, and informs current debates amongst scholars, lawyers and policy makers on how it should be used and regulated wisely. Technologists will also find useful lessons learned from the last 120 years of legal grappling with accountability, explainability, and biased data.
    Schlagwort(e): Science and Technology Studies ; Human Geography ; IT Law, Media Law, Intellectual Property ; Artificial Intelligence ; AI ; Machine learning ; artificial intelligence ; 'big data' ; probability theory ; history of ideas ; legal interpretation ; Transhumanism ; Futurism ; Oliver Wendell Holmes Jr ; Wendell Holmes Jr. ; legal philosophy ; machine bias ; algorithmic bias ; Open Access ; Sociology ; Human geography ; Entertainment & media law ; Artificial intelligence ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYQ Artificial intelligence
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 21
    facet.materialart.
    Unbekannt
    Society 5.0 (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book introduces readers to the vision on future cities and urban lives in connection with “Society 5.0”, which was proposed in the 5th Basic Science and Technology Plan by Japan’s national government for a technology-based, human-centered society, emerging from the fourth industrial revolution. The respective chapters summarize the findings and suggestions of joint research projects conducted by H-UTokyo Lab. Through the research collaboration and discussion, this book explores the future urban lives under the concept of “Society 5.0”, characterized by the key phrases of data-driven society, knowledge-intensive society, and non-monetary society, and suggests the directionality to which the concept should aim as Japan’s technology-led national vision. Written by Hitachi’s researchers as well as academics from a wide range of fields, including engineering, economics, psychology and philosophy at The University of Tokyo, the book is a must read for members of the general public interested in urban planning, students, professionals and researchers in engineering and economics.
    Schlagwort(e): Quality of Life Research ; Environmental Policy ; Sociology, general ; Geography, general ; Data Engineering ; IT in Business ; Environmental Social Sciences ; Geography ; Urban Geography and Urbanism ; Data Driven Society ; Innovation ; The Fourth Industrial Revolution ; Internet of Things ; IoT ; Industry 4.0 ; Open Access ; Social & ethical issues ; Central / national / federal government policies ; Sociology ; Databases ; Technology: general issues ; Business mathematics & systems ; Business applications ; bic Book Industry Communication::J Society & social sciences::JF Society & culture: general::JFF Social issues & processes ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::U Computing & information technology::UN Databases ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJQ Business mathematics & systems
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 22
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 23
    facet.materialart.
    Unbekannt
    Educating Students to Improve the World (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 24
    facet.materialart.
    Unbekannt
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 25
    facet.materialart.
    Unbekannt
    Sustainable Land Management in a European Context (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This open access book presents and discusses current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land. Drawing on experience in sustainable land management gained from seven years of the FONA programme (Research for Sustainable Development, conducted under the auspices of the German Federal Ministry of Education and Research), the book stresses and highlights co-design processes within the “co-creation of knowledge”, involving collaboration in transdisciplinary research processes between academia and other stakeholders. The book begins with an overview of the current state of land use practices and the subsequent need to manage land resources more sustainably. New system solutions and governance approaches in sustainable land management are presented from a European perspective on land use. The volume also addresses how to use new modes of knowledge transfer between science and practice. New perspectives in sustainable land management and methods of combining knowledge and action are presented to a broad readership in land system sciences and environmental sciences, social sciences and geosciences.
    Schlagwort(e): Sustainable Development ; Regional/Spatial Science ; Environmental Geography ; Human Geography ; Knowledge - Discourse ; Environmental Social Sciences ; Regional and Spatial Economics ; Environmental Studies ; Biotechnology ; Open Access ; Sustainable land management ; System solutions ; Governance of land ; Transdisciplinarity Interdisciplinarity ; Knowledge management ; Sustainability ; Political economy ; Regional studies ; Development & environmental geography ; Human geography ; Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 26
    facet.materialart.
    Unbekannt
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2024-04-14
    Beschreibung: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Schlagwort(e): Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; 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 ...
    E-BOOK
  • 27
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 28
    facet.materialart.
    Unbekannt
    Digital Peripheries (2021)
    Springer Nature | Springer
    Details
    Publikationsdatum: 2021-02-10
    Beschreibung: This is an open access book. Media industry research and EU policymaking are predominantly tailored to large (and, in the latter case, Western) European markets. This open access book addresses the specific qualities of smaller media markets, highlighting their vulnerability to global digital competition and outlining survival strategies for them. New online distribution models and new trends in the consumption of audiovisual content are limited by, and pose new challenges for, existing audiovisual business models and their legal framework in the EU. The European Commission’s Digital Single Market (DSM) strategy, which was intended e.g. to remove obstacles to the cross-border distribution of audiovisual content, has triggered a heated debate on the transformation of the existing ecosystem for European screen industries. While most current discussions focus on the United States, Western Europe, and the multinational giants, this book approaches these industry trends and policy questions from the perspective of relatively small and peripheral (in terms of their population, language, cross-border cultural flows, and financial and/or symbolic capital) media markets.
    Schlagwort(e): Media Management ; Media Sociology ; European Union Politics ; IT Law, Media Law, Intellectual Property ; European Cinema and TV ; Marketing ; Political Science ; European Film and TV ; Open access ; Small media markets ; EU Digital Single Market Strategy (DSM) ; Copyright law ; Media industry research ; Online media distribution ; Video on demand ; Media, entertainment, information & communication industries ; Media studies ; Sociology ; Politics & government ; EU (European Union) ; Entertainment & media law ; Performing arts ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNT Media, information & communication industries ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::L Law::LN Laws of Specific jurisdictions::LNJ Entertainment & media law ; bic Book Industry Communication::A The arts::AP Film, TV & radio
    Sprache: Englisch
    Format: image/jpeg
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
    E-BOOK
  • 29
    facet.materialart.
    Unbekannt
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 30
    facet.materialart.
    Unbekannt
    The Evolutionary Dynamics of Discursive Knowledge (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
  • 31
    facet.materialart.
    Unbekannt
    Empowering Teachers to Build a Better World (2021)
    Springer Nature | Springer
    Details
    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 ...
    E-BOOK
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...