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
  • 04.08. Volcanology  (68)
  • 04.06. Seismology  (38)
  • thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence  (35)
  • bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy  (21)
  • Software Engineering  (16)
  • Creep observations and analysis
  • Triticum aestivum
  • Springer  (88)
  • Elsevier  (53)
  • Wiley-AGU  (14)
  • Nature PG  (12)
  • EGU - Copernicus
  • Wiley
  • 2020-2024  (156)
  • 2015-2019  (16)
Collection
Keywords
Publisher
Language
Years
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: 2024-04-14
    Description: This open access book proposes a novel approach to Artificial Intelligence (AI) ethics. AI offers many advantages: better and faster medical diagnoses, improved business processes and efficiency, and the automation of boring work. But undesirable and ethically problematic consequences are possible too: biases and discrimination, breaches of privacy and security, and societal distortions such as unemployment, economic exploitation and weakened democratic processes. There is even a prospect, ultimately, of super-intelligent machines replacing humans. The key question, then, is: how can we benefit from AI while addressing its ethical problems? This book presents an innovative answer to the question by presenting a different perspective on AI and its ethical consequences. Instead of looking at individual AI techniques, applications or ethical issues, we can understand AI as a system of ecosystems, consisting of numerous interdependent technologies, applications and stakeholders. Developing this idea, the book explores how AI ecosystems can be shaped to foster human flourishing. Drawing on rich empirical insights and detailed conceptual analysis, it suggests practical measures to ensure that AI is used to make the world a better place.
    Keywords: Artificial Intelligence ; Ethics ; Computers and Society ; Philosophy of Technology ; Business Ethics ; Applied Ethics ; Ethics of Technology ; Computer Ethics ; Information Ethics ; Responsible Research and Innovation ; Innovation Ecosystem ; Engineering Ethics ; Corporate Social Responsibility ; Open Access ; Ethics & moral philosophy ; Ethical & social aspects of IT ; Philosophy ; Business ethics & social responsibility ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTQ Ethics and moral philosophy ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics::UBJ Digital and information technologies: social and ethical aspects ; thema EDItEUR::Q Philosophy and Religion::QD Philosophy ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJG Business ethics and social responsibility
    Language: English
    Format: image/png
    Format: image/jpeg
    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 as one of the fastest-growing areas of research in machine learning, metalearning studies principled methods to obtain efficient models and solutions by adapting machine learning and data mining processes. This adaptation usually exploits information from past experience on other tasks and the adaptive processes can involve machine learning approaches. As a related area to metalearning and a hot topic currently, automated machine learning (AutoML) is concerned with automating the machine learning processes. Metalearning and AutoML can help AI learn to control the application of different learning methods and acquire new solutions faster without unnecessary interventions from the user. This book offers a comprehensive and thorough introduction to almost all aspects of metalearning and AutoML, covering the basic concepts and architecture, evaluation, datasets, hyperparameter optimization, ensembles and workflows, and also how this knowledge can be used to select, combine, compose, adapt and configure both algorithms and models to yield faster and better solutions to data mining and data science problems. It can thus help developers to develop systems that can improve themselves through experience. This book is a substantial update of the first edition published in 2009. It includes 18 chapters, more than twice as much as the previous version. This enabled the authors to cover the most relevant topics in more depth and incorporate the overview of recent research in the respective area. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining, data science and artificial intelligence. ; Metalearning is the study of principled methods that exploit metaknowledge to obtain efficient models and solutions by adapting machine learning and data mining processes. While the variety of machine learning and data mining techniques now available can, in principle, provide good model solutions, a methodology is still needed to guide the search for the most appropriate model in an efficient way. Metalearning provides one such methodology that allows systems to become more effective through experience. This book discusses several approaches to obtaining knowledge concerning the performance of machine learning and data mining algorithms. It shows how this knowledge can be reused to select, combine, compose and adapt both algorithms and models to yield faster, more effective solutions to data mining problems. It can thus help developers improve their algorithms and also develop learning systems that can improve themselves. The book will be of interest to researchers and graduate students in the areas of machine learning, data mining and artificial intelligence.
    Keywords: Metalearning ; Automating Machine Learning (AutoML) ; Machine Learning ; Artificial Intelligence ; algorithm selection ; algorithm recommendation ; algorithm configuration ; hyperparameter optimization ; automating the workflow/pipeline design ; metalearning in ensemble construction ; metalearning in deep neural networks ; transfer learning ; algorithm recommendation for data streams ; automating data science ; Open Access ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNF Data mining ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence::UYQM Machine learning
    Language: English
    Format: image/jpeg
    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 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 ...
  • 6
    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 ...
  • 7
    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 ...
  • 8
    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 ...
  • 9
    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 ...
  • 10
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...