This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2013, held in Klosterneuburg, Austria, in August 2013. The 67 revised full papers presented together with six invited talks were carefully selected from 191 submissions. Topics covered...

This book is intended for undergraduates and young researchers who wish to understand the role that different branches of physics and mathematics play in the execution of actual experiments. The unique feature of the book is that all the subjects addressed are strictly interconnected within the context of the execution of a single experiment...

`Non-equilibrium Thermodynamics and Statistical Mechanics: Foundations and Applications' builds from basic principles to advanced techniques, and covers the major phenomena, methods, and results of time-dependent systems. It is a pedagogic introduction, a comprehensive reference manual, and an original research monograph. Uniquely, the...

This book presents the state of the art in sparse and multiscale image and signal processing, covering linear multiscale transforms, such as wavelet, ridgelet, or curvelet transforms, and non-linear multiscale transforms based on the median and mathematical morphology operators. Recent concepts of sparsity and morphological diversity are...

Learn statistical reasoning and problem solving from a best--selling author who uses a wealth of examples from the social and behavioral sciences,, education,, nursing/allied health,, and business fields----as well as examples from everyday life--to help you learn and understand.. Praised for his clear explanations,, Spatz shows you how to...

Adams Calculus is intended for the three semester calculus course. Classroom proven in North America and abroad, this classic text has been praised for its high level of mathematical integrity including complete and precise statements of theorems, use of geometric reasoning in applied problems, and the diverse range of applications across the...

Noted for its integration of real-world data and case studies, this guide offers sound coverage of the theoretical aspects of mathematical statistics. It demonstrates how and when to use statistical methods, while reinforcing the calculus that readers have already mastered. Presents standard statistical techniques in a mathematical context,...

Part I of this book is a practical introduction to working with the Isabelle proof assistant. It teaches you how to write functional programs and inductive definitions and how to prove properties about them in Isabelle’s structured proof language. Part II is an introduction to the semantics of imperative languages with an emphasis on...

This insightful and eloquent book will show you how to measure those things in your own business, government agency or other...

Living with multiple sclerosis (MS) is challenging and multidimensional. MS pervades all aspects of life: one’s body becomes...