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
  • Books  (68)
  • Education  (29)
  • Software Engineering  (16)
  • Sustainability  (16)
  • software architecture  (15)
  • Cell & Developmental Biology
  • Chemical Engineering
  • Humans
  • Inorganic Chemistry
  • Springer  (66)
  • White Rose University Press
Collection
Language
Years
  • 1
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book provides an overview of the dissertations of the eleven nominees for the Ernst Denert Award for Software Engineering in 2020. The prize, kindly sponsored by the Gerlind & Ernst Denert Stiftung, is awarded for excellent work within the discipline of Software Engineering, which includes methods, tools and procedures for better and efficient development of high quality software. An essential requirement for the nominated work is its applicability and usability in industrial practice. The book contains eleven papers that describe the works by Jonathan Brachthäuser (EPFL Lausanne) entitled What You See Is What You Get: Practical Effect Handlers in Capability-Passing Style, Mojdeh Golagha’s (Fortiss, Munich) thesis How to Effectively Reduce Failure Analysis Time?, Nikolay Harutyunyan’s (FAU Erlangen-Nürnberg) work on Open Source Software Governance, Dominic Henze’s (TU Munich) research about Dynamically Scalable Fog Architectures, Anne Hess’s (Fraunhofer IESE, Kaiserslautern) work on Crossing Disciplinary Borders to Improve Requirements Communication, Istvan Koren’s (RWTH Aachen U) thesis DevOpsUse: A Community-Oriented Methodology for Societal Software Engineering, Yannic Noller’s (NU Singapore) work on Hybrid Differential Software Testing, Dominic Steinhofel’s (TU Darmstadt) thesis entitled Ever Change a Running System: Structured Software Reengineering Using Automatically Proven-Correct Transformation Rules, Peter Wägemann’s (FAU Erlangen-Nürnberg) work Static Worst-Case Analyses and Their Validation Techniques for Safety-Critical Systems, Michael von Wenckstern’s (RWTH Aachen U) research on Improving the Model-Based Systems Engineering Process, and Franz Zieris’s (FU Berlin) thesis on Understanding How Pair Programming Actually Works in Industry: Mechanisms, Patterns, and Dynamics – which actually won the award. The chapters describe key findings of the respective works, show their relevance and applicability to practice and industrial software engineering projects, and provide additional information and findings that have only been discovered afterwards, e.g. when applying the results in industry. This way, the book is not only interesting to other researchers, but also to industrial software professionals who would like to learn about the application of state-of-the-art methods in their daily work.
    Keywords: Software Engineering ; Software Development ; Requirements Engineering ; Software Modeling ; Software Research ; Ernst Denert Award ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    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: 2024-04-16
    Description: This open access book provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar requires engagement with diverse areas of social-political, human, and environmental development. On the environmental aspects, the contributors address climate change, food security, water reuse and desalination, energy, and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics and sustainability innovators and catalysts. The human section considers economics, sustainability education, the knowledge economy, and waste management. In doing so, the book demarcates the ways in which the country encounters and grapples with significant challenges and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban and developmental studies, as well as the arenas of politics, climate change and policy, this book is a landmark collection on environmental policy in the Gulf and beyond. ; This volume provides a topical overview of the key sustainability issues in Qatar, focusing on environmental sustainability from a socio-political perspective. The transition to a sustainable Qatar weaves together pillars of social-political, human, and environmental development, and so this book tackles each aspect accordingly. In the environmental section, the contributors address climate change, food security, water reuse and desalination, energy, air quality and biodiversity. The socio-political section examines state strategy and regulation, the place of environmental law and geopolitics, and sustainability innovators and catalysts. The human section considers demographic trends and models, economics – including the circular economy and green finance – transport, the built environment, and waste management. In doing so, the volume demarcates the ways in which the country encounters and grapples with significant challenges, and delves into the range of options for future pathways to sustainability in Qatar. Relevant to policymakers and scholars in energy and environment, urban, and developmental studies, as well as the arenas of politics, climate change, and policy, this book is a landmark collection on environmental policy in the Gulf, and beyond.
    Keywords: Sustainability ; Qatar ; Middle East ; Gulf Studies ; Food Security ; Water Security ; Energy ; Development ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPP Public administration ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::G Reference, Information and Interdisciplinary subjects::GT Interdisciplinary studies::GTP Development studies ; thema EDItEUR::J Society and Social Sciences::JP Politics and government
    Language: English
    Format: image/jpeg
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2022-10-15
    Description: This open access book proposes an in-depth study on a vast range of issues connected to the regulation of Novel Foods in the European Union, pursuing an interdisciplinary approach and thus providing a comprehensive picture of this complex topic. Particular attention is paid not only to the current EU legislative framework, its positive innovations, unsolved problems and limits, but also to food safety issues and the potential impact of Novel Foods on sustainability and food security. In addition, the book focuses on a particular category of Novel Foods: insects for human consumption. These products recently gained momentum after the first EU Commission authorisation of dried yellow mealworm (Tenebrio molitor)in 2021. The book contributes to the lively public debate following this long-awaited authorisation by examining the legal issues arising from the application of the Novel Foods Regulation to these peculiar new foods; the EFSA risk assessment evaluations; the consumers’ perceptions and potential future of insect-based products’ market in the EU. By providing such an extensive analysis, including recent developments and future prospects, the book represents a valuable tool for students and academics, but also institutions and public authorities, helping them understanding the various challenges related to Novel Foods and edible insects. Furthermore, it seeks to promote an informed debate in order to find innovative solutions to pressing problems concerning how to feed the world of tomorrow.
    Keywords: Novel Foods ; EU Regulation 2015/2283 ; Edible Insects ; Food Safety ; EFSA ; Sustainability ; EU Food Market ; Innovation in the Agri-Food Sector ; Sustainable Food Chain ; EU Novel Food Regulatory Framework ; Consumers' Perception ; Food Law ; Circular Economy ; bic Book Industry Communication::L Law::LB International law ; bic Book Industry Communication::L Law::LB International law::LBB Public international law::LBBM International economic & trade law ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCL International economics ; bic Book Industry Communication::T Technology, engineering, agriculture::TD Industrial chemistry & manufacturing technologies::TDC Industrial chemistry::TDCT Food & beverage technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    facet.materialart.
    Unknown
    White Rose University Press | White Rose University Press
    Publication Date: 2022-12-06
    Description: In Hidden Depths, Professor Penny Spikins explores how our emotional connections have shaped human ancestry. Focusing on three key transitions in human origins, Professor Spikins explains how the emotional capacities of our early ancestors evolved in response to ecological changes, much like similar changes in other social mammals. For each transition, dedicated chapters examine evolutionary pressures, responses in changes in human emotional capacities and the archaeological evidence for human social behaviours. Starting from our earliest origins, in Part One, Professor Spikins explores how after two million years ago, movement of human ancestors into a new ecological niche drove new types of collaboration, including care for vulnerable members of the group. Emotional adaptations lead to cognitive changes, as new connections based on compassion, generosity, trust and inclusion also changed our relationship to material things. Part Two explores a later key transition in human emotional capacities occurring after 300,000 years ago. At this time changes in social tolerance allowed ancestors of our own species to further reach out beyond their local group and care about distant allies, making human communities resilient to environmental changes. An increasingly close relationship to animals, and even to cherished possessions, appeared at this time, and can be explained through new human vulnerabilities and ways of seeking comfort and belonging. Lastly, Part Three focuses on the contrasts in emotional dispositions arising between ourselves and our close cousins, the Neanderthals. Neanderthals are revealed as equally caring yet emotionally different humans, who might, if things had been different, have been in our place today. This new narrative breaks away from traditional views of human evolution as exceptional or as a linear progression towards a more perfect form. Instead, our evolutionary history is situated within similar processes occurring in other mammals, and explained as one in which emotions, rather than ‘intellect’, were key to our evolutionary journey. Moreover, changes in emotional capacities and dispositions are seen as part of differing pathways each bringing strengths, weaknesses and compromises. These hidden depths provide an explanation for many of the emotional sensitivities and vulnerabilities which continue to influence our world today.
    Keywords: Human demography ; Group size ; Lithic transfers ; Raw material movements ; Bonobos ; Dog burial ; Comfort ; Symbolic objects ; Symbolism ; Mobiliary art ; Attachment fluidity ; Hypersociability ; Human-animal relationships ; Dog domestication ; Attachment object ; Approachability ; Approach behaviour ; Avoidance behaviour ; Androgens ; Physiological responses ; Cognitive Archaeology ; Autism Spectrum Condition ; Handaxe ; Biface ; Neurodiversity ; Palaeolithic stone tools ; Evolution of neurodiversity ; Rock art ; Ice age art ; Material Culture ; Cultural transmission ; Emotional commitment ; Biopsychosocial approach ; Social tolerance ; Attachment ; Genus Homo ; Acheulian ; Cultural evolution ; Skeletal abnormality ; Injury ; Illness ; Interdependence ; Emotional sensitivity ; Moral emotions ; Evolution of Altruism ; Hominins ; Upper Palaeolithic ; Lower Palaeolithic ; Ecological niche ; Selective pressure ; Behavioural ecology ; Wolves ; Affective empathy ; Cognitive empathy ; Theory of mind ; Human Cognition ; Vulnerability ; Evolutionary Psychology ; Developmental psychology ; Helping behaviours ; Social cognition ; Social mammals ; Human Emotion ; Human social collaboration ; Generosity ; Emotional brain ; Social emotions ; Comparative behaviour ; Evolution ; Social carnivores ; Primate behavioural ecology ; Primate social systems ; Human Evolution ; Human ancestors ; Collaboration ; Evolutionary Biology ; Emotional vulnerability ; Social connection ; Decolonisation ; Social networks ; Middle Palaeolithic ; Community resilience ; Convergent evolution ; Chimpanzee ; Origin of modern humans ; Social safeness ; Wolf domestication ; Cherished possessions ; Compensatory attachment ; Loneliness ; Palaeolithic art ; Stress reactivity ; Bonding hormones ; Humans ; Hunter-gatherers ; Intergroup collaboration ; Tolerance ; Emotional connection ; Autism ; Trust ; Early Prehistory ; Palaeopathology ; Origins of healthcare ; Human self-domestication ; Palaeolithic Archaeology ; Social brain ; Care-giving ; Empathy ; Neanderthals ; Compassion ; Social Connection ; Evolution of Emotions ; Human Origins ; Adaptation ; Prehistory ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHM Anthropology ; bic Book Industry Communication::H Humanities::HD Archaeology ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAF Ecological science, the Biosphere ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PSA Life sciences: general issues::PSAJ Evolution ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPW Political activism::JPWQ Revolutionary groups & movements ; bic Book Industry Communication::J Society & social sciences::JM Psychology
    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: 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 ...
  • 6
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 7
    facet.materialart.
    Unknown
    White Rose University Press | White Rose University Press
    Publication Date: 2024-04-01
    Description: The Oral Healthcare community, including clinical professionals and industry, acknowledges the shared responsibility to deliver products and interventions that improve oral health in a more sustainable manner. To deliver this, the community is working in alignment with the UN Sustainable Development Goals. Key to establishing this collaborative stakeholder consensus is a deep contextual understanding of the challenge. This is achieved through a comprehensive account of the levels of awareness of the environmental impacts, the challenges to resolve these impacts together with the drivers and opportunities to promote sustainable practices. This report concludes with a strategic action framework that makes specific recommendations and identifies best practice to achieve these goals. The promotion of excellent oral healthcare and the development of a circular economy are core to this strategy. Additionally, it is also important to recognise the opportunities to collaborate across the sector, and throughout supply chains, to develop and promote sustainable practices to achieve meaningful and measurable environmental outcomes in the sector. In this context, the FDI World Dental Federation convened the development of this volume, Consensus on Environmentally Sustainable Oral Healthcare: A Joint Stakeholder Statement. This consensus statement brings together a global coalition of stakeholders, representing all aspects of industry, health professionals, experts, legislative authorities and governments. The statement uses a truly collaborative, multi-stakeholder approach to identify the major challenges facing oral healthcare, the complex drivers that underpin current behaviours and practices, and the best opportunities to improve and deliver sustainable oral healthcare for people and the planet. Concluding with an impactful and robust strategic action plan that crosses all boundaries, the statement identifies a series of actions and recommendations for best practice that address the sustainability issues facing the whole sector.
    Keywords: Dentistry ; Environment ; Sustainability ; Oral Health ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKE Dentistry ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TQ Environmental science, engineering and technology ; thema EDItEUR::N History and Archaeology::NH History::NHT History: specific events and topics::NHTD Oral history
    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-01
    Description: This open access book brings science and practice together and inspires a global movement towards co-creating regenerative civilizations that work for 100% of humanity and the Earth as a whole. With its conceptual foundation of the concept of transformation literacy it enhances the knowledge and capacity of decision-makers, change agents and institutional actors to steward transformations effectively across institutions, societal sectors and nations. Humanity is at crossroads. Resource depletion and exponential emissions that not only cause climate change, but endanger the health of people and planet, call for a decisive turnaround of human civilization. A new and transformative paradigm is emerging that advocates for regenerative civilizations, in which a narrative of systemic health as much as individual and collective vitality guide the interaction of socio-economic-ecological systems. Truly transformative change must go far beyond technical solutions, and instead envision what can be termed ‘a new operating system’ that helps humankind to live well within the planetary boundaries and partner with life’s evolutionary processes. This requires transformations at three different levels: · Mindsets that reconnect with a worldview in which human agency acknowledges its co-evolutionary pathways with each other and the Earth. · Political, social and economic systems that are regenerative and foster the care-taking for Earth life support systems. · Competencies to design and implement effective large-scale transformative change processes at multiple levels with multiple stakeholders. This book provides key ingredients for enhancing transformation literacy from various perspectives around the globe. It connects the emerging practice of stewarding transformative change across business, government institutions and civil society actors with the most promising scientific models and concepts that underpin human action to shape the future collectively in accordance with planetary needs. ;
    Keywords: Regenerative Civilization ; Sustainability ; Transformation ; Collective Stewardship. ; Climate Action ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKV Environmental medicine ; thema EDItEUR::M Medicine and Nursing::MB Medicine: general issues::MBN Public health and preventive medicine ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JH Sociology and anthropology::JHB Sociology
    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 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 ...
  • 10
    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 ...
  • 11
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book is based on selected presentations from Topic Study Group 21: Mathematical Applications and Modelling in the Teaching and Learning of Mathematics at the 13th International Congress on Mathematical Education (ICME 13), held in Hamburg, Germany on July 24–31, 2016. It contributes to the theory, research and teaching practice concerning this key topic by taking into account the importance of relations between mathematics and the real world. Further, the book addresses the “balancing act” between developing students’ modelling skills on the one hand, and using modelling to help them learn mathematics on the other, which arises from the integration of modelling into classrooms. The contributions, prepared by authors from 9 countries, reflect the spectrum of international debates on the topic, and the examples presented span schooling from years 1 to 12, teacher education, and teaching modelling at the tertiary level. In addition the book highlights professional learning and development for in-service teachers, particularly in systems where the introduction of modelling into curricula means reassessing how mathematics is taught. Given its scope, the book will appeal to researchers and teacher educators in mathematics education, as well as pre-service teachers and school and university educators
    Keywords: Mathematics Education ; Learning & Instruction ; Teaching and Teacher Education ; Education ; Pedagogical issues of integration into classroom practice ; assessment of modelling competencies ; teachers as learners of mathematical modelling ; technological influences on modelling education ; managing group interactions in modelling ; mathematical model ; modelling problems ; heuristic strategies ; teaching mathematical modelling ; modelling competencies ; learning mathematics modelling ; interpretations modelling ; pedagogical practice and research ; modelling perspective ; teaching practices in mathematical modelling ; Open Access ; Teaching of a specific subject ; Mathematics ; Teaching skills & techniques ; Cognition & cognitive psychology ; Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access volume provides insight into how organizations change through the adoption of digital technologies. Opportunities and challenges for individuals as well as the organization are addressed. It features four major themes: 1. Current research exploring the theoretical underpinnings of digital transformation of organizations. 2. Insights into available digital technologies as well as organizational requirements for technology adoption. 3. Issues and challenges for designing and implementing digital transformation in learning organizations. 4. Case studies, empirical research findings, and examples from organizations which successfully adopted digital workplace learning.
    Keywords: Administration, Organization and Leadership ; Computers and Education ; Educational Technology ; Organization and Leadership ; Education ; Open Access ; Digital technologies for education ; Digital transformation ; Digital organizational learning and education ; Digital tools for change management ; Transformational learnins ; Transformation of educational organizations ; Educational administration & organization ; Educational equipment & technology, computer-aided learning (CAL) ; 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::JNV Educational equipment & technology, computer-aided learning (CAL)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 14
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access methodological book summarises existing analysing techniques using data from PIAAC, a study initiated by the OECD that assesses key cognitive and occupational skills of the adult population in more than 40 countries. The approximately 65 PIAAC datasets that has been published worldwide to date has been widely received and used by an interdisciplinary research community. Due to the complex structure of the data, analyses with PIAAC datasets are very challenging. To ensure the quality and significance of these data analyses, it is necessary to instruct users in the correct handling of the data. This methodological book provides a standardised approach to successfully implementing these data analyses. It contains examples of and tools for the analysis of the PIAAC data using different statistical approaches and software, and it offers perspectives from various disciplines. The contributing authors have hands-on experience of using PIAAC data, and/or they have conducted data analysis workshops with these data.
    Keywords: Assessment, Testing and Evaluation ; Statistics for Social Sciences, Humanities, Law ; Education Economics ; International and Comparative Education ; Education ; Statistics in Social Sciences, Humanities, Law, Education, Behavorial Sciences, Public Policy ; PIAAC data ; Large-scale assessment ; Data analysis ; Plausible values ; International comparison ; Key cognitive skills ; Literacy of adult population ; Numeracy of adult population ; Analysis with PIAAC datasets ; Stata ; R software ; Open access ; Education: examinations & assessment ; Social research & statistics ; Economics of specific sectors ; 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::JH Sociology & anthropology::JHB Sociology::JHBC Social research & statistics ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics ; 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 ...
  • 15
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This open access book introduces design for Sustainable Product-Service Systems (S.PSS) and for Sustainable Distributed Economies (S.DE). These are introduced as technical and operative tools for the development of a new generation of designers, responsible and capable of designing environmentally, socially and economically sustainable solutions, accessible to all. The book provides a comprehensive framework and also practical tools to support the system design for sustainability process. It overviews methodologies, tools and strategies for Sustainable PSS design applied to Distributed Economies (DE) and provides strategies and design guidelines. All of these are highlighted and expanded upon with international case studies.
    Keywords: Engineering Design ; Sustainability Management ; Development and Sustainability ; Industrial and Production Engineering ; Management ; Development Studies ; Design for Sustainability ; Product-Service System (PSS) ; Sustainable Development ; Distributed Economies (DE) ; Circular Economy ; Social Equity and Cohesion ; Open Access ; Technical design ; Business & the environment ; ‘green’ approaches to business ; Sustainability ; Production engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TB Technology: general issues::TBD Technical design ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJJ Business and the environment; ‘green’ approaches to business ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: undefined
    Keywords: Mathematics Education ; Learning & Instruction ; Education ; Anthropological theory of didactics in mathematics ; Digital technology in mathematics ; Mathematics task design ; Mathematics textbook design ; Mathematics textbook tasks ; Variation theory mathematics ; Teaching of a specific subject ; Mathematics ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    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 ...
  • 18
    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 ...
  • 19
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This Open Access book is about the development of a common understanding of environmental citizenship. It conceptualizes and frames environmental citizenship taking an educational perspective. Organized in four complementary parts, the book first explains the political, economic and societal dimensions of the concept. Next, it examines environmental citizenship as a psychological concept with a specific focus on knowledge, values, beliefs and attitudes. It then explores environmental citizenship within the context of environmental education and education for sustainability. It elaborates responsible environmental behaviour, youth activism and education for sustainability through the lens of environmental citizenship. Finally, it discusses the concept within the context of different educational levels, such as primary and secondary education in formal and non-formal settings. Environmental citizenship is a key factor in sustainability, green and cycle economy, and low-carbon society, and an important aspect in addressing global environmental problems. It has been an influential concept in many different arenas such as economy, policy, philosophy, and organizational marketing. In the field of education, the concept could be better exploited and established, however. Education and, especially, environmental discourses in science education have a great deal to contribute to the adoption and promotion of environmental citizenship.
    Keywords: Science Education ; Sustainable Development ; Social Justice, Equality and Human Rights ; Environmental and Sustainability Education ; Environmental Social Sciences ; Human Rights ; Sustainability / sustainable development ; Environmental citizenship ; Environmental citizen ; Environmental education ; Education for environmental citizenship ; Education for sustainability ; ENEC ; EU Horizon 2020 ; EU-roadmap 2050 ; European Network for Environmental Citizenship ; Environmental Behavior ; Environmental citizenship from educational perspective ; Open Access ; Teaching of a specific subject ; Science: general issues ; Sustainability ; Politics & government ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; 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 ...
  • 20
    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 ...
  • 21
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 22
    Publication Date: 2021-02-10
    Description: This open access book presents up-to-date analyses of community-based approaches to sustainable resource management of SEPLS (socio-ecological production landscapes and seascapes) in areas where a harmonious relationship between the natural environment and the people who inhabit it is essential to ensure community and environmental well-being as well as to build resilience in the ecosystems that support this well-being. Understanding SEPLS and the forces of change that can weaken their resilience requires the integration of knowledge across a wide range of academic disciplines as well as from indigenous knowledge and experience. Moreover, given the wide variation in the socio-ecological makeup of SEPLS around the globe, as well as in their political and economic contexts, individual communities will be at the forefront of developing the measures appropriate for their unique circumstances. This in turn requires robust communication systems and broad participatory approaches. Sustainability science (SuS) research is highly integrated, participatory and solutions driven, and as such is well suited to the study of SEPLS. Through case studies, literature reviews and SuS analyses, the book explores various approaches to stakeholder participation, policy development and appropriate action for the future of SEPLS. It provides communities, researchers and decision-makers at various levels with new tools and strategies for exploring scenarios and creating future visions for sustainable societies.
    Keywords: Environmental Management ; Landscape Ecology ; Development and Sustainability ; Landscape/Regional and Urban Planning ; Environmental Sociology ; Sustainable Development ; Development Studies ; Geography ; Biotechnology ; Environmental Social Sciences ; Indigenous and local knowledge ; Science-policy interface ; Ecosystem services ; Future scenarios ; Stakeholder analysis ; Visualization ; Satoyama ; Satoumi ; SEPLS ; Social-ecological system ; Open Access ; Environmental management, ; Botany & plant sciences ; Sustainability ; Regional & area planning ; Sociology ; The environment ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNF Environmental management ; bic Book Industry Communication::P Mathematics & science::PS Biology, life sciences::PST Botany & plant sciences::PSTS Plant ecology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RP Regional & area planning ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book highlights concepts discussed at two international conferences that brought together world-renowned scientists to advance the science of potassium (K) recommendations for crops. There was general agreement that the potassium recommendations currently in general use are oversimplified, outdated, and jeopardize soil, plant, and human health. Accordingly, this book puts forward a significantly expanded K cycle that more accurately depicts K inputs, losses and transformations in soils. This new cycle serves as both the conceptual basis for the scientific discussions in this book and a framework upon which to build future improvements. Previously used approaches are critically reviewed and assessed, not only for their relevance to future enhancements, but also for their use as metrics of sustainability. An initial effort is made to link K nutrition in crops and K nutrition in humans. The book offers an invaluable asset for graduate students, educators, industry scientists, data scientists, and advanced agronomists.
    Keywords: Agriculture ; Plant Biochemistry ; Soil Science & Conservation ; Applied Ecology ; Soil Science ; Bioavailable Potassium ; Fertilizer Management ; Plant Nutrition ; Potash ; Soil Chemistry ; Sustainability ; Open access ; Agricultural science ; Botany & plant sciences ; Biochemistry ; Sedimentology & pedology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::P Mathematics and Science::PS Biology, life sciences::PST Botany and plant sciences ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RB Earth sciences::RBG Geology, geomorphology and the lithosphere::RBGB Sedimentology and pedology ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNC Applied ecology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    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 ...
  • 25
    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 ...
  • 26
    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 ...
  • 27
    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: 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 ...
  • 28
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 29
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 30
    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. Based on an analysis of the nature of education policy and education reform, this volume focuses on education reform and the concept of education quality. Adopting a historical and comparative perspective, it examines the dialectical relationship between education policy and education reform in various countries, assesses theoretical and practical issues in the process of moving from regulation to multiple governance in contemporary education administration, and explores the impact of globalization on national education reform and the interdependence between countries. In addition, it presents studies addressing educational policy research methodology from multiple perspectives. Highlighting the changes in national education macro policies, this volume comprehensively reveals the complex relationship between contemporary education reform and social change, and explores the links between contemporary social, political and economic systems and educational policy research and practice, offering a holistic portrait of macro trends in contemporary education reform. ; 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 ; Policy studies ; Educational reforms ; Educational research ; Educational knowledge ; Educational change ; The politics of education ; Contextual factors ; Policy analyses ; Policy process ; Public policy ; 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 ...
  • 31
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 32
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This open access book states that the societal fault lines of our times are deeply intertwined and that they confront us with challenges affecting the security, fairness and sustainability of our societies. The author, Prof. Dr. Patrick Huntjens, argues that overcoming these existential challenges will require a fundamental shift from our current anthropocentric and economic growth-oriented approach to a more ecocentric and regenerative approach. He advocates for a Natural Social Contract that emphasizes long-term sustainability and the general welfare of both humankind and planet Earth. Achieving this crucial balance calls for an end to unlimited economic growth, overconsumption and over-individualisation for the benefit of ourselves, our planet, and future generations. To this end, sustainability, health, and justice in all social-ecological systems will require systemic innovation and prioritizing a collective effort. The Transformative Social-Ecological Innovation (TSEI) framework presented in this book serves that cause. It helps to diagnose and advance innovation and spur change across sectors, disciplines, and at different levels of governance. Altogether, TSEI identifies intervention points and formulates jointly developed and shared solutions to inform policymakers, administrators, concerned citizens, and professionals dedicated towards a more sustainable, healthy and just society. A wide readership of students, researchers, practitioners and policy makers interested in social innovation, transition studies, development studies, social policy, social justice, climate change, environmental studies, political science and economics will find this cutting-edge book particularly useful. “As a sustainability transition researcher, I am truly excited about this book. Two unique aspects of the book are that it considers bigger transformation issues (such as societies’ relationship with nature, purpose and justice) than those studied in transition studies and offers analytical frameworks and methods for taking up the challenge of achieving change on the ground.” - Prof. Dr. René Kemp, United Nations University and Maastricht Sustainability Institute
    Keywords: Social Justice, Equality and Human Rights ; Sustainable Development ; Social Policy ; Politics of the Welfare State ; Social Work and Community Development ; Comparative Social Policy ; Social Justice ; Sustainability ; Environmental Social Sciences ; Environmental Anthropology ; Human Security ; Institutional Change ; Planetary Boundaries ; Planetary Health ; Social Contract ; Social Innovation ; Social-Ecological Systems ; Sustainability Transition ; open access ; sustainable development goals ; Politics & government ; Central / national / federal government policies ; Social work ; bic Book Industry Communication::J Society & social sciences::JP Politics & government ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JK Social services & welfare, criminology::JKS Social welfare & social services::JKSN Social work ; thema EDItEUR::J Society and Social Sciences::JP Politics and government ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment::RNU Sustainability ; thema EDItEUR::J Society and Social Sciences::JP Politics and government::JPQ Central / national / federal government::JPQB Central / national / federal government policies ; thema EDItEUR::J Society and Social Sciences::JK Social services and welfare, criminology::JKS Social welfare and social services::JKSN Social work
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This 'Open Access' SpringerBrief provides foundational knowledge for designing autonomous, asynchronous systems and explains aspects of users relevant to designing for these systems, introduces principles for user-centered design, and prepares readers for more advanced and specific readings. It provides context and the implications for design choices made during the design and development of the complex systems that are part of operation centers. As such, each chapter includes principles to summarize the design implication that engineers can use to inform their own design of interfaces for operation centers and similar systems. It includes example materials for the design of a fictitious system, which are referenced in the book and can be duplicated and extended for real systems. The design materials include a system overview, the system architecture, an example scenario, a stakeholder analysis, a task analysis, a description of the system and interface technology, and contextualized design guidelines. The guidelines can be specified because the user, the task, and the technology are well specified as an example. Building Better Interfaces for Remote Autonomous Systems is for working system engineers who are designing interfaces used in high throughput, high stake, operation centers (op centers) or control rooms, such as network operation centers (NOCs). Intended users will have a technical undergraduate degree (e.g., computer science) with little or no training in design, human sciences, or with human-centered iterative design methods and practices. Background research for the book was supplemented by interaction with the intended audience through a related project with L3Harris Technologies (formerly Harris Corporation).
    Keywords: User Interfaces and Human Computer Interaction ; Software Engineering ; Autonomous Systems ; User-Centered Design ; Operation Centres ; Interface Technology ; Human-Centered Design ; Open Access ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZG User interface design and usability ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book introduces the legacy of Piotr Galperin to a wider audience of researchers, educators and psychologists. Previous translations of Galperin’s work present only some aspects of his conceptual thinking; however, his main contribution to the general, genetic and pedagogical psychology as a unique holistic and systemic approach to studying of psychological phenomena and processes, mechanisms of their formation and development, is still quite unknown in most parts of the world. The eight lectures chosen for the book have been translated from Russian for the first time, and they belong to the Study of the Formation of Human Mental Activity from Galperin’s collection of the Lectures in Psychology (Galperin, 2002). These eight lectures present the central ideas of Galperin’s pedagogical theory, and they conceptualise learning to learn approach and argue how teaching and learning process can enhance the development of higher mental functions with learners and therefore enhance the development of students as learners. These ideas may be of primary importance to educational practitioners and researchers interested in developmental learning and teaching approach given the current concerns of educational practice that schools struggle to prepare students for their adult and the need to develop the capacity in lifelong learning with students in the 21st century.
    Keywords: Educational Psychology ; Educational Philosophy ; Learning & Instruction ; Education ; Galperin Lectures in psychology ; P.Y. Galperin ; Piotr Galperin ; Cultural-historical theory ; Socio-cultural theory ; Learning and development ; Learning to learn ; Teaching and learning ; Vygotsky ; Leontiev ; Davydov ; Development of human mental activity ; Open access ; Philosophy & theory of education ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNC Educational psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNA Philosophy & theory of education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the refereed proceedings of the 18th International Conference on String Processing and Information Retrieval, ICOST 2020, held in Hammamet, Tunisia, in June 2020.* The 17 full papers and 23 short papers presented in this volume were carefully reviewed and selected from 49 submissions. They cover topics such as: IoT and AI solutions for e-health; biomedical and health informatics; behavior and activity monitoring; behavior and activity monitoring; and wellbeing technology. *This conference was held virtually due to the COVID-19 pandemic.
    Keywords: Computer Communication Networks ; Artificial Intelligence ; Information Systems Applications (incl. Internet) ; Special Purpose and Application-Based Systems ; Computer System Implementation ; User Interfaces and Human Computer Interaction ; Computer and Information Systems Applications ; open access ; artificial intelligence ; communication systems ; computer vision ; databases ; hci ; human-computer interaction ; image processing ; Internet of Things ; IoT ; machine learning ; network protocols ; sensors ; signal processing ; software architecture ; software design ; telecommunication networks ; telecommunication systems ; user interfaces ; wireless telecommunication systems ; Network hardware ; Artificial intelligence ; Information retrieval ; Internet searching ; Expert systems / knowledge-based systems ; Systems analysis & design ; User interface design & usability ; thema EDItEUR::U Computing and Information Technology::UK Computer hardware::UKN Network hardware ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence ; thema EDItEUR::U Computing and Information Technology::UN Databases::UNH Information retrieval ; 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::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 ...
  • 36
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book describes and reviews the development of the quality control mechanisms and methodologies associated with IEA’s extensive program of educational research. A group of renowned international researchers, directly involved in the design and execution of IEA’s international large-scale assessments (ILSAs), describe the operational and quality control procedures that are employed to address the challenges associated with providing high-quality, comparable data. Throughout the now considerable history of IEA’s international large-scale assessments, establishing the quality of the data has been paramount. Research in the complex multinational context in which IEA studies operate imposes significant burdens and challenges in terms of the methodologies and technologies that have been developed to achieve the stated study goals. The demands of the twin imperatives of validity and reliability must be satisfied in the context of multiple and diverse cultures, languages, orthographies, educational structures, educational histories, and traditions. Readers will learn about IEA’s approach to such challenges, and the methods used to ensure that the quality of the data provided to policymakers and researchers can be trusted. An often neglected area of investigation, namely the consequential validity of ILSAs, is also explored, examining issues related to reporting, dissemination, and impact, including discussion of the limits of interpretation. The final chapters address the question of the influence of ILSAs on policy and reform in education, including a case study from Singapore, a country known for its outstanding levels of achievement, but which nevertheless seeks the means of continual improvement, illustrating best practice use of ILSA data.
    Keywords: Education, general ; Educational Policy and Politics ; International and Comparative Education ; Curriculum Studies ; Assessment and Testing ; Open Access ; International large-scale assessments ; Educational policy ; IEA ; Comparative education ; Educational measurement ; International education ; Research methods in international large-scale assessment ; Comparative Studies of Student Achievement ; ILSA ; IEA’s approach to international large-scale assessments ; Education ; Educational strategies & policy ; Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book coherently gathers well-founded information on the fundamentals of and formalisms for modelling cyber-physical systems (CPS). Highlighting the cross-disciplinary nature of CPS modelling, it also serves as a bridge for anyone entering CPS from related areas of computer science or engineering. Truly complex, engineered systems—known as cyber-physical systems—that integrate physical, software, and network aspects are now on the rise. However, there is no unifying theory nor systematic design methods, techniques or tools for these systems. Individual (mechanical, electrical, network or software) engineering disciplines only offer partial solutions. A technique known as Multi-Paradigm Modelling has recently emerged suggesting to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s), and then weaving the results together to form a representation of the system. If properly applied, it enables, among other global aspects, performance analysis, exhaustive simulation, and verification. This book is the first systematic attempt to bring together these formalisms for anyone starting in the field of CPS who seeks solid modelling foundations and a comprehensive introduction to the distinct existing techniques that are multi-paradigmatic. Though chiefly intended for master and post-graduate level students in computer science and engineering, it can also be used as a reference text for practitioners.
    Keywords: Software Engineering ; Cyber-physical systems, IoT ; Special Purpose and Application-Based Systems ; Computer Applications ; Computer-Aided Engineering (CAD, CAE) and Design ; Open Access ; Embedded and cyber-physical systems ; Software design engineering ; Model-driven software engineering ; Modelica ; Performance Analysis ; Design Languages ; System Description Languages ; System and Modeling ; DEVS ; Statecharts ; Petri Nets ; Multi-Paradigm Modeling ; AADL ; Concurrency Modeling ; Electrical engineering ; Cybernetics & systems theory ; Expert systems / knowledge-based systems ; Information technology: general issues ; Computer-aided design (CAD) ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THR Electrical 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::UB Information technology: general topics ; thema EDItEUR::U Computing and Information Technology::UG Graphical and digital media applications::UGC Computer-aided design (CAD)
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents how Open Science is a powerful tool to boost Higher Education. The book introduces the reader into Open Access, Open Technology, Open Data, Open Research results, Open Licensing, Open Accreditation, Open Certification, Open Policy and, of course, Open Educational Resources. It brings all these key topics from major players in the field; experts that present the current state of the art and the forthcoming steps towards a useful and effective implementation. This book presents radical, transgenic solutions for recurrent and long-standing problems in Higher Education. Every chapter presents a clear view and a related solution to make Higher Education progress and implement tools and strategies to improve the user’s performance and learning experience. This book is part of a trilogy with companion volumes on Radical Solutions & Learning Analytics and Radical Solutions & eLearning.
    Keywords: Educational Technology ; Learning & Instruction ; Higher Education ; Technology and Digital Education ; Education ; Open Science ; Open Educational Practices ; Open Educational Resources ; Open Access ; Open Licensing ; Open Technology ; Open Source ; Open Research ; Open Data ; Alternative Digital Credentials ; Educational equipment & technology, computer-aided learning (CAL) ; Teaching skills & techniques ; Cognition & cognitive psychology ; Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNV Educational equipment & technology, computer-aided learning (CAL) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book focuses on the issue of sustainability standards from the perspective of both global governance frameworks and emerging economies. It stems from the recognition that the accelerated pace of economic globalization has generated production and consumption patterns that are generating sustainability concerns. Sustainability standards (and regulations) are increasingly being used in a bid to make global consumption and production more sustainable. Given the dense inter-connectedness of economic affairs globally, the use of sustainability standards has become a concern of global governance, who face the challenge of achieving a balance between the use of standards for genuine sustainability objectives, and not allowing them to turn into instruments of protectionism or coercion. The emerging economies, given their increasing engagement with the global economy, are most impacted by the use of sustainability standards. The emphasis of ‘emerging economies’ in this book is retained both by using case studies from these economies and by collating perceptions and assessments of those located in these economies. The case studies included span sectors such as palm oil, forestry, food quality, vehicular emissions and water standards, and address the problems unique to the emerging economies, including capacity building for compliance with standards, adapting international standards in domestic contexts and addressing the exclusion of small and medium enterprises etc. Complex interfaces and dynamics of a global nature are not limited to the thematic of this book but also extend to the process through which it was written. This book brings together insights from developed as well as emerging economies (Germany, India, Mexico, Brazil, Indonesia, Pakistan, Mexico and China). It also brings together scholars and practitioners to jointly ponder upon the conceptual aspects of the global frameworks for sustainability standards. This book is a very useful resource for researchers and practitioners alike, and provides valuable insights for policy makers as well.
    Keywords: Development and Sustainability ; Emerging Markets/Globalization ; Trade ; Sustainability Management ; Development Studies ; International Business ; Industries ; Management ; Open Access ; Sustainability Standards ; Global Governance ; Emerging Economies ; Social and Environmental Standards ; Sustainable Development Goals ; Sustainability ; Market research ; Economics ; Business & the environment ; ‘green’ approaches to business ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJS Sales & marketing::KJSM Market research ; bic Book Industry Communication::K Economics, finance, business & management::KN Industry & industrial studies::KNP Distributive industries ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJJ Business & the environment, ‘Green’ approaches to business
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 41
    Publication Date: 2021-02-10
    Description: This Open Access book summarizes the key findings from the second cycle of IEA’s International Computer and Information Literacy Study (ICILS), conducted in 2018. ICILS seeks to establish how well schools around the globe are responding to the need to provide young people with the necessary digital participatory competencies. Effective use of information and communication technologies (ICT) is an imperative for successful participation in an increasingly digital world. ICILS 2018 explores international differences in students’ computer and information literacy (CIL), namely their ability to use computers to investigate, create, and communicate at home, at school, in the workplace, and in the community. Participating countries also had an option to administer an assessment of students’ computational thinking (CT), focused on their ability to recognize aspects of real-world problems appropriate for computational formulation, and to evaluate and develop algorithmic solutions to those problems, so that the solutions could be operationalized with a computer. The data collected by ICILS 2018 show how digital competencies can be assessed using instruments representing authentic contexts for ICT use, and how students’ CIL and CT skills relate to school learning experiences, out-of-school contexts, and student characteristics. Those data also show how learning technologies are used in classrooms around the world. Background questionnaires asked students about their use of ICT, and collected information from teachers, schools, and national education systems about the resourcing and teaching of CIL (and CT) within their countries. The results of ICILS 2018 will enable policymakers and education systems to develop a better understanding of the contexts and outcomes of CIL (and CT) education programs.
    Keywords: Assessment, Testing and Evaluation ; Technology and Digital Education ; Computers and Education ; International and Comparative Education ; Education ; Assessment of computer and information literacy ; CIL ; Computer and Information Literacy ; Digital competence ; Education on computer and information literacy ; Educational quality and progress ; ICILS assessment framework ; ICT literacy ; IEA ; IEA Amsterdam ; Int'l Association for the Evaluation of Educational Achievement ; International computer and information literacy study ; Policy and practice in CIL education ; Students’ engagement with ICT ; Young people’s participation in the digital age ; ICILS 2018 ; Students’ computer and information literacy achievement ; Open Access ; Education: examinations & assessment ; Educational equipment & technology, computer-aided learning (CAL) ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKD Examinations & assessment ; bic Book Industry Communication::J Society & social sciences::JN Education::JNV Educational equipment & technology, computer-aided learning (CAL) ; 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 ...
  • 42
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 43
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 21st International Conference on Agile Software Development, XP 2020, which was planned to be held during June 8-12, 2020, at the IT University of Copenhagen, Denmark. However, due to the COVID-19 pandemic the conference was postponed until an undetermined date. XP is the premier agile software development conference combining research and practice. It is a hybrid forum where agile researchers, academics, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. Following this history, for both researchers and seasoned practitioners XP 2020 provided an informal environment to network, share, and discover trends in Agile for the next 20 years. The 14 full and 2 short papers presented in this volume were carefully reviewed and selected from 37 submissions. They were organized in topical sections named: agile adoption; agile practices; large-scale agile; the business of agile; and agile and testing.
    Keywords: Software Engineering ; IT in Business ; Management of Computing and Information Systems ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book offers a comparative study of eight ambitious national reforms that sought to create opportunities for students to gain the necessary breath of skills to thrive in a rapidly changing world. It examines how national governments transform education systems to provide students opportunities to develop such skills. It analyses comprehensive education reforms in Brazil, Finland, Japan, Mexico, Peru, Poland, Portugal and Russia and yields original and important insights on the process of educational change. The analysis of these 21st century skills reforms shows that reformers followed approaches which are based on the five perspectives: cultural, psychological, professional, institutional and political. Most reforms relied on institutional and political perspectives. They highlight the systemic nature of the process of educational change, and the need for alignment and coherence among the various elements of the system in order. They underscore the importance of addressing the interests of various stakeholders of the education system in obtaining the necessary impetus to initiate and sustain change. In contrast, as the book shows, the use of a cultural and psychological frame proved rarer, missing important opportunities to draw on systematic analysis of emerging demands for schools and on cognitive science to inform the changes in the organization of instruction. Drawing on a rich array of sources and evidence the book provides a careful account of how education reform works in practice.
    Keywords: International and Comparative Education ; Educational Policy and Politics ; Curriculum Studies ; Administration, Organization and Leadership ; Open Access ; transformation of public education systems ; role of curriculum ; Deeper Learning ; Twenty first century skills ; Socio-emotional development ; education reform ; Education Policy ; Education Leadership ; Systemic educational change ; Comparative education ; Education in Finland ; Education in Japan ; Education in Brazil ; Education in Mexico ; Education in Poland ; Education in Russia ; Education in Peru ; Education in Portugal ; Education ; Educational strategies & policy ; Curriculum planning & development ; Educational administration & organization ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 46
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 47
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book addresses how to help students find purpose in a rapidly changing world. In a probing and visionary analysis of the field of global education Fernando Reimers explains how to lead the transformation of schools and school systems in order to more effectively prepare students to address today’s’ most urgent challenges and to invent a better future. Offering a comprehensive and multidimensional framework for designing and implementing a global education program that combines cultural, psychological, professional, institutional and political perspectives the book integrates an extensive body of empirical literature on the practice of global education. It discusses several global citizenship curricula that have been adopted by schools and school networks, and ties them into an approach to lead school change into the uncharted territory of the future. Given its scope, the book will help teachers, school and district leaders tackle the change management needed in order to introduce global education, and more generally increase the relevancy of education. In addition, the book offers a “bridge” for more productive collaboration and communication between those who lead the process of educational change, and those who study and theorize this important work. At a time when the urgency of our shared global challenges calls for more understanding and collaboration and when the rapid transformation of societies requires that we help students develop a clear sense of relevancy and purpose, this book offers a way to pursue deep and sustainable change in instruction and school culture, so that students learn that nothing human is foreign and that they can find meaning in lives aligned with audacious purposes to make the world better.
    Keywords: Curriculum Studies ; Educational Policy and Politics ; Learning & Instruction ; Education Policy ; Sociology of Education ; 21st century skills ; global education ; multicultural education ; deeper learning ; immigrant students ; diversity and education ; teaching diverse students ; framework for global education ; global citizenship education ; global citizenship curriculum ; leading transformation of schools ; internationalization of education ; school reform ; school change ; school leadership ; open access ; Curriculum planning & development ; Educational strategies & policy ; Teaching skills & techniques ; Cognition & cognitive psychology ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This Open Access book analyses the past, present and future of the technical university as a single faculty independent institution. The point of departure is a view of changing academic realities, through which the identity as a technical university is challenged and reconstituted. More specifically, the book connects the development of technical universities to changes in the structure and dimensioning of national higher education systems, to changes in the disciplinary basis of academic research and to changes in the governance of higher education institutions. Introduced in the age of industrialization, polytechnical schools rose to prominence in many national settings during the second half of the 19th century. Over time, new technologies have been developed and incorporated into the repertoire, and waves of academisation have swept over the former polytechnics, transforming them into technical universities. Their traditions and brands, however, prevail. Several technical universities are included among the most prestigious academic institutions of their nations and the training of engineers and engineering research still enjoys a high level of prestige and national priority, e.g. in the context of innovation and industrial policy. But the world keeps changing, and the higher education sector with it. Will technical universities have an equally attractive position within university systems in the decades to come?
    Keywords: Higher Education ; History of Education ; International and Comparative Education ; Administration, Organization and Leadership ; Organization and Leadership ; historical perspective of technical universities ; polytechnical universities ; external pressure at technical universities ; university governance regimes ; engineering academisation ; professional values in engineering education ; identity formation at technical universities ; university-industry interaction ; university merger process ; double degree programmes in engineering and education ; Open Access ; Higher & further education, tertiary education ; History of education ; Education ; Educational administration & organization ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNB History of education ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book examines the educational conditions that support cultures of exploration in kindergartens. It conceptualises cultures of exploration, whether those cultures are created through children’s own engagement or are demanded of them through undertaking specific tasks within different institutional settings. It shows how the conditions for children’s exploration form a web of activities in different settings with social relationships, local landscapes and artefacts. The book builds on the understanding of cultural traditions as deeply implicated in the developmental processes, meaning that local considerations must be reflected in education for sustainable futures. Therefore the book examines and conceptualises exploration and cultural formation through locally situated cases and navigates toward global educational concepts. The book provides different windows into how children may explore in everyday practice settings in kindergarten, and contributes to a loci-based, ecological, integral knowledge relevant for early childhood education.
    Keywords: Early Childhood Education ; Infancy and Early Childhood Development ; International and Comparative Education ; Child and School Psychology ; Clinical Psychology ; School Psychology ; children's learning and development through exploration ; exploration in kindergarten ; children's transcendence to school learning ; "glocal" pedagogy ; froebel and explorative education ; cultural-historical concept of playground activities ; children and teachers as musical explorers ; cultural formation ; dialogical engagement ; children's play and learning activity ; inclusion and exclusion ; pedagogical hybridity through Froebel ; Open Access ; Early childhood care & education ; Child, developmental & lifespan psychology ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNL Schools::JNLA Pre-school & kindergarten ; bic Book Industry Communication::J Society & social sciences::JM Psychology::JMC Child & developmental psychology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 51
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents and discusses current issues and innovative solution approaches for land management in a European context. Manifold sustainability issues are closely interconnected with land use practices. Throughout the world, we face increasing conflict over the use of land as well as competition for land. Drawing on experience in sustainable land management gained from seven years of the FONA programme (Research for Sustainable Development, conducted under the auspices of the German Federal Ministry of Education and Research), the book stresses and highlights co-design processes within the “co-creation of knowledge”, involving collaboration in transdisciplinary research processes between academia and other stakeholders. The book begins with an overview of the current state of land use practices and the subsequent need to manage land resources more sustainably. New system solutions and governance approaches in sustainable land management are presented from a European perspective on land use. The volume also addresses how to use new modes of knowledge transfer between science and practice. New perspectives in sustainable land management and methods of combining knowledge and action are presented to a broad readership in land system sciences and environmental sciences, social sciences and geosciences.
    Keywords: Sustainable Development ; Regional/Spatial Science ; Environmental Geography ; Human Geography ; Knowledge - Discourse ; Environmental Social Sciences ; Regional and Spatial Economics ; Environmental Studies ; Biotechnology ; Open Access ; Sustainable land management ; System solutions ; Governance of land ; Transdisciplinarity Interdisciplinarity ; Knowledge management ; Sustainability ; Political economy ; Regional studies ; Development & environmental geography ; Human geography ; Sociology ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RN The environment::RNU Sustainability ; bic Book Industry Communication::K Economics, finance, business & management::KC Economics::KCP Political economy ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGB Physical geography & topography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Publication Date: 2021-02-10
    Description: This open access Springer Brief provides a systematic analysis of current trends and requirements in the areas of knowledge and competence in the context of the project “(A) Higher Education Digital (AHEAD)—International Horizon Scanning / Trend Analysis on Digital Higher Education.” It examines the latest developments in learning theory, didactics, and digital-education technology in connection with an increasingly digitized higher education landscape. In turn, this analysis forms the basis for envisioning higher education in 2030. Here, four learning pathways are developed to provide a glimpse of higher education in 2030: Tamagotchi, a closed ecosystem that is built around individual students who enter the university soon after secondary education; Jenga, in which universities offer a solid foundation of knowledge to build on in later phases; Lego, where the course of study is not a monolithic unit, but consists of individually combined modules of different sizes; and Transformer, where students have already acquired their own professional identities and life experiences, which they integrate into their studies. In addition, innovative practice cases are presented to illustrate each learning path.
    Keywords: Higher Education ; Organization ; International and Comparative Education ; Business and Management ; Higher education systems ; Learning pathways ; Education organizations ; Practical case studies in education ; New didactics and learning theories ; Knowledge in a Digitalized World ; Digital learning ; Open Access ; Higher & further education, tertiary education ; Organizational theory & behaviour ; Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education ; bic Book Industry Communication::K Economics, finance, business & management::KJ Business & management::KJU Organizational theory & behaviour ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-03-29
    Description: This book examines multiple facets of language diversity and mathematics education. It features renowned authors from around the world and explores the learning and teaching of mathematics in contexts that include multilingual classrooms, indigenous education, teacher education, blind and deaf learners, new media and tertiary education. Each chapter draws on research from two or more countries to illustrate important research findings, theoretical developments and practical strategies. This open access book examines multiple facets of language diversity
    Keywords: Mathematics Education ; Learning & Instruction ; Education ; Indigenous Learners in Latin America ; Language Diversity in Mathematics Education ; Mathematics Education in Europe ; Mathematics Teacher Education Programs ; Mathematics for Blind Learners ; Mathematics for Deaf Learners ; Open access ; Teaching of a specific subject ; Mathematics ; Teaching skills & techniques ; Cognition & cognitive psychology ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNT Teaching skills & techniques ; thema EDItEUR::J Society and Social Sciences::JN Education::JNU Teaching of a specific subject ; thema EDItEUR::J Society and Social Sciences::JN Education::JNT Teaching skills and techniques
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: *THIS BOOK WILL SOON BE AVAILABLE AS OPEN ACCESS BOOK* This book is an excellent synthesis of the initial and continuing preparation for Mathematics Teaching in Bolivia, Ecuador, Paraguay and Peru, from which comparative analyses can be made that show similarities and differences, and highlight various perspectives. In February 2016, the 5th Capacity and Networking Project (CANP) workshop of the International Commission on Mathematical Instruction (ICMI) was held in Lima, Peru. The coordination of this two-week workshop was undertaken by an international scientific committee (IPC), with equal participation by mathematicians and mathematics educators from the region and from the international ICMI and IMU community. The goal of CANP5 was to improve the quality of mathematics education in the region, which led to the main theme of the scientific program “Initial and Continued Teacher Education”. Country Reports on the main theme of teacher education systems for each country in this region were presented and discussed to detect common issues that might be improved through a collaborative network. One of the most important results of this event was the creation of a Mathematics Education Network, namely the Comunidad de Educación Matemática de America del Sur – CEMAS. This book brings to the international Educational Community an important collection of experiences and ideas in the Mathematics Education of four Latin-American countries in the developing Andean region and Paraguay. The dissemination of these results can promote the search for international collaborative actions in a wider scale.
    Keywords: Mathematics Education ; Teaching and Teacher Education ; International and Comparative Education ; Curriculum Studies ; CANP5 ICMI ; Mathematics teacher education Bolivia ; Mathematics teacher education Ecuador ; Mathematics teacher education Paraguay ; Mathematics teacher education Peru ; Teacher preparation Andean region ; Cultural differences mathematics education ; CANP/ICMI/CDC-IMU reports on Teacher education ; Issues of curriculum development in developing countries ; Professional development of school teachers in Latin America ; Teaching of a specific subject ; Mathematics ; Teacher training ; Education ; Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access short reader looks into the dynamics which have reshaped rural development and human landscapes in European agriculture and the role of immigrant people. Within this framework it analyses contemporary rural migrations and the emergence of immigrants in relation to the incorporation of agrarian systems into global markets, the European agricultural governance (CAP), and the struggle of local territories as differentiated practices in constant stress between innovation and resilience. It specifically explores the case of immigrant shepherds to describe the reconfiguration of agriculture systems and rural landscapes in Europe following intense immigration and the related provision of skilled labour at a relatively low cost. Being written in a very accessible way, this reader is an interesting read to students, researchers, academics, policy makers, and practitioners.
    Keywords: Social Sciences, general ; Agriculture ; Geography, general ; Human Geography ; Sociology of Migration ; Geography ; Open access ; EU agro-pastoralism ; European Mediterranean ; European agricultural governance (CAP) ; TRAMed research ; Rural development ; Local agro-pastoral sector ; Sustainability ; Migrations ; Mediterranean agriculture ; Immigrant workers ; Agri-food chain ; Society & Social Sciences ; Sociology ; Agricultural science ; Human geography ; bic Book Industry Communication::J Society & social sciences ; bic Book Industry Communication::T Technology, engineering, agriculture::TV Agriculture & farming::TVB Agricultural science ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography ; bic Book Industry Communication::R Earth sciences, geography, environment, planning::RG Geography::RGC Human geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 57
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book discusses the current role of smallholders in connection with food security and poverty reduction in developing countries. It addresses the opportunities they enjoy, and the constraints they face, by analysing the availability, access to and utilization of production factors. Due to the relevance of smallholder farms, enhancing their production capacities and economic and social resilience could produce positive impacts on food security and nutrition at a number of levels. In addition to the role of small farmers as food suppliers, the book considers their role as consumers and their level of nutrition security. It investigates the link between agriculture and nutrition in order to better understand how agriculture affects human health and dietary patterns. Given the importance of smallholdings, strategies to increase their productivity are essential to improving food and nutrition security, as well as food diversity.
    Keywords: Agricultural Economics ; Development Economics ; Agriculture ; Food Science ; Smallholder Farms ; Food Security ; Nutrition ; Developing Countries ; Open Access ; Sustainability ; Food Diversity ; African Agriculture ; Sub-Saharan Africa ; Agricultural science ; Agribusiness & primary industries ; Development economics & emerging economies ; Food & beverage technology ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TV Agriculture and farming::TVB Agricultural science ; thema EDItEUR::K Economics, Finance, Business and Management::KC Economics::KCM Development economics and emerging economies ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TD Industrial chemistry and manufacturing technologies::TDC Industrial chemistry and chemical engineering::TDCT Food and beverage technology
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-11
    Description: This open access book presents the proceedings of the 3rd Indo-German Conference on Sustainability in Engineering held at Birla Institute of Technology and Science, Pilani, India, on September 16–17, 2019. Intended to foster the synergies between research and education, the conference is one of the joint activities of the BITS Pilani and TU Braunschweig conducted under the auspices of Indo-German Center for Sustainable Manufacturing, established in 2009. The book is divided into three sections: engineering, education and entrepreneurship, covering a range of topics, such as renewable energy forecasting, design & simulation, Industry 4.0, and soft & intelligent sensors for energy efficiency. It also includes case studies on lean and green manufacturing, and life cycle analysis of ceramic products, as well as papers on teaching/learning methods based on the use of learning factories to improve students’problem-solving and personal skills. Moreover, the book discusses high-tech ideas to help the large number of unemployed engineering graduates looking for jobs become tech entrepreneurs. Given its broad scope, it will appeal to academics and industry professionals alike.
    Keywords: Industrial and Production Engineering ; Renewable and Green Energy ; Engineering/Technology Education ; Study and Learning Skills ; Energy Efficiency ; Energy Policy, Economics and Management ; Engineering and Technology Education ; Engineering ; Entrepreneurship ; Education ; Sustainability ; Learning factories ; International collaboration ; Open Access ; Production engineering ; Alternative & renewable energy sources & technology ; Higher & further education, tertiary education ; Technology: general issues ; Study & learning skills: general ; Energy technology & engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TG Mechanical engineering and materials::TGP Production and industrial engineering ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering::THV Alternative and renewable energy sources and technology ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education ; thema EDItEUR::J Society and Social Sciences::JN Education::JNZ Study and learning skills: general ; thema EDItEUR::T Technology, Engineering, Agriculture, Industrial processes::TH Energy technology and engineering
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 60
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 61
    facet.materialart.
    Unknown
    Springer Nature | Springer
    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 ...
  • 62
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the proceedings of the 22nd International Conference on Agile Software Development, XP 2021, which was held virtually during June 14-18, 2021. XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends.  XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. This year’s conference was held with the theme “Agile Turns Twenty While the World Goes Online”. The 11 full and 2 short papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections named: agile practices; process assessment; large-scale agile; and short contributions.
    Keywords: Software Engineering/Programming and Operating Systems ; IT in Business ; Management of Computing and Information Systems ; Software Engineering ; IT Operations ; Agile software development ; Software creation and management ; Scrum ; Lean software development ; Process management ; open access ; Test-driven development ; Project and people management ; Software development techniques ; Risk management ; Operating systems ; Business mathematics & systems ; Business applications ; Information architecture ; Maintenance & repairs ; 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::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture
    Language: English
    Format: image/png
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book summarises the latest developments on data management in the EU H2020 ENVRIplus project, which brought together more than 20 environmental and Earth science research infrastructures into a single community. It provides readers with a systematic overview of the common challenges faced by research infrastructures and how a ‘reference model guided’ engineering approach can be used to achieve greater interoperability among such infrastructures in the environmental and earth sciences. The 20 contributions in this book are structured in 5 parts on the design, development, deployment, operation and use of research infrastructures. Part one provides an overview of the state of the art of research infrastructure and relevant e-Infrastructure technologies, part two discusses the reference model guided engineering approach, the third part presents the software and tools developed for common data management challenges, the fourth part demonstrates the software via several use cases, and the last part discusses the sustainability and future directions.
    Keywords: Computer Applications ; Environment, general ; Special Purpose and Application-Based Systems ; Information Systems and Communication Service ; Software Engineering/Programming and Operating Systems ; Geography, general ; Computer and Information Systems Applications ; Environmental Sciences ; Database Management System ; Software Engineering ; Geography ; cloud computing ; cloud providers ; cloud services ; computer networks ; computing resource ; data communication systems ; databases ; distributed computer systems ; distributed systems ; engineering ; grid computing ; internet ; network protocols ; open access ; parallel processing systems ; signal processing ; telecommunication networks ; wireless telecommunication systems ; Information technology: general issues ; The environment ; Expert systems / knowledge-based systems ; Computer networking & communications ; Operating systems ; thema EDItEUR::U Computing and Information Technology::UB Information technology: general topics ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RN The environment ; 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::UT Computer networking and communications ; thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering ; thema EDItEUR::R Earth Sciences, Geography, Environment, Planning::RG Geography
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: *THIS BOOK WILL SOON BE AVAILABLE AS OPEN ACCESS BOOK* This book is a valuable resource for policymakers and practitioners as it brings insights mainly from developing countries where relatively less research activity takes place. It is also a valuable resource for courses in mathematics education in the teacher education colleges, and departments of education in the sub-Saharan Africa region. In the increasingly global and technological world mathematics is seen as a significant gatekeeper of opportunities for social and economic advancement and mobility. Hence, countries and development agencies in the broader sub-Saharan Africa region are looking towards increasing access to relevant and high-quality secondary education as a lever towards economic development. Policy makers and other key decision makers in education look towards improvement in mathematics teaching and learning as a key focus in education reform. In the East Africa region also a number of initiatives have been taken at the national level in the respective countries to improve the quality of mathematics education. This book provides an in-depth comparative analysis of the developments and issues in mathematics education in Kenya, Tanzania, Rwanda and Uganda, and advances our understanding of the state of secondary mathematics education in East Africa.
    Keywords: Mathematics Education ; International and Comparative Education ; Education Policy ; Mathematics curriculum developmen ; Mathematics education in sub-Saharan Africa ; Challenges in teaching and learning mathematics ; Harmonizing mathematics education in diverse settings ; State of mathematics education in sub-Saharan Africa ; Potentials in sub-Saharan African math education ; Pitfalls in sub-Saharan African math education ; Teaching of a specific subject ; Mathematics ; Education ; Central / national / federal government policies ; bic Book Industry Communication::J Society & social sciences::JN Education::JNU Teaching of a specific subject ; bic Book Industry Communication::J Society & social sciences::JN Education ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2021-02-10
    Description: This open access book presents a comparative study on how large-scale professional development programs for teachers are designed and implemented. Around the world, governments and educators are recognizing the need to educate students in a broad range of higher order cognitive skills and socio-emotional competencies, and providing effective opportunities for teachers to develop the expertise needed to teach these skills is a crucial aspect of effective implementation of curricula which include those goals. This study examines how large-scale efforts to empower teachers for deeper instruction have been designed, how they have been implemented, and their outcomes. To do so, it investigates six programs from England, Colombia, Mexico, India, and the United States. Though all six are intended to broaden and deepen students’ curricular aspirations, each takes this expansion of curricular goals in a different direction. The ambitious education reforms studied here explicitly focus on building teachers’ capacity to teach on a broader set of goals. Through a discerning analysis of program documents, evaluations, and interviews with senior leaders and participants in the programs, the book identifies the various theories of action used in these programs, examines how they were implemented, and discusses what they achieved. As such, it offers an indispensable resource for education leaders interested in designing and implementing professional development programs for teachers that are aligned with ambitious instructional goals.
    Keywords: Teaching and Teacher Education ; Educational Policy and Politics ; Curriculum Studies ; Education Policy ; Sociology of Education ; open access ; large scale professional development programs ; Teacher education and deeper learning ; Teacher education and twenty first century skills ; supporting teacher knowledge development ; supporting teacher pedagogical development ; designing teacher professional development ; implementing teacher professional development ; National education reforms and teacher professional development ; Comparative teacher education ; Mastery Math reform in England ; District based teacher professional development ; Teacher professional development in Colombia ; Teacher Professional development Mexico ; Teacher professional development in India ; Teacher professional development in Cambodia ; Teacher professional development in USA ; Teacher training ; Educational strategies & policy ; Curriculum planning & development ; Central / national / federal government policies ; Sociology ; Education ; Social research & statistics ; bic Book Industry Communication::J Society & social sciences::JN Education::JNM Higher & further education, tertiary education::JNMT Teacher training ; bic Book Industry Communication::J Society & social sciences::JN Education::JNF Educational strategies & policy ; bic Book Industry Communication::J Society & social sciences::JN Education::JNK Organization & management of education::JNKC Curriculum planning & development ; bic Book Industry Communication::J Society & social sciences::JP Politics & government::JPQ Central government::JPQB Central government policies ; bic Book Industry Communication::J Society & social sciences::JH Sociology & anthropology::JHB Sociology ; bic Book Industry Communication::J Society & social sciences::JN Education
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    facet.materialart.
    Unknown
    Springer Nature | Springer
    Publication Date: 2024-04-14
    Description: This open access book constitutes the 6 research workshops, the Agile Education and Training Track, the Doctoral Symposium, as well as a panel presented at XP 2020, the 21st International Conference on Agile Software Development, which was held during June 8-12, 2020. The conference was planned to take place at the IT University of Copenhagen, Denmark. Due to the COVID 19 pandemic, the conference was held online. In 2020, the following six workshops took place: Third International Workshop on Software-Intensive Business Eighth International Workshop on Large-Scale Agile Development Second European Symposium on Serverless Computing and Applications Second International Workshop on Agile Transformation First International Workshop on Agility with Microservices Programming Third International Workshop on Autonomous Agile Teams XP is the premier agile software development conference combining research and practice. It is a unique forum where agile researchers, practitioners, thought leaders, coaches, and trainers get together to present and discuss their most recent innovations, research results, experiences, concerns, challenges, and trends. XP conferences provide an informal environment to learn and trigger discussions and welcome both people new to agile and seasoned agile practitioners. The 31 papers presented in this volume were carefully reviewed and selected from overall 79 submissions. In addition to the 26 workshop papers, this volume also includes 2 papers from the Agile Education and Training Track and 3 papers from the Doctoral Symposium. Furthermore, the book contains a summary of a panel discussion with the topic “Covid-19’s Influence on the Future of Agile”.
    Keywords: Management of Computing and Information Systems ; IT in Business ; Software Engineering ; IT Operations ; XP ; Agile software development ; Extreme programming ; Lean development ; Software measurement ; open access ; Software maintenance ; Software testing ; Empirical software engineering ; Software management ; Software development techniques ; Business agility ; Information architecture ; Maintenance & repairs ; Business mathematics & systems ; Business applications ; thema EDItEUR::U Computing and Information Technology::UY Computer science::UYZ Human–computer interaction::UYZM Information architecture ; thema EDItEUR::K Economics, Finance, Business and Management::KJ Business and Management::KJQ Business mathematics and systems
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Publication Date: 2024-03-24
    Description: This open access book describes the Reading Success project, in which a 5-step, assessment-to- intervention process, based on the Simple View of Reading, was used within a primary school setting in Australia to better support those students who struggle with reading. It provides an easily accessible overview of each step of the process involved in implementing this approach and highlights the crucial importance of collaboration between professionals involved in the teaching of reading within a school setting. It focuses on the decision-making processes used, such as rich dialogue with the leadership team and teachers, and shares participants’ perspectives gathered throughout the project. Using case studies, the book describes how the 5-step approach assists in creating detailed profiles of students’ strengths and weaknesses in spoken and written language skills that can be used to guide targeted intervention This book offers valuable insights for educators, speech pathologists, researchers, and pre-service teacher education students interested in the teaching of reading
    Keywords: Literacy ; Teaching and Teacher Education ; Speech Pathology ; Assessment, Testing and Evaluation ; Early Childhood Education ; Schools and Schooling ; Speech and Language Therapy ; Education ; simple view of reading ; the teaching of reading ; reading comprehension ; reading accuracy ; collaborative practice ; speech to print profile ; school-based literacy interventions ; speech pathologists in school ; reading success ; literacy success ; open access ; Teacher training ; Speech & language disorders & therapy ; Education: examinations & assessment ; Early childhood care & education ; Schools ; thema EDItEUR::C Language and Linguistics::CF Linguistics::CFC Literacy ; thema EDItEUR::J Society and Social Sciences::JN Education::JNM Higher education, tertiary education::JNMT Teacher training ; thema EDItEUR::M Medicine and Nursing::MK Medical specialties, branches of medicine::MKZ Therapy and therapeutics::MKZL Speech and language disorders and therapy ; 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::JNL Schools and pre-schools::JNLA Pre-school and kindergarten ; thema EDItEUR::J Society and Social Sciences::JN Education::JNL Schools and pre-schools
    Language: English
    Format: image/jpeg
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Keywords: Biomass conversion ; Biotechnology ; Chemical Engineering ; Chemistry industry ; Industrial Chemistry ; Kent ; Riegel ; biochemical engineering
    Description / Table of Contents: Substantially revising and updating the classic reference in the field, this handbook offers a valuable overview and myriad details on current chemical processes, products, and practices. No other source offers as much data on the chemistry, engineering, economics, and infrastructure of the industry. The Handbook serves a spectrum of individuals, from those who are directly involved in the chemical industry to others in related industries and activities. It provides not only the underlying science and technology for important industry sectors, but also broad coverage of critical supporting topics. Industrial processes and products can be much enhanced through observing the tenets and applying the methodologies found in chapters on Green Engineering and Chemistry (specifically, biomass conversion), Practical Catalysis, and Environmental Measurements; as well as expanded treatment of Safety, chemistry plant security, and Emergency Preparedness. Understanding these factors allows them to be part of the total process and helps achieve optimum results in, for example, process development, review, and modification. Important topics in the energy field, namely nuclear, coal, natural gas, and petroleum, are covered in individual chapters. Other new chapters include energy conversion, energy storage, emerging nanoscience and technology. Updated sections include more material on biomass conversion, as well as three chapters covering biotechnology topics, namely, Industrial Biotechnology, Industrial Enzymes, and Industrial Production of Therapeutic Proteins.
    Pages: Online-Ressource (XIV, 1562 pages)
    ISBN: 9780387278438
    Language: English
    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...