- Table View
- List View
Theorising Personalised Education
by Barbara Garrick Donna Pendergast David GeelanThis book examines the theoretical underpinning of the concept of personalised education and explores the question: What is personalised education in the contemporary higher education sector and how is it implemented? A broad, sophisticated definition of personalised learning has the potential to serve as a basis for more effective educational practices. The term 'personalised education' is, and continues to be, one with a variety of definitions. The authors' definition both incorporates earlier concepts of personalised education and critically reassesses them. The book then adds a further dimension: personalised instruction in electronically mediated environments, where the goal is to achieve learning towards mastery individually with the help of differentiated and individualised electronic learning platforms. This book assesses the various arguments concerning personalised education, examining each through the lens of educational theory and pedagogy and subsequently positing a number of qualitative characteristics of personalised education that have the potential to influence policy and practices in the higher education sector.
Theorising and Designing Immersive Environments: Enchanting Spaces (Palgrave Studies in Performance and Technology)
by Ágnes-Karolina Bakk Péter Kristóf MakaiThis edited volume discusses the topic of immersion, approaching it from the perspective of various media and stakeholders: experiencers and creators. While the concept of immersion has gained widespread currency in the last decades beyond video games, its critical theory has not reached the same momentum, meaning that there is no unified way of using the term. This causes many misunderstandings and stands as an obstacle to successful expectation management processes, especially in the entertainment industry. This book presents a nuanced platform of discussion to answer the question of how immersion can manifest itself in different media, and how creators are embracing the current trends within the experience economy.
Theorising and Implementing Mobile Learning: Using the iPAC Framework to Inform Research and Teaching Practice
by Sandy Schuck Kevin Burden Matthew KearneyThis book focuses on teaching and learning with mobile technologies, with a particular emphasis on school and teacher education contexts. It explains a robust, highly-acclaimed contemporary mobile pedagogical framework (iPAC) that focuses on three distinct mobile pedagogies: personalisation, authenticity and collaboration. The book shows how mobile pedagogical practice can benefit from use of this framework. It offers numerous cutting-edge research resources and examples that supplement theoretical discussions. It considers directions for future research and practice. Readers will gain insights into the potential of current and emerging learning technologies in school and teacher education.
Theorizing Digital Cultural Heritage: A Critical Discourse
by Fiona Cameron Sarah KenderdineIn Theorizing Digital Cultural Heritage, experts offer a critical and theoretical appraisal of the uses of digital media by cultural heritage institutions. Previous discussions of cultural heritage and digital technology have left the subject largely unmapped in terms of critical theory; the essays in this volume offer this long-missing perspective on the challenges of using digital media in the research, preservation, management, interpretation, and representation of cultural heritage. The contributors--scholars and practitioners from a range of relevant disciplines--ground theory in practice, considering how digital technology might be used to transform institutional cultures, methods, and relationships with audiences. The contributors examine the relationship between material and digital objects in collections of art and indigenous artifacts; the implications of digital technology for knowledge creation, documentation, and the concept of authority; and the possibilities for "virtual cultural heritage"--the preservation and interpretation of cultural and natural heritage through real-time, immersive, and interactive techniques. The essays in Theorizing Digital Cultural Heritagewill serve as a resource for professionals, academics, and students in all fields of cultural heritage, including museums, libraries, galleries, archives, and archaeology, as well as those in education and information technology. The range of issues considered and the diverse disciplines and viewpoints represented point to new directions for an emerging field. Contributors: Nadia Arbach, Juan Antonio Barcelo, Deidre Brown, Fiona Cameron, Erik Champion, Sarah Cook, Jim Cooley, Bharat Dave, Suhas Deshpande, Bernadette Flynn, Maurizio Forte, Kati Geber, Beryl Graham, Susan Hazan, Sarah Kenderdine, Jose Ripper Kos, Harald Kraemer, Ingrid Mason, Gavan McCarthy, Slavko Milekic, Rodrigo Paraizo, Ross Parry, Scot T. Refsland, Helena Robinson, Angelina Russo, Corey Timpson, Marc Tuters, Peter Walsh, Jerry Watkins, Andrea Witcomb Media in Transition series
Theorizing Mediated Information Distortion: The COVID-19 Infodemic and Beyond (Routledge Studies in Media, Communication, and Politics)
by Brian H. SpitzbergThis book explores the phenomenon of distortion of information through media via the lens of the COVID-19 pandemic, and the ways in which relevant information distortion and virality have occurred in regard to the disease and its risks. Positing that the interrelated processes of misinformation, disinformation, fake news and conspiracy theories are related forms of distortion of information through media (DIM) and can only be understood through a multilevel theoretical model that incorporates message-based, individual difference, social network-based, societal and geotechnical factors, Brian H. Spitzberg develops an integrative, well-argued, and well-evidenced framework within which these issues can and should be addressed. This book offers a model for further research across such disciplines as communication, journalism/media studies, political science, sociology, cognitive psychology, social psychology, evolutionary psychology, public health, big data analytics, social network analytics, computational linguistics and geographic information sciences, and will interest researchers and students in those areas.
Theory Informing and Arising from Learning Analytics
by Kathryn Bartimote Sarah K. Howard Dragan GaševićTheory Informing and Arising from Learning Analytics delves into the dynamic intersection of learning theory and educational data analysis within the field of Learning Analytics (LA). This groundbreaking book illuminates how theoretical insights can revolutionize data interpretation, reshape research methodologies, and expand the horizons of human learning and educational theory. Organized into three distinct sections, it offers a comprehensive introduction to the role of theory in LA, features contributions from leading scholars who apply diverse theoretical frameworks to their research, and explores cutting-edge topics where new theories are emerging. A standout feature is the inclusion of three “in conversation” chapters, where expert panels dive into the topics of ethics, self-regulated learning, and qualitative computation, enriched by accompanying podcasts that provide fresh, thought-provoking perspectives. This book is an invaluable resource for researchers, sparking debates on the evolving role of theory in LA and challenging conventional epistemological views. Published by Springer, it is an essential read for both aspiring and seasoned scholars eager to engage with the forefront of LA research.
Theory and Application of Reuse, Integration, and Data Science (Advances in Intelligent Systems and Computing #838)
by Thouraya Bouabana-Tebibel Stuart H. Rubin Lydia Bouzar-BenlabiodThis book presents recent research in the field of reuse and integration, and will help researchers and practitioners alike to understand how they can implement reuse in different stages of software development and in various domains, from robotics and security authentication to environmental issues. Indeed, reuse is not only confined to reusing code; it can be included in every software development step. The challenge today is more about adapting solutions from one language to another, or from one domain to another. The relative validation of the reused artifacts in their new environment is also necessary, at time even critical. The book includes high-quality research papers on these and many other aspects, written by experts in information reuse and integration, who cover the latest advances in the field. Their contributions are extended versions of the best papers presented at the IEEE International Conference on Information Reuse and Integration (IRI) and IEEE International Workshop on Formal Methods Integration (FMI), which were held in San Diego in August 2017.
Theory and Applications of Dependable Computer Systems: Proceedings of the Fifteenth International Conference on Dependability of Computer Systems DepCoS-RELCOMEX, June 29 – July 3, 2020, Brunów, Poland (Advances in Intelligent Systems and Computing #1173)
by Janusz Kacprzyk Wojciech Zamojski Jacek Mazurkiewicz Jarosław Sugier Tomasz WalkowiakThis book presents selected papers from the Fifteenth International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX), which illustrate the diversity of theoretical problems in analysis of performability, reliability and security of contemporary computer systems. Covering also methodologies and practical tools involved in this field, it is a valuable reference resource for scientists, researchers, practitioners and students who are dealing with these subjects.Established in 2006, DepCoS-RELCOMEX is an annual conference series organised by Wrocław University of Science and Technology. It focuses on the dependability and performability of contemporary computer systems – topics that can provide solutions to new challenges in evaluation of their reliability and efficiency. Since they are probably the most complex technical systems ever engineered by humans, the organization of modern computer systems cannot be modelled and analysed solely as structures (however complex and distributed) built only on the basis of technical resources. Instead they should be considered as a unique blend of interacting people (their needs and behaviours), networks (together with mobile properties, iCloud organisation, Internet of Everything) and a large number of users dispersed geographically and producing an unimaginable number of applications. This new, interdisciplinary approach is developing a continually increasing range of methods which apply also the latest findings in artificial intelligence (AI) and computational intelligence (CI).
Theory and Applications of Difference Equations and Discrete Dynamical Systems
by Ziyad Alsharawi Jim M. Cushing Saber ElaydiThis volume contains the proceedings of the 19th International Conference on Difference Equations and Applications, held at Sultan Qaboos University, Muscat, Oman in May 2013. The conference brought together experts and novices in the theory and applications of difference equations and discrete dynamical systems. The volume features papers in difference equations and discrete time dynamical systems with applications to mathematical sciences and, in particular, mathematical biology, ecology, and epidemiology. It includes four invited papers and eight contributed papers. Topics covered include: competitive exclusion through discrete time models, Benford solutions of linear difference equations, chaos and wild chaos in Lorenz-type systems, advances in periodic difference equations, the periodic decomposition problem, dynamic selection systems and replicator equations, and asymptotic equivalence of difference equations in Banach Space. This book will appeal to researchers, scientists, and educators who work in the fields of difference equations, discrete time dynamical systems and their applications.
Theory and Applications of Formal Argumentation
by Elizabeth Black Nir Oren Sanjay ModgilThis book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentation and application of such models in subfields of AI, evaluation of models, both theoretical and practical, and theories and applications developed through inter-disciplinary collaboration.
Theory and Applications of Formal Argumentation: Second International Workshop, Tafa 2013, Beijing, China, August 3-5, 2013, Revised Selected Papers (Lecture Notes in Computer Science #8306)
by Elizabeth Black Nir Oren Sanjay ModgilThis book constitutes the refereed proceedings of the 4th International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2017, held in Melbourne, VIC, Australia, in August 2017. The workshop was co-located with International Joint Conference on Artifi cial Intelligence(IJCAI 2017). The 15 revised full papers presented were carefully reviewed and selected from 20 submissions. The workshops covers the subjects such as non-monotonic reasoning, decision making, inter-agent communication, the semantic web, grid applications, ontologies, recommender systems, machine learning, neural networks, trust computing, normative systems, social choice theory, judgement aggregation and game theory, and law and medicine.
Theory and Applications of Image Registration
by A. Ardeshir GoshtasbyA hands-on guide to image registration theory and methods—with examples of a wide range of real-world applications Theory and Applications of Image Registration offers comprehensive coverage of feature-based image registration methods. It provides in-depth exploration of an array of fundamental issues, including image orientation detection, similarity measures, feature extraction methods, and elastic transformation functions. Also covered are robust parameter estimation, validation methods, multi-temporal and multi-modality image registration, methods for determining the orientation of an image, methods for identifying locally unique neighborhoods in an image, methods for detecting lines in an image, methods for finding corresponding points and corresponding lines in images, registration of video images to create panoramas, and much more. Theory and Applications of Image Registration provides readers with a practical guide to the theory and underpinning principles. Throughout the book numerous real-world examples are given, illustrating how image registration can be applied to problems in various fields, including biomedicine, remote sensing, and computer vision. Also provided are software routines to help readers develop their image registration skills. Many of the algorithms described in the book have been implemented, and the software packages are made available to the readers of the book on a companion website. In addition, the book: Explores the fundamentals of image registration and provides a comprehensive look at its multi-disciplinary applications Reviews real-world applications of image registration in the fields of biomedical imaging, remote sensing, computer vision, and more Discusses methods in the registration of long videos in target tracking and 3-D reconstruction Addresses key research topics and explores potential solutions to a number of open problems in image registration Includes a companion website featuring fully implemented algorithms and image registration software for hands-on learning Theory and Applications of Image Registration is a valuable resource for researchers and professionals working in industry and government agencies where image registration techniques are routinely employed. It is also an excellent supplementary text for graduate students in computer science, electrical engineering, software engineering, and medical physics.
Theory and Applications of Models of Computation
by Rahul Jain Sanjay Jain Frank StephanThis book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathematical logic; computational complexity and Boolean functions; graphy theory; quantum computing; parallelism and statistics; learning, automata and probabilistic models; parameterised complexity.
Theory and Applications of Models of Computation
by T. V. Gopal Gerhard Jäger Silvia SteilaThis book constitutes the refereed proceedings of the 11th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Chennai, India, in April 2014. The 27 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers explore the algorithmic foundations, computational methods and computing devices to meet today's and tomorrow's challenges of complexity, scalability and sustainability, with wide-ranging impacts on everything from the design of biological systems to the understanding of economic markets and social networks.
Theory and Applications of Models of Computation: 15th Annual Conference, TAMC 2019, Kitakyushu, Japan, April 13–16, 2019, Proceedings (Lecture Notes in Computer Science #11436)
by Junzo Watada T. V. GopalThis book constitutes the refereed proceedings of the 15th Annual Conference on Theory and Applications of Models of Computation, TAMC 2019, held in Kitakyushu, Japan, in April 2019. The 43 revised full papers were carefully reviewed and selected from 60 submissions. The main themes of the selected papers are computability, computer science logic, complexity, algorithms, models of computation, and systems theory.
Theory and Applications of Models of Computation: 16th International Conference, TAMC 2020, Changsha, China, October 18–20, 2020, Proceedings (Lecture Notes in Computer Science #12337)
by Jianer Chen Qilong Feng Jinhui XuThis book constitutes the refereed proceedings of the 16th Annual Conference on Theory and Applications of Models of Computation, TAMC 2020, held in Changsha, China, in October 2020. The 37 full papers were carefully reviewed and selected from 83 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory and foundations of artificial intelligence.
Theory and Applications of Models of Computation: 17th Annual Conference, TAMC 2022, Tianjin, China, September 16–18, 2022, Proceedings (Lecture Notes in Computer Science #13571)
by Ding-Zhu Du Dachuan Xu Donglei Du Chenchen WuThis book constitutes the refereed proceedings of the 17th Annual Conference on Theory and Applications of Models of Computation, TAMC 2022, held as a virtual event, in September 2022. The 33 full papers were carefully reviewed and selected from 75 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory and their extensions to machine learning theory, and foundations of artificial intelligence.
Theory and Applications of Models of Computation: 18th Annual Conference, TAMC 2024, Hong Kong, China, May 13–15, 2024, Proceedings (Lecture Notes in Computer Science #14637)
by Bo Li Xujin ChenThis book constitutes the proceedings of the 18th Annual Conference on Theory and Applications of Models of Computation, TAMC 2024, which was held in Hong Kong, China, during May 13–15, 2024. The 30 full papers presented in this book were carefully reviewed and selected from 69 submissions. The main themes of the selected papers are computability, complexity, algorithms, information theory, as well as their integration with machine learning theory and the foundations of artificial intelligence.
Theory and Applications of Ontology: Computer Applications
by Roberto Poli Achilles Kameas Michael HealyOntology was once understood to be the philosophical inquiry into the structure of reality: the analysis and categorization of 'what there is'. Recently, however, a field called 'ontology' has become part of the rapidly growing research industry in information technology. The two fields have more in common than just their name. Theory and Applications of Ontology is a two-volume anthology that aims to further an informed discussion about the relationship between ontology in philosophy and ontology in information technology. It fills an important lacuna in cutting-edge research on ontology in both fields, supplying stage-setting overview articles on history and method, presenting directions of current research in either field, and highlighting areas of productive interdisciplinary contact. Theory and Applications of Ontology: Computer Applications presents ontology in ways that philosophers are not likely to find elsewhere. The volume offers an overview of current research in ontology, distinguishing basic conceptual issues, domain applications, general frameworks, and mathematical formalisms. It introduces the reader to current research on frameworks and applications in information technology in ways that are sure to invite reflection and constructive responses from ontologists in philosophy.
Theory and Applications of Ontology: Philosophical Perspectives
by Roberto Poli Johanna SeibtOntology was once understood to be the philosophical inquiry into the structure of reality: the analysis and categorization of 'what there is'. Recently, however, a field called 'ontology' has become part of the rapidly growing research industry in information technology. The two fields have more in common than just their name. Theory and Applications of Ontology is a two-volume anthology that aims to further an informed discussion about the relationship between ontology in philosophy and ontology in information technology. It fills an important lacuna in cutting-edge research on ontology in both fields, supplying stage-setting overview articles on history and method, presenting directions of current research in either field, and highlighting areas of productive interdisciplinary contact. Theory and Applications of Ontology: Philosophical Perspectives presents ontology in philosophy in ways that computer scientists are not likely to find elsewhere. The volume offers an overview of current research traditions in ontology, contrasting analytical, phenomenological, and hermeneutic approaches. It introduces the reader to current philosophical research on those categories of everyday and scientific reasoning that are most relevant to present and future research in information technology.
Theory and Applications of Satisfiability Testing – SAT 2018: 21st International Conference, SAT 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 9–12, 2018, Proceedings (Lecture Notes in Computer Science #10929)
by Olaf Beyersdorff Christoph M. WintersteigerThis book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.The 20 revised full papers, 4 short papers, and 2 tool papers were carefully reviewed and selected from 58 submissions. The papers address different aspects of SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications as well as case studies and reports on findings based on rigorous experimentation. They are organized in the following topical sections: maximum satisfiability; conflict driven clause learning; model counting; quantified Boolean formulae; theory; minimally unsatisfiable sets; satisfiability modulo theories; and tools and applications.
Theory and Applications of Satisfiability Testing – SAT 2019: 22nd International Conference, SAT 2019, Lisbon, Portugal, July 9–12, 2019, Proceedings (Lecture Notes in Computer Science #11628)
by Mikoláš Janota Inês LynceThis book constitutes the refereed proceedings of the 22nd International Conference on Theory and Applications of Satisfiability Testing, SAT 2019, held in Lisbon, Portugal, UK, in July 2019. The 19 revised full papers presented together with 7 short papers were carefully reviewed and selected from 64 submissions. The papers address different aspects of SAT interpreted in a broad sense, including (but not restricted to) theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
Theory and Applications of Satisfiability Testing – SAT 2020: 23rd International Conference, Alghero, Italy, July 3–10, 2020, Proceedings (Lecture Notes in Computer Science #12178)
by Martina Seidl Luca PulinaThis book constitutes the proceedings of the 23rd International Conference on Theory and Applications of Satisfiability Testing, SAT 2020, which was planned to take place in Alghero, Italy, during July 5-9, 2020. Due to the coronavirus COVID-19 pandemic, the conference was held virtually. The 25 full, 9 short, and 2 tool papers presented in this volume were carefully reviewed and selected from 69 submissions. They deal with SAT interpreted in a broad sense, including theoretical advances (such as exact algorithms, proof complexity, and other complexity issues), practical search algorithms, knowledge compilation, implementation-level details of SAT solvers and SAT-based systems, problem encodings and reformulations, applications (including both novel application domains and improvements to existing approaches), as well as case studies and reports on findings based on rigorous experimentation.
Theory and Applications of Satisfiability Testing – SAT 2021: 24th International Conference, Barcelona, Spain, July 5-9, 2021, Proceedings (Lecture Notes in Computer Science #12831)
by Chu-Min Li Felip ManyàThis book constitutes the proceedings of the 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021, which took place in Barcelona, Spain, in July 2021.The 37 full papers presented in this volume were carefully reviewed and selected from 73 submissions. They deal with theory and applications of the propositional satisfiability problem, broadly construed. Aside from plain propositional satisfiability, the scope of the meeting includes Boolean optimization, including MaxSAT and pseudo-Boolean (PB) constraints, quantified Boolean formulas (QBF), satisfiability modulo theories (SMT), and constraint programming (CP) for problems with clear connections to Boolean reasoning.
Theory and Applications of Spherical Microphone Array Processing
by Emanuël A.P. Habets Daniel P. Jarrett Patrick A. NaylorThis book presents the signal processing algorithms that have been developed to process the signals acquired by a spherical microphone array. Spherical microphone arrays can be used to capture the sound field in three dimensions and have received significant interest from researchers and audio engineers. Algorithms for spherical array processing are different to corresponding algorithms already known in the literature of linear and planar arrays because the spherical geometry can be exploited to great beneficial effect. The authors aim to advance the field of spherical array processing by helping those new to the field to study it efficiently and from a single source, as well as by offering a way for more experienced researchers and engineers to consolidate their understanding, adding either or both of breadth and depth. The level of the presentation corresponds to graduate studies at MSc and PhD level. This book begins with a presentation of some of the essential mathematical and physical theory relevant to spherical microphone arrays, and of an acoustic impulse response simulation method, which can be used to comprehensively evaluate spherical array processing algorithms in reverberant environments. The chapter on acoustic parameter estimation describes the way in which useful descriptions of acoustic scenes can be parameterized, and the signal processing algorithms that can be used to estimate the parameter values using spherical microphone arrays. Subsequent chapters exploit these parameters including in particular measures of direction-of-arrival and of diffuseness of a sound field. The array processing algorithms are then classified into two main classes, each described in a separate chapter. These are signal-dependent and signal-independent beamforming algorithms. Although signal-dependent beamforming algorithms are in theory able to provide better performance compared to the signal-independent algorithms, they are currently rarely used in practice. The main reason for this is that the statistical information required by these algorithms is difficult to estimate. In a subsequent chapter it is shown how the estimated acoustic parameters can be used in the design of signal-dependent beamforming algorithms. This final step closes, at least in part, the gap between theory and practice.