The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in computerscience, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras...
详细信息
ISBN:
(数字)9783642046391
ISBN:
(纸本)9783642046384
The book constitutes the joint refereed proceedings of the 11th International Conference on Relational Methods in computerscience, RelMiCS 2009, and the 6th International Conference on Applications of Kleene Algebras, AKA 2009, held in Doha, Qatar in November 2009. The 22 revised full papers presented together with 2 invited papers were carefully reviewed and selected from numerous submissions. The papers describe the calculus of relations and similar algebraic formalisms as methodological and conceptual tools with special focus on formal methods for software engineering, logics of programs and links to neighbouring disciplines. Their scope comprises relation relation algebras and Kleene algebras, related formalisms such as process algebras, fixed point calculi, idempotent semirings, quantales, allegories, dynamic algebras, cylindric algebras and their applications in areas such as verification, analysis and development of programs and algorithms relational formal methods such as B or Z, tabular methods, algebraic approaches to logics of programs, modal and dynamic logics, interval and temporal logics, algebraic semantics of programming languages , graph theory and combinatorial optimization, games, automata and language theory, mechanised and automated reasoning, decision procedures, spatio-temporal reasoning, knowledge acquisition, preference and scaling methods or information systems.
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in computerscience, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers present...
详细信息
ISBN:
(数字)9783642229442
ISBN:
(纸本)9783642229435
This book constitutes the refereed proceedings of the 4th International Conference on Algebra and Coalgebra in computerscience, CALCO 2011, held in Winchester, UK, in August/September 2011. The 21 full papers presented together with 4 invited talks were carefully reviewed and selected from 41 submissions. The papers report results of theoretical work on the mathematics of algebras and coalgebras, the way these results can support methods and techniques for software development, as well as experience with the transfer of the resulting technologies into industrial practice. They cover topics in the fields of abstract models and logics, specialized models and calculi, algebraic and coalgebraic semantics, and system specification and verification. The book also includes 6 papers from the CALCO-tools Workshop, colocated with CALCO 2011 and dedicated to tools based on algebraic and/or coalgebraic principles.
The 10 full papers presented together with 3invited talks were carefully reviewed and selected from 48 submissions. Thepapers feature novel and high-quality research in all areas of theoreticalcomputerscience.
ISBN:
(数字)9783319286785
ISBN:
(纸本)9783319286778
The 10 full papers presented together with 3
invited talks were carefully reviewed and selected from 48 submissions. The
papers feature novel and high-quality research in all areas of theoretical
computerscience.
The 28th International Workshop on Graph-Theoretic Concepts in computer ? science (WG 2002) was held in Cesky ´ Krumlov, a beautiful small town in the southern part of the Czech Republic on the river Vltava (Mold...
详细信息
ISBN:
(数字)9783540363798
ISBN:
(纸本)9783540003311
The 28th International Workshop on Graph-Theoretic Concepts in computer ? science (WG 2002) was held in Cesky ´ Krumlov, a beautiful small town in the southern part of the Czech Republic on the river Vltava (Moldau), June 13–15, 2002. The workshop was organized by the Department of Applied mathematics of the Faculty of mathematics and Physics of Charles University in Prague. Since 1975, WG has taken place in Germany 20 times, twice in Austria and The Netherlands, and once in Italy, Slovakia, and Switzerland. As in previous years, the workshop aimed at uniting theory and practice by demonstrating how graph-theoretic concepts can be applied to various areas in computerscience, or by extracting new problems from *** workshop was devoted to the theoretical and practical aspects of graph concepts in computerscience, and its contributed talks showed how recent research results from algorithmic graph theory can be used in computerscience and which graph-theoretic questions arise from new developments in computerscience. Altogether 61 research papers were submitted and reviewed by the program committee. The program committee represented the wide scienti?c spectrum, and in a careful reviewing process with four reports per submission it selected ***’commentsaswellasthe numerous fruitful discussions during the workshop have been taken into account by the authors of these conference proceedings.
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of computerscience, MFCS'98, held in Brno, Czech Republic, in August 1998.;The 71 revised full pa...
详细信息
ISBN:
(数字)9783540685326
ISBN:
(纸本)9783540648277
This book constitutes the refereed proceedings of the 23rd International Symposium on the Mathematical Foundations of computerscience, MFCS'98, held in Brno, Czech Republic, in August 1998.;The 71 revised full papers presented were carefully reviewed and selected from a total of 168 submissions. Also included are 11 full invited surveys by prominent leaders in the area. The papers are organized in topical sections on problem complexity; logic, semantics, and automata; rewriting; automata and transducers; typing; concurrency, semantics, and logic; circuit complexity; programming; structural complexity; formal languages; graphs; Turing complexity and logic; binary decision diagrams, etc..
The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computerscience and artificial intelligence focusin...
详细信息
ISBN:
(数字)9783031826702
ISBN:
(纸本)9783031826696
The 48 full papers presented in this book were carefully reviewed and selected from 109 submissions. They include original research from all areas of foundations of computerscience and artificial intelligence focusing on AI-based algorithms and techniques, nature-inspired computing, machine learning theory, multi-agent algorithms and games, neural network theory, parallel and distributed computing, quantum computing, computability, decidability, classical and non-classical models of computation, computational complexity, computational learning, cryptographic techniques and security, data compression, data and pattern mining methods, discrete combinatorial optimization, automata, languages, machine models, rewriting systems, efficient data structures, graph structure and algorithms, logics of computation, robotics, and other relevant theory topics in computing and AI.
This paper discusses homogeneous bent functions. The space of homogeneous functions of degree three in six boolean variables was exhaustively searched and 30 bent functions were found. These are found to occur in a si...
详细信息
This paper discusses homogeneous bent functions. The space of homogeneous functions of degree three in six boolean variables was exhaustively searched and 30 bent functions were found. These are found to occur in a single orbit under the action of relabeling of the variables. The homogeneous bent functions identified exhibit interesting combinatorial structures and are, to the best of our knowledge, the first examples of bent functions without quadratic terms. A construction for other homogeneous bent functions of degree three in larger spaces is also given. (C) 2000 Elsevier science B.V. All rights reserved.
This book;offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to...
详细信息
ISBN:
(数字)9789811663505
ISBN:
(纸本)9789811663499
This book;offers high-quality content in the research area of graph algorithms and explores the latest developments in graph algorithmics. The reader will gain a comprehensive understanding of how to use algorithms to explore graphs. It is a collection of texts that have proved to be trend setters and good examples of that. The book aims at providing the reader with a deep understanding of the structural properties of graphs that are useful for the design of efficient algorithms. These algorithms have applications in finite state machine modelling, social network theory, biology, and mathematics. The book contains many exercises, some up at present-day research-level. The exercises encourage the reader to discover new techniques by putting things in a clear perspective. A study of this book will provide the reader with many powerful tools to model and tackle problems in real-world scenarios.
This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups ca...
详细信息
ISBN:
(数字)9783030552152
ISBN:
(纸本)9783030552145
This book describes the relation between profinite semigroups and symbolic dynamics. Profinite semigroups are topological semigroups which are compact and residually finite. In particular, free profinite semigroups can be seen as the completion of free semigroups with respect to the profinite metric. In this metric, two words are close if one needs a morphism on a large finite monoid to distinguish them. The main focus is on a natural correspondence between minimal shift spaces (closed shift-invariant sets of two-sided infinite words) and maximal J-classes (certain subsets of free profinite semigroups). This correspondence sheds light on many aspects of both profinite semigroups and symbolic dynamics. For example, the return words to a given word in a shift space can be related to the generators of the group of the corresponding J-class. The book is aimed at researchers and graduate students in mathematics or theoretical computerscience.
暂无评论