Discrete Mathematics 91

This book focuses on recent advances, approaches, theories and applications related to mixture models. In particular, it presents recent unsupervised and semi-supervised frameworks that consider mix……続きを見る

The chapters in this volume highlight the state-of-the-art of compressed sensing and are based on talks given at the third international MATHEON conference on the same topic, held from December 4-8,……続きを見る

This book constitutes the refereed proceedings of the 21st International Workshop on Computer Algebra in Scientific Computing, CASC 2019, held in Moscow, Russia, in August 2019. The 28 full papers p……続きを見る

This book brings together papers from the 2018 International Conference on Communications, Signal Processing, and Systems, which was held in Dalian, China on July 14–16, 2018. Presenting the latest ……続きを見る

This book constitutes the refereed proceedings of the 23st International Symposium on VLSI Design and Test, VDAT 2019, held in Indore, India, in July 2019. The 63 full papers were carefully reviewed……続きを見る

This book constitutes the proceedings of the 4th International Conference on Geometric Science of Information, GSI 2019, held in Toulouse, France, in August 2019. The 79 full papers presented in thi……続きを見る

John Vince explains a wide range of mathematical techniques and problem-solving strategies associated with computer games, computer animation, virtual reality, CAD and other areas of computer graphi……続きを見る

This book constitutes the refereed proceedings of the 17th International Conference on Formal Modeling and Analysis of Timed Systems, FORMATS 2019, held in Amsterdam, The Netherlands, in August 2019……続きを見る

This book constitutes the proceedings of the 12th International Symposium on Frontiers of Combining Systems, FroCoS 2019, held in London, UK, in September 2019, colocated with the 28th International……続きを見る

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions present……続きを見る

This book constitutes the proceedings of the 14th International Conference on Queueing Theory and Network Applications, QTNA 2019, held in Ghent, Belgium, in August 2019. The 23 full papers included……続きを見る

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, held in London, UK, in September 2019, co……続きを見る

This book constitutes the proceedings of the 17th International Conference on Business Process Management, BPM 2019, held in Vienna, Austria, in September 2019. The 23 full and 4 tutorial short pape……続きを見る

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The Netherlands, in August 2019. The 9 re……続きを見る

Dieses Buch erläutert kompakt, ohne theoretischen Überbau und mit möglichst wenig mathematischem Formalismus die wesentlichen Konzepte bei der Verschlüsselung schützenswerter Nachrichten und Daten. ……続きを見る

At the heart of modern cryptographic algorithms lies computational number theory. Whether you're encrypting or decrypting ciphers, a solid background in number theory is essential for success. Writt……続きを見る

This three-volume set, LNAI 11670, LNAI 11671, and LNAI 11672 constitutes the thoroughly refereed proceedings of the 16th Pacific Rim Conference on Artificial Intelligence, PRICAI 2019, held in Cuvu……続きを見る

This book constitutes the revised selected papers of the 12th International Workshop on Information Search, Integration and Personalization, ISIP 2018, held in Fukuoka, Japan, in May 2018. The volum……続きを見る

This book constitutes the refereed proceedings of the 16th International Conference on Modeling Decisions for Artificial Intelligence, MDAI 2019, held in Milan, Italy, in September 2019. The 30 pape……続きを見る

Advances in Domain Adaptation Theory gives current, state-of-the-art results on transfer learning, with a particular focus placed on domain adaptation from a theoretical point-of-view. The book begi……続きを見る

This volume offers a broad, philosophical discussion on mechanical explanations. Coverage ranges from historical approaches and general questions to physics and higher-level sciences . The contribut……続きを見る

Dieses Buch verschafft Ihnen einen Überblick über einige der bekanntesten Verfahren des maschinellen Lernens aus der Perspektive der mathematischen Statistik. Nach der Lektüre kennen Sie die jeweils……続きを見る

This book presents topics from mathematics which are relevant and useful to computer science. This book treats basic topics such as number theory, set theory, functions etc. in a simple way. Each ch……続きを見る

Today’s cyber defenses are largely static allowing adversaries to pre-plan their attacks. In response to this situation, researchers have started to investigate various methods that make networked i……続きを見る

This 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……続きを見る

This book constitutes the proceedings of the 22nd International Conference on Text, Speech, and Dialogue, TSD 2019, held in Ljubljana, Slovenia, in September 2019. The 33 full papers presented in th……続きを見る

This book constitutes the refereed proceedings of the 12th International Conference on Combinatorics on Words, WORDS 2019, held in Loughborough, UK, in September 2019. The 21 revised full papers pre……続きを見る

Starting with the most basic notions, Universal Algebra: Fundamentals and Selected Topics introduces all the key elements needed to read and understand current research in this field. Based on the a……続きを見る

This book constitutes the refereed proceedings of the 15th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU 2019, held in Belgrade, Serbia, in Septe……続きを見る

This book constitutes the proceedings of the 16th International Conference on Quantitative Evaluation Systems, QEST 2019, held in Glasgow, UK, in September 2019. The 17 full papers presented togethe……続きを見る