Classical Finite Transformation Semigroups

Classical Finite Transformation Semigroups

Author: Olexandr Ganyushkin

Publisher: Springer Science & Business Media

Published: 2008-12-10

Total Pages: 318

ISBN-13: 1848002815

DOWNLOAD EBOOK

The aim of this monograph is to give a self-contained introduction to the modern theory of finite transformation semigroups with a strong emphasis on concrete examples and combinatorial applications. It covers the following topics on the examples of the three classical finite transformation semigroups: transformations and semigroups, ideals and Green's relations, subsemigroups, congruences, endomorphisms, nilpotent subsemigroups, presentations, actions on sets, linear representations, cross-sections and variants. The book contains many exercises and historical comments and is directed first of all to both graduate and postgraduate students looking for an introduction to the theory of transformation semigroups, but also to tutors and researchers.


Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Author: Jürgensen

Publisher: Springer

Published: 2013-06-14

Total Pages: 298

ISBN-13: 3642393101

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 15th International Workshop of Descriptional Complexity of Formal Systems, DCFS 2013, held in London, ON, Canada, in July 2013. The 22 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 46 submissions. The topics covered are automata, grammars, languages and other formal systems; various modes of operations and complexity measures; co-operating systems; succinctness of description of objects, state-explosion-like phenomena; circuit complexity of Boolean functions and related measures; size complexity and structural complexity of formal systems; trade-offs between computational models and mode of operation; applications of formal systems; for instance in software and hardware testing, in dialogue systems, in systems modeling or in modeling natural languages; and their complexity constraints; size or structural complexity of formal systems for modeling natural languages; complexity aspects related to the combinatorics of words; descriptional complexity in resource-bounded or structure-bounded environments; structural complexity as related to descriptional complexity; frontiers between decidability and undecidability; universality and reversibility; nature-motivated (bio-inspired) architectures and unconventional models of computing; Kolmogorov-Chaitin complexity, algorithmic information.


Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics

Algebraic Monoids, Group Embeddings, and Algebraic Combinatorics

Author: Mahir Can

Publisher: Springer

Published: 2014-06-11

Total Pages: 360

ISBN-13: 149390938X

DOWNLOAD EBOOK

This book contains a collection of fifteen articles and is dedicated to the sixtieth birthdays of Lex Renner and Mohan Putcha, the pioneers of the field of algebraic monoids. Topics presented include: structure and representation theory of reductive algebraic monoids monoid schemes and applications of monoids monoids related to Lie theory equivariant embeddings of algebraic groups constructions and properties of monoids from algebraic combinatorics endomorphism monoids induced from vector bundles Hodge–Newton decompositions of reductive monoids A portion of these articles are designed to serve as a self-contained introduction to these topics, while the remaining contributions are research articles containing previously unpublished results, which are sure to become very influential for future work. Among these, for example, the important recent work of Michel Brion and Lex Renner showing that the algebraic semi groups are strongly π-regular. Graduate students as well as researchers working in the fields of algebraic (semi)group theory, algebraic combinatorics and the theory of algebraic group embeddings will benefit from this unique and broad compilation of some fundamental results in (semi)group theory, algebraic group embeddings and algebraic combinatorics merged under the umbrella of algebraic monoids.


Cellular Automata and Discrete Complex Systems

Cellular Automata and Discrete Complex Systems

Author: Matthew Cook

Publisher: Springer

Published: 2016-06-01

Total Pages: 211

ISBN-13: 3319393006

DOWNLOAD EBOOK

This volume constitutes the thoroughly refereed proceedings of the 22nd IFIP WG 1.5International Workshop on Cellular Automata and Discrete ComplexSystems, AUTOMATA 2016, held in Zurich, Switzerland, in June 2016. This volume contains 3 invited talks in full-paper length and 12 regularpapers, which were carefully reviewed and selected from a total of 23submissions. The papers feature research on all fundamental aspects of cellular automata and related discrete complex systems and deal with the following topics: dynamical, topological, ergodic and algebraic aspects; algorithmic and complexity issues; emergent properties; formal language processing; symbolic dynamics; models of parallelism and distributed systems; timing schemes; phenomenological descriptions; scientific modeling; and practical applications.


The Theory of Near-Rings

The Theory of Near-Rings

Author: Robert Lockhart

Publisher: Springer Nature

Published: 2021-11-14

Total Pages: 555

ISBN-13: 3030817555

DOWNLOAD EBOOK

This book offers an original account of the theory of near-rings, with a considerable amount of material which has not previously been available in book form, some of it completely new. The book begins with an introduction to the subject and goes on to consider the theory of near-fields, transformation near-rings and near-rings hosted by a group. The bulk of the chapter on near-fields has not previously been available in English. The transformation near-rings chapters considerably augment existing knowledge and the chapters on product hosting are essentially new. Other chapters contain original material on new classes of near-rings and non-abelian group cohomology. The Theory of Near-Rings will be of interest to researchers in the subject and, more broadly, ring and representation theorists. The presentation is elementary and self-contained, with the necessary background in group and ring theory available in standard references.


Formal Ontology in Information Systems

Formal Ontology in Information Systems

Author: Maureen Donnelly

Publisher: IOS Press

Published: 2012

Total Pages: 368

ISBN-13: 1614990832

DOWNLOAD EBOOK

The complex information systems which have evolved in recent decades rely on robust and coherent representations in order to function. Such representations and associated reasoning techniques constitute the modern discipline of formal ontology, which is now applied to fields such as artificial intelligence, computational linguistics, bioinformatics, GIS, conceptual modeling, knowledge engineering, information retrieval, and the semantic web. Ontologies are increasingly employed in a number of complex real-world application domains. For instance, in biology and medicine, more and more principle-based ontologies are being developed for the description of biological and biomedical phenomena. To be effective, such ontologies must work well together, and as they become more widely used, achieving coordinated development presents a significant challenge. This book presents collected articles from the 7th International Conference on Formal Ontologies (FOIS), held in Graz, Austria, in July 2012.FOIS is a forum which brings together representatives of all major communities involved in the development and application of ontologies to explore both theoretical issues and concrete applications in the field. The book is organized in eight sections, each of which deals with the ontological aspects of: bioinformatics; physical entities; artifacts and human resources; ontology evaluation; language and social relations; time and events; representation and the methodological aspects of ontological engineering. Providing a current overview of developments in formal ontology, this book will be of interest to all those whose work involves the application of ontologies, and to anybody wishing to keep abreast of advances in the field.


Descriptional Complexity of Formal Systems

Descriptional Complexity of Formal Systems

Author: Cezar Câmpeanu

Publisher: Springer

Published: 2016-07-13

Total Pages: 233

ISBN-13: 3319411144

DOWNLOAD EBOOK

his book constitutes the refereed proceedings of the 18th International Conference on Descriptional Complexity of Formal Systems, DCFS 2016, held in Bucharest, Romania, in July 2016. The 13 full papers presented together with 4 invited talks were carefully reviewed and selected from 21 submissions.Descriptional Complexity is a field in Computer Science that deals with the size of all kind of objects that occur in computational models, such as Turing Machines, finte automata, grammars, splicing systems and others. The topics of this conference are related to all aspects of descriptional complexity.


Algebra and Related Topics with Applications

Algebra and Related Topics with Applications

Author: Mohammad Ashraf

Publisher: Springer Nature

Published: 2022-11-30

Total Pages: 492

ISBN-13: 9811938989

DOWNLOAD EBOOK

This proceedings is a collection of research papers on algebra and related topics, most of which were presented at the International Conference on Algebra and Related Topics with Applications (ICARTA-19), held at the Department of Mathematics, Aligarh Muslim University, Aligarh, India, from 17–19 December 2019. It covers a wide range of topics on ring theory, coding theory, cryptography, and graph theory. In addition to highlighting the latest research being done in algebra, the book also addresses the abundant topics of algebra particularly semigroups, groups, derivations in rings, rings and modules, group rings, matrix algebra, triangular algebra, polynomial rings and lattice theory. Apart from these topics, the book also discusses applications in cryptology, coding theory, and graph theory.