ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence  (115)
  • Education  (93)
  • D204-475
  • Humanities
  • Springer Nature  (208)
  • English  (196)
  • German  (12)
Collection
Keywords
Publisher
Language
  • English  (196)
  • German  (12)
Years
  • 101
    facet.materialart.
    Unknown
    Applied Pedagogies for Higher Education (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-03-29
    Description: This open access book critiques real world learning across both the curriculum and extracurricular activities. Drawing on disciplines as diverse as business, health, fashion, sociology and geography, the editors and authors employ a cross-disciplinary approach to examine how this concept is being applied in higher education. Divided into three parts, the authors and contributors analyse broader applications of real world learning, student experience of practicing in a real world setting, and how learning strategies can be employed to engage students in real world learning. The editors and contributors provide up-to-date, cross-disciplinary and international insights into how real world learning could be integrated into the higher education curriculum to support effective, relevant and life-long learning for 21st century students.
    Keywords: Professional & Vocational Education ; Higher Education ; Learning & Instruction ; Educational Policy and Politics ; Professional and Vocational Education ; Education ; Real world learning ; Applied pedagogy ; Higher education policy ; Graduate employability ; Academic development ; Placement years ; Innovative pedagogies ; Open Access ; Industrial or vocational training ; Higher & further education, tertiary education ; Teaching skills & techniques ; Cognition & cognitive psychology ; Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNR Careers guidance::JNRV Industrial or vocational training ; 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::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNR Careers guidance::JNRV Industrial or vocational training ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 102
    facet.materialart.
    Unknown
    Automated Reasoning with Analytic Tableaux and Related Methods (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in this book together with 5 abstracts of invited talks were carefully reviewed and selected from 43 submissions. They present research on all aspects of the mechanization of reasoning with tableaux and related methods. The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs; modal logics; linear logic and MV-algebras; separation logic; and first-order logics.
    Keywords: tableaux ; tableaux calculus ; sequent calculus ; proof theory ; theorem proving ; proof assistant ; natural deduction ; formalized proof ; decision procedures ; automated deduction ; SMT ; resolution ; cut-elimination ; non-classical logics ; modal logic ; intuitionistic ; inear logic ; substructural logic ; separation logic ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 103
    facet.materialart.
    Unknown
    Data-Driven Fault Detection and Reasoning for Industrial Monitoring (2022)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book assesses the potential of data-driven methods in industrial process monitoring engineering. The process modeling, fault detection, classification, isolation, and reasoning are studied in detail. These methods can be used to improve the safety and reliability of industrial processes. Fault diagnosis, including fault detection and reasoning, has attracted engineers and scientists from various fields such as control, machinery, mathematics, and automation engineering. Combining the diagnosis algorithms and application cases, this book establishes a basic framework for this topic and implements various statistical analysis methods for process monitoring. This book is intended for senior undergraduate and graduate students who are interested in fault diagnosis technology, researchers investigating automation and industrial security, professional practitioners and engineers working on engineering modeling and data processing applications. This is an open access book.
    Keywords: Multivariate causality analysis ; Process monitoring ; Manifold learning ; Fault diagnosis ; Data modeling ; Fault classification ; Fault reasoning ; Causal network ; Probabilistic graphical model ; Data-driven methods ; Industrial monitoring ; Open Access ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFM Automatic control engineering::TJFM1 Robotics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 104
    facet.materialart.
    Unknown
    Nordic Artificial Intelligence Research and Development (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This book constitutes the refereed proceedings of the 4th Symposium of the Norwegian AI Society, NAIS 2022, held in Oslo, Norway, during May 31–June 1, 2022. The 11 full papers included in this book were carefully reviewed and selected from 17 submissions. They were organized in topical sections as follows: robotics and intelligent systems; ai in cyber and digital sphere; ai in biological applications and medicine; and towards new ai methods. This is an open access book.
    Keywords: artificial intelligence ; clustering algorithms ; computer security ; computer vision ; correlation analysis ; data handling ; data integration ; engineering ; expert systems ; Human-Computer Interaction (HCI) ; image analysis ; image processing ; integrated data ; machine learning ; network protocols ; software engineering ; unsupervised learning ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 105
    facet.materialart.
    Unknown
    Selbststudium im digitalen Wandel (2021)
    Springer Nature | Springer Spektrum
    Details
    Publication Date: 2024-04-04
    Description: Selbststudium ist ein wichtiges Element im Zuge der Digitalisierungsbestrebungen an Hochschulen. Das Projekt optes widmet sich dem digitalen, begleiteten Selbststudium im Fach Mathematik. Es bietet mit seinen webbasierten Angeboten die Möglichkeit, das Selbstlernen in der Studienvorbereitung zu unterstützen, um so die Abbruchquoten in MINT-Fächern zu reduzieren. Neben dem Studienvorbereitungsprogramm und Assessment-Tools in der Mathematik im Lernmanagementsystem ILIAS wurden in optes diverse Materialien zur Lernprozessbegleitung entwickelt, inklusive adaptiver Lernempfehlungen, diagnostischer Testverfahren zur Prüfung des Wissensstandes (vor und während des Studiums), Selbstreflexionstools und überfachlicher Lernmodule sowie persönliche E-Mentoring- und E-Tutoring-Programme. Der vorliegende Open-Access-Sammelband stellt die wissenschaftlichen Erkenntnisse und praktischen Umsetzungen aus dem Projektkontext von optes dar.
    Keywords: Mathematics, general ; Education, general ; Mathematics Education ; General Mathematics and Education ; Didactics and Teaching Methodology ; Assessment and Testing ; Open Access ; Open Source Software ; Digitales Selbststudium ; Mathematikdidaktik ; Lernmanagementsystem ILIAS ; Studienvorbereitung in der Mathematik ; Test- und Assessment in der Mathematik ; Adaptive Lernempfehlungen in der Mathematik ; Überfachliche Lernmodule ; MINT-Fächer ; optes ; Digitale Lernmodelle ; E-Learning an der Hochschule ; E-Portfolio ; Mentoring / Tutoring an Hochschulen ; Kompetenzmanagement ; Mathematics ; Education ; Teaching of a specific subject ; thema EDItEUR::P Mathematics and Science::PB Mathematics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 106
    facet.materialart.
    Unknown
    Young People's Views of Government, Peaceful Coexistence, and Diversity in Five Latin American Countries (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access report presents findings from the five Latin American countries that participated in the second cycle of the IEA International Civic and Citizenship Education Study (ICCS 2016). ICCS 2016 investigated the ways in which a range of countries are preparing their young people to undertake their roles as citizens during the second decade of the 21st century. The study also responded to new challenges in civic and citizenship education, and its findings allow robust comparisons of lower-secondary students’ attitudes to and perceptions of a wide range of aspects related to civics and citizenship. The results presented in this report come mainly from data collected via a regional Latin American student questionnaire. The findings provide insights into Latin American lower-secondary students’ thoughts on government practices (e.g., corruption and authoritarian government), their attitudes toward peaceful coexistence (e.g., use of violence, disobedience to the law, empathy), and their perceptions of diversity in society (e.g., tolerance of and discrimination against minorities and homosexuals). Four of the five participating Latin American countries also participated in the previous cycle of this study (ICCS 2009), making it possible to explore changes in young people’s civic-related perceptions and attitudes between 2009 and 2016. Data from the international part of the study (test and questionnaire) were used to review the extent to which region-specific perceptions relate to other factors such as students’ level of civic knowledge and students’ socioeconomic and educational contexts.
    Keywords: Education ; Assessment ; International education  ; Comparative education ; Educational policy ; Education and state ; bic Book Industry Communication::J Society & social sciences::JN 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::JNK Organization & management of education::JNKD Examinations & assessment
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 107
    facet.materialart.
    Unknown
    Systematic Reviews in Educational Research (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: In this open access edited volume, international researchers of the field describe and discuss the systematic review method in its application to research in education. Alongside fundamental methodical considerations, reflections and practice examples are included and provide an introduction and overview on systematic reviews in education research.; Open Access With contributions from international experts First volume with a special focus on systematic reviews in educational research Contains practical examples Takes ethical considerations into account
    Keywords: Education ; Education—Research ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 108
    facet.materialart.
    Unknown
    Audacious Education Purposes (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book offers a comparative study of eight ambitious national reforms that sought to create opportunities for students to gain the necessary breath of skills to thrive in a rapidly changing world. It examines how national governments transform education systems to provide students opportunities to develop such skills. It analyses comprehensive education reforms in Brazil, Finland, Japan, Mexico, Peru, Poland, Portugal and Russia and yields original and important insights on the process of educational change. The analysis of these 21st century skills reforms shows that reformers followed approaches which are based on the five perspectives: cultural, psychological, professional, institutional and political. Most reforms relied on institutional and political perspectives. They highlight the systemic nature of the process of educational change, and the need for alignment and coherence among the various elements of the system in order. They underscore the importance of addressing the interests of various stakeholders of the education system in obtaining the necessary impetus to initiate and sustain change. In contrast, as the book shows, the use of a cultural and psychological frame proved rarer, missing important opportunities to draw on systematic analysis of emerging demands for schools and on cognitive science to inform the changes in the organization of instruction. Drawing on a rich array of sources and evidence the book provides a careful account of how education reform works in practice.
    Keywords: International and Comparative Education ; Educational Policy and Politics ; Curriculum Studies ; Administration, Organization and Leadership ; Open Access ; transformation of public education systems ; role of curriculum ; Deeper Learning ; Twenty first century skills ; Socio-emotional development ; education reform ; Education Policy ; Education Leadership ; Systemic educational change ; Comparative education ; Education in Finland ; Education in Japan ; Education in Brazil ; Education in Mexico ; Education in Poland ; Education in Russia ; Education in Peru ; Education in Portugal ; Education ; Educational strategies & policy ; Curriculum planning & development ; Educational administration & organization ; bic Book Industry Communication::J Society & social sciences::JN 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::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 109
    facet.materialart.
    Unknown
    Vector Semantics (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 110
    facet.materialart.
    Unknown
    Influences of the IEA Civic and Citizenship Education Studies (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book identifies the multiple ways that IEA’s studies of civic and citizenship education have contributed to national and international educational discourse, research, policymaking, and practice. The IEA International Civic and Citizenship Education Study (ICCS), first conducted in 2009, was followed by a second cycle in 2016. The project was linked to the earlier IEA Civic Education Study (CIVED 1999, 2000). IEA’s ICCS remains the only large-scale international study dedicated to formal and informal civic and citizenship education in school. It continues to make substantial contributions to understanding the nature of the acquired civic knowledge, attitudes, and participatory skills. It also discusses in-depth how a wide range of countries prepare their young people for citizenship in changing political, social, and economic circumstances. The next cycle of ICCS is planned for 2022. In this book, more than 20 national representatives and international scholars from Europe, Latin America, Asia, and North America assess how the processes and findings of the 2009 and 2016 cycles of ICCS and CIVED 1999/2000 have been used to improve nations’ understanding of their students’ civic knowledge, beliefs, attitudes, current civic-related behaviors, and intentions for future participation in a comparative context. There are also chapters summarizing the secondary analysis of those studies’ results indicating their usefulness for educational improvement and reflecting on policy issues. The analyses and reflections in this book provide timely insight into international educational discourse, policy, practice, and research in an area of education that is becoming increasingly important for many societies.
    Keywords: Educational Policy and Politics ; Education, general ; Citizenship Education ; Assessment and Testing ; Open Access ; Citizenship education policies ; Impact of large-scale studies in civic and citizenship education ; Challenges for civic and citizenship education ; Moral education ; Social interactions at school ; Social media use for civic engagement ; Attitudes towards issues in society ; Civic knowledge and understanding ; Attitudes toward immigrants ; Cross-curricular approaches ; Political socialization ; Adolescents’ socialization ; Agents of socialization ; IEA Civic Education Study (CIVED) ; IEA International Civic and Citizenship Study (ICCS) ; European civic education ; Citizenship study and teaching ; Political participation ; Latin American civic education ; Educational strategies & policy ; 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 ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 111
    facet.materialart.
    Unknown
    Dynamic Spectrum Management (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: This open access book, authored by a world-leading researcher in this field, describes fundamentals of dynamic spectrum management, provides a systematic overview on the enabling technologies covering cognitive radio, blockchain, and artificial intelligence, and offers valuable guidance for designing advanced wireless communications systems. This book is intended for a broad range of readers, including students and professionals in this field, as well as radio spectrum policy makers.
    Keywords: Engineering ; Electrical engineering ; Wireless communication systems ; Mobile communication systems ; Computer organization ; Computers ; Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 112
    facet.materialart.
    Unknown
    Statistical Foundations of Actuarial Learning and its Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 113
    facet.materialart.
    Unknown
    Silicon Valley Cybersecurity Conference (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes refereed proceedings of the Third Conference on Silicon Valley Cybersecurity Conference, SVCC 2022, held as virtual event, in August 17–19, 2022. The 8 full papers included in this book were carefully reviewed and selected from 10 submissions. The contributions are divided into the following thematic blocks: Malware Analysis; Blockchain and Smart Contracts; Remote Device Assessment. This is an open access book.
    Keywords: artificial intelligence ; blockchain ; classification ; computer crime ; computer networks ; computer security ; computer systems ; computer vision ; cryptography ; data communication systems ; data security ; distributed computer systems ; distributed ledger ; image analysis ; intrusion detection ; machine learning ; network protocols ; network security ; parallel processing systems ; query languages ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UR Computer security ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 114
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 115
    facet.materialart.
    Unknown
    Teaching for Excellence and Equity (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book examines the interrelationship of national policy, teacher effectiveness, and student outcomes with a specific emphasis on educational equity. Using data from the IEA’s Trends in International Mathematics and Science Study (TIMSS) conducted between 1995 and 2015, it investigates grade four and grade eight data to assess trends in key teacher characteristics (experience, education, preparedness, and professional development) and teacher behaviors (instructional time and instructional content), and how these relate to student outcomes. Taking advantage of national curriculum data collected by TIMSS to assess changes in curricular strategy across countries and how these may be related to changes in teacher and student factors, the study focuses on the distributional impact of curriculum and instruction on students, paying particular attention to overall inequalities and variations in socioeconomic status at the student and country level, and how such factors have altered over time. Multiple methods, including regression and fixed effects analyses, and structural equation modelling, establish the evolution of these associations over time.
    Keywords: Education ; Assessment ; International education  ; Comparative education ; Teaching ; Educational policy ; Education and state ; Educational sociology  ; Education and sociology ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN 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::JNK Organization & management of education::JNKD Examinations & assessment ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 116
    facet.materialart.
    Unknown
    Machine Learning for Cyber Physical Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents new approaches to Machine Learning for Cyber Physical Systems, experiences and visions. It contains some selected papers from the international Conference ML4CPS – Machine Learning for Cyber Physical Systems, which was held in Karlsruhe, October 23-24, 2018. Cyber Physical Systems are characterized by their ability to adapt and to learn: They analyze their environment and, based on observations, they learn patterns, correlations and predictive models. Typical applications are condition monitoring, predictive maintenance, image processing and diagnosis. Machine Learning is the key technology for these developments.
    Keywords: Engineering ; Computational intelligence ; Computer organization ; Electrical engineering ; Data mining ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; 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::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 117
    facet.materialart.
    Unknown
    Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2022 (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
    Keywords: Assembly Processes & Systems ; Handling & Grasping ; Modelling & Simulation ; Human-robot-collaboration ; Industry 4.0 ; Industrial Robotics ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 118
    facet.materialart.
    Unknown
    New Metropolitan Perspectives (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book conveys attention to the theme of transition towards resilience and sustainability and its evolutionary perspective that emphasizes the complexity and uncertainty that governments and society are called to address in response to the ongoing challenges. "New Metropolitan Perspective Post COVID Dynamics: Green and Digital Transition, between Metropolitan and Return to Villages’ Perspectives”, 25–27 May 2022, Reggio Calabria, Italy. The papers included in the book are grouped around the following main topics: the envisaged transition towards resilience and sustainability; the relevance of the planning dimension for defining sustainable development pathways and managing complexity; and the green and digital transition by glimpsing at approaches, experiences, and cases that outline innovative solutions in cities and inner areas. The book primarily targets the academic and policymaker communities involved in managing the complexity of the transition for regions and cities.
    Keywords: Urban Transition ; Peripheral areas ; Scientific computing and data processing ; Resilience and Recovery ; Research & open innovation ; European Industrial Ecosystem ; Technological resilience ; Knowledge complexity ; Evolutionary economy ; Digital Transition ; Energy-Mobility-Food Systems ; Sustainability transitions ; NMP 2022 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCP Political economy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 119
    facet.materialart.
    Unknown
    Internet of Things. Information Processing in an Increasingly Connected World (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed post-conference proceedings of the First IFIP International Cross-Domain Conference on Internet of Things, IFIPIoT 2018, held at the 24th IFIP World Computer Congress, WCC 2018, in Poznan, Poland, in September 2018. The 12 full papers presented were carefully reviewed and selected from 24 submissions. Also included in this volume are 4 WCC 2018 plenary contributions, an invited talk and a position paper from the IFIP domain committee on IoT. The papers cover a wide range of topics from a technology to a business perspective and include among others hardware, software and management aspects, process innovation, privacy, power consumption, architecture, applications.
    Keywords: Computer science ; Special purpose computers ; Application software ; Computer communication systems ; Artificial intelligence ; Computer system failures ; Operating systems (Computers) ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; 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::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UL Operating systems ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 120
    facet.materialart.
    Unknown
    Künstliche Intelligenz in öffentlichen Verwaltungen (2023)
    Springer Nature | Springer Gabler
    Details
    Publication Date: 2024-03-29
    Description: Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema. ; Dieses Buch – eine Open-Access-Publikation mit freiem Online-Zugang – bietet eine verständliche und kompakte Einführung in die Nutzung von KI-Systemen in öffentlichen Verwaltungen. Es beantwortet folgende Fragen: Was bedeutet Künstliche Intelligenz? Wie und in welchen Einsatzgebieten können KI-Systeme im öffentlichen Sektor genutzt werden. Welche Erwartungen und Ziele werden mit dem KI-Einsatz verbunden? Welche Probleme werden adressiert? Auch Aspekte der Governance, also Steuerungsfragen, spielen eine Rolle. Ein besonderer Schwerpunkt liegt auf der Betrachtung der Beziehung und Interaktionen zwischen Mensch und KI-System. Dabei wird auch die Erklärbarkeit der Funktionsweise eines KI-Systems erläutert. Die Inhalte sollen Personen in die Lage versetzen, den Einsatz von KI in der öffentlichen Verwaltung differenziert beurteilen zu können. Kenntnisse im Bereich der Informatik werden nicht vorausgesetzt. Nach dem Lesen dieses Buches sind Sie in der Lage, KI-Anwendungsfälle und Potenziale im öffentlichen Sektor zu identifizieren, KI-Methoden im Überblick zu verstehen, Grenzen und Herausforderungen bei der Anwendung im öffentlichen Sektor zu diskutieren und Anforderungen an KI-Anwendungen im öffentlichen Sektor zu erarbeiten. Im Sinne von Offenheit ist dieses Werk eine Open-Access-Publikation mit freiem Online-Zugang. Inklusive kostenlosem Online-Wissens-Quiz mit der Springer Nature Flashcards-App: Der Fragensatz mit 78 Fragen und Antworten in den SN Flashcards beinhaltet Wiederholungs- und Vertiefungsfragen zum Lehrbuch „KI in öffentlichen Verwaltungen“. Die Fragen und Antworten vermitteln spielerisch wichtige Begriffe, Hintergründe und Wissenswertes zum Thema.
    Keywords: Open Access Publikation zu Open Government im eGov-Campus ; KI in der öffentlichen Verwaltung ; Künstliche Intelligenz im öffentlichen Sektor ; KI verständlich erklärt mit Anwendungsbeispielen ; KI und Ethik in öffentlicher Verwaltung ; KI-Anwendungen und rechtliche Aspekte ; Datenstrukturen für KI-Anwendungen ; KI und Datenschutz ; Gebrauchstaugliche Entwicklung von KI-Anwendungen ; Mensch-KI-Systeme ; Prozessautomatisierung mit KI ; KI in Kommunalverwaltung, Landes- und Bundesverwaltung ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 121
    facet.materialart.
    Unknown
    Digital Twin (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-11
    Description: This open access book offers comprehensive, self-contained knowledge on Digital Twin (DT), which is a very promising technology for achieving digital intelligence in the next-generation wireless communications and computing networks. DT is a key technology to connect physical systems and digital spaces in Metaverse. The objectives of this book are to provide the basic concepts of DT, to explore the promising applications of DT integrated with emerging technologies, and to give insights into the possible future directions of DT. For easy understanding, this book also presents several use cases for DT models and applications in different scenarios. The book starts with the basic concepts, models, and network architectures of DT. Then, we present the new opportunities when DT meets edge computing, Blockchain and Artificial Intelligence, and distributed machine learning (e.g., federated learning, multi-agent deep reinforcement learning). We also present a wide application of DT as an enabling technology for 6G networks, Aerial-Ground Networks, and Unmanned Aerial Vehicles (UAVs). The book allows an easy cross-reference owing to the broad coverage on both the principle and applications of DT. The book is written for people interested in communications and computer networks at all levels. The primary audience includes senior undergraduates, postgraduates, educators, scientists, researchers, developers, engineers, innovators and research strategists.
    Keywords: Digital Twin ; Edge Computing ; Machine Learning ; 6G ; Internet of Things ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJK Communications engineering / telecommunications::TJKW WAP (wireless) technology ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 122
    facet.materialart.
    Unknown
    Interdisciplinary Mathematics Education (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book is the first major publication on the topic of “Interdisciplinary Mathematics Education” and arose from the work of the first International Topic Study Group of the same name at the ICME-13 conference in Hamburg in 2016. It offers extensive theoretical insights, empirical research, and practitioner accounts of interdisciplinary mathematics work in STEM and beyond (e.g. in music and the arts). Scholars and practitioners from four continents contributed to this comprehensive book, and present studies on: the conceptualizations of interdisciplinarity; implementation cases at schools and tertiary institutions; teacher education; and implications for policy and practice. Each chapter, and the book itself, closes with an assessment of the most significant aspects that those involved in policy and practice, as well as future researchers, should take into account.
    Keywords: Education ; Mathematics—Study and teaching  ; Science education ; Educational policy ; Education and state ; International education  ; Comparative education ; Teaching ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 123
    facet.materialart.
    Unknown
    Proceedings of the 2021 DigitalFUTURES (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from 2021 DigitalFUTURES—The 3rd International Conference on Computational Design and Robotic Fabrication (CDRF 2021). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers encounter new ideas about understanding material intelligence in architecture.
    Keywords: History, Theory and Critics of Building Technology ; Performance-based Design ; Fabrication and Construction ; Data Mining and Visualizing ; Immersive and Interactive Environment ; Architectural Intelligence ; Open Access ; 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::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 124
    facet.materialart.
    Unknown
    Educating Students to Improve the World (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book addresses how to help students find purpose in a rapidly changing world. In a probing and visionary analysis of the field of global education Fernando Reimers explains how to lead the transformation of schools and school systems in order to more effectively prepare students to address today’s’ most urgent challenges and to invent a better future. Offering a comprehensive and multidimensional framework for designing and implementing a global education program that combines cultural, psychological, professional, institutional and political perspectives the book integrates an extensive body of empirical literature on the practice of global education. It discusses several global citizenship curricula that have been adopted by schools and school networks, and ties them into an approach to lead school change into the uncharted territory of the future. Given its scope, the book will help teachers, school and district leaders tackle the change management needed in order to introduce global education, and more generally increase the relevancy of education. In addition, the book offers a “bridge” for more productive collaboration and communication between those who lead the process of educational change, and those who study and theorize this important work. At a time when the urgency of our shared global challenges calls for more understanding and collaboration and when the rapid transformation of societies requires that we help students develop a clear sense of relevancy and purpose, this book offers a way to pursue deep and sustainable change in instruction and school culture, so that students learn that nothing human is foreign and that they can find meaning in lives aligned with audacious purposes to make the world better.
    Keywords: Curriculum Studies ; Educational Policy and Politics ; Learning & Instruction ; Education Policy ; Sociology of Education ; 21st century skills ; global education ; multicultural education ; deeper learning ; immigrant students ; diversity and education ; teaching diverse students ; framework for global education ; global citizenship education ; global citizenship curriculum ; leading transformation of schools ; internationalization of education ; school reform ; school change ; school leadership ; open access ; Curriculum planning & development ; Educational strategies & policy ; Teaching skills & techniques ; Cognition & cognitive psychology ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 125
    facet.materialart.
    Unknown
    Smart Technologies for Precision Assembly (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 126
    facet.materialart.
    Unknown
    Technical Universities (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This Open Access book analyses the past, present and future of the technical university as a single faculty independent institution. The point of departure is a view of changing academic realities, through which the identity as a technical university is challenged and reconstituted. More specifically, the book connects the development of technical universities to changes in the structure and dimensioning of national higher education systems, to changes in the disciplinary basis of academic research and to changes in the governance of higher education institutions. Introduced in the age of industrialization, polytechnical schools rose to prominence in many national settings during the second half of the 19th century. Over time, new technologies have been developed and incorporated into the repertoire, and waves of academisation have swept over the former polytechnics, transforming them into technical universities. Their traditions and brands, however, prevail. Several technical universities are included among the most prestigious academic institutions of their nations and the training of engineers and engineering research still enjoys a high level of prestige and national priority, e.g. in the context of innovation and industrial policy. But the world keeps changing, and the higher education sector with it. Will technical universities have an equally attractive position within university systems in the decades to come?
    Keywords: Higher Education ; History of Education ; International and Comparative Education ; Administration, Organization and Leadership ; Organization and Leadership ; historical perspective of technical universities ; polytechnical universities ; external pressure at technical universities ; university governance regimes ; engineering academisation ; professional values in engineering education ; identity formation at technical universities ; university-industry interaction ; university merger process ; double degree programmes in engineering and education ; Open Access ; Higher & further education, tertiary education ; History of education ; Education ; Educational administration & organization ; 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::JNB History of education ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 127
    facet.materialart.
    Unknown
    AI based Robot Safe Learning and Control (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 128
    facet.materialart.
    Unknown
    Children's Exploration and Cultural Formation (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access book examines the educational conditions that support cultures of exploration in kindergartens. It conceptualises cultures of exploration, whether those cultures are created through children’s own engagement or are demanded of them through undertaking specific tasks within different institutional settings. It shows how the conditions for children’s exploration form a web of activities in different settings with social relationships, local landscapes and artefacts. The book builds on the understanding of cultural traditions as deeply implicated in the developmental processes, meaning that local considerations must be reflected in education for sustainable futures. Therefore the book examines and conceptualises exploration and cultural formation through locally situated cases and navigates toward global educational concepts. The book provides different windows into how children may explore in everyday practice settings in kindergarten, and contributes to a loci-based, ecological, integral knowledge relevant for early childhood education.
    Keywords: Early Childhood Education ; Infancy and Early Childhood Development ; International and Comparative Education ; Child and School Psychology ; Clinical Psychology ; School Psychology ; children's learning and development through exploration ; exploration in kindergarten ; children's transcendence to school learning ; "glocal" pedagogy ; froebel and explorative education ; cultural-historical concept of playground activities ; children and teachers as musical explorers ; cultural formation ; dialogical engagement ; children's play and learning activity ; inclusion and exclusion ; pedagogical hybridity through Froebel ; Open Access ; Early childhood care & education ; Child, developmental & lifespan psychology ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNL Schools::JNLA Pre-school & kindergarten ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMC Child & developmental psychology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 129
    facet.materialart.
    Unknown
    Computational Thinking Education (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This This book is open access under a CC BY 4.0 license. This book offers a comprehensive guide, covering every important aspect of computational thinking education. It provides an in-depth discussion of computational thinking, including the notion of perceiving computational thinking practices as ways of mapping models from the abstraction of data and process structures to natural phenomena. Further, it explores how computational thinking education is implemented in different regions, and how computational thinking is being integrated into subject learning in K-12 education. In closing, it discusses computational thinking from the perspective of STEM education, the use of video games to teach computational thinking, and how computational thinking is helping to transform the quality of the workforce in the textile and apparel industry.
    Keywords: Education ; Learning ; Instruction ; Educational technology ; Teaching ; Educational technology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNV Educational equipment and technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 130
    facet.materialart.
    Unknown
    Fundamental Approaches to Software Engineering (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 131
    facet.materialart.
    Unknown
    Higher Education in the Era of the Fourth Industrial Revolution (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access collection examines how higher education responds to the demands of the automation economy and the fourth industrial revolution. Considering significant trends in how people are learning, coupled with the ways in which different higher education institutions and education stakeholders are implementing adaptations, it looks at new programs and technological advances that are changing how and why we teach and learn. The book addresses trends in liberal arts integration of STEM innovations, the changing role of libraries in the digital age, global trends in youth mobility, and the development of lifelong learning programs. This is coupled with case study assessments of the various ways China, Singapore, South Africa and Costa Rica are preparing their populations for significant shifts in labour market demands – shifts that are already underway. Offering examples of new frameworks in which collaboration between government, industry, and higher education institutions can prevent lagging behind in this fast changing environment, this book is a key read for anyone wanting to understand how the world should respond to the radical technological shifts underway on the frontline of higher education.
    Keywords: Education ; Higher education ; Educational technology ; Humanities—Digital libraries ; Educational technology ; thema EDItEUR::D Biography, Literature and Literary studies::D Biography, Literature and Literary studies::DS Literature: history and criticism ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNV Educational equipment and technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 132
    facet.materialart.
    Unknown
    Education and Climate Change (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2021-02-10
    Description: This open access volume draws on a multidimensional model of educational change, the book reviews the field of climate change education and identifies some of the areas in which past efforts have fallen short in supporting effective pedagogical change at scale. It then formulates an approach to engage university students and faculty in partnering with schools and adult education institutions and directly contribute innovative curricula on climate change. The approach is illustrated with several case studies which present curricula developed to support school-based innovation in the Middle East and in Guatemala, and adult education in Haiti and Pakistan, and educators preparation at the university level. The approach followed to develop innovative curriculum follows five steps: 1) What are the specific impacts of climate change in this jurisdiction? How do they impact various human populations? 2) What knowledge, dispositions and behaviors could mitigate the impact of climate change and are there ways in which changes in the behaviors of populations in this jurisdiction could slow down climate change? 3) What are the means of delivery to reach each of the specific populations in this jurisdiction who needs to be educated on climate change? 4) What curriculum can help educate each population? 5) What role can the institution we are collaborating with play in advancing climate change education in that jurisdiction? The various chapters of the book present the conceptual foundation of these programs and illustrate how these programs respond to specific characteristics of local contexts. These programs focus in schools, non-formal settings and educator preparation institutions. The chapters offer examples of general value beyond the specific contexts for which they were designed, as they illustrate how in order to be optimally useful climate change education needs to be firmly grounded in the specifics of a context and responsive to that context.
    Keywords: Environmental and Sustainability Education ; Curriculum Studies ; Educational Policy and Politics ; Science Education ; International and Comparative Education ; Higher Education ; Open access ; climate change education ; Sustainability Studies ; Curriculum Reform ; Comparative Education ; Education Policy ; Educational Change ; twenty first century education ; climate education strategies ; integrating climate change education ; university climate change education ; climate change education strategies ; Climate Action in Guatemala ; Education ; Sustainability ; Curriculum planning & development ; Educational strategies & policy ; Teaching of a specific subject ; Science: general issues ; Higher & further education, tertiary education ; 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 ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 133
    facet.materialart.
    Unknown
    Proceedings of the 2020 DigitalFUTURES (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from 2020 DigitalFUTURES—The 2nd International Conference on Computational Design and Robotic Fabrication (CDRF 2020). The book focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will encounter new ideas about understanding intelligence in architecture.
    Keywords: Robotics and Automation ; Computer-Aided Engineering (CAD, CAE) and Design ; Simulation and Modeling ; Robotics ; Control, Robotics, Automation ; Computer Science ; Post-humanist Intelligence ; Computational Design ; Robotic Fabrication ; Human-Machine Collaboration ; AI in Architecture ; Open Access ; Computer-aided design (CAD) ; Computer modelling & simulation ; 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::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD) ; 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::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 134
    facet.materialart.
    Unknown
    Teacher Transition into Innovative Learning Environments (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2021-02-10
    Description: This open access book focuses on how the design and use of innovative learning environments can evolve as teaching practices and education policies change. It addresses how these new environments are used, how teachers are adapting their practices, the challenges that these changes pose, and the effective evaluation of these changes. The book reports on emerging research in learning environments, with a particular emphasis on how teachers are transitioning from traditional classrooms to innovative learning environments. It offers a significant evidence-based global assessment of current research in this field by designers, architects, educators and policy makers. It presents twenty-five cutting-edge projects from researchers in fifteen countries. Thanks to the book’s comprehensive international perspective, which combines theory and practice in a single publication, readers will gain a wealth of new insights. ; This open access book focuses on the design of learning environments that change as teaching practices and education policies change. It addresses how these new environments are used, how teachers are adapting their practices, the challenges these changes present and effective evaluation of these changes. The book reports on emerging research in learning environment developments, with a particular emphasis on how teachers are transitioning from traditional classrooms to innovative learning environments and assesses the effectiveness of these learning environments. This book is the first ever evidence-based global assessment of current research in this field. Readers will gain new insight through its comprehensive international perspective that brings practice and theory together in one publication.
    Keywords: Learning & Instruction ; Administration, Organization and Leadership ; Educational Policy and Politics ; Teaching and Teacher Education ; International and Comparative Education ; Education ; Organization and Leadership ; global initiatives in use of school spaces ; innovative learning spaces ; school design and use ; teacher transition ; change and risk ; inhabiting design ; evaluation of learning spaces ; research into innovative school design ; pedagogy and space ; better school design ; teaching in innovative spaces ; Open Access ; Teaching skills & techniques ; Cognition & cognitive psychology ; Educational administration & organization ; Educational strategies & policy ; Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; 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::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 135
    facet.materialart.
    Unknown
    Foundation Models for Natural Language Processing (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book provides a comprehensive overview of the state of the art in research and applications of Foundation Models and is intended for readers familiar with basic Natural Language Processing (NLP) concepts. Over the recent years, a revolutionary new paradigm has been developed for training models for NLP. These models are first pre-trained on large collections of text documents to acquire general syntactic knowledge and semantic information. Then, they are fine-tuned for specific tasks, which they can often solve with superhuman accuracy. When the models are large enough, they can be instructed by prompts to solve new tasks without any fine-tuning. Moreover, they can be applied to a wide range of different media and problem domains, ranging from image and video processing to robot control learning. Because they provide a blueprint for solving many tasks in artificial intelligence, they have been called Foundation Models. After a brief introduction to basic NLP models the main pre-trained language models BERT, GPT and sequence-to-sequence transformer are described, as well as the concepts of self-attention and context-sensitive embedding. Then, different approaches to improving these models are discussed, such as expanding the pre-training criteria, increasing the length of input texts, or including extra knowledge. An overview of the best-performing models for about twenty application areas is then presented, e.g., question answering, translation, story generation, dialog systems, generating images from text, etc. For each application area, the strengths and weaknesses of current models are discussed, and an outlook on further developments is given. In addition, links are provided to freely available program code. A concluding chapter summarizes the economic opportunities, mitigation of risks, and potential developments of AI.
    Keywords: Pre-trained Language Models ; Deep Learning ; Natural Language Processing ; Transformer Models ; BERT ; GPT ; Attention Models ; Natural Language Understanding ; Multilingual Models ; Natural Language Generation ; Chatbot ; Foundation Models ; Information Extraction ; Text Generation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFX Computational and corpus linguistics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 136
    facet.materialart.
    Unknown
    The Prevent Duty in Education (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2021-02-10
    Description: This open access book explores the enactment, impact and implications of the Prevent Duty across a range of educational contexts. In July 2015 the UK became the first country to place a specific legal requirement on those working in education to contribute to efforts to ‘prevent people from being drawn into terrorism’. Drawing on extensive research with staff, children and young people, the editors and contributors provide new insight into how this high-profile – and highly contentious – policy has shaped educational practice in Britain today. It will be a valuable resource for researchers, policymakers and others interested in the design, implementation and on-the-ground effects of Prevent or similar programmes internationally that place education at the heart of efforts to prevent or counter violent extremism.
    Keywords: Educational Policy and Politics ; Terrorism ; Terrorism and Political Violence ; Education Policy ; Schools and Schooling ; Sociology of Education ; Crime Control and Security ; Education ; Terrorism and education ; PREVENT duty in Schools ; Trojan horse and education ; Teacher duty of care ; British Values in Education ; Prevent duty in Further Education ; Open Access ; Educational strategies & policy ; Crime & criminology ; Terrorism, armed struggle ; Central / national / federal government policies ; Schools ; Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKV Crime & criminology ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPW Political activism::JPWL Terrorism, armed struggle ; 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::JN Education::JNL Schools ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 137
    facet.materialart.
    Unknown
    The Academic Book of the Future (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-03-24
    Description: Literature, Pedagogy/Teaching, Education, Organisations and Institutions, General, Society, Culture and Education, Higher Education
    Keywords: Literature ; Pedagogy/Teaching ; Education ; Organisations and Institutions ; General ; Society ; Culture and Education ; Higher Education ; thema EDItEUR::D Biography, Literature and Literary studies ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 138
    facet.materialart.
    Unknown
    Intercultural Dialogue in the European Education Policies (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2024-03-29
    Description: This open access book analyses intercultural dialogue as a concept, policy and ideal in European education policy documentation. The core European transnational organizatons – the Council of Europe and the European Union – have actively promoted policies to engender inclusive societies and respond to challenges that diversification may entail. This book, in turn, offers suggestions for improving education policies in super-diversified Europe and beyond, where there is an increasing need for cultural understanding and constructive dialogue. The authors utilize concept analysis to reveal how these organizations seek to deal with dialogue between cultures, as well as weight given to cultural differences and intercultural encounters. This book will be of interest and value to scholars of intercultural dialogue and European education policies.
    Keywords: Educational Policy and Politics ; Education Policy ; International and Comparative Education ; European Union Politics ; Intercultural dialogue ; Education policy ; Intercultural education ; Cultural literacy ; Inclusive education ; Open access ; Educational strategies & policy ; Central / national / federal government policies ; Education ; Politics & government ; EU (European Union) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; 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::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; 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::JN Education ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 139
    facet.materialart.
    Unknown
    Agiles Lernen im Unternehmen (2021)
    Springer Nature | Springer Vieweg
    Details
    Publication Date: 2024-04-11
    Description: Dieses Open Access-Buch zeigt, dass Kompetenzentwicklung im Unternehmen so flexibel und innovativ sein kann, wie es die Arbeit oft schon ist. Der Ansatz „Agiles Lernen im Unternehmen“ wendet agile Methoden auf die betriebliche Weiterbildung an. Beschäftigte entwickeln neue Kompetenzen direkt im Arbeitsumfeld, die Herangehensweise ist dynamisch und kann im Verlauf des Lernens sich wandelnden Anforderungen und Rahmenbedingungen angepasst werden. Fachliche und methodische Begleiter unterstützen das Lernen und richten es am Bedarf des Unternehmens aus. Das Buch stellt Agiles Lernen im Unternehmen umfassend dar: Der erste Teil beschreibt den Hintergrund und das Vorgehen im Einzelnen. Im zweiten Teil werden sieben ausgewählte agile Lernprojekte aus sehr unterschiedlichen Unternehmen vorgestellt. Der dritte Teil behandelt übergreifende Themen zu Gestaltung, Organisation und Perspektive des agilen Lernens. Es lädt dazu ein, den Ansatz selbst auszuprobieren.
    Keywords: Engineering Economics, Organization, Logistics, Marketing ; Education, general ; Project Management ; Industrial Management ; Didactics and Teaching Methodology ; Open Access ; Agile Methoden der Projektarbeit ; Betriebliche Kompetenzentwicklung ; Mediengestütztes Lernen ; Persönliche Entwicklung ; Weiterbildung 4.0 ; Bildungsarbeit ; Scrum ; Agiles Lernen ; Organisationsentwicklung ; Personalentwicklung ; Agile Methoden ; Kontinuierliches Lernen ; Lernen in der Arbeit ; Engineering: general ; Management of specific areas ; Education ; Project management ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBC Engineering: general ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMP Project management
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 140
    facet.materialart.
    Unknown
    Traditions in German-Speaking Mathematics Education Research (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book shares revealing insights into the development of mathematics education research in Germany from 1976 (ICME 3 in Karlsruhe) to 2016 (ICME 13 in Hamburg). How did mathematics education research evolve in the course of these four decades? Which ideas and people were most influential, and how did German research interact with the international community? These questions are answered by scholars from a range of fields and in ten thematic sections: (1) a short survey of the development of educational research on mathematics in German speaking countries (2) subject-matter didactics, (3) design science and design research, (4) modelling, (5) mathematics and Bildung 1810 to 1850, (6) Allgemeinbildung, Mathematical Literacy, and Competence Orientation (7) theory traditions, (8) classroom studies, (9) educational research and (10) large-scale studies. During the time span presented here, profound changes took place in German-speaking mathematics education research. Besides the traditional fields of activity like subject-matter didactics or design science, completely new areas also emerged, which are characterized by various empirical approaches and a closer connection to psychology, sociology, epistemology and general education research. Each chapter presents a respective area of mathematics education in Germany and analyzes its relevance for the development of the research community, not only with regard to research findings and methods but also in terms of interaction with the educational system. One of the central aspects in all chapters concerns the constant efforts to find common ground between mathematics and education. In addition, readers can benefit from this analysis by comparing the development shown here with the mathematical education research situation in their own country.
    Keywords: Education ; Mathematics—Study and teaching  ; Education—History ; Education—Research ; Teaching ; Study Skills ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNB History of education ; 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::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNZ Study & learning skills: general
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 141
    facet.materialart.
    Unknown
    Higher Education Landscape 2030 (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: This open access Springer Brief provides a systematic analysis of current trends and requirements in the areas of knowledge and competence in the context of the project “(A) Higher Education Digital (AHEAD)—International Horizon Scanning / Trend Analysis on Digital Higher Education.” It examines the latest developments in learning theory, didactics, and digital-education technology in connection with an increasingly digitized higher education landscape. In turn, this analysis forms the basis for envisioning higher education in 2030. Here, four learning pathways are developed to provide a glimpse of higher education in 2030: Tamagotchi, a closed ecosystem that is built around individual students who enter the university soon after secondary education; Jenga, in which universities offer a solid foundation of knowledge to build on in later phases; Lego, where the course of study is not a monolithic unit, but consists of individually combined modules of different sizes; and Transformer, where students have already acquired their own professional identities and life experiences, which they integrate into their studies. In addition, innovative practice cases are presented to illustrate each learning path.
    Keywords: Higher Education ; Organization ; International and Comparative Education ; Business and Management ; Higher education systems ; Learning pathways ; Education organizations ; Practical case studies in education ; New didactics and learning theories ; Knowledge in a Digitalized World ; Digital learning ; Open Access ; Higher & further education, tertiary education ; Organizational theory & behaviour ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJU Organizational theory & behaviour ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 142
    facet.materialart.
    Unknown
    Flexibel studieren – Vereinbarkeit ermöglichen (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: Imke Buß weist in ihrem Open-Access-Buch nach, dass Hochschulen durch die strategische Gestaltung ihrer Studienstrukturen die Vereinbarkeit von Studium, Familie und Beruf ermöglichen können. Die Autorin entwickelt ein empirisch geprüftes Modell struktureller Studierbarkeit, welches die Bedürfnisse einer diversen Studierendenschaft berücksichtigt. Die Gemeinsamkeiten, welche Studierende mit Sorgeaufgaben, Erwerbstätigkeit und Behinderung eint, sind insbesondere deren zeitliche Restriktionen. Das Modell ist als Steuerungsinstrument für ein selbstbestimmtes Qualitätsmanagement an Hochschulen geeignet. Die Arbeit bietet darüber hinaus Empfehlungen für die Gestaltung von Studienstrukturen, u.a. zu E-Learning, Veranstaltungszeiten, SWS und Teilzeitstudium.
    Keywords: Education ; Higher education ; Learning ; Instruction ; Lifelong learning ; Adult education ; 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::JNP Adult education, continuous learning ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNP Adult education, continuous learning ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 143
    facet.materialart.
    Unknown
    Intelligent Systems for Sustainable Person-Centered Healthcare (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 144
    facet.materialart.
    Unknown
    Mathematics Education and Language Diversity (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf learners, new media and tertiary education. Each chapter draws on research from two or more countries to illustrate important research findings, theoretical developments and practical strategies. This open access book examines multiple facets of language diversity
    Keywords: Mathematics Education ; Learning & Instruction ; Education ; Indigenous Learners in Latin America ; Language Diversity in Mathematics Education ; Mathematics Education in Europe ; Mathematics Teacher Education Programs ; Mathematics for Blind Learners ; Mathematics for Deaf Learners ; Open access ; Teaching of a specific subject ; Mathematics ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 145
    facet.materialart.
    Unknown
    Mathematics Teacher Education in the Andean Region and Paraguay (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: *THIS BOOK WILL SOON BE AVAILABLE AS OPEN ACCESS BOOK* This book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Bolivia, Ecuador, Paraguay and Peru, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives. In February 2016, the 5th Capacity and Networking Project (CANP) workshop of the International Commission on Mathematical Instruction (ICMI) was held in Lima, Peru. The coordination of this two-week workshop was undertaken by an international scientific committee (IPC), with equal participation by mathematicians and mathematics educators from the region and from the international ICMI and IMU community. The goal of CANP5 was to improve the quality of mathematics education in the region, which led to the main theme of the scientific program “Initial and Continued Teacher Education”. Country Reports on the main theme of teacher education systems for each country in this region were presented and discussed to detect common issues that might be improved through a collaborative network. One of the most important results of this event was the creation of a Mathematics Education Network, namely the Comunidad de Educación Matemática de America del Sur – CEMAS. This book brings to the international Educational Community an important collection of experiences and ideas in the Mathematics Education of four Latin-American countries in the developing Andean region and Paraguay. The dissemination of these results can promote the search for international collaborative actions in a wider scale.
    Keywords: Mathematics Education ; Teaching and Teacher Education ; International and Comparative Education ; Curriculum Studies ; CANP5 ICMI ; Mathematics teacher education Bolivia ; Mathematics teacher education Ecuador ; Mathematics teacher education Paraguay ; Mathematics teacher education Peru ; Teacher preparation Andean region ; Cultural differences mathematics education ; CANP/ICMI/CDC-IMU reports on Teacher education ; Issues of curriculum development in developing countries ; Professional development of school teachers in Latin America ; Teaching of a specific subject ; Mathematics ; Teacher training ; Education ; Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; 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 ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 146
    facet.materialart.
    Unknown
    Open and Distance Education in Australia, Europe and the Americas (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: This book is open access under a CC BY 4.0 license. This book describes the history, structure and institutions of open and distance education in six countries: Australia, Brazil, Canada, Germany, the UK and the US. It discusses how open and distance education is evolving in a digital age to reflect the needs and circumstances of national higher education systems in these countries, and explores the similarities and differences between the ways in which they are organized and structured. It is the first book to make such comparisons and draw conclusions about the nature of open and distance education in the context of various national higher education systems. In a digital era with growing use of online education as well as open and distance education, this book is particularly useful for policy-makers and senior administrators who want to learn about organizing and expanding open and distance education provision. It is also a valuable reference for researchers, academics and students interested in understanding the different approaches to open and distance education.
    Keywords: Education ; Learning ; Instruction ; Educational technology ; International education  ; Comparative education ; Higher education ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNV Educational equipment and technology, computer-aided learning (CAL) ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNV Educational equipment and technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 147
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Programming languages (Electronic computers) ; Computers ; Artificial intelligence ; Computer simulation ; Computer organization ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; 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::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 148
    facet.materialart.
    Unknown
    Automated Deduction – CADE 29 (2023)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: artificial intelligence ; automata theory ; Boolean functions ; formal languages ; formal logic ; model checking ; software engineering ; automated theorem proving ; software verification ; logic programming ; automated reasoning ; automated deduction ; propositional satisfiability ; constraint solving ; computer algebra ; satisfiability modulo theories ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 149
    facet.materialart.
    Unknown
    Introduction to Digital Humanism (2024)
    Springer Nature | Springer Nature Switzerland
    Details
    Publication Date: 2024-04-14
    Description: This open access textbook introduces and defines digital humanism from a diverse range of disciplines. Following the 2019 Vienna Manifesto, the book calls for a digital humanism that describes, analyzes, and, most importantly, influences the complex interplay of technology and humankind, for a better society and life, fully respecting universal human rights. The book is organized in three parts: Part I “Background” provides the multidisciplinary background needed to understand digital humanism in its philosophical, cultural, technological, historical, social, and economic dimensions. The goal is to present the necessary knowledge upon which an effective interdisciplinary discourse on digital humanism can be founded. Part II “Digital Humanism – a System’s View” focuses on an in-depth presentation and discussion of the main digital humanism concerns arising in current digital systems. The goal of this part is to make readers aware and sensitive to these issues, including e.g. the control and autonomy of AI systems, privacy and security, and the role of governance. Part III “Critical and Societal Issues of Digital Systems” delves into critical societal issues raised by advances of digital technologies. While the public debate in the past has often focused on them separately, especially when they became visible through sensational events the aim here is to shed light on the entire landscape and show their interconnected relationships. This includes issues such as AI and ethics, fairness and bias, privacy and surveillance, platform power and democracy. This textbook is intended for students, teachers, and policy makers interested in digital humanism. It is designed for stand-alone and for complementary courses in computer science, or curricula in science, engineering, humanities and social sciences. Each chapter includes questions for students and an annotated reading list to dive deeper into the associated chapter material. The book aims to provide readers with as wide an exposure as possible to digital advances and their consequences for humanity. It includes constructive ideas and approaches that seek to ensure that our collective digital future is determined through human agency.
    Keywords: ethics in computer science ; responsible technologies ; legal issues and regulation ; data privacy ; digitalization ; digital economy ; digital humanism ; social responsibility ; 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::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; 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::QDTS Social and political philosophy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 150
    facet.materialart.
    Unknown
    Transforming Entrepreneurship Education (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2023-01-22
    Description: This open access book provides selected teaching approaches, supporting methods, concrete examples of curricula as well as extracurricular teaching formats, which are predominantly tailored to both African and German requirements. These approaches were developed by the YEEES Training and Research Centers, an international interdisciplinary network of university teachers and researchers from Germany and southern Africa, and combine the fields of management, entrepreneurship, information and communication technologies (ICT), and sustainability. The book shows how current scientific results can be integrated into teaching, how students can contribute to research while learning, and how research can contribute to the development and evaluation of new formats. It is thus relevant for university teachers, researchers, students as well as practitioners who want to educate and act as future change agents.
    Keywords: Entrepreneurship education ; Change agents ; Transformational entrepreneurship ; Social entrepreneurship ; Sustainability ; German-African relations ; Interdisciplinarity ; Transdisciplinarity ; Education ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJH Entrepreneurship ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JN Education::JNV Educational equipment & technology, computer-aided learning (CAL) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 151
    facet.materialart.
    Unknown
    Objective Information Theory (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: Objective Information Theory (OIT) is proposed to represent and compute the information in a large-scale complex information system with big data in this monograph. To formally analyze, design, develop, and evaluate the information, OIT interprets the information from essential nature, measures the information from mathematical properties, and models the information from concept, logic, and physic. As the exemplified applications, Air Traffic Control System (ATCS) and Smart Court SoSs (System of Systems) are introduced for practical OITs. This Open Access book can be used as a technical reference book in the field of information science and also a reference textbook for senior students and graduate ones in related majors.
    Keywords: Object Information Theory ; Information Space ; Structural Framework ; Metaverse ; Information Model ; Information Measure ; Information Systems Dynamics ; Air Traffic Control System (ATCS) ; Smart Court SoSs (System of Systems) ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 152
    facet.materialart.
    Unknown
    Visions for Intercultural Music Teacher Education (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: This open access book highlights the importance of visions of alternative futures in music teacher education in a time of increasing societal complexity due to increased diversity. There are policies at every level to counter prejudice, increase opportunities, reduce inequalities, stimulate change in educational systems, and prevent and counter polarization. Foregrounding the intimate connections between music, society and education, this book suggests ways that music teacher education might be an arena for the reflexive contestation of traditions, hierarchies, practices and structures. The visions for intercultural music teacher education offered in this book arise from a variety of practical projects, intercultural collaborations, and cross-national work conducted in music teacher education. The chapters open up new horizons for understanding the tension-fields and possible discomfort that music teacher educators face when becoming change agents. They highlight the importance of collaborations, resilience and perseverance when enacting visions on the program level of higher education institutions, and the need for change in re-imagining music teacher education programs.
    Keywords: Education ; Art education ; Teaching ; Educational policy ; Education and state ; International education  ; Comparative education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 153
    facet.materialart.
    Unknown
    Dialogue for Intercultural Understanding (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book is a result of an extensive, ambitious and wide-ranging pan-European project focusing on the development of children and young people’s cultural literacy and what it means to be European in the 21st century prioritising intercultural dialogue and mutual understanding. The Horizon 2020 funded, 3-year DIalogue and Argumentation for cultural Literacy Learning (DIALLS) project included ten partners from countries in and around Europe with the aim to centralise co-constructive dialogue as a main cultural literacy value and to promote tolerance, empathy and inclusion. This is achieved through teaching children in schools from a young age to engage together in discussions where they may have differing viewpoints or perspectives, to enable a growing awareness of their own cultural identities, and those of others. Central to the project is children’s engagement with wordless picture books and films, which are used as stimuli for discussions around core cultural themes such as social responsibility, living together and sustainable development. In order to enable intercultural dialogue in action, the project developed an online platform as a tool for engagement across classes, and which this book elaborates on. The book explores themes underpinning this unique interdisciplinary project, drawing together scholars from cultural studies, civics education and linguistics, psychologists, socio-cultural literacy researchers, teacher educators and digital learning experts. Each chapter of the book explores a theme that is common to the project, and celebrates its interdisciplinarity by exploring these themes through different lenses.
    Keywords: Educational Psychology ; Literature, general ; Early Childhood Education ; Teaching and Teacher Education ; Cross Cultural Psychology ; Sociology of Education ; Literature and Cultural Studies ; Cultural Psychology ; Cultural Literacy ; DIALLS project ; Cultural awareness in education ; Cultural identity in education ; Intercultural dialogue ; Intercultural curricula ; Children's development of dialogue and argumentation ; Inclusive education ; Educating cultural literacy ; European culture ; Open Access ; Biography, Literature & Literary studies ; Early childhood care & education ; Teacher training ; Social, group or collective psychology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNC Educational psychology ; bic Book Industry Communication::D Literature & literary studies ; bic Book Industry Communication::J Society & social sciences::JN Education::JNL Schools::JNLA Pre-school & kindergarten ; 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::JM Psychology::JMH Social, group or collective psychology ; bic Book Industry Communication::J Society & social sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNC Educational psychology ; thema EDItEUR::D Biography, Literature and Literary studies ; 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::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMH Social, group or collective psychology ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/png
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 154
    facet.materialart.
    Unknown
    Ethics of Artificial Intelligence (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-08
    Description: This open access collection of AI ethics case studies is the first book to present real-life case studies combined with commentaries and strategies for overcoming ethical challenges. Case studies are one of the best ways to learn about ethical dilemmas and to achieve insights into various complexities and stakeholder perspectives. Given the omnipresence of AI ethics in academic, policy and media debates, the book will be suitable for a wide range of audiences, from scholars of different disciplines (e.g. AI science, ethics, politics, philosophy, economics) to policy-makers, lobbying NGOs, teachers and the educated public.
    Keywords: Artificial intelligence, AI ; Ethics of technology ; Computer ethics ; Information ethics ; Responsible research and innovation ; 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::H Humanities::HP Philosophy ; bic Book Industry Communication::U Computing & information technology::UB Information technology: general issues::UBJ Ethical & social aspects of IT ; 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::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 155
    facet.materialart.
    Unknown
    Handbook on Craniofacial Superimposition (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access handbook presents a trustable craniofacial superimposition methodological framework. It includes detailed technical and practical overviews, and discussions about the latest tools and open problems, covering the educational, technical, ethical, and security aspects of this forensic identification technique. The book will be of particular interest to researchers and practitioners in forensic anthropology and forensic ID, and also researchers in computational intelligence. It is the final result of a European project, New Methodologies and Protocols of Forensic Identification by Craniofacial Superimposition (MEPROCS). The project collaborators who contributed to this handbook are: S. Damas, O. Ibáñez, M.I. Huete, T. Kahana, C. Wilkinson, E. Ferguson, C. Erolin, C. Cattaneo, P.T. Jayaprakash, R. Jankauskas, F. Cavalli, K. Imaizumi, R. Vicente, D. Navega, E. Cunha, A.H. Ross, E. Veselovskaya, A. Abramov, P. Lestón, F. Molinero, E. Ruiz, F. Navarro, J. Cardoso, F. Viegas, D. Humpire, R. Hardiman, J. Clement, A. Valsecchi, B.R. Campomanes-Alvarez, C. Campomanes-Alvarez, A.S. Çağdır, T. Briers, M. Steyn, M. Viniero, D.N. Vieira, and O. Cordón. ; Authors among leading researchers and practitioners worldwide Reports successful collaborative project results First comprehensive guide on this important technique Open Access
    Keywords: Computer science ; Artificial intelligence ; Forensic medicine ; Computational intelligence ; Forensic science ; Health informatics ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKV Crime and criminology::JKVF Criminal investigation and detection::JKVF1 Forensic science ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKT Forensic medicine ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBH Digital and information technologies: Health and safety aspects ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 156
    facet.materialart.
    Unknown
    Haptics: Science, Technology, Applications (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 157
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 158
    facet.materialart.
    Unknown
    IEA International Computer and Information Literacy Study 2018 Assessment Framework (2021)
    Springer Nature
    Details
    Publication Date: 2021-02-10
    Description: This open access book presents the assessment framework for IEA’s International Computer an Information Literacy Study (ICILS) 2018, which is designed to assess how well students are prepared for study, work and life in a digital world. The study measures international differences in students’ computer and information literacy (CIL): their ability to use computers to investigate, create, participate and communicate at home, at school, in the workplace and in the community. Participating countries also have an option for their students to complete an assessment of computational thinking (CT). The ICILS assessment framework articulates the basic structure of the study, providing a description of the field and the constructs to be measured. This book outlines the design and content of the measurement instruments, sets down the rationale for those designs, and describes how measures generated by those instruments relate to the constructs. Hypothesized relations between constructs provide the foundation for some of the analyses that follow. Above all, the framework links ICILS to other similar research, enabling the contents of this assessment framework to combine theory and practice in an explication of both the ‘what’ and the ‘how’ of ICILS.
    Keywords: Education ; Assessment ; Education—Data processing ; International education  ; Comparative education ; 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::JNKD Examinations & assessment ; bic Book Industry Communication::J Society & social sciences::JN Education::JNV Educational equipment & technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 159
    facet.materialart.
    Unknown
    Implementing Deeper Learning and 21st Century Education Reforms (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2021-02-10
    Description: This open access book is a comparative analysis of recent large scale education reforms that broadened curriculum goals to better prepare students for the 21st century. The book examines what governments actually do when they broaden curriculum goals, with attention to the details of implementation. To this end, the book examines system level reforms in six countries at various levels of development. The study includes system level reforms in jurisdictions where students achieve high levels in international assessments of basic literacies, such as Singapore and Ontario, Canada, as well as in nations where students achieve much lower levels, such as Kenya, Mexico, Punjab-Pakistan and Zimbabwe. The chapters examine system-level reforms that focus on strengthening the capacity to teach the basics, as in Ontario and Pakistan, as well as reforms that aim at building the capacity to teach a much broader set of competencies and skills, such as Kenya, Mexico, Singapore and Zimbabwe. The volume includes systems at very different levels of spending per student and reforms at various points in the cycle of policy implementation, some just starting, some struggling to survive a governmental transition, and others that have been in place for an extended period of time. From the comparative study of these reforms, we aim to provide an understanding of how to build the capacity of education systems to teach 21st century skills at scale in diverse settings.
    Keywords: International and Comparative Education ; Teaching and Teacher Education ; Educational Policy and Politics ; Curriculum Studies ; Open Access ; Comparative education ; Education policy ; Education reform ; Politics of education ; Twenty-first century education ; Educating the whole child ; Curriculum reform ; Educational change ; Implementation of education change ; Education ; Teacher training ; Educational strategies & policy ; Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 160
    facet.materialart.
    Unknown
    Annals of Scientific Society for Assembly, Handling and Industrial Robotics 2021 (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This Open Access proceedings presents a good overview of the current research landscape of assembly, handling and industrial robotics. The objective of MHI Colloquium is the successful networking at both academic and management level. Thereby, the colloquium focuses an academic exchange at a high level in order to distribute the obtained research results, to determine synergy effects and trends, to connect the actors in person and in conclusion, to strengthen the research field as well as the MHI community. In addition, there is the possibility to become acquatined with the organizing institute. Primary audience is formed by members of the scientific society for assembly, handling and industrial robotics (WGMHI).
    Keywords: Open Access ; Assembly Processes & Systems ; Handling & Grasping ; Modelling & Simulation ; Human-robot-collaboration ; Industrial Robotics ; 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 ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 161
    facet.materialart.
    Unknown
    Automated Reasoning (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 162
    facet.materialart.
    Unknown
    Enhancing Future Skills and Entrepreneurship (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: This open access book presents the proceedings of the 3rd Indo-German Conference on Sustainability in Engineering held at Birla Institute of Technology and Science, Pilani, India, on September 16–17, 2019. Intended to foster the synergies between research and education, the conference is one of the joint activities of the BITS Pilani and TU Braunschweig conducted under the auspices of Indo-German Center for Sustainable Manufacturing, established in 2009. The book is divided into three sections: engineering, education and entrepreneurship, covering a range of topics, such as renewable energy forecasting, design & simulation, Industry 4.0, and soft & intelligent sensors for energy efficiency. It also includes case studies on lean and green manufacturing, and life cycle analysis of ceramic products, as well as papers on teaching/learning methods based on the use of learning factories to improve students’problem-solving and personal skills. Moreover, the book discusses high-tech ideas to help the large number of unemployed engineering graduates looking for jobs become tech entrepreneurs. Given its broad scope, it will appeal to academics and industry professionals alike.
    Keywords: Industrial and Production Engineering ; Renewable and Green Energy ; Engineering/Technology Education ; Study and Learning Skills ; Energy Efficiency ; Energy Policy, Economics and Management ; Engineering and Technology Education ; Engineering ; Entrepreneurship ; Education ; Sustainability ; Learning factories ; International collaboration ; Open Access ; Production engineering ; Alternative & renewable energy sources & technology ; Higher & further education, tertiary education ; Technology: general issues ; Study & learning skills: general ; Energy technology & engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNZ Study and learning skills: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 163
    facet.materialart.
    Unknown
    Teacher Quality, Instructional Quality and Student Outcomes: Relationships Across Countries, Cohorts and Time (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: Education; Teaching; Learning and Instruction; Assessment, Testing and Evaluation
    Keywords: Education ; Teaching ; Learning and Instruction ; Assessment, Testing and Evaluation ; bic Book Industry Communication::J Society & social sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 164
    facet.materialart.
    Unknown
    Soziale Arbeit und Sucht (2021)
    Springer Nature | Springer Fachmedien Wiesbaden
    Details
    Publication Date: 2021-02-10
    Description: Das Open Access Buch «Soziale Arbeit in der Suchtprävention und Suchthilfe der Deutschsprachigen Schweiz» hat die Professionalisierung der Sozialen Arbeit in der Suchtarbeit zum Ziel. In einem ersten Schritt soll mittels einer Fachpublikation eine Bestandsaufnahme zur Sozialen Arbeit in den Arbeitsfeldern der Suchtprävention und Suchthilfe gemacht werden. Darauf aufbauend wird in einem nächsten Schritt eine Tagung organisiert und die Resultate zur Diskussion gestellt und erste Empfehlungen formuliert. Anschliessend sollen weitere (forschungsbasierte) Entwicklungsschritte zum Thema lanciert werden. Im Buch werden die Arbeitsfelder der Sozialen Arbeit sowohl im ambulanten, aufsuchenden wie auch stationären Setting der Suchthilfe und der Suchtprävention in der deutschsprachigen Schweiz dargestellt und diskutiert.​
    Keywords: Social Sciences, general ; Social Work ; Health Promotion and Disease Prevention ; Health Psychology ; Education, general ; Sociology ; Social Work Consulting ; Soziale Arbeit ; Suchthilfe ; Suchtprävention ; Suchttherapie ; Schadensminderung ; Suchtberatung ; Open Access ; Society & Social Sciences ; Public health & preventive medicine ; Education ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine ; bic Book Industry Communication::M Medicine::MB Medicine: general issues::MBN Public health & preventive medicine::MBNH Personal & public health::MBNH9 Health psychology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 165
    facet.materialart.
    Unknown
    Foundations of Software Science and Computation Structures (2020)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-04
    Description: 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.​
    Keywords: 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
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 166
    facet.materialart.
    Unknown
    Cloud-Based Remote Sensing with Google Earth Engine (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-11
    Description: This book guides its audience—which can range from novice users to experts— though a 55-chapter tour of Google Earth Engine. A sequenced and diverse set of lab materials, this is the product of more than a year of effort from more than a hundred individuals, collecting new exercises from professors, undergraduates, master’s students, PhD students, postdocs, and independent consultants. Cloud Based Remote Sensing with Google Earth Engine is broadly organized into two halves. The first half, Fundamentals, is a set of 31 labs designed to take the reader from being a complete Earth Engine novice to being a quite advanced user. The second half, Applications, presents a tour of the world of Earth Engine across 24 chapters, showing how it is used in a very wide variety of settings that rely on remote-sensing data This is an open access book.
    Keywords: Cloud computing ; Remote sensing ; Satellite imagery ; Big data ; Image processing ; Historical change ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology::TQD Environmental monitoring ; thema EDItEUR::P Mathematics and Science::PN Chemistry::PNF Analytical chemistry ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TT Other technologies and applied sciences::TTB Applied optics::TTBM Imaging systems and technology ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 167
    facet.materialart.
    Unknown
    Representation Learning for Natural Language Processing (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 168
    facet.materialart.
    Unknown
    Automated Deduction – CADE 28 (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021. The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
    Keywords: Artificial Intelligence ; Mathematical Logic and Formal Languages ; Logics and Meanings of Programs ; Software Engineering ; Formal Languages and Automata Theory ; Computer Science Logic and Foundations of Programming ; automata theory ; boolean functions ; computer programming ; first order logic ; formal languages ; formal logic ; logic programming ; model checking ; program verification ; semantics ; software architecture ; software design ; software quality ; software verification ; theorem provers ; theorem proving ; Mathematical theory of computation ; Computer programming / software engineering ; Computer architecture & logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 169
    facet.materialart.
    Unknown
    Understanding China’s School Leadership (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-16
    Description: This open access book outlines key terms of China’s school leadership in Chinese political and legal, financial, administrative, and cultural contexts. It reveals and interprets the real meaning of these practical terms based on existing laws, government documents, school policy texts as well as the latest empirical findings from school leaders and teachers’ surveys and interviews in China. Providing a holistic picture of China’s school leadership through the unique meanings of these terms, the book offers researchers and graduate students insights into school leadership practice and its context in China. Thus, it would likely intensify readers’ knowledge base to analyse and interpret the phenomenon and research data regarding China’s school leadership. ; Outlines key terms reflecting the characteristics and uniqueness of China’s school leadership Provides readers with a holistic picture of China’s school leadership by understanding the real meaning of the terms Offers insights into school leadership context of China to researchers and graduate students in this field Enriches the knowledge base to analyse and interpret the phenomenon or research data regarding China's school leadership Open Access
    Keywords: Education ; School management and organization ; School administration ; Educational policy ; Education and state ; Schools ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 170
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 171
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: This book is Open Access under a CC BY licence. The LNCS 11427 and 11428 proceedings set constitutes the proceedings of the 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019. The total of 42 full and 8 short tool demo papers presented in these volumes was carefully reviewed and selected from 164 submissions. The papers are organized in topical sections as follows: Part I: SAT and SMT, SAT solving and theorem proving; verification and analysis; model checking; tool demo; and machine learning. Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; synthesis; symbolic verification; and safety and fault-tolerant systems.
    Keywords: Computer science ; Computer logic ; Software engineering ; Mathematical logic ; Algorithms ; Logic design ; Artificial intelligence ; Computer logic ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYF Computer architecture and logic design ; 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::UM Computer programming / software engineering::UMB Algorithms and data structures ; 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::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 172
    facet.materialart.
    Unknown
    An Introduction to Ethics in Robotics and AI (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-08
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 173
    facet.materialart.
    Unknown
    Entity Alignment (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book systematically investigates the topic of entity alignment, which aims to detect equivalent entities that are located in different knowledge graphs. Entity alignment represents an essential step in enhancing the quality of knowledge graphs, and hence is of significance to downstream applications, e.g., question answering and recommender systems. Recent years have witnessed a rapid increase in the number of entity alignment frameworks, while the relationships among them remain unclear. This book aims to fill that gap by elaborating the concept and categorization of entity alignment, reviewing recent advances in entity alignment approaches, and introducing novel scenarios and corresponding solutions. Specifically, the book includes comprehensive evaluations and detailed analyses of state-of-the-art entity alignment approaches and strives to provide a clear picture of the strengths and weaknesses of the currently available solutions, so as to inspire follow-up research. In addition, it identifies novel entity alignment scenarios and explores the issues of large-scale data, long-tail knowledge, scarce supervision signals, lack of labelled data, and multimodal knowledge, offering potential directions for future research. The book offers a valuable reference guide for junior researchers, covering the latest advances in entity alignment, and a valuable asset for senior researchers, sharing novel entity alignment scenarios and their solutions. Accordingly, it will appeal to a broad audience in the fields of knowledge bases, database management, artificial intelligence and big data.
    Keywords: Knowledge Graph ; Entity Alignment ; Knowledge Graph Alignment ; Knowledge Graph Matching ; Entity Matching ; Knowledge Fusion ; Data Integration ; Knowledge Graph Representation Learning ; Multi-Modal Knowledge Graph ; 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::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 174
    facet.materialart.
    Unknown
    Making Presentation Math Computable (2023)
    Springer Nature | Springer Fachmedien Wiesbaden
    Details
    Publication Date: 2024-04-11
    Description: This Open-Access-book addresses the issue of translating mathematical expressions from LaTeX to the syntax of Computer Algebra Systems (CAS). Over the past decades, especially in the domain of Sciences, Technology, Engineering, and Mathematics (STEM), LaTeX has become the de-facto standard to typeset mathematical formulae in publications. Since scientists are generally required to publish their work, LaTeX has become an integral part of today's publishing workflow. On the other hand, modern research increasingly relies on CAS to simplify, manipulate, compute, and visualize mathematics. However, existing LaTeX import functions in CAS are limited to simple arithmetic expressions and are, therefore, insufficient for most use cases. Consequently, the workflow of experimenting and publishing in the Sciences often includes time-consuming and error-prone manual conversions between presentational LaTeX and computational CAS formats. To address the lack of a reliable and comprehensive translation tool between LaTeX and CAS, this thesis makes the following three contributions. First, it provides an approach to semantically enhance LaTeX expressions with sufficient semantic information for translations into CAS syntaxes. Second, it demonstrates the first context-aware LaTeX to CAS translation framework LaCASt. Third, the thesis provides a novel approach to evaluate the performance for LaTeX to CAS translations on large-scaled datasets with an automatic verification of equations in digital mathematical libraries. This is an open access book.
    Keywords: LaTeX ; Computer Algebra Systems ; Presentational Mathematics ; Presentation to Computation Translations ; Computable Mathematics ; Mathematical Information Retrieval ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBF Algebra
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 175
    facet.materialart.
    Unknown
    European Higher Education Area: Challenges for a New Decade (2021)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2021-02-10
    Description: This open access book presents the major outcomes of the fourth edition of the Future of Higher Education – Bologna Process Researchers Conference (FOHE-BPRC 4) which was held in January 2020 and which has already established itself as a landmark in the European higher education environment. The conference is part of the official calendar of the European Higher Education Area (EHEA) for events that promote and sustain the development of EHEA. The conference provides a unique forum for dialogue between researchers, experts and policy makers in the field of higher education, all of which is documented in this proceedings volume. The book focuses on the following five sub-themes: - Furthering the Internationalization of Higher Education: Particular - Challenges in the EHEA - Access and Success for Every Learner in Higher Education - Advancing Learning and Teaching in the EHEA: Innovation and Links With Research - The Future of the EHEA - Principles, Challenges and Ways Forward - Bologna Process in the Global Higher Education Arena. Going Digital? While acknowledging the efforts and achievements so far at EHEA level, the Paris Ministerial Communiqué highlights the need to intensify crossdisciplinary and cross-border cooperation. One of the ways to achieve this objective is to develop more efficient peer-learning activities, involving policymakers and other stakeholders from as many member states as possible for which this book provides a platform. It acknowledges the importance of a continued dialogue between researchers and decisionmakers and benefits from the experience already acquired, this way enabling the higher education community to bring its input into the 2020. European Higher Education Area (EHEA) priorities for 2020 onwards. European Higher Education Area: Challenges for a New Decade marks 21 years of Bologna Process and 10 years of EHEA and brings together an unique collection of contributions that not only reflect on all that has been achieved in these years, but more importantly, shape directions for the future. This book is published under an open access CC BY license.
    Keywords: Higher Education ; International and Comparative Education ; Educational Policy and Politics ; Bologna process ; EHEA ; European Higher Education Area ; Future direction of European Higher Education ; Evidence-based policies in Higher Education ; FOHE-BPRC4 ; Internationalization of Higher Education ; Advancing learning and teaching in the EHEA ; Challenges in EHEA ; Digital technology in Higher Education ; European policies higher education ; Open Access ; Higher & further education, tertiary education ; Education ; Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 176
    facet.materialart.
    Unknown
    Computational Science – ICCS 2022 (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: The four-volume set LNCS 13350, 13351, 13352, and 13353 constitutes the proceedings of the 22ndt International Conference on Computational Science, ICCS 2022, held in London, UK, in June 2022.* The total of 175 full papers and 78 short papers presented in this book set were carefully reviewed and selected from 474 submissions. 169 full and 36 short papers were accepted to the main track; 120 full and 42 short papers were accepted to the workshops/ thematic tracks. *The conference was held in a hybrid format This is an open access book.
    Keywords: artificial intelligence ; communication systems ; computer networks ; computer systems ; computer vision ; correlation analysis ; data mining ; image analysis ; image processing ; machine learning ; network protocols ; neural networks ; numerical methods ; signal processing ; telecommunication systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQV Computer vision
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 177
    facet.materialart.
    Unknown
    Research On and Activities For Mathematically Gifted Students (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-29
    Description: Education; Teaching; Learning
    Keywords: Education ; Teaching ; Learning ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 178
    facet.materialart.
    Unknown
    Product Development within Artificial Intelligence, Ethics and Legal Risk (2022)
    Springer Nature | Springer Vieweg
    Details
    Publication Date: 2024-04-14
    Description: This open-access-book synthesizes a supportive developer checklist considering sustainable Team and agile Project Management in the challenge of Artificial Intelligence and limits of image recognition. The study bases on technical, ethical, and legal requirements with examples concerning autonomous vehicles. As the first of its kind, it analyzes all reported car accidents state wide (1.28 million) over a 10-year period. Integrating of highly sensitive international court rulings and growing consumer expectations make this book a helpful guide for product and team development from initial concept until market launch.
    Keywords: Customer/Consumer Protection ; Artificial Intelligence ; Automated Driving ; Autonomous Vehicle ; Image Recognition ; Deep Residual Learning ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::L Law::LN Laws of specific jurisdictions and specific areas of law::LNC Company, commercial and competition law: general::LNCQ Construction and engineering law ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 179
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 12224 and 12225 constitutes the refereed proceedings of the 32st International Conference on Computer Aided Verification, CAV 2020, held in Los Angeles, CA, USA, in July 2020.* The 43 full papers presented together with 18 tool papers and 4 case studies, were carefully reviewed and selected from 240 submissions. The papers were organized in the following topical sections: Part I: AI verification; blockchain and Security; Concurrency; hardware verification and decision procedures; and hybrid and dynamic systems. Part II: model checking; software verification; stochastic systems; and synthesis. *The conference was held virtually due to the COVID-19 pandemic.
    Keywords: Software Engineering ; Theory of Computation ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 180
    facet.materialart.
    Unknown
    Forschendes Lernen (2021)
    Springer Nature | Springer VS
    Details
    Publication Date: 2024-03-29
    Description: Dieses Open Access Buch zeigt, dass Forschendes Lernen ein zentrales Schlagwort in der Bildungsdebatte der letzten Jahre ist. Mit diesem didaktischen Format steht im Fokus des Lernens nicht mehr die Reproduktion von Wissen, sondern die aktive Konstruktion und Reflexion in einem kollaborativen Prozess und damit die direkte Teilnahme am wissenschaftlichen Prozess. Die Autorinnen und Autoren dieses Sammelbands geben eine Übersicht über die theoretische Fundierung und Formen der strukturellen Verankerung des Forschenden Lernens, über aktuelle empirische Befunde, über Praxisbeispiele aus einer Vielzahl von Fächern und über Möglichkeiten, studentische Forschungsergebnisse der Öffentlichkeit zugänglich zu machen.
    Keywords: Education, general ; Higher Education ; Didactics and Teaching Methodology ; Educational Research ; Open Acess ; Forschendes Lernen ; Theorie, Empirie, Praxis ; Studentische Forschung ; Forschungsbasiertes Lernen ; Forschungsorientiertes Lernen ; Hochschuldidaktik ; Lernen im Format der Forschung ; Weiterentwicklung universitärer Lehre ; Publikation studentischer Forschungsergebnisse ; Education ; Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education
    Language: German
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 181
    facet.materialart.
    Unknown
    Multi-Winner Voting with Approval Preferences (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: From fundamental concepts and results to recent advances in computational social choice, this open access book provides a thorough and in-depth look at multi-winner voting based on approval preferences. The main focus is on axiomatic analysis, algorithmic results and several applications that are relevant in artificial intelligence, computer science and elections of any kind. What is the best way to select a set of candidates for a shortlist, for an executive committee, or for product recommendations? Multi-winner voting is the process of selecting a fixed-size set of candidates based on the preferences expressed by the voters. A wide variety of decision processes in settings ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversity in search results, etc.) share the problem of identifying a representative subset of alternatives. The study of multi-winner voting provides the principled analysis of this task. Approval-based committee voting rules (in short: ABC rules) are multi-winner voting rules particularly suitable for practical use. Their usability is founded on the straightforward form in which the voters can express preferences: voters simply have to differentiate between approved and disapproved candidates. Proposals for ABC rules are numerous, some dating back to the late 19th century while others have been introduced only very recently. This book explains and discusses these rules, highlighting their individual strengths and weaknesses. With the help of this book, the reader will be able to choose a suitable ABC voting rule in a principled fashion, participate in, and be up to date with the ongoing research on this topic.
    Keywords: Multi-Winner Voting ; Computational Social Choice ; Approval-Based Committee (ABC) Voting ; ABC Rules ; Proportionality ; Fairness Axioms ; Strategic Voting ; Collective Decisions ; Artificial Intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCA Economic theory and philosophy ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 182
    facet.materialart.
    Unknown
    Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 183
    facet.materialart.
    Unknown
    Modern Mathematics Education for Engineering Curricula in Europe (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-24
    Description: This open access book provides a comprehensive overview of the core subjects comprising mathematical curricula for engineering studies in five European countries and identifies differences between two strong traditions of teaching mathematics to engineers. The collective work of experts from a dozen universities critically examines various aspects of higher mathematical education. The two EU Tempus-IV projects – MetaMath and MathGeAr – investigate the current methodologies of mathematics education for technical and engineering disciplines. The projects aim to improve the existing mathematics curricula in Russian, Georgian and Armenian universities by introducing modern technology-enhanced learning (TEL) methods and tools, as well as by shifting the focus of engineering mathematics education from a purely theoretical tradition to a more applied paradigm. MetaMath and MathGeAr have brought together mathematics educators, TEL specialists and experts in education quality assurance form 21 organizations across six countries. The results of a comprehensive comparative analysis of the entire spectrum of mathematics courses in the EU, Russia, Georgia and Armenia has been conducted, have allowed the consortium to pinpoint and introduce several modifications to their curricula while preserving the generally strong state of university mathematics education in these countriesThe book presents the methodology, procedure and results of this analysis. This book is a valuable resource for teachers, especially those teaching mathematics, and curriculum planners for engineers, as well as for a general audience interested in scientific and technical higher education.
    Keywords: Education ; Mathematics—Study and teaching  ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 184
    facet.materialart.
    Unknown
    Play-Responsive Teaching in Early Childhood Education (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-07
    Description: This open access book develops a theoretical concept of teaching that is relevant to early childhood education, and based on children’s learning and development through play. It discusses theoretical premises and research on playing and learning, and proposes the development of play-responsive didaktik. It examines the processes and products of learning and development, teaching and its phylogenetic and ontogenetic development, as well as the ‘what’ of learning and didaktik. Next, it explores the actions, objects and meaning of play and provides insight into the diversity of beliefs about the practices of play. The book presents ideas on how combined research and development projects can be carried out, providing incentive and a model for practice development and research. The second part of the book consists of empirical studies on teacher’s playing skills and examples of play with very young as well as older children.
    Keywords: Education ; Child development ; Teaching ; Educational psychology ; Education—Psychology ; Child psychology ; School psychology ; Infant psychology ; Language and languages—Study and teaching ; thema EDItEUR::C Language and Linguistics::CJ Language teaching and learning ; thema EDItEUR::J Society and Social Sciences::JM Psychology::JMC Child, developmental and lifespan psychology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNC Educational psychology ; 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::JNM Higher education, tertiary education::JNMT Teacher training
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 185
    facet.materialart.
    Unknown
    New Metropolitan Perspectives (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: ​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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 186
    facet.materialart.
    Unknown
    Representation Learning for Natural Language Processing (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This book provides an overview of the recent advances in representation learning theory, algorithms, and applications for natural language processing (NLP), ranging from word embeddings to pre-trained language models. It is divided into four parts. Part I presents the representation learning techniques for multiple language entries, including words, sentences and documents, as well as pre-training techniques. Part II then introduces the related representation techniques to NLP, including graphs, cross-modal entries, and robustness. Part III then introduces the representation techniques for the knowledge that are closely related to NLP, including entity-based world knowledge, sememe-based linguistic knowledge, legal domain knowledge and biomedical domain knowledge. Lastly, Part IV 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. As compared to the first edition, the second edition (1) provides a more detailed introduction to representation learning in Chapter 1; (2) adds four new chapters to introduce pre-trained language models, robust representation learning, legal knowledge representation learning and biomedical knowledge representation learning; (3) updates recent advances in representation learning in all chapters; and (4) corrects some errors in the first edition. The new contents will be approximately 50%+ compared to the first edition. This is an open access book.
    Keywords: Deep Learning ; Representation Learning ; Knowledge Representation ; Word Representation ; Document Representation ; Big Data ; Machine Learning ; Natural Language Processing ; Artificial Intelligence ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 187
    facet.materialart.
    Unknown
    Phygital Intelligence (2024)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-11
    Description: This open access book is a compilation of selected papers from 2023 DigitalFUTURES — The 5nd International Conference on Computational Design and Robotic Fabrication (CDRF 2023). The work focuses on novel techniques for computational design and robotic fabrication. The contents make valuable contributions to academic researchers, designers, and engineers in the industry. As well, readers will encounter new ideas about understanding intelligence in architecture.
    Keywords: Phygital Intelligence ; Computational Design ; Robotic Fabrication ; Human-Machine Collaboration ; AI in Architecture ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TN Civil engineering, surveying and building ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 188
    facet.materialart.
    Unknown
    Mathematics Education in East Africa (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: *THIS BOOK WILL SOON BE AVAILABLE AS OPEN ACCESS BOOK* This book is a valuable resource for policymakers and practitioners as it brings insights mainly from developing countries where relatively less research activity takes place. It is also a valuable resource for courses in mathematics education in the teacher education colleges, and departments of education in the sub-Saharan Africa region. In the increasingly global and technological world mathematics is seen as a significant gatekeeper of opportunities for social and economic advancement and mobility. Hence, countries and development agencies in the broader sub-Saharan Africa region are looking towards increasing access to relevant and high-quality secondary education as a lever towards economic development. Policy makers and other key decision makers in education look towards improvement in mathematics teaching and learning as a key focus in education reform. In the East Africa region also a number of initiatives have been taken at the national level in the respective countries to improve the quality of mathematics education. This book provides an in-depth comparative analysis of the developments and issues in mathematics education in Kenya, Tanzania, Rwanda and Uganda, and advances our understanding of the state of secondary mathematics education in East Africa.
    Keywords: Mathematics Education ; International and Comparative Education ; Education Policy ; Mathematics curriculum developmen ; Mathematics education in sub-Saharan Africa ; Challenges in teaching and learning mathematics ; Harmonizing mathematics education in diverse settings ; State of mathematics education in sub-Saharan Africa ; Potentials in sub-Saharan African math education ; Pitfalls in sub-Saharan African math education ; Teaching of a specific subject ; Mathematics ; Education ; Central / national / federal government policies ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 189
    facet.materialart.
    Unknown
    Sine Cosine Algorithm for Optimization (2023)
    Springer Nature | Springer Nature Singapore
    Details
    Publication Date: 2024-04-14
    Description: This open access book serves as a compact source of information on sine cosine algorithm (SCA) and a foundation for developing and advancing SCA and its applications. SCA is an easy, user-friendly, and strong candidate in the field of metaheuristics algorithms. Despite being a relatively new metaheuristic algorithm, it has achieved widespread acceptance among researchers due to its easy implementation and robust optimization capabilities. Its effectiveness and advantages have been demonstrated in various applications ranging from machine learning, engineering design, and wireless sensor network to environmental modeling. The book provides a comprehensive account of the SCA, including details of the underlying ideas, the modified versions, various applications, and a working MATLAB code for the basic SCA.
    Keywords: Sine Cosine Algorithms ; Meta-heuristics ; Numerical Optimization ; Soft Computing ; Numerical Experiments ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBU Optimization ; thema EDItEUR::P Mathematics and Science::PB Mathematics::PBK Calculus and mathematical analysis::PBKS Numerical analysis
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 190
    facet.materialart.
    Unknown
    Computer Aided Verification (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set LNCS 13371 and 13372 constitutes the refereed proceedings of the 34rd International Conference on Computer Aided Verification, CAV 2022, which was held in Haifa, Israel, in August 2022. The 40 full papers presented together with 9 tool papers and 2 case studies were carefully reviewed and selected from 209 submissions. The papers were organized in the following topical sections: Part I: Invited papers; formal methods for probabilistic programs; formal methods for neural networks; software Verification and model checking; hyperproperties and security; formal methods for hardware, cyber-physical, and hybrid systems. Part II: Probabilistic techniques; automata and logic; deductive verification and decision procedures; machine learning; synthesis and concurrency. This is an open access book.
    Keywords: architecting ; architecture verification and validation ; artificial intelligence ; computer programming ; computer science ; computer systems ; databases ; distributed computer systems ; embedded systems ; engineering ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; software architecture ; software design ; software engineering ; software quality ; theoretical computer science ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 191
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2022)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 46 full papers and 4 short papers presented in this volume were carefully reviewed and selected from 159 submissions. The proceedings also contain 16 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems. The conference aims to bridge the gaps between different communities with this common interest and to support them in their quest to improve the utility, reliability, exibility, and efficiency of tools and algorithms for building computer-controlled systems.
    Keywords: embedded systems ; formal languages and automata theory ; Formal methods and theory of security ; Machine learning ; Modeling and simulation ; Semantics and reasoning ; software and hardware verification ; specification and verification techniques ; static and dynamic program analysis ; Symbolic and algebraic manipulation ; system construction and transformation techniques ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GP Research and information: general::GPJ Coding theory and cryptology ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 192
    facet.materialart.
    Unknown
    Progress in Entrepreneurship Education and Training (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-03-30
    Description: The education of future entrepreneurs shapes how we will live in the future, and proper entrepreneurship education is thus of utmost importance. Entrepreneurship educators and researchers constantly renew tools, interventions, and training programs for entrepreneurship education and adapt them to the specific needs of entrepreneurs and developments in the entrepreneurship ecosystem. This open-access book is based on this background and offers expert insights that highlight context-specificity and discuss training methods and tools that are impact-oriented. The authors represent multiple institutional and cultural backgrounds, to provide a useful resource with new ideas for the community of entrepreneurship educators, facilitators, and scholars. Based on the chapters, the editors of the volume also offer several propositions and critical insights important for the current state of entrepreneurship education and its future development. This book will be a valuable resource for entrepreneurship educators and education policymakers alike.
    Keywords: Entrepreneurship ; Education ; Training ; Vocational Education ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMV Management of specific areas::KJMV2 Personnel and human resources management ; thema EDItEUR::J Society and Social Sciences::JN Education::JNR Careers guidance::JNRV Industrial or vocational training ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJH Entrepreneurship / Start-ups
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 193
    facet.materialart.
    Unknown
    Inquiry-Based Learning - Undergraduate Research (2021)
    Springer Nature
    Details
    Publication Date: 2024-03-23
    Description: This open access book provides a systematic overview of experiences with Inquiry-Based Learning (IBL) and undergraduate research (UR) in German universities, covering both research universities (Universitäten) and universities of applied sciences (Fachhochschulen). Divided into three parts, the book starts with the principles and common practices of IBL/UR at all universities. Part Two discusses the implementation of IBL/UR for twenty-one individual disciplines, ranging from architecture to theology. Part Three discusses the potential of IBL/UR in relation to several topics including diversity, digitalisation, different forms of universities, and the national job market. The book summarises the project of the German network of UR, comprising approximately 50 universities, and results of a national initiative called Qualitätspakt Lehre which is intended to improve teaching at German universities. Today IBL and UR are essential parts of high-impact education strategies for universities around the world. In his university reform plans of the early 19th century, Wilhelm von Humboldt introduced Inquiry-Based Teaching and Learning as the core principle of the modern research university in Germany, as well as worldwide. IBL was re-discovered in the German university reform initiatives of the 1960s. Since then, IBL has been applied in teachers' education in German universities. The book presents IBL/UR experience as complementary to what is usually presented in English-speaking academia. In Germany, IBL/UR is applied broadly throughout the social sciences and planning, but not in the core sciences, whereas in the US undergraduate research is common in the sciences but less so in the social sciences. Moreover, in Germany, IBL/UR is often linked to applied and community-oriented research — something that is just emerging in the US.
    Keywords: Education ; Higher education ; Teaching ; Learning ; Instruction ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 194
    facet.materialart.
    Unknown
    AI in Learning: Designing the Future (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 195
    facet.materialart.
    Unknown
    AI in Learning: Designing the Future (2023)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-03-29
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 196
    facet.materialart.
    Unknown
    Computer Aided Verification (2021)
    Springer Nature
    Details
    Publication Date: 2024-04-14
    Description: The open access two-volume set LNCS 11561 and 11562 constitutes the refereed proceedings of the 31st International Conference on Computer Aided Verification, CAV 2019, held in New York City, USA, in July 2019. The 52 full papers presented together with 13 tool papers and 2 case studies, were carefully reviewed and selected from 258 submissions. The papers were organized in the following topical sections: Part I: automata and timed systems; security and hyperproperties; synthesis; model checking; cyber-physical systems and machine learning; probabilistic systems, runtime techniques; dynamical, hybrid, and reactive systems; Part II: logics, decision procedures; and solvers; numerical programs; verification; distributed systems and networks; verification and invariants; and concurrency.
    Keywords: Computer science ; Software engineering ; Computer logic ; Mathematical logic ; Computer system failures ; Computers ; Artificial intelligence ; Computer logic ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::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::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 197
    facet.materialart.
    Unknown
    Empowering Teachers to Build a Better World (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2021-02-10
    Description: 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.
    Keywords: 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 198
    facet.materialart.
    Unknown
    Unsettling Responsibility in Science Education (2021)
    Springer Nature | Springer Singapore
    Details
    Publication Date: 2021-02-10
    Description: This open access book engages with the response-ability of science education to Indigenous ways-of-living-with-Nature. Higgins deconstructs the ways in which the structures of science education—its concepts, categories, policies, and practices—contribute to the exclusion (or problematic inclusion) of Indigenous science while also shaping its ability respond. Herein, he undertakes an unsettling homework to address the ways in which settler colonial logics linger and lurk within sedimented and stratified knowledge-practices, turning the gaze back onto science education. This homework critically inhabits culture, theory, ontology, and history as they relate to the multicultural science education debate, a central curricular location that acts as both a potential entry point and problematic gatekeeping device, in order to (re)open the space of responsiveness towards Indigenous ways-of-knowing-in-being.
    Keywords: Science Education ; Curriculum Studies ; Philosophy of Education ; Education, general ; Inclusive Education ; Post-Colonial studies ; post-humanist ; Indigenization ; Cartesianism ; science curriculum ; pedagogy ; Open Access ; Teaching of a specific subject ; Science: general issues ; Curriculum planning & development ; Philosophy & theory of education ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; 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::JNA Philosophy & theory of education ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 199
    facet.materialart.
    Unknown
    Quantitative Sustainability (2024)
    Springer Nature | Springer International Publishing
    Details
    Publication Date: 2024-04-05
    Description: This open access book focuses on how scientific methodologies can help industrial managers, entrepreneurs and policymakers handle the 17 Sustainable Development Goals in an efficient and realistic way. It also offers an operative scheme for scientists to overcome their discipline barriers. Is interdisciplinarity an intrinsic research value or is it merely instrumental for handling the increasing flux of open problems that sustainability poses to science?Can these problems of sustainability be solved with what the authors already know? Is it just a matter of having the right people at the table and giving them sufficient resources, or is it something more? Is meeting the needs of the present without compromising those of future generations a scientific definition of sustainable development? Questions similar to those posed in the sixties regarding complexity must be asked about sustainability today. In addition, the new data science includes powerful tools for making novel quantitative predictions about future sustainability indicators, an open problem that the book discusses. This book is primarily addressed to Ph.D. students, postdocs and senior researchers in the Life and Hard Science (LHS) and Social Sciences and Humanities (SSH) disciplines, as well as professionals of the primary, secondary and tertiary industrial sectors.
    Keywords: Sustainable Development Goals ; Data science in Sustainability ; SDG Targets ; Data Science in Sustainable Development Goals ; Complex Network ; Food Security ; Climate Changes ; Environmental Changes ; Human Ecology ; Sustainable Economy ; Space Science ; Platform For a Science-industry Dialogue ; Industrial Processes ; thema EDItEUR::P Mathematics and Science::PH Physics::PHS Statistical physics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 200
    facet.materialart.
    Unknown
    One Hundred Years of Social Protection (2021)
    Springer Nature | Palgrave Macmillan
    Details
    Publication Date: 2021-02-10
    Description: While the rise of social protection in the global North has been widely researched, we know little about the history of social protection in the global South. This volume investigates the experiences of four middle-income countries - Brazil, India, China and South Africa - from 1920 to 2020, analysing if, when, and how these countries articulated a concern about social issues and social cohesion. As the first in-depth study of the ideational foundations of social protection policies and programmes in these four countries, the contributions demonstrate that the social question was articulated in an increasingly inclusive way. The contributions identify the ideas, beliefs, and visions that underpinned the movement towards inclusion and social peace as well as counteracting doctrines. Drawing on perspectives from the sociology of knowledge, grounded theory, historiography, discourse analysis, and process tracing, the volume will be of interest to scholars across political science, sociology, political economy, history, area studies, and global studies, as well as development experts and policymakers.
    Keywords: Social Policy ; Comparative Social Policy ; Development Studies ; Politics of the Welfare State ; Political Sociology ; Education, general ; Global Social Policy ; Welfare ; Social Economy ; welfare state ; development welfare capitalism ; Global South ; Southern welfare ; Central / national / federal government policies ; Sociology ; Politics & government ; Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::G Reference, information & interdisciplinary subjects::GT Interdisciplinary studies::GTF Development studies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...