This book constitutes the refereed proceedings of the 7th International Workshop on Probabilistic Graphical Models, PGM 2014, held in Utrecht, The Netherlands, in September 2014.
This book constitutes the proceedings of the 5th InternationalConference on Algorithms for Computational Biology, AlCoB 2018, held in Hong Kong, China, in June 2018.
Discover the Connections between Different Structures and FieldsDiscrete Structures and Their Interactions highlights the connections among various discrete structures, including graphs, directed graphs, hypergraphs, partial orders, finite topologies, and simplicial complexes.
Das dreibändige Werk bietet eine Einführung in die wichtigsten mathematischen Grundlagen aus den Gebieten der Linearen und Nichtlinearen Algebra, der Analysis und der Diskreten Mathematik für Informatiker.
This book concisely presents the optimization process and optimal control process with examples and simulations to help self-learning and better comprehension.
This book constitutes the refereed post-conference proceedings of the First International Conference on Number-Theoretic Methods in Cryptology, NuTMiC 2017, held in Warsaw, Poland, in September 2017.
This book constitutes the refereed proceedings of the 19th International Conference on Integer Programming and Combinatorial Optimization, IPCO 2017, held in Waterloo, IN, Canada, in June 2017.
This book constitutes the proceedings of the 42nd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2021, which was held virtually in June 2021.
The greatly expanded and updated 3rd edition of this textbook offers the reader a comprehensive introduction to the concepts of logic functions and equations and their applications across computer science and engineering.
This is a comprehensive overview of the basics of fuzzy control, which also brings together some recent research results in soft computing, in particular fuzzy logic using genetic algorithms and neural networks.
This third edition presents an expanded and updated treatment of convex analysis methods, incorporating many new results that have emerged in recent years.
This book sheds new light on Transform methods, which dominate the study of linear time-invariant systems in all areas of science and engineering, such as circuit theory, signal/image processing, communications, controls, vibration analysis, remote sensing, biomedical systems, optics and acoustics.
This volume presents some of the research topics discussed at the 2014-2015 Annual Thematic Program Discrete Structures: Analysis and Applications at the Institute for Mathematics and its Applications during Fall 2014, when combinatorics was the focus.
This monograph covers one of the divisions of mathematical theory of control which examines moving objects functionating under conflict and uncertainty conditions.
This book constitutes the refereed proceedings of the 21st International Conference on Theory and Applications of Satisfiability Testing, SAT 2018, held in Oxford, UK, in July 2018.
De nombreux systèmes physiques, mécaniques, financiers et économiques peuvent être décrits par des modèles mathématiques qui visent à optimiser des fonctions, trouver des équilibres et effectuer des arbitrages.
This book constitutes the refereed proceedings of the 19th International Conference on DNA Computing and Molecular Programming, DNA 19, held in Tempe, AZ, USA, in September 2013.
This book introduces the basic concepts of set theory, measure theory, the axiomatic theory of probability, random variables and multidimensional random variables, functions of random variables, convergence theorems, laws of large numbers, and fundamental inequalities.
This book constitutes the refereed proceedings of the 17th International Conference on Graph Transformation, ICGT 2024, held in Enschede, The Netherlands, during July 10-11, 2024.
This book constitutes the refereed proceedings of the 22nd European Conference on Genetic Programming, EuroGP 2019, held as part of Evo* 2019, in Leipzig, Germany, in April 2019, co-located with the Evo* events EvoCOP, EvoMUSART, and EvoApplications.
The New Mathematical Coloring Book (TNMCB) includes striking results of the past 15-year renaissance that produced new approaches, advances, and solutions to problems from the first edition.
A Course in Topological Combinatorics is the first undergraduate textbook on the field of topological combinatorics, a subject that has become an active and innovative research area in mathematics over the last thirty years with growing applications in math, computer science, and other applied areas.
The Four Corners of Mathematics: A Brief History, from Pythagoras to Perelman describes the historical development of the 'big ideas' in mathematics in an accessible and intuitive manner.
This book constitutes the proceedings of the 16th Latin American Symposium on Theoretical Informatics, LATIN 2024, which took place in Puerto Varas, Chile, in March 2024.
The computation of invariants of algebraic number fields such as integral bases, discriminants, prime decompositions, ideal class groups, and unit groups is important both for its own sake and for its numerous applications, for example, to the solution of Diophantine equations.
Ever since the discovery of the five platonic solids in ancient times, the study of symmetry and regularity has been one of the most fascinating aspects of mathematics.