- Table View
- List View
Theoretical Aspects of Computing – ICTAC 2016
by Augusto Sampaio Farn WangThis book constitutes the refereed proceedings of the 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, held in Taipei, Taiwan, in October 2016. The 23 revised full papers presented together with two short papers, two invited papers and one abstract of an invited paper were carefully reviewed and selected from 60 submissions. The papers are organized in topical sections on program verification; design, synthesis and testing; calculi; specifications; composition and transformation; automata; temporal logics; tool and short papers.
Theoretical Aspects of Computing – ICTAC 2019: 16th International Colloquium, Hammamet, Tunisia, October 31 – November 4, 2019, Proceedings (Lecture Notes in Computer Science #11884)
by Robert Mark Hierons Mohamed MosbahThis book constitutes the refereed proceedings of the 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, held in Hammamet, Tunisia, in October/November 2019.The 17 revised full papers presented together with 2 keynote papers and 1 industrial paper were carefully reviewed and selected from 138 submissions.The papers are grouped in topical sections on models and transition systems; real-time and temporal logics; verification and concurrency; privacy and security; equations, types, and programming languages.
Theoretical Aspects of Computing – ICTAC 2020: 17th International Colloquium, Macau, China, November 30 – December 4, 2020, Proceedings (Lecture Notes in Computer Science #12545)
by Violet Ka I Pun Volker Stolz Adenilso SimaoThis book constitutes the proceedings of the 17th International Colloquium on Theoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020. The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Theoretical Aspects of Computing – ICTAC 2021: 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8–10, 2021, Proceedings (Lecture Notes in Computer Science #12819)
by Antonio Cerone Peter Csaba ÖlveczkyThis book constitutes the proceedings of the 18th International Colloquium on Theoretical Aspects of Computing, ICTAC 2021, organized by the Nazarbayev University, Nur-Sultan, Kazakhstan. The event was supposed to take place in Nur-Sultan, Kazakhstan, but due to COVID-19 pandemic is was held virtually. The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development. The 20 full papers presented in this volume were carefully reviewed and selected from 55 submissions. The papers cover a wide variety of topics, including: getting the best price for selling your personal data; attacking Bitcoin; optimizing various forms of model checking; synthesizing and learning algorithms; formalizing and verifying contracts, languages, and compilers; analyzing the correctness and complexity of programs and distributed systems; and finding connections from proofs in propositional logic to quantum programming languages.
Theoretical Aspects of Computing – ICTAC 2022: 19th International Colloquium, Tbilisi, Georgia, September 27–29, 2022, Proceedings (Lecture Notes in Computer Science #13572)
by Helmut Seidl Zhiming Liu Corina S. PasareanuThis book constitutes the proceedings of the 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022, which took place in Tbilisi, Georgia, in September 2022.The 23 papers presented in this volume together with 2 short papers were carefully reviewed and selected from 52 submissions. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Theoretical Aspects of Computing – ICTAC 2023: 20th International Colloquium, Lima, Peru, December 4–8, 2023, Proceedings (Lecture Notes in Computer Science #14446)
by Erika Ábrahám Clemens Dubslaff Silvia Lizeth Tapia TarifaThis book constitutes the proceedings of the 20th International Colloquium on Theoretical Aspects of Computing, ICTAC 2023, which took place in Lima, Peru, during December 4–8, 2023. The 20 full papers presented in this volume together with 3 invited papers and 1 tool paper were carefully reviewed and selected from 40 submissions. They were organised in the topical sections as follows: Bring Together Practitioners; Researchers from Academia; Industry; Government to Present Research Results and Exchange Experience and Ideas.
Theoretical Aspects of Computing - ICTAC 2015
by Martin Leucker Camilo Rueda Frank D. ValenciaThis book constitutes the refereed proceedings of the12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015,held in Cali, Colombia, in October 2015. The 25 revised full papers presented togetherwith 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewedand selected from 93 submissions. The papers cover various topics such asalgebra and category theory; automata and formal languages; concurrency;constraints, logic and semantic; software architecture and component-baseddesign; and verification.
Theoretical Aspects of Distributed Computing in Sensor Networks
by José D.P. Rolim Sotiris NikoletseasWireless ad hoc sensor networks has recently become a very active research subject. Achieving efficient, fault-tolerant realizations of very large, highly dynamic, complex, unconventional networks is a real challenge for abstract modelling, algorithmic design and analysis, but a solid foundational and theoretical background seems to be lacking. This book presents high-quality contributions by leading experts worldwide on the key algorithmic and complexity-theoretic aspects of wireless sensor networks. The intended audience includes researchers and graduate students working on sensor networks, and the broader areas of wireless networking and distributed computing, as well as practitioners in the relevant application areas. The book can also serve as a text for advanced courses and seminars.
Theoretical Aspects of Software Engineering: 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8–10, 2022, Proceedings (Lecture Notes in Computer Science #13299)
by Yamine Aït-Ameur Florin CrăciunThis book constitutes the proceedings of the 16th International Conference on Theoretical Aspects of Software Engineering, TASE 2022, held in Cluj-Napoca, Romania, July 2022. The 21 full regular papers presented together with 5 short papers in this book were carefully reviewed and selected from 71 submissions. The topics of the papers covering various fields in software engineering and the latest developments in in formal and theoretical software engineering methods and techniques.
Theoretical Aspects of Software Engineering: 18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings (Lecture Notes in Computer Science #14777)
by Wei-Ngan Chin Zhiwu XuThis book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024. The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected from 76 submissions. The papers presented new results on innovative advances in software engineering, as well as the latest developments in formal and theoretical software engineering methods and techniques.
Theoretical Aspects of Software Engineering: 17th International Symposium, TASE 2023, Bristol, UK, July 4–6, 2023, Proceedings (Lecture Notes in Computer Science #13931)
by Cristina David Meng SunThis book constitutes the proceedings of the 17th International Conference on Theoretical Aspects of Software Engineering, TASE 2023, held in Bristol, UK, July 4–6, 2023.The 19 full papers and 2 short papers included in this book were carefully reviewed and selected from 49 submissions. They cover the following areas: distributed and concurrent systems; cyber-physical systems; embedded and real-time systems; object-oriented systems; quantum computing; formal verification and program semantics; static analysis; formal methods; verification and testing for AI systems; and AI for formal methods.
Theoretical Aspects of Spatial-Temporal Modeling
by Tomoko Matsui Gareth William PetersThis book provides a modern introductory tutorial on specialized theoretical aspects of spatial and temporal modeling. The areas covered involve a range of topics which reflect the diversity of this domain of research across a number of quantitative disciplines. For instance, the first chapter provides up-to-date coverage of particle association measures that underpin the theoretical properties of recently developed random set methods in space and time otherwise known as the class of probability hypothesis density framework (PHD filters). The second chapter gives an overview of recent advances in Monte Carlo methods for Bayesian filtering in high-dimensional spaces. In particular, the chapter explains how one may extend classical sequential Monte Carlo methods for filtering and static inference problems to high dimensions and big-data applications. The third chapter presents an overview of generalized families of processes that extend the class of Gaussian process models to heavy-tailed families known as alpha-stable processes. In particular, it covers aspects of characterization via the spectral measure of heavy-tailed distributions and then provides an overview of their applications in wireless communications channel modeling. The final chapter concludes with an overview of analysis for probabilistic spatial percolation methods that are relevant in the modeling of graphical networks and connectivity applications in sensor networks, which also incorporate stochastic geometry features.
Theoretical Computer Science: 40th National Conference, NCTCS 2022, Changchun, China, July 29–31, 2022, Revised Selected Papers (Communications in Computer and Information Science #1693)
by Zhiping Cai Yijia Chen Jialin ZhangThis book constitutes the refereed proceedings of the 40th National Conference on Theoretical Computer Science, NCTCS 2022, held in Changchun, China, during July 29–31, 2022.The 13 full papers and 6 short papers included in this book were carefully reviewed and selected from 58 submissions. They were organized in topical sections as follows: computational theory and model; approximation algorithms; artificial intelligence; and system and resource scheduling.
Theoretical Computer Science: 39th National Conference of Theoretical Computer Science, NCTCS 2021, Yinchuan, China, July 23–25, 2021, Revised Selected Papers (Communications in Computer and Information Science #1494)
by Zhiping Cai Jian Li Jialin ZhangThis book constitutes the thoroughly refereed proceedings of the 39th National Conference of Theoretical Computer Science, NCTCS 2021, held in Yinchuan, China, in July 2021. The 67 full papers were carefully reviewed and selected from 145 submissions, and 14 of them were selected for the volume. The papers present recent research in the areas of information hiding, data detection and recognition, system scheduling, time series prediction, and formal analysis.
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 Zhiping Cai Mingyu Xiao Jialin ZhangThis 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
by Dingzhu Du Lian Li En Zhu Kun HeThe satisfiability (SAT) problem is central in mathematical logic, computing theory, and many industrial applications. There has been a strong relationship between the theory, the algorithms, and the applications of the SAT problem. This book aims to bring together work by the best theorists, algorithmists, and practitioners working on the SAT problem and on industrial applications, as well as to enhance the interaction between the three research groups. The book features the application of theoretical/algorithmic results to practical problems and presents practical problems for theoretical/algorithmic study. Major topics covered in the book include practical and industrial SAT problems and benchmarks, significant case studies and applications of the SAT problem and SAT algorithms, new algorithms and improved techniques for satisfiability testing, specific data structures and implementation details of the SAT algorithms, and the theoretical study of the SAT problem and SAT algorithms. It features: a comprehensive review of SAT research work over the past 25 years; the most recent research results; and a spectrum of algorithmic issues and applications.
Theoretical Computer Science: 38th National Conference, NCTCS 2020, Nanning, China, November 13–15, 2020, Revised Selected Papers (Communications in Computer and Information Science #1352)
by Kun He Cheng Zhong Zhiping Cai Yitong YinThis book constitutes the thoroughly refereed proceedings of the 38th National Conference of Theoretical Computer Science, NCTCS 2020, held in Nanning, China, in November 2020. The 13 full papers presented were carefully reviewed and selected from 28 submissions. They present recent research in the areas of algorithms and complexity, matrix computation; deep learning; network communication and security.
Theoretical Computer Science: 36th National Conference, NCTCS 2018, Shanghai, China, October 13–14, 2018, Proceedings (Communications in Computer and Information Science #882)
by Lian Li Pinyan Lu Kun HeThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2018, held in Shanghai, China, in October 2018. The 11 full papers presented were carefully reviewed and selected from 31 submissions. They present relevant trends of current research in the area of algorithms and complexity, software theory and method, data science and machine learning theory.
Theoretical Computer Science: 37th National Conference, NCTCS 2019, Lanzhou, China, August 2–4, 2019, Revised Selected Papers (Communications in Computer and Information Science #1069)
by Xiaoming Sun Kun He Xiaoyun ChenThis book constitutes the thoroughly refereed proceedings of the National Conference of Theoretical Computer Science, NCTCS 2019, held in Lanzhou, China, in August 2019. The 11 full papers presented were carefully reviewed and selected from 28 submissions. They present relevant trends of current research in the area of algorithms and complexity, data science and machine learning theory, and computational model.
Theoretical Cybersecurity: Principles and Advanced Concepts
by Jacob G. Oakley Michael Butler 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 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, 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.