ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications  (24)
  • thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering  (22)
  • bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy  (21)
  • Springer  (54)
  • American Chemical Society (ACS)
  • Blackwell Publishing Ltd
  • CRC Press
  • 2020-2024  (58)
Collection
Keywords
Language
Years
  • 2020-2024  (58)
Year
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was carefully reviewed and selected from 155 submissions. The papers are organized in topical sections as follows: Part I: Program verification; SAT and SMT; Timed and Dynamical Systems; Verifying Concurrent Systems; Probabilistic Systems; Model Checking and Reachability; and Timed and Probabilistic Systems. Part II: Bisimulation; Verification and Efficiency; Logic and Proof; Tools and Case Studies; Games and Automata; and SV-COMP 2020.
    Keywords: 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 ...
  • 2
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-03-16
    Description: This open access book includes a series of relevant policy research articles, elaborared in the framework of the “Quality in higher education: internationalisation and databases to enhance the Romanian education system” project, implemented by the Executive Agency for Higher Education, Research, Development and Innovation Funding (UEFISCDI), together with the Ministry of Education. The project aims to develop and implement systemic measures at tertiary education level, leading to an increased quality of the overall higher education system and universities better prepared for labour market requirements and international standards. The book focuses on areas of interest for Romanian higher education, such as systemic measures to improve access, participation and completion for (vulnerable) students, better promotion of the Romanian higher education to attract students, as well as instruments for a more efficient use of data at higher education level. Each article includes evidence-based policy proposals that could support new strategic initiatives in higher education, including new legislation. Additionally, the collection of articles tells a comprehensive story about the audacity of a higher education system which went through significant challenges to align itself with both European and international trends, as well as respond to national imperatives. Over the last three decades, since the fall of the Iron Curtain, Romanian higher education has undergone significant transformations, aiming to align itself to the latest developments and trends at European and international level. The National Law on Education no. 1/2011 has set the stage for a full implementation of the Bologna Process action lines, taking into account that Romania was already a part of the largest European intergovernmental process – currently the European Higher Education Area (EHEA) – as a founding member. However, since the adoption of this normative framework, the law suffered numerous amendments, making it challenging to observe and achieve coherence in its implementation. Furthermore, Romania is also currently redesigning the strategy for the alocation of European structural funds 2021-2027, based on two strategic documents - the new Education and Employment Operational Programme and the National Recovery and Resilience Plan which highlight the reform and investment priorities at a national level. At the same time, 2021 is a good time to analyze the level of implementation for the objectives and measures included in the National Strategy for Tertiary Education 2015-2020, the Europe 2020 Strategy, and the Bologna Process action lines in the 2010 – 2020 timeframe. Therefore, the present moment may be an important time to assess the impact of strategic documents and actions in the last decade and, possibly, to draft a new National Education Law, better adapted to current realities, starting from the recent initiative by the President of Romania – the Educated Romania strategic vision which was also politically assumed by the Romanian Government.
    Keywords: Romanian Higher Education ; Future Direction of European Higher Education ; Internationalization of Higher Education ; Digital Technology in Higher Education ; Educational Policy Romania ; European Policies Higher 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 ; 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 ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access handbook brings together the latest research from a wide range of internationally influential scholars to analyze educational policy research from international, historical and interdisciplinary perspectives. By effectively breaking through the boundaries between countries and disciplines, it presents new theories, techniques and methods for contemporary education policy, and illustrates the educational policies and educational reform practices that various countries have introduced to meet the challenges of continuous change. This volume focuses on policies and changes in schools and classrooms. The studies on school changes present the differences in the policies and challenges of K-12 schools and universities in different countries and regions, and in connection with the contradictions and conflicts between tradition and modernization, as well as the changing roles of various stakeholders, especially that of teachers. In terms of curriculum and instruction, many countries have undertaken experiments and introduced changes based on two major themes: “what to teach” and “how to teach”. International education assessments represented by PISA not only promote the improvement and extensive application of educational assessment and testing techniques, but have also had far-reaching impacts on education policies and education reforms in many countries. Focusing on the changes in educational policies at the micro level, this volume comprehensively reveals the complex interactions between school organizations, teachers, curricula, teaching and learning, evaluation and other elements within the education system, as well as the latest related reforms worldwide. ; Brings together in a single volume a collection of international scholars from multiple disciplines Pushes the boundaries of education policy studies through its insightful analyses Equips readers to handle the complexities of policy research by employing critical thinking
    Keywords: Educational Policy and Politics ; International and Comparative Education ; International assessments ; Globalization and educational reform ; International cooperation ; International "agents" in modernizing ; Educational change ; The politics of education ; International/ transnational studies ; Historical studies ; Cultural diversity ; Regional differences ; Open Access ; 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
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer’s series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA’s first funding phase, and provides an overview of SPPEXA’s contributions towards exascale computing in today's sumpercomputer technology. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.
    Keywords: Simulation and Modeling ; Performance and Reliability ; Computational Science and Engineering ; Input/Output and Data Communications ; Mathematical and Computational Engineering ; Numerical and Computational Physics, Simulation ; Computer Science ; Computer Hardware ; Mathematical and Computational Engineering Applications ; Theoretical, Mathematical and Computational Physics ; open access ; computational algorithms and numerical methods ; data management and exploration ; high-performance computing ; simulation software and applications ; system software and software tools ; Computer modelling & simulation ; Systems analysis & design ; Maintenance & repairs ; Maths for scientists ; Computer networking & communications ; Distributed databases ; Maths for engineers ; Mathematical physics ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYM Computer modelling and simulation ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::P Mathematics and Science::PD Science: general issues::PDE Maths for scientists ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBJ Maths for engineers ; thema EDItEUR::P Mathematics and Science::PH Physics::PHU Mathematical physics
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book explores the transformative experiences of participants in the University of Sydney’s National Centre for Cultural Competence (NCCC) programs. The establishment of the NCCC was viewed as a critical point of departure for developing an institution-wide agenda of cultural competence. The NCCC’s work since its inception reflects efforts to lay important foundations for cultural change at the University. With the ultimate aim of establishing cultural competence as an agent for transformational change and social justice education, the NCCC has steadily expanded its research and teaching work both within and beyond the University of Sydney. Further, it has developed foundational resources to support and encourage University staff to integrate cultural competence philosophy and pedagogy in their curricula, teaching and research. This includes the ability to engage meaningfully with the cultures, histories and contemporary issues in Aboriginal and Torres Strait Islander communities. The NCCC programs have been designed to encourage participants to learn about who they are and how they can positively impact the transformational change the University has begun. The book presents participants’ reflections on their experiences at the organisational and personal level. Readers will gain insights into a range of topics including cultural competence, communities of practice, policy implementation, and transformative leadership at the interface between higher education and professional lives.
    Keywords: Higher Education ; Sociology of Education ; Educational Policy and Politics ; Education Policy ; Cultural competence in the higher education sector ; Transformative leadership in professional development programs ; Intercultural capabilities for academic and professional staff ; cultural competence for academic and professional staff ; Cultural competence embedded in professional lives ; transformative nature of professional development programs ; building communities of practice ; policy implementation in the higher education sector ; critical reflection and transformative leadership ; learning cultural competence ; best practices for professional development programs ; culturally competent organisational wide ; Open Access ; Higher & further education, tertiary education ; Education ; Social research & statistics ; Educational strategies & policy ; Central / national / federal government policies ; 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 ; 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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 7
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access State-of-the-Art Survey presents the main recent scientific outcomes in the area of reversible computation, focusing on those that have emerged during COST Action IC1405 "Reversible Computation - Extending Horizons of Computing", a European research network that operated from May 2015 to April 2019. Reversible computation is a new paradigm that extends the traditional forwards-only mode of computation with the ability to execute in reverse, so that computation can run backwards as easily and naturally as forwards. It aims to deliver novel computing devices and software, and to enhance existing systems by equipping them with reversibility. There are many potential applications of reversible computation, including languages and software tools for reliable and recovery-oriented distributed systems and revolutionary reversible logic gates and circuits, but they can only be realized and have lasting effect if conceptual and firm theoretical foundations are established first.
    Keywords: Logic Design ; Computer System Implementation ; Computer Communication Networks ; Special Purpose and Application-Based Systems ; Software Engineering ; Operating Systems ; open access ; reversible computation ; semantics of reversible computation ; formal methods ; models of computation ; circuit design ; simulation ; robotics ; debugging ; quantum computing ; wireless communications ; programming languages ; dependability ; modelling of biochemical systems ; computer networks ; engineering ; software engineering ; parallel processing systems ; theoretical computer science ; Computer architecture & logic design ; Systems analysis & design ; Network hardware ; Expert systems / knowledge-based systems ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYF Computer architecture and logic design ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UL Operating systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This Open Access book presents the results of the "Collaborative Embedded Systems" (CrESt) project, aimed at adapting and complementing the methodology underlying modeling techniques developed to cope with the challenges of the dynamic structures of collaborative embedded systems (CESs) based on the SPES development methodology. In order to manage the high complexity of the individual systems and the dynamically formed interaction structures at runtime, advanced and powerful development methods are required that extend the current state of the art in the development of embedded systems and cyber-physical systems. The methodological contributions of the project support the effective and efficient development of CESs in dynamic and uncertain contexts, with special emphasis on the reliability and variability of individual systems and the creation of networks of such systems at runtime. The project was funded by the German Federal Ministry of Education and Research (BMBF), and the case studies are therefore selected from areas that are highly relevant for Germany’s economy (automotive, industrial production, power generation, and robotics). It also supports the digitalization of complex and transformable industrial plants in the context of the German government's "Industry 4.0" initiative, and the project results provide a solid foundation for implementing the German government's high-tech strategy "Innovations for Germany" in the coming years.
    Keywords: Software Engineering ; Software Management ; Automotive Engineering ; Special Purpose and Application-Based Systems ; IT in Business ; Model-Driven Software Development ; Requirements Engineering ; Automotive Software Engineering ; Embedded Systems ; Open Access ; SPES Methodology ; Simulation ; Co-Design of Systems ; Business mathematics & systems ; Business applications ; Automotive technology & trades ; Automotive (motor mechanic) skills ; Expert systems / knowledge-based systems ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TR Transport technology and trades::TRC Automotive technology and trades ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQE Expert systems / knowledge-based systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg and changed to an online format due to the COVID-19 pandemic. The 24 papers included in this volume were carefully reviewed and selected from 79 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
    Keywords: Programming Languages, Compilers, Interpreters ; Natural Language Processing (NLP) ; Software Engineering ; Logics and Meanings of Programs ; Computer Systems Organization and Communication Networks ; Compilers and Interpreters ; Computer Science Logic and Foundations of Programming ; Computer Engineering and Networks ; computer programming ; concurrency theory ; distributed computer systems ; formal logic ; lamdba calculi ; linguistics ; logic ; object-oriented programming ; parallel processing systems ; probabilistic programming ; process calculi ; program compilers ; semantics ; software design ; software quality ; theory ; types ; verification and validation ; Programming & scripting languages: general ; Compilers & interpreters ; Natural language & machine translation ; Computer programming / software engineering ; Computer architecture & logic design ; Computer networking & communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMX Programming and scripting languages: general ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering ; thema EDItEUR::U Computing and Information Technology::UT Computer networking and communications
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-05-02
    Description: This open access book takes a critical and international perspective to the mainstreaming of the Global Citizenship Concept and analyses the key issues regarding global citizenship education across the world. In that respect, it addresses a pressing need to provide further conceptual input and to open global citizenship agendas to diversity and indigeneity. Social and political changes brought by globalisation, migration and technological advances of the 21st century have generated a rise in the popularity of the utopian and philosophical idea of global citizenship. In response to the challenges of today’s globalised and interconnected world, such as inequality, human rights violations and poverty, global citizenship education has been invoked as a means of preparing youth for an inclusive and sustainable world. In recent years, the development of global citizenship education and the building of students’ global citizenship competencies have become a focal point in global agendas for education, international educational assessments and international organisations. However, the concept of global citizenship education still remains highly contested and subject to multiple interpretations, and its operationalisation in national educational policies proves to be challenging. This volume aims to contribute to the debate, question the relevancy of global citizenship education’s policy objectives and to enhance understanding of local perspectives, ideologies, conceptions and issues related to citizenship education on a local, national and global level. To this end, the book provides a comprehensive and geographically based overview of the challenges citizenship education faces in a rapidly changing global world through the lens of diversity and inclusiveness. ;
    Keywords: International and Comparative Education ; Social Justice, Equality and Human Rights ; Sociology of Education ; Environmental and Sustainability Education ; Educational Policy and Politics ; Human Rights ; Global social justice in education ; Global Citizenship Education GCE ; Preparing youth for a sustainable world ; 2030 Agenda for Sustainable Development ; United Nations ; Citizenship education ; Intercultural education ; Multicultural education ; Education for sustainable development ; Education for social justice ; Global competence ; International educational policies ; UNESCO ; Open Access ; Education ; Politics & government ; Social research & statistics ; Sustainability ; Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...