This book presents an overview of smart camera systems, considering practical applications but also reviewing fundamental aspects of the underlying technology. It introduces in a tutorial style the principles of sensing and signal processing, and also describes topics such as wireless connection to the Internet of Things (IoT) which is expected to be the biggest market for smart cameras. It…
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…
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…
This book constitutes the refereed proceedings of the Third International Workshop on the Theory and Applications of Formal Argumentation, TAFA 2015, held in Buenos Aires, Argentina, in July 2015. The workshop was co-located with IJCAI 2015. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. The papers deal with formal theoretical models of argumentat…
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2015, the 2nd Applied Electromagnetic International Conference, held in K…
Since its inception in the nineteenth century, the genre of Anglo-Saxon charms has drawn the attention of many scholars and appealed to enthusiasts of magic, paganism, and popular religion. Their Christian nature has been widely acknowledged in recent years, but their position within mainstream liturgical traditions has not yet been fully recognised. In this book, Ciaran Arthur undertakes a wid…
In this book, experts from academia and industry present the latest advances in scientific theory relating to applied electromagnetics and examine current and emerging applications particularly within the fields of electronics, communications, and computer technology. The book is based on presentations delivered at APPEIC 2014, the 1st Applied Electromagnetic International Conference, held in B…
The utilitarian philosopher and jurist Jeremy Bentham (1748–1832) argues in this collection of letters for the cessation of government control of the rate of interest. The work first appeared in 1787 and is reissued here in the version published in Dublin in 1788. The final letter, addressed to Adam Smith, is a response to Smith's Wealth of Nations (1776), arguing against the limits to invent…
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…
This work is a detailed study of both the theoretical and phenomenological consequences of a massive graviton, within the ghost-free theory of massive gravity, the de Rham-Gabadadze-Tolley (dRGT) theory. Its aim is to test the physical viability of the theory. It begins by putting constraints on the parameters of the theory in the decoupling limit based on purely theoretical grounds, like class…