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::J Society and Social Sciences::JN Education  (17)
  • embedded systems  (16)
  • Springer  (33)
  • American Chemical Society (ACS)
  • American Institute of Physics
  • American Institute of Physics (AIP)
  • 2020-2024  (33)
  • 2015-2019
  • 1950-1954
Collection
Keywords
Publisher
Language
Years
Year
  • 1
    facet.materialart.
    Unknown
    Experimental Studies in Learning Technology and Child–Computer Interaction (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This book is about the ways in which experiments can be employed in the context of research on learning technologies and child–computer interaction (CCI). It is directed at researchers, supporting them to employ experimental studies while increasing their quality and rigor. The book provides a complete and comprehensive description on how to design, implement, and report experiments, with a focus on and examples from CCI and learning technology research. The topics covered include an introduction to CCI and learning technologies as interdisciplinary fields of research, how to design educational interfaces and visualizations that support experimental studies, the advantages and disadvantages of a variety of experiments, methodological decisions in designing and conducting experiments (e.g. devising hypotheses and selecting measures), and the reporting of results. As well, a brief introduction on how contemporary advances in data science, artificial intelligence, and sensor data have impacted learning technology and CCI research is presented. The book details three important issues that a learning technology and CCI researcher needs to be aware of: the importance of the context, ethical considerations, and working with children. The motivation behind and emphasis of this book is helping prospective CCI and learning technology researchers (a) to evaluate the circumstances that favor (or do not favor) the use of experiments, (b) to make the necessary methodological decisions about the type and features of the experiment, (c) to design the necessary “artifacts” (e.g., prototype systems, interfaces, materials, and procedures), (d) to operationalize and conduct experimental procedures to minimize potential bias, and (e) to report the results of their studies for successful dissemination in top-tier venues (such as journals and conferences). This book is an open access publication.
    Keywords: Experimental studies ; Child-Computer Interaction ; Learning Technology ; User studies ; Methodological decisions ; CCI ; HCI ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZG User interface design & usability ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 2
    facet.materialart.
    Unknown
    Methodology for Research with Early Childhood Education and Care Professionals (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book addresses the growing trend in the field of early childhood education and care (ECEC) research named collaborative knowledge building in which researchers and ECEC personnel collaborate. This kind of research encompasses a number of approaches, such as design studies, action studies, Learning Studies, Lesson Studies, and combined research and development studies. There are important differences between these approaches, but they also share some features, which makes it possible to see them as examples of a particular tradition of knowledge building. Collaborative knowledge building constitutes close ties between developing practices of early childhood education and care, and generating empirically grounded theoretical knowledge. This book contributes to the methodology of practices-developing research by mapping this movement through exemplifying themes actualised in such studies, and through conceptualizing important and recurring gains and challenges. It also describes how the latter can be taken on.
    Keywords: practice-developing research ; researcher-teacher collaborative knowledge building ; inter-professions collaboration ; practice based mathematics education research ; toddlers’ mathematical development in Swedish preschools ; metacognitive approach to children’s learning ; Research-practice collaboration ; Competence development ; preschool education for immigrant children ; knowledge creating practices in partnership research ; Play-responsive teaching ; practice-based research ; foundational ethos of collaboration ; participatory-driven creative learning ; teachers as agents in the research process ; interprofessional dialogue (MIROR) ; de-reifying language in research ; 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 ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 3
    facet.materialart.
    Unknown
    English Medium Instruction as a Local Practice (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-07
    Description: From the perspective of translanguaging and instruction theories, this Open Access book examines Chinese English Medium Instruction (EMI) lecturers’ linguistic and pedagogical characteristics. This book demonstrate that ‘English’ in EMI is not a monolingual issue and EMI lecturers have applied their bilingual advantages to systematically and strategically advance their pedagogy practices through a translanguaging process. This book reflects upon EMI lecturers’ culture-imbedded teaching and learning philosophies and explores the implications of local classroom practices, such as topic-centered instruction and teacher presentation through demonstration. This book argues that EMI teaching is not an approach that can reach universal consent across linguistic, cultural and educational systems; it is an approach that is exclusively contextualised in the lecturers’ closely related cultural and educational system, and restricted by the available resources. This is an open access book.
    Keywords: Teaching through English-Medium Instruction ; EMI teaching in China’s Higher Education ; Translanguaging use in EMI class ; Pedagogical strategies ; Topicality and methodological issues in EMI research ; Post-monolingual features of EMI class ; Educational internationalization in China ; EMI classroom practices in China ; Teacher preparation Chinese Higher Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::C Language and Linguistics::CB Language: reference and general ; thema EDItEUR::J Society and Social Sciences::JN Education::JND Educational systems and structures::JNDG Curriculum planning and development ; 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
  • 4
    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
  • 5
    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
  • 6
    facet.materialart.
    Unknown
    Doing Research: A New Researcher’s Guide (2022)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This book is about scientific inquiry. Designed for early and mid-career researchers, it is a practical manual for conducting and communicating high-quality research in (mathematics) education. Based on the authors’ extensive experience as researchers, as mentors, and as members of the editorial team for the Journal for Research in Mathematics Education (JRME), this book directly speaks to researchers and their communities about each phase of the process for conceptualizing, conducting, and communicating high-quality research in (mathematics) education. In the late 2010s, both JRME and Educational Studies in Mathematics celebrated 50 years of publishing high-quality research in mathematics education. Many advances in the field have occurred since the establishment of these journals, and these anniversaries marked a milestone in research in mathematics education. Indeed, fifty years represents a small step for human history but a giant leap for mathematics education. The educational research community in general (and the mathematics education community in particular) has strongly advocated for original research, placing great emphasis on building knowledge and capacity in the field. Because it is an interdisciplinary field, mathematics education has integrated means and methods for scientific inquiry from multiple disciplines. Now that the field is gaining maturity, it is a good time to take a step back and systematically consider how mathematics education researchers can engage in significant, impactful scientific inquiry.
    Keywords: Research questions ; Hypotheses ; Theoretical framework ; Scientific inquiry ; Robust methods ; Interpretation of findings ; Pilot study ; Unexpected findings ; Continuous improvement ; Communicating research ; Learning opportunities ; Impact on practice ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNZ Study & learning skills: general ; 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::JNZ Study and learning skills: general ; 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
  • 7
    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
  • 8
    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
  • 9
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Software Engineering/Programming and Operating Systems ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Software Engineering ; Operating systems ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Mathematical theory of computation ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 10
    facet.materialart.
    Unknown
    e-Science (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book shows the breadth and various facets of e-Science, while also illustrating their shared core. Changes in scientific work are driven by the shift to grid-based worlds, the use of information and communication systems, and the existential infrastructure, which includes global collaboration. In this context, the book addresses emerging issues such as open access, collaboration and virtual communities and highlights the diverse range of developments associated with e-Science. As such, it will be of interest to researchers and scholars in the fields of information technology and knowledge management.
    Keywords: Science and Technology Studies ; Media and Communication ; Business Information Systems ; Computer Applications ; Education, general ; Knowledge Management ; Science Communication ; Computer and Information Systems Applications ; Digital Education and Educational Technology ; Open Access ; Grid computing ; Science 2.0 ; Research network ; Education portal ; Virtual organization ; Governance ; Social control ; Science collaboration ; Digitization ; Digital research infrastructures ; Cyberinfrastructure software ; Sustainability ; Software sustainability ; Sociology ; Media studies ; Business mathematics & systems ; Information technology: general issues ; Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JB Society and culture: general::JBC Cultural and media studies::JBCT Media studies ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJM Management and management techniques::KJMK Knowledge management
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 11
    facet.materialart.
    Unknown
    Good Citizenship for the Next Generation (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This Open Access book presents an international group of scholars seeking to understand how youth from different cultures relate to modern multidimensional concepts of citizenship, and the roles that education and society have in shaping the views of the world’s future citizens. The book also explores how different aspects of citizenship, such as attitudes towards diverse population groups and concerns for social issues, relate to classical definitions of norm-based citizenship from the political sciences. Authors from Asia, Europe, and Latin America provide a series of in-depth investigations into how concepts of “good citizenship” are shaped in different regions of the globe, using the rich comparative data from the IEA’s International Civic and Citizenship Study (ICCS) 2016. In twelve chapters, the authors review the concept of “good citizenship”; how citizenship norms adherence is configured into profiles across countries; and what country, school, and background factors are related to how students adhere to citizenship norms. Recognizing contingent social and political situations in specific regions of the world, the present books offer six chapters where authors apply their expertise to offer locally relevant and pertinent observations on how young people from diverse cultures understand and relate to different dimensions of citizenship in countries of Asia, Europe, and Latin America. The present book is of relevance for different audiences interested in civic education and political socialization, including social sciences and education, integrating topics from political science, sociology, political psychology, and law.
    Keywords: IEA ; Large-scale studies in education ; Open Access ; Civic education ; School effectiveness ; International Civics and Citizenship Study ; ICCS ; Large-scale assessment ; ICCS data in civic education ; Comparative research in civic education ; Latin American political culture and citizenship norms ; Corruption among students in Latin America ; Citizenship norms among native and immigrant students ; Asian adolescents’ understanding of democracy ; Asian dtudents and civic engagement ; 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::JP Politics & government::JPV Political control & freedoms::JPVH Human rights::JPVH1 Civil rights & citizenship ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JND Educational systems and structures::JNDH Education: examinations and assessment ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPV Political control and freedoms::JPVC Civics and citizenship ; 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
  • 12
    facet.materialart.
    Unknown
    Mathematics Teacher Preparation in Central America and the Caribbean (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: *THIS BOOK WILL SOON BECOME AVAILABLE AS OPEN ACCESS BOOK* This book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Colombia, Costa Rica, Dominican Republic and Venezuela, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives. In August 2012, a workshop of the Capacity and Networking Project (CANP) of the International Commission on Mathematical Instruction (ICMI) was held in Costa Rica. This CANP brought together for two weeks a group of 66 Mathematics educators, mathematicians, university administrators, and elementary and secondary teachers from Colombia, Venezuela, the Dominican Republic, Panamá and Costa Rica. The goal was to promote progress in Mathematics Education in the region; as such it was a unique experience in the region. One of the most important results of this event was the creation of the Mathematics Education Network of Central America and the Caribbean (REDUMATE). It was organized by persons associated with the Mathematics Education Reform Project in Costa Rica (responsible for the most outstanding and innovative curriculum reform in Latin America) and the Inter-American Committee on Mathematics Education (IACME), which is an official regional multinational organization affiliate of ICMI. This book brings to the international Educational Community an important collection of experiences and ideas in the Mathematics Education of four countries of a region within the heart of the American continent, a region that has been many times forgotten. The dissemination of these results can promote the search for international collaborative actions in a wider scale.
    Keywords: Mathematics Education ; International and Comparative Education ; Education Policy ; Mathematics Teacher Preparation in Central America ; Mathematics Education in Central America and the Caribean ; Mathematics Teachers in Latin America ; Capacity and Networking Project CANP ; REDUMATE ; Mathematics Education Reform Project Costa Rica ; IACME ; Mathematics Education Colombia ; Mathematics Education Dominican Republic ; Mathematics Education Costa Rica ; Mathematics Education Venezuela ; 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 ; thema EDItEUR::J Society and 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::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 13
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: Theory of Computation ; Special Purpose and Application-Based Systems ; Computer System Implementation ; Control Structures and Microprogramming ; Mathematics of Computing ; open access ; specification and verification techniques ; software and hardware verification ; SAT and SMT solving ; theorem proving ; model checking ; static and dynamic program analysis ; testing ; system construction and transformation techniques ; tool environments and tool architectures ; abstraction techniques for modeling and verification ; compositional and refinement-based methodologies ; mathematics ; software engineering ; software design ; architecting ; software architecture ; embedded systems ; automata theory ; linguistics ; Computer science ; Mathematical theory of computation ; Expert systems / knowledge-based systems ; Systems analysis & design ; Algorithms & data structures ; Maths for computer scientists ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 14
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Logic in AI ; Information Systems and Communication Service ; Computer Engineering and Networks ; architecture verification and validation ; artificial intelligence ; automata theory ; computer networks ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; model-checking ; SAT and SMT solving ; signal processing ; software and hardware verification ; software architecture ; software engineering ; specification and verification techniques ; static and dynamic program analysis ; system construction and transforamtion techniques ; theorem-proving ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 15
    facet.materialart.
    Unknown
    Cultural Competence and the Higher Education Sector (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book explores cultural competence in the higher education sector from multi-disciplinary and inter-disciplinary perspectives. It addresses cultural competence in terms of leadership and the role of the higher education sector in cultural competence policy and practice. Drawing on lessons learned, current research and emerging evidence, the book examines various innovative approaches and strategies that incorporate Indigenous knowledge and practices into the development and implementation of cultural competence, and considers the most effective approaches for supporting cultural competence in the higher education sector. This book will appeal to researchers, scholars, policy-makers, practitioners and general readers interested in cultural competence policy and practice.
    Keywords: Higher Education ; Educational Policy and Politics ; Ethnicity in Education ; Sociology of Education ; open access ; Indigenous higher education ; student equity ; student transition ; higher education policy ; Indigenous research ; community engagement ; cultural competency policy and practices ; developing cultural competency in higher education ; implementing cultural competency in higher education ; culturally competent leadership ; culturally responsive pedagogy ; diversity, social justice, equity and inclusion ; culturally competent service learning ; Higher & further education, tertiary education ; Educational strategies & policy ; Education ; Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 16
    facet.materialart.
    Unknown
    Tools and Algorithms for the Construction and Analysis of Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 27th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2021, which was held during March 27 – April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The total of 41 full papers presented in the proceedings was carefully reviewed and selected from 141 submissions. The volume also contains 7 tool papers; 6 Tool Demo papers, 9 SV-Comp Competition Papers. The papers are organized in topical sections as follows: Part I: Game Theory; SMT Verification; Probabilities; Timed Systems; Neural Networks; Analysis of Network Communication. Part II: Verification Techniques (not SMT); Case Studies; Proof Generation/Validation; Tool Papers; Tool Demo Papers; SV-Comp Tool Competition Papers.
    Keywords: Theory of Computation ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Software Engineering ; Computer Engineering and Networks ; architecture verification and validation ; automata theory ; computer systems ; distributed computer systems ; embedded systems ; formal logic ; mathematics ; model checking ; model-checking ; parallel processing systems ; SAT and SMT solving ; software architecture ; static and dynamic program analysis ; theorem-proving ; verification and validation ; Computer science ; Mathematical theory of computation ; Computer networking & communications ; Algorithms & data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 17
    facet.materialart.
    Unknown
    Supercomputing Frontiers (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 6th Asian Supercomputing Conference, SCFA 2020, which was planned to be held in February 2020, but unfortunately, the physical conference was cancelled due to the COVID-19 pandemic. The 8 full papers presented in this book were carefully reviewed and selected from 22 submissions. They cover a range of topics including file systems, memory hierarchy, HPC cloud platform, container image configuration workflow, large-scale applications, and scheduling.
    Keywords: Computer Systems Organization and Communication Networks ; Image Processing and Computer Vision ; Control Structures and Microprogramming ; Input/Output and Data Communications ; Operating Systems ; Information Systems and Communication Service ; Computer Engineering and Networks ; Computer Vision ; Database Management System ; computer hardware ; computer networks ; computer systems ; distributed computer systems ; distributed systems ; embedded systems ; hpc ; image processing ; microprocessor chips ; network protocols ; parallel architectures ; parallel processing systems ; processors ; signal processing ; telecommunication networks ; telecommunication systems ; telecommunication traffic ; open access ; Computer networking & communications ; Image processing ; Computer vision ; Algorithms & data structures ; Distributed databases ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYT Image processing ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 18
    facet.materialart.
    Unknown
    Primary and Secondary Education During Covid-19 (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access edited volume is a comparative effort to discern the short-term educational impact of the covid-19 pandemic on students, teachers and systems in Brazil, Chile, Finland, Japan, Mexico, Norway, Portugal, Russia, Singapore, Spain, South Africa, the United Kingdom and the United States. One of the first academic comparative studies of the educational impact of the pandemic, the book explains how the interruption of in person instruction and the variable efficacy of alternative forms of education caused learning loss and disengagement with learning, especially for disadvantaged students. Other direct and indirect impacts of the pandemic diminished the ability of families to support children and youth in their education. For students, as well as for teachers and school staff, these included the economic shocks experienced by families, in some cases leading to food insecurity and in many more causing stress and anxiety and impacting mental health. Opportunity to learn was also diminished by the shocks and trauma experienced by those with a close relative infected by the virus, and by the constrains on learning resulting from students having to learn at home, where the demands of schoolwork had to be negotiated with other family necessities, often sharing limited space. Furthermore, the prolonged stress caused by the uncertainty over the resolution of the pandemic and resulting from the knowledge that anyone could be infected and potentially lose their lives, created a traumatic context for many that undermined the necessary focus and dedication to schoolwork. These individual effects were reinforced by community effects, particularly for students and teachers living in communities where the multifaceted negative impacts resulting from the pandemic were pervasive. This is an open access book.
    Keywords: Open Access ; Education and Covid-19 ; Educational Inequality ; Education Disruption ; Education Policy ; Education Technology ; Comparative Education ; Remote learning ; Schooling during a pandemic ; Distance teaching ; post-pandemic educational policies ; Homeschooling during Pendemic ; understanding Inequities in Instruction and Learning ; Education in the times of Covid-19 ; Unequal Impacts of COVID-19 ; 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::JNZ Study & learning skills: general ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education ; 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::JNZ Study and learning skills: general ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 19
    facet.materialart.
    Unknown
    The Promise of Higher Education (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This book is a collection of short essays, accessible through open access, which takes the interested reader on a tour across the global higher education landscape. It addresses pertinent themes and challenges in higher education. To mark the 70th anniversary of the International Association of Universities (IAU) and its role in higher education since 1950, experts from around the world share their insights into higher education’s recent past, present and future. The book is divided into six parts: Part I – “70 years of Higher Education Cooperation and Advocacy” looks back at key events in IAU’s history, its mission and significant activities over time, and remarks on the current global context informing its quest to promote academic partnerships and solidarity on a global scale. Part II – “Facilitating International Cooperation” provides for different perspectives on the transformation of the internationalisation of higher education and the contribution of higher education to international cooperation. Part III – “Coding the Values” debates the values upon which higher education was, is and will have to be built to provide for a democratic and inclusive society. Part IV – “The Changing Landscape” analyses various aspects of the transformation of higher education in an evolving context across the globe. Part V – “The Promise of Education” reflects on the role of higher education, its ideals and shortfalls and what it must do to stay true to its promise to help shape our societies. Part VI – “Opening up – The Future of Higher Education” focuses on future scenarios of higher education and call on the reader to envision a different kind of higher education and reimagine the contribution of higher education to society, as well as future roles for the IAU. The book will be of interest to higher education policy makers and academics. It is also of interest to the general public, as it provides a comprehensive overview of the challenges higher education institutions currently face and suggests scenarios of what the future of education might look like.
    Keywords: Open access ; International Association of Universities ; Relevance and value of higher education ; Fundamental principles of higher education ; International co-operation for higher education ; Changing landscape of universities ; IAU principles ; 70 years of IAU ; 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 ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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
  • 20
    facet.materialart.
    Unknown
    Improving Inclusive Education through Universal Design for Learning (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access international scientific study provides an analysis of how the educational strategy of Universal Design for Learning can stimulate the process of inclusive education in different educational-cultural contexts and different areas of the educational system. The findings of the research deepen the conception of inclusive education and present an analysis of factors that are significant for developing the educational system as well as providing evidence-based recommendations for educational practice. The research for this work was done in four European countries with various historical-cultural contexts: Lithuania and Poland underwent a transformation of the educational systems at the turning point in their political system, shifting from a strictly centralized Soviet policy to a liberal and democratic education system; Austria has experienced changes in social stratification and a need for cultural harmonisation arising from active national migration processes, whereas Finland has been gradually developing a socio-democratic model of national welfare. The analysis of the educational processes in the four countries has been performed using a qualitative action research method. The researchers, in cooperation with the teachers from the selected schools in their country, have implemented the strategy of Universal Design for Learning and assessed its transformation indicators in terms of the quality of inclusive education components.
    Keywords: Open Access ; globalisation ; migration ; educational inclusion ; self-regulated learning ; neuroscience ; re-interpretation of inclusive education ; action research strategy ; Modern School Education in Poland ; Teaching-Learning Process ; Polish language, mathematics and history teaching ; Validation of the Action Research Model ; Purposeful and Motivated Student ; Knowledgeable and Resourceful Student ; pupil’s learning barriers ; Strategic and Goal-Directed Student ; Observation of the educational process ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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
  • 21
    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 ; Artificial Intelligence ; Computer Systems Organization and Communication Networks ; Computer Hardware ; Simulation and Modeling ; Computer Engineering and Networks ; Computer Science ; architecture verification and validation ; artificial intelligence ; automata theory ; computer systems ; correlation analysis ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; model checking ; programming languages ; semantics ; software architecture ; software design ; software quality ; verification and validation ; Open Access ; Computer science ; Mathematical theory of computation ; Artificial intelligence ; Computer networking & communications ; Computer hardware ; Computer modelling & simulation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 22
    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 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic. The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; Data Structures and Information Theory ; Natural Language Processing (NLP) ; Programming Techniques ; Theory of Computation ; Software Engineering ; architecture verification and validation ; artificial intelligence ; embedded systems ; empirical software validation ; formal logic ; formal methods ; model checking ; model-driven software engineering ; object-oriented programming ; parallel processing systems ; program analysis ; program compilers ; signal processing ; software architecture ; software performance ; software selection and adaptation ; software testing and debugging ; telecommunication systems ; verification ; Operating systems ; Algorithms & data structures ; Information theory ; Natural language & machine translation ; Computer programming / software engineering ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 23
    facet.materialart.
    Unknown
    A Journey of Embedded and Cyber-Physical Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-11
    Description: This Open Access book celebrates Professor Peter Marwedel's outstanding achievements in compilers, embedded systems, and cyber-physical systems. The contributions in the book summarize the content of invited lectures given at the workshop “Embedded Systems” held at the Technical University Dortmund in early July 2019 in honor of Professor Marwedel's seventieth birthday. Provides a comprehensive view from leading researchers with respect to the past, present, and future of the design of embedded and cyber-physical systems; Discusses challenges and (potential) solutions from theoreticians and practitioners on modeling, design, analysis, and optimization for embedded and cyber-physical systems; Includes coverage of model verification, communication, software runtime systems, operating systems and real-time computing.
    Keywords: Circuits and Systems ; Cyber-physical systems, IoT ; Electronics and Microelectronics, Instrumentation ; Electronic Circuits and Systems ; Cyber-Physical Systems ; cyber-physical systems ; embedded systems ; model verification ; software runtime systems ; real-time computing ; open-access embedded systems ; Electronics: circuits & components ; Electrical engineering ; Cybernetics & systems theory ; Electronics engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering::TJFC Electronics: circuits and components ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TJ Electronics and communications engineering::TJF Electronics engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 24
    facet.materialart.
    Unknown
    Evidence-Based School Development in Changing Demographic Contexts (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This Open Access book features a school development model (Arizona Initiative for Leadership Development and Research – AZiLDR) that offers a roadmap for schools to navigate the complexities of continuous school development. Filled with processes that balance evidence-based values with democratic, culturally responsive values, this book offers strategies to mediate the tensions and to address school culture, context and values, leadership capacity, using data as a source of reflection, curricular and pedagogical activity, and strengths-based approaches to meeting the needs of culturally diverse students. You will find: · - Active, reflective activities · - Case studies illustrating each concept · - The research base supporting each concept · - Descriptions of processes from other contexts (South Carolina, Germany, Australia, Sweden) · - Thoughts about next steps for contextually sensitive and multi-level school development · - Suggestions for cross-national dialogue and research within the Zone of Uncertainty Use this ideal source to guide school leadership teams in creating productive schools that continually grow!
    Keywords: leadership development ; Leadership teams ; Leadership capacity ; School improvement ; Leadership coaching ; open access ; Culturally responsive schooling ; Evidence-based policy ; Multi-level leadership ; International school development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education ; thema EDItEUR::J Society and Social Sciences::JN Education::JND Educational systems and structures::JNDG Curriculum planning and development
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 25
    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
  • 26
    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
  • 27
    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
  • 28
    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
  • 29
    facet.materialart.
    Unknown
    Programming Languages and Systems (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 29th European Symposium on Programming, ESOP 2020, which was planned to take place in Dublin, Ireland, in April 2020, as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The actual ETAPS 2020 meeting was postponed due to the Corona pandemic. The papers deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Computer Systems Organization and Communication Networks ; Control Structures and Microprogramming ; Information Systems and Communication Service ; Natural Language Processing (NLP) ; Theory of Computation ; artificial intelligence ; computer networks ; computer programming ; computer security ; distributed computer systems ; embedded systems ; formal languages ; formal logic ; linguistics ; mathematics ; model checking ; object-oriented programming ; parallel processing systems ; program compilers ; semantics ; software architecture ; software design ; software engineering ; software quality ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Computer networking & communications ; Algorithms & data structures ; Natural language & machine translation ; Computer science ; Mathematical theory of computation ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMB Algorithms and data structures ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQL Natural language and machine translation ; thema EDItEUR::U Computing and Information Technology::UY Computer science
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 30
    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
  • 31
    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
  • 32
    facet.materialart.
    Unknown
    University and School Collaborations during a Pandemic (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: Based on twenty case studies of universities worldwide, and on a survey administered to leaders in 101 universities, this open access book shows that, amidst the significant challenges caused by the COVID-19 pandemic, universities found ways to engage with schools to support them in sustaining educational opportunity. In doing so, they generated considerable innovation, which reinforced the integration of the research and outreach functions of the university. The evidence suggests that universities are indeed open systems, in interaction with their environment, able to discover changes that can influence them and to change in response to those changes. They are also able, in the success of their efforts to mitigate the educational impact of the pandemic, to create better futures, as the result of the innovations they can generate. This challenges the view of universities as “ivory towers” being isolated from the surrounding environment and detached from local problems. As they reached out to schools, universities not only generated clear and valuable innovations to sustain educational opportunity and to improve it, this process also contributed to transform internal university processes in ways that enhanced their own ability to deliver on the third mission of outreach.
    Keywords: Open Access ; Higher Education Leadership ; educational innovation ; Leading learning during crises ; pandemic of 2020 ; university teaching during COVID-19 ; educational continuity ; online platforms for students and teachers ; Professional development ; Instructional resources ; socio-emotional support to students ; Organizational learning and innovation ; Engaging university students during COVID-19 ; educational impact of the pandemic ; school system during the COVID-19 pandemic in Chile ; Elementary and Secondary Learning during COVID-19 in China ; basic and secondary education in Colombia during the pandemic ; distance learning for K12 education in Japan ; upper-secondary education during the pandemic ; University - K12 collaboration during the pandemic in Turkey ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education ; bic Book Industry Communication::J Society & social sciences::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::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNK Educational administration and organization ; thema EDItEUR::J Society and Social Sciences::JN Education::JNF Educational strategies and policy ; thema EDItEUR::J Society and Social Sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    E-BOOK
  • 33
    facet.materialart.
    Unknown
    Student Feedback on Teaching in Schools (2021)
    Springer Nature | Springer
    Details
    Publication Date: 2024-03-29
    Description: This open access book provides a comprehensive and informative overview of the current state of research about student perceptions of and student feedback on teaching. After presentation of a new student feedback process model, evidence concerning the validity and reliability of student perceptions of teaching quality is discussed. This is followed by an overview of empirical research on the effects of student feedback on teachers and instruction in different contexts, as well as on factors promoting the successful implementation of feedback in schools. In summary, the findings emphasize that student perceptions of teaching quality can be a valid and reliable source of feedback for teachers. The effectiveness of student feedback on teaching is significantly related to its use in formative settings and to a positive feedback culture within schools. In addition, it is argued that the effectiveness of student feedback depends very much on the support for teachers when making use of the feedback. As this literature review impressively documents, teachers in their work - and ultimately students in their learning - can benefit substantially from student feedback on teaching in schools. “This book reviews what we know about student feedback to teachers. It is detailed and it is a pleasure to read. To have these chapters in one place – and from those most up to date with the research literature and doing the research - is a gift.” John Hattie
    Keywords: Student Perception of Teaching Quality ; Student Feedback ; Teacher Development ; Teacher Professionalization ; School Accountability ; School Assessments ; School Improvement ; Teacher Education ; Student Perception for Development of Education ; Student Voice ; Student Ratings of Instruction ; Student Ratings of Classroom Climate ; Classroom Observation Measures ; Teaching Effectiveness ; Teaching Quality in Primary School ; Student Surveys ; Data Use in Schools ; Open Access ; 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 ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JND Educational systems and structures::JNDH Education: examinations and assessment ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::J Society and Social Sciences::JN Education ; 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
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...