This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such...
Advanced visual analysis and problem solving has been conducted successfully for millennia. The Pythagorean Theorem was proven using visual means more than 2000 years ago. In the 19th century, John Snow stopped a cholera epidemic in London by proposing that a specific water pump be shut down. He discovered that pump by visually correlating...
Quantitative Finance is expanding rapidly. One of the aspects ofthe recent financial crisis is that, given the complexity offinancial products, the demand for people with high numeracy skillsis likely to grow and this means more recognition will be given toQuantitative Finance in existing and new course structuresworldwide. Evidence has...
".... 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...
This book was written to provide resource materials for teachers to use in their introductory or intermediate statistics class. The chapter content is ordered along the lines of many popular statistics books so it should be easy to supplement the content and exercises with class lecture materials.
This book bridges the latest software applications with the benefits of modern resampling techniques
Resampling helps students understand the meaning of sampling distributions, sampling variability, P-values, hypothesis tests, and confidence intervals. This groundbreaking book shows how to apply modern resampling techniques...
This textbook provides a broad introduction to the fields of dynamical systems and ergodic theory. Motivated by examples throughout, the author offers readers an approachable entry-point to the dynamics of ergodic systems. Modern and classical applications complement the theory on topics ranging from financial fraud to...
Classical field theory predicts how physical fields interact with matter, and is a logical precursor to quantum field theory. This introduction focuses purely on modern classical field theory, helping graduates and researchers build an understanding of classical field theory methods before embarking on future studies in quantum field theory. It...
This is the first book to focus on the problem of ensuring the correctness of floating-point hardware designs through mathematical methods. Formal Verification of Floating-Point Hardware Design advances a verification methodology based on a unified theory of register-transfer logic and floating-point arithmetic that has...
Fun guide to learning Bayesian statistics and probability through unusual and illustrative examples.
Probability and statistics are increasingly important in a huge range of professions. But many people use data in ways they don't even understand, meaning they aren't getting the most from it. Bayesian...
This textbook contains and explains essential mathematical formulas within an economic context. A broad range of aids and supportive examples will help readers to understand the formulas and their practical applications. This mathematical formulary is presented in a practice-oriented, clear, and understandable manner, as it is needed...
Algorithms play a central role both in the theory and in the practice of computing. The goal of the authors was to write a textbook that would not trivialize the subject but would still be readable by most students on their own. The book contains over 120 exercises. Some of them are drills; others make important points about the...
