- Table View
- List View
Theoretical Computer Science: 41st National Conference, NCTCS 2023, Guangzhou, China, July 21–23, 2023, Revised Selected Papers (Communications in Computer and Information Science #1944)
by Mingyu Xiao Jialin Zhang Zhiping CaiThis book constitutes the refereed proceedings of the 41st National Conference on Theoretical Computer Science, NCTCS 2023, held in Guangzhou, China, during July 21–23, 2023.The 16 full papers included in this book were carefully reviewed and selected from 70 submissions. They were organized in topical sections as follows: theoretical computer science, algorithm complexity, artificial intelligence, algorithm design, machine learning theory, computational model, formal methods, network security, software and application security.
Theoretical Computer Science: 42nd National Conference, NCTCS 2024, Qingdao, China, July 19–21, 2024, Revised Selected Papers (Communications in Computer and Information Science #2354)
by Jialin Zhang Zhiping Cai Yitong YinThis book constitutes the refereed proceedings of the 42nd National Conference on Theoretical Computer Science, NCTCS 2024, held in Qingdao, China, during July 19–21, 2024. The 13 full papers included in this book were carefully reviewed and selected from 75 submissions. They were organized in topical sections as follows: Algorithm Design, Approximation Algorithms, Logics, and Artificial Intelligence Theory and Algorithm, Algorithm Application.
Theoretical Cybersecurity: Principles and Advanced Concepts
by Michael Butler Jacob G. Oakley Wayne York Matthew Puckett J. Louis SewellThere is a distinct lack of theoretical innovation in the cybersecurity industry. This is not to say that innovation is lacking, as new technologies, services, and solutions (as well as buzzwords) are emerging every day. This book will be the first cybersecurity text aimed at encouraging abstract and intellectual exploration of cybersecurity from the philosophical and speculative perspective. Technological innovation is certainly necessary, as it furthers the purveying of goods and services for cybersecurity producers in addition to securing the attack surface of cybersecurity consumers where able. The issue is that the industry, sector, and even academia are largely technologically focused. There is not enough work done to further the trade—the craft of cybersecurity. This book frames the cause of this and other issues, and what can be done about them. Potential methods and directions are outlined regarding how the industry can evolve to embrace theoretical cybersecurity innovation as it pertains to the art, as much as to the science. To do this, a taxonomy of the cybersecurity body of work is laid out to identify how the influences of the industry’s past and present constrain future innovation. Then, cost-benefit analysis and right-sizing of cybersecurity roles and responsibilities—as well as defensible experimentation concepts—are presented as the foundation for moving beyond some of those constraining factors that limit theoretical cybersecurity innovation. Lastly, examples and case studies demonstrate future-oriented topics for cybersecurity theorization such as game theory, infinite-minded methodologies, and strategic cybersecurity implementations. What you’ll learn The current state of the cybersecurity sector and how it constrains theoretical innovation How to understand attacker and defender cost benefit The detect, prevent, and accept paradigm How to build your own cybersecurity box Supporting cybersecurity innovation through defensible experimentation How to implement strategic cybersecurity Infinite vs finite game play in cybersecurity Who This Book Is For This book is for both practitioners of cybersecurity and those who are required to, or choose to, employ such services, technology, or capabilities.
Theoretical Ecology: Concepts and Models with R
by Ryan ChisholmAn accessible and wide-ranging introduction to the concepts and tools of theoretical ecologyTheoretical ecology explores the mechanisms that structure ecological communities using a variety of mathematical and computational tools. Theoretical Ecology shows you how to translate ecological problems into mechanistic models using both mathematics and the programming language R. The book teaches key concepts and core quantitative skills while also devoting significant attention to the reasons for building mathematical ecological models. Why do species populations fluctuate over time and space? How do multiple species coexist? What forces drive nutrient and carbon cycles? Does higher species diversity lead to higher biomass? Each chapter in this incisive and informative book is motivated by questions like these, and every chapter includes boxes that delve into mathematical details and provide coding examples in R.Focuses on mathematical and computational methods while also drawing on conceptual and graphical approaches, and explores how the various approaches complement one anotherTeaches students the skills they need to implement and analyze ecological models in RCovers topics ranging from single-species, competition, and predator–prey models to community ecology, island biogeography, and nutrient-flux modelsProvides exercises of gradated difficulty at the end of every chapterIdeal for advanced undergraduate and graduate classrooms and for independent studyIncludes a road map for class planning and self-study
Theoretical Foundations of Learning Environments
by Susan Land David JonassenTheoretical Foundations of Learning Environments provides students, faculty, and instructional designers with a clear, concise introduction to the major pedagogical and psychological theories and their implications for the design of new learning environments for schools, universities, or corporations. Leading experts describe the most important contemporary theories that form the foundation of the conception and design of student-centered learning environments and new applications of educational technologies. This book is well suited as a textbook for courses in instructional design, educational psychology, learning theory, curriculum theory and design, and related areas. The rise of constructivism and its associated theories represented a paradigm shift for educators and instructional designers to a view of learning as necessarily more social, conversational, and constructive than traditional transmissive views of learning. This bestselling book was the first to provide a manageable overview of the altered field, and the second edition has been fully updated to include expert introductions to Metacognition, Argumentation, and other key contemporary theories.
Theoretical Information Reuse and Integration
by Thouraya Bouabana-Tebibel Stuart H. RubinInformationReuse and Integration addresses the efficient extension and creation ofknowledge through the exploitation of Kolmogorov complexity in the extractionand application of domain symmetry. Knowledge, which seems to be novel, canmore often than not be recast as the image of a sequence of transformations,which yield symmetric knowledge. When the size of those transformations and/orthe length of that sequence of transforms exceeds the size of the image, thenthat image is said to be novel or random. It may also be that the new knowledgeis random in that no such sequence of transforms, which produces it exists, oris at least known. Thenine chapters comprising this volume incorporate symmetry, reuse, andintegration as overt operational procedures or as operations built into theformal representations of data and operators employed. Either way, theaforementioned theoretical underpinnings of information reuse and integrationare supported.
Theoretical Investigations: Philosophical Foundations of Group Cognition (Computer-Supported Collaborative Learning Series #18)
by Gerry StahlComputers have transformed how we think, discuss and learn—as individuals, in groups, within cultures and globally. However, social media are problematic, fostering flaming, culture wars and fake news. This volume presents an alternative paradigm for computer support of group thinking, collaborative learning and joint knowledge construction. This requires expanding concepts of cognition to collectivities, like collaborative groups of networked students. Theoretical Investigations explores the conditions for group cognition, supplying a philosophical foundation for new models of pedagogy and methods to analyze group interaction. Twenty-five self-contained investigations document progress in research on computer-supported collaborative learning (CSCL)—both in Stahl’s own research and during the first decade of the CSCL journal.The volume begins with two new reflections on the vision and theory that result from this research. Representing both ethnomethodological and social-constructivist research paradigms, the investigations within this volume comprise a selection of seminal and influential articles and critical commentaries that contribute to an understanding of concepts and themes central to the CSCL field. The book elaborates an innovative theory of group cognition and substantiates the pedagogical potential of CSCL. Theoretical Investigations: Philosophical Foundations of Group Cognition is essential as a graduate text for courses in educational theory, instructional design, learning and networked technologies. The investigations will also appeal to researchers and practitioners in those areas.
Theoretical and Applied Aspects of Systems Biology (Computational Biology #27)
by Nicolas Carels Fabricio Alves Barbosa da Silva Floriano Paes Silva JuniorThis book presents the theoretical foundations of Systems Biology, as well as its application in studies on human hosts, pathogens and associated diseases. This book presents several chapters written by renowned experts in the field. Some topics discussed in depth in this book include: computational modeling of multiresistant bacteria, systems biology of cancer, systems immunology, networks in systems biology.
Theoretical, Modelling and Numerical Simulations Toward Industry 4.0 (Studies in Systems, Decision and Control #319)
by Samsul Ariffin Abdul KarimThis book presents theoretical modeling and numerical simulations applied to drive several applications towards Industrial Revolution 4.0 (IR 4.0). The topics discussed range from theoretical parts to extensive simulations involving many efficient algorithms as well as various statistical techniques. This book is suitable for postgraduate students, researchers as well as other scientists who are working in mathematics, statistics and numerical modeling and simulation.
Theoretische Informatik für Dummies (Für Dummies)
by Roland SchmitzTheoretische Informatik stellt für viele Studenten ein Angstfach dar, sie gilt als abstrakt, stark formalisiert und dem Alltag entrückt. Das vorliegende Buch macht die Grundideen der Theoretischen Informatik auch für Studenten verständlich, deren erster Schwerpunkt nicht Informatik und schon gar nicht Mathematik ist. Automatentheorie, formale Sprachen und Grammatiken, Komplexität und Berechenbarkeit sind die wesentlichen Inhalte der Theoretischen Informatik, die in diesem Buch behandelt werden. Durch die Vielzahl der Beispiele, auch aus dem täglichen Leben, und den lockeren Schreibstil kann jeder interessierte Studierende die Hürde "Theoretische Informatik" nehmen - und vielleicht sogar etwas von der Faszination spüren, die von ihr ausgeht.
Theoretische Mechanik (Grundlagen der Physikalischen und Mathematischen Geodäsie)
by Karl Heinz IlkDieses Lehrbuch aus der Reihe „Grundlagen der Physikalischen und Mathematischen Geodäsie“ behandelt die Elemente der klassischen Mechanik, die für die Modellbildung der Physikalischen Geodäsie, insbesondere im Rahmen der Nutzung künstlicher Erdsatelliten, wichtig sind. Detailliert geht der Autor auf die Mechanik von Mehrkörpersystemen gravitierender Teilchen, die Mechanik starrer Körper sowie die Eulerschen Kreiselgleichungen und die Rotationsbewegung von starren Körpern mit verschiedenen Trägheitsmomenten ein. Anwendungsbeispiele der wichtigen geodätischen Bewegungsprobleme verdeutlichen die Zusammenhänge. Weiterhin gibt der Autor eine Einführung in die Mechanik deformierbarer Körper, in die Lagrangesche Formulierung der klassischen Mechanik sowie in den Hamilton-Formalismus. Ausgewählte einfache Beispiele erleichtern das Verständnis und veranschaulichen jeweils die Anwendungen in der Geodäsie.
Theories and Practice in Interaction Design
by Craig E. RasmussenAd hoc and interdisciplinary, the field of interaction design claims no unified theory. Yet guidelines are needed. In essays by 26 major thinkers and designers, this book presents the rich mosaic of ideas which nourish the lively art of interaction design. The editors introduction is a critical survey of interaction design with a debt and contribut
Theories in Digital Composite Photographs: 12 Artists and Their Work
by Yihui HuangTheories in Digital Composite Photographs: 12 Artists and Their Work presents a theoretical investigation of digital composite photographs through philosophical exploration of artists’ concepts of reality. With an international cohort of contemporary digital composite artists, this book presents twelve cases studies on artists’ motivation, production process, and the relation of their worldview to theoretical interpretation. Author Yihui Huang situates each artists’ work in the context of photographic theory and western aesthetics, including realism, expressionism, formalism and postmodernism. As creation of digital composites grows in popularity and influence, this is the first to integrate a philosophical and theoretical understanding of this unique art form. Featuring a wide range of international artists, this volume is both insightful and inspirational for student and seasoned professional alike.
Theories of Geographic Concepts: Ontological Approaches to Semantic Integration
by Marinos Kavouras Margarita KoklaMost widely available approaches to semantic integration provide ad-hoc, non-systematic, subjective manual mappings that lead to procrustean amalgamations to fit the target standard, an outcome that pleases no one. Written by experts in the field, Theories of Geographic Concepts: Ontological Approaches to Semantic Integration emphasizes the
Theories of Programming Languages
by John C. ReynoldsThis textbook is a broad but rigorous survey of the theoretical basis for the design, definition, and implementation of programming languages, and of systems for specifying and proving program behavior. It encompasses imperative and functional programming, as well as the ways of integrating these aspects into more general languages. Basic concepts and their properties are described with mathematical rigor, but the mathematical development is balanced by numerous examples of applications, particularly of program specification and proof, concurrent programming, functional programming (including the use of continuations and lazy evaluation), and type systems (including subtyping, polymorphism, and modularization). Assuming only knowledge of elementary programming, this text is perfect for advanced undergraduate and beginning graduate courses in programming language theory, and will also appeal to researchers and professionals in designing or implementing computer languages.
Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 80th Birthday (Lecture Notes in Computer Science #14080)
by Jonathan P. Bowen Qin Li Qiwen XuThis Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.
Theories of the Mobile Internet: Materialities and Imaginaries (Routledge Studies in New Media and Cyberculture)
by Andrew Herman Jan Hadlaw Thom SwissThis volume proposes the mobile Internet is best understood as a socio-technical "assemblage" of objects, practices, symbolic representations, experiences and affects. Authors from a variety of disciplines discuss practices mediated through mobile communication, including current phone and tablet devices. The converging concepts of Materialities (ranging from the political economy of communication to physical devices) and Imaginaries (including cultural values, desires and perceptions) are touchstones for each of the chapters in the book.
Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming
by Yi-Guo Zhu Li-Zhong Liu Ning Ma Ping HuOver the last 15 years, the application of innovative steel concepts in the automotive industry has increased steadily. Numerical simulation technology of hot forming of high-strength steel allows engineers to modify the formability of hot forming steel metals and to optimize die design schemes. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming focuses on hot and cold forming theories, numerical methods, relative simulation and experiment techniques for high-strength steel forming and die design in the automobile industry. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming introduces the general theories of cold forming, then expands upon advanced hot forming theories and simulation methods, including: the forming process, constitutive equations, hot boundary constraint treatment, and hot forming equipment and experiments. Various calculation methods of cold and hot forming, based on the authors' experience in commercial CAE software for sheet metal forming, are provided, as well as a discussion of key issues, such as hot formability with quenching process, die design and cooling channel design in die, and formability experiments. Theories, Methods and Numerical Technology of Sheet Metal Cold and Hot Forming will enable readers to develop an advanced knowledge of hot forming, as well as to apply hot forming theories, calculation methods and key techniques to direct their die design. It is therefore a useful reference for students and researchers, as well as automotive engineers.
Theorising Cyber: Information, Materiality, and Entropic Security (Routledge Studies in Conflict, Security and Technology)
by Noran Shafik FouadThis book argues that cybersecurity’s informational ontology offers empirical challenges, and introduces a new interdisciplinary theoretical and conceptual framework of ‘entropic security’.Cyber-attacks have been growing exponentially in number and sophistication; ranging from those conducted by non-state actors to state-backed cyber-attacks. Accordingly, cybersecurity now constitutes an integral part of public, private, and academic discourses on contemporary (in)security. Yet, because its emergence as a novel security field occurred after many long-established frameworks had already been developed, cybersecurity has been repeatedly scrutinised for its compatibility with conventional security theories, concepts, and understandings, particularly with that of military security. This book, however, argues that cybersecurity differs profoundly from many other security sectors because of the ontological nature of ‘information’ that sits at the heart of this field. Through this new framework, the book investigates three key empirical challenges in cybersecurity that are co-produced by its informational ontology: (1) the disordered nature of cybersecurity and its tendency towards increasing insecurity as a manifestation of the intrinsic uncertainties in information systems; (2) the unpredictable and unintended consequences resulting from autonomous cyber-attacks that challenge human control of cybersecurity environments; and (3) the persistent harms engendered by ‘mundane’ cyber threats that do not fit within conventional understandings of existentiality in security theories. Through a detailed analysis of cybersecurity discourses and practices in the USA (2003-present), the book goes on to show how these complex cybersecurity challenges are better analysed and theorised through the new information-theoretic notion of ‘entropic security’.This book will be of much interest to students of cyber-security, critical security studies, science and technology studies and International Relations in general.
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.