This book constitutes the refereed post proceedings of the 16th International Symposium, SCAN 2014, held in Würzburg, Germany, in September 2014.The 22 full papers presented were carefully reviewed and selected from 60 submissions. The main concerns of research addressed by SCAN conferences are validation, verification or reliable assertions of numerical computations. Interval arithmetic and other treatments of uncertainty are developed as appropriate tools.

A comprehensive, self-contained primer on validated numericsThis textbook provides a comprehensive introduction to the theory and practice of validated numerics, an emerging new field that combines the strengths of scientific computing and pure mathematics. In numerous fields ranging from pharmaceutics and engineering to weather prediction and robotics, fast and precise computations are essential. Based on the theory of set-valued analysis, a new suite of numerical...

The bible of all fundamental algorithms and the work that taught many of today's software developers most of what they know about computer programming.–Byte, September 1995I can't begin to tell you how many pleasurable hours of study and recreation they have afforded me! I have pored over them in cars, restaurants, at work, at home... and even at a Little League game when my son wasn't in the line-up.–Charles LongIf you think y...

Algebraic & geometry methods have constituted a basic background and tool for people working on classic block coding theory and cryptography. Nowadays, new paradigms on coding theory and cryptography have arisen such as: Network coding, S-Boxes, APN Functions, Steganography and decoding by linear programming. Again understanding the underlying procedure and symmetry of these topics needs a whole bunch of non trivial knowledge of algebra and geometry that will be used to both, evaluate thos...

This easy-to-read guide provides a concise introduction to the engineering background of modern communication systems, from mobile phones to data compression and storage. Background mathematics and specific engineering techniques are kept to a minimum so that only a basic knowledge of high-school mathematics is needed to understand the material covered. The authors begin with many practical applications in coding, including the repetition code, the Hamming code and the Huffman code. They t...

From the reviews of the previous editions".... The book is a first class textbook and seems to be indispensable for everybody who has to teach combinatorial optimization. It is very helpful for students, teachers, and researchers in this area. The author finds a striking synthesis of nice and interesting mathematical results and practical applications. ... the author pays much attention to the inclusion of well-chosen exercises. The reader does not remain helpless; solutions or at ...

This book constitutes the proceedings of the 12th International Computer Science Symposium in Russia, CSR 2017, held in Kazan, Russia, in June 2017.The 22 full papers presented in this volume were carefully reviewed and selected from 44 submissions. In addition the book contains 6 invited lectures. The scope of the proposed topics is quite broad and covers a wide range of areas such as: include, but are not limited to: algorithms and data structures; combinatorial optimization; con...

This text deals with the most fundamental deficiency of modern theory control: the lack of an easily applicable method for the design of low order controllers. It shows that solutions to many different problems in control all reduce to the same linear algebra problem. It employs matrix equalities and matrix inequalities in the solutions of fixed order control and also provides computational algorithms.

Despite growing interest, basic information on methods and models for mathematically analyzing algorithms has rarely been directly accessible to practitioners, researchers, or students. An Introduction to the Analysis of Algorithms, Second Edition, organizes and presents that knowledge, fully introducing primary techniques and results in the field.Robert Sedgewick and the late Philippe Flajolet have drawn from both classical mathematics and computer scienc...

This beginning graduate textbook describes both recent achievements and classical results of computational complexity theory. Requiring essentially no background apart from mathematical maturity, the book can be used as a reference for self-study for anyone interested in complexity, including physicists, mathematicians, and other scientists, as well as a textbook for a variety of courses and seminars. More than 300 exercises are included with a selected hint set. The book starts with a bro...

This textbook provides an engaging and motivational introduction to traditional topics in discrete mathematics, in a manner specifically designed to appeal to computer science students. The text empowers students to think critically, to be effective problem solvers, to integrate theory and practice, and to recognize the importance of abstraction.Clearly structured and interactive in nature, the book presents detailed walkthroughs of several algorithms, stimulating a conversation wi...

The only book to provide a unified view of the interplay between computational number theory and cryptographyComputational number theory and modern cryptography are two of the most important and fundamental research fields in information security. In this book, Song Y. Yang combines knowledge of these two critical fields, providing a unified view of the relationships between computational number theory and cryptography. The author takes an innovati...