Theory and Applications of Satisfiability Testing -- SAT 2015 18th Internati…

This book constitutes the refereed proceedings of the 18th International Conference on Theory and Applications of Satisfiability Testing, SAT 2015, held in Austin, TX, USA, in September 2015. The 21 regular papers, 2 short papers and 7 tool papers presented together with 3 invited talks were carefully reviewed and selected from 70 submissions. The papers address different aspects of SAT, includ…

Theory and Applications of Models of Computation

This book constitutes the refereed proceedings of the 12th Annual Conference on Theory and Applications of Models of Computation, TAMC 2014, held in Singapore, in May 2015. The 35 revised full papers presented were carefully reviewed and selected from 78 submissions. The papers treat all topics relating to the theory and applications of models computation, for example recursion theory and mathe…

Theories in and of Mathematics Education Theory Strands in German Speaking C…

This survey provides an overview of German meta-discourse on theories and mathematics education as a scientific discipline, from the 1970s to the 1990s. Two theory strands are offered: a semiotic view related to Peirce and Wittgenstein (presented by Willibald Dörfler), and the theory of learning activity by Joachim Lompscher (presented by Regina Bruder and Oliver Schmitt). By networking the tw…

New Ecoinformatics Tools in Environmental Science:Applications and Decision-m…

This book provides new insights on the study of global environmental changes using the ecoinformatics tools and the adaptive-evolutionary technology of geoinformation monitoring. The main advantage of this book is that it gathers and presents extensive interdisciplinary expertise in the parameterization of global biogeochemical cycles and other environmental processes in the context of globaliz…

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium,…

This book constitutes the refereed proceedings of the 12th International Colloquium on Theoretical Aspects of Computing, ICTAC 2015, held in Cali, Colombia, in October 2015. The 25 revised full papers presented together with 7 invited talks, 3 tool papers, and 2 short papers were carefully reviewed and selected from 93 submissions. The papers cover various topics such as algebra and category…

The Zakharov System and its Soliton Solutions

This book focuses on the theory of the Zakharov system in the context of plasma physics. It has been over 40 years since the system was first derived by V. E. Zakharov – and in the course of those decades, many innovative achievements with major impacts on other research fields have been made. The book represents a first attempt to highlight the mathematical theories that are most importan…

The Whole Truth About Whole Numbers An Elementary Introduction to Number Theory

The Whole Truth About Whole Numbers is an introduction to the field of Number Theory for students in non-math and non-science majors who have studied at least two years of high school algebra. Rather than giving brief introductions to a wide variety of topics, this book provides an in-depth introduction to the field of Number Theory. The topics covered are many of those included in an introduct…

The Visual Language of Technique Volume 3 - Heritage and Expectations in Edu…

The book is inspired by the third seminar in a cycle connected to the celebrations of the 150th anniversary of the Politecnico di Milano (July 2013). "Educating by Image. Teaching Styles vs Learning Styles" was the motto of this meeting. The contributions (coming from lectures, the poster session, interviews and round table) aim to propose an updated look at visual education, highlighting how d…

N=2 Supersymmetric Dynamics for Pedestrians

Edition

-

ISBN/ISSN

-

Collation

-

Series Title

-

Call Number

-

Multiresolution Approach to Processing Images for Different Applications

This book presents theoretical and practical aspects of the interaction between low and high level image processing. Multiresolution analysis owes its popularity mostly to wavelets and is widely used in a variety of applications. Low level image processing is important for the performance of many high level applications. The book includes examples from different research fields, i.e. video surv…