Bringing together the research of leading international scholars in the field of digital learning, Designing Effective Digital Learning Environments discusses cutting-edge advancements in digital technology and presents an evidence-informed summary of best practices for effective design principles and implementation within educational settings.Readers will benefit from a synthesis of research evidence from previous meta-analyses on how to design digital environments that s...

Ning Cai was an eminent mathematician, engineer and computer scientist who made many significant contributions to information theory. In particular, his work on network coding theory created a new research direction for the community.Prof. Cai’s passion for science inspired his collaborators across the fields of classical and quantum information theory, combinatorics, computation, post-Shannon theory, and coding theory, and the contributions in this volume reflect his success as a ...

The exploration of ways to conceptualize the shaping of the present by socio‐technical futures is the aim of this volume. Therefore it brings together contributions from Science and Technology Studies and Technology Assessment, which focus all on the question how socio-technical images of the future shape present processes of innovation and transformation starting from empirical case studies and generalizing specific findings or by tackling conceptual questions from the outset. A white pap...

The Gandhāran birch-bark scrolls preserve the earliest remains of Buddhist literature known today and provide unprecedented insights into the history of Buddhism. This volume presents three manuscripts from the Bajaur Collection (BC), a group of nineteen scrolls discovered at the end of the twentieth century and named after their findspot in northwestern Pakistan. The manuscripts, written in the Gāndhārī language and Kharoṣṭhī script, date to the second century CE. The three scrolls—BC 4, ...

In an attempt to introduce application scientists and graduate students to the exciting topic of positive definite kernels and radial basis functions, this book presents modern theoretical results on kernel-based approximation methods and demonstrates their implementation in various settings. The authors explore the historical context of this fascinating topic and explain recent advances as strategies to address long-standing problems. Examples are drawn from fields as diverse as function ...

This popular book demystifies literature reviewing and answers the questions students have about how to tackle the process.

Analysis, assessment, and data management are core competencies for operation research analysts. This volume addresses a number of issues and developed methods for improving those skills. It is an outgrowth of a conference held in April 2013 at the Hellenic Military Academy, and brings together a broad variety of mathematical methods and theories with several applications. It discusses directions and pursuits of scientists that pertain to engineering sciences. It is also presents the theor...

Handbook of Robust Low-Rank and Sparse Matrix Decomposition: Applications in Image and Video Processing shows you how robust subspace learning and tracking by decomposition into low-rank and sparse matrices provide a suitable framework for computer vision applications. Incorporating both existing and new ideas, the book conveniently gives you one-stop access to a number of different decompositions, algorithms, implementations, and benchmarking techniques.Divided in...

Approachable, up-to-date, and rich with practical tips and strategies, Polit & Beck’s Nursing Research: Generating and Assessing Evidence for Nursing Practice, 12th Edition, is the go-to text for teaching students how to perform research and critically appraise research reports for use in practice. Clear writing details the latest methodologic innovations in nursing, medicine, and social sciences, accompanied by helpful learning features that reinforce effective research methods and help s...

This unique text/reference presents a comprehensive review of the state of the art in sparse representations, modeling and learning. The book examines both the theoretical foundations and details of algorithm implementation, highlighting the practical application of compressed sensing research in visual recognition and computer vision. Topics and features: describes sparse recovery approaches, robust and efficient sparse representation, and large-scale visual recognition; covers feature re...

This open access book constitutes the proceedings of the 36th International Conference on Computer-Aided Verification, CAV 2024, which took place in Montreal, Canada, during July 24–27, 2024.The primary focus of CAV is to extend the frontiers of verification techniques by expanding to new domains such as security, quantum computing, and machine learning.

This book constitutes the refereed proceedings of the 26th International Workshop on Computer Algebra in Scientific Computing, CASC 2024, which took place in Rennes, France, during September 2 - September 6, 2024.The 19 full papers included in this book were carefully reviewed and selected from 23 submissions. The annual International Workshop CASC 2024 aims to bring together researchers in theoretical computer algebra (CA), engineers, scholars, as well as other allied professional...