This book provides the first comprehensive introduction to, and explanation of, the theory and practice of the ‘bioarchaeology of care’, an original, fully theorised and contextualised case study-based approach designed to identify and interpret cases of care provision in prehistory. The applied methodology comprises four stages of analysis, each building on the content of the preceding on…
Building upon a long tradition of scientifi c conferences dealing with problems of reliability in technical systems, in 2006 Department of Computer Engineering at Wrocław University of Technology established DepCoS-RELCOMEX series of events in order to promote a comprehensive approach to evaluation of system performability which is now commonly called dependability. Contemporary…
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…