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 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 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…
Information Reuse and Integration addresses the efficient extension and creation of knowledge through the exploitation of Kolmogorov complexity in the extraction and application of domain symmetry. Knowledge, which seems to be novel, can more often than not be recast as the image of a sequence of transformations, which yield symmetric knowledge. When the size of those transformations and/or the…
The authors of this volume address multiple questions involving the nature of youth protest in the twenty-first century. Through their use of a case study approach, they comment upon the ways in which youth protest has been influenced by the electronic and social media and evaluate the effectiveness of protest activities, many of which were framed in reaction to neo-liberalism and state authori…
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…