The cultivation and harvesting of sugar beets (roots and haulm) is one of the most labour and energy consuming work processes in the agricultural industry. The improvement of the qualitative indicators of the sugar beet harvesting process as the final operation in the work flow of its production represents a multi-faceted research-and-engineering problem, which is to be solved basing on the sea…
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with nume…
This open access book examines the many contributions of Paul Lorenzen, an outstanding philosopher from the latter half of the 20th century. It features papers focused on integrating Lorenzen's original approach into the history of logic and mathematics. The papers also explore how practitioners can implement Lorenzen’s systematical ideas in today’s debates on proof-theoretic semantics, dat…
In recent years, auctions have become an important field and many markets have designed new and sophisticated auction models to assign different types of items. The prime goal of this book is to set an organized classification of the main auction mechanisms in a way that readers can understand the importance of auction design and the advantages and drawbacks of each model. Given the relevance o…
This exposition is primarily a survey of the elementary yet subtle innovations of several mathematicians between 1929 and 1934 that led to partial and then complete solutions to Hilbert’s Seventh Problem (from the International Congress of Mathematicians in Paris, 1900). This volume is suitable for both mathematics students, wishing to experience how different mathematical ideas can come toge…
Mathematics Education; Mathematics Learning; Mathematics Teaching; Mathematics Teachers; ICME-13; 13th Congress on Mathematical Education; Empirical Studies in Mathematics Education; Theoretical Reflections on Mathematics Education; Tertiary Mathematics Education; Secondary Mathematics Education; Primary Mathematics Education; Society of Didactics of Mathematics; Mathematics Educators; Improvem…
This book is concerned with the well-established mathematical technique known as Fourier analysis (or alternatively as harmonic or spectral analysis). It is a handbook comprising a collection of the most important theorems in Fourier analysis, presented without proof in a form that is accurate but also accessible to a reader who is not a specialist mathematician. The technique of Fourier analys…
This book constitutes the refereed proceedings of the 8th International Conference on Artificial General Intelligence, AGI 2015, held in Berlin, Germany in July 2015. The 41 papers were carefully reviewed and selected from 72 submissions. The AGI conference series has played and continues to play, a significant role in this resurgence of research on artificial intelligence in the deeper, origin…
This guide book to mathematics contains in handbook form the fundamental working knowledge of mathematics which is needed as an everyday guide for working scientists and engineers, as well as for students. Easy to understand, and convenient to use, this guide book gives concisely the information necessary to evaluate most problems which occur in concrete applications. In the newer editions emph…
This is a new edited volume on shape analysis presenting results in shape modeling and computational geometry from the 2013 Association for Women in Mathematics (AWM) symposium held at UCLA's Institute for Pure and Applied Mathematics (IPAM). In-depth discussion of shape modeling techniques is supplemented by full-color illustrations demonstrating the results of workshop-developed shape modelin…