Discrete Mathematics 7

This textbook offers graduate students a concise introduction to the classic notions of convex optimization. Written in a highly accessible style and including numerous examples and illustrations, i……続きを見る

This book is intended to serve as a textbook for a course in Representation Theory of Algebras at the beginning graduate level. The text has two parts. In Part I, the theory is studied in an element……続きを見る

This book constitutes the thoroughly refereed workshop post-proceedings of the 15th International Workshop on Approximation and Online Algorithms, WAOA 2017, held in Vienna, Austria, in September 20……続きを見る

This book constitutes the thoroughly refereed proceedings of the 11th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2016, held in Rome, Italy, in April 20……続きを見る

An introduction to the mathematical theory of multistage decision processes, this text takes a "functional equation" approach to the discovery of optimum policies. Written by a leading developer of ……続きを見る

This book constitutes the refereed proceedings of the 27th International Conference on Algorithmic Learning Theory, ALT 2016, held in Bari, Italy, in October 2016, co-located with the 19th Internati……続きを見る

This book constitutes the refereed proceedings of the 16th International Workshop on Algorithms in Bioinformatics, WABI 2016, held in Aarhus, Denmark. The 25 full papers together with 2 invited talk……続きを見る

This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016. The 9 revised f……続きを見る

This book constitutes the refereed proceedings of the 9th International Symposium on Algorithmic Game Theory, SAGT 2016, held in Liverpool, UK, in September 2016. The 26 full papers presented togeth……続きを見る

Geometry in ancient Greece is said to have originated in the curiosity of mathematicians about the shapes of crystals, with that curiosity culminating in the classification of regular convex polyhed……続きを見る

This book reflects more than three decades of research on Cellular Automata (CA), and nearly a decade of work on the application of CA to model biological strings, which forms the foundation of 'A N……続きを見る

This volume constitutes the proceedings of the 12th International Conference on Algorithmic Aspects in Information and Management, AAIM 2018, held in Dallas, Texas, USA, in December 2018. The 25 ful……続きを見る

This book constitutes the refereed proceedings of the 12th China Workshop on Machine Translation, CWMT 2016, held in Urumqi, China, in August 2016. The 10 English papers presented in this volume wer……続きを見る

This book contains a selection of the best papers that were presented at the 28th edition of the annual Benelux Conference on Artificial Intelligence, BNAIC 2016. The conference took place on Novemb……続きを見る

This book constitutes the refereed proceedings of the Third Australasian Conference on Artificial Life and Computational Intelligence, ACALCI 2017, held in Geelong, VIC, Australia, in January/Februa……続きを見る

This book constitutes the thoroughly refereed workshop post-proceedings of the 16th International Workshop on Approximation and Online Algorithms, WAOA 2018, held in Helsinki, Finland, in August 201……続きを見る

This book constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA 2014, held in Corfu, Greece, in Oc……続きを見る

This book constitutes the conference proceedings of the 5th International Conference on Algorithmic Decision Theory , ADT 2017, held in Luxembourg, in October 2017. The 22 full papers presented toge……続きを見る

This book constitutes the refereed proceedings of the 7th IAPR TC3 International Workshop on Artificial Neural Networks in Pattern Recognition, ANNPR 2016, held in Ulm, Germany, in September 2016. T……続きを見る

This collaborative book presents recent trends on the study of sequences, including combinatorics on words and symbolic dynamics, and new interdisciplinary links to group theory and number theory. O……続きを見る

The two-volume set LNAI 10632 and 10633 constitutes the proceedings of the 16th Mexican International Conference on Artificial Intelligence, MICAI 2017, held in Enseneda, Mexico, in October 2017. Th……続きを見る

This book constitutes the refereed proceedings of the 18th Conference of the Spanish Association for Artificial Intelligence, CAEPIA 2018, held in Granada, Spain, in October 2018. The 36 full papers……続きを見る

This is the first book to link the mod 2 Steenrod algebra, a classical object of study in algebraic topology, with modular representations of matrix groups over the field F of two elements. The link……続きを見る

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coast, Australia in November 2018. The 10 ……続きを見る

This book constitutes the refereed proceedings of the Third China Conference on Knowledge Graph and Semantic Computing, CCKS 2018, held in Tianjin, China, in August 2018. The 27 revised full papers ……続きを見る

This Festschrift volume is published in honor of Professor Paul G. Spirakis on the occasion of his 60th birthday. It celebrates his significant contributions to computer science as an eminent, talen……続きを見る

Quantum machine learning investigates how quantum computers can be used for data-driven prediction and decision making. The books summarises and conceptualises ideas of this relatively young discipl……続きを見る

This book constitutes the revised selected papers of the 11th Italian Workshop on Advances in Artificial Life, Evolutionary Computation and Systems Chemistry, WIVACE 2016, held at Fisciano, Italy, i……続きを見る

This book constitutes the thoroughly refereed proceedings of the 5th National Conference of Social Media Processing, SMP 2016, held in Nanchang, China, in October 2016. The 24 revised full papers pr……続きを見る

This book constitutes the refereed proceedings of the 9th International Conference on Artificial General Intelligence, AGI 2016, held in New York City, NY, USA, in July 2016 as part of HLAI 2016, th……続きを見る