This book constitutes the refereed proceedings of the 13th International Conference on Formal Concept Analysis, ICFCA 2015, held in Neja, Spain, in June 2015. The 16 revised full papers presented were carefully reviewed and selected from 38 submissions. The topics in this volume cover theoretical aspects of FCA; methods and applications of FCA to different fields and enhanced FCA that show new …
William Laud, Archbishop of Canterbury (1633-45), remains one of the most controversial figures in British ecclesiastical and political history. His rise to prominence under Charles I, his contribution to the shaping and implementation of contentious religious policies and his subsequent and catastrophic downfall are fundamental to our understanding of the religious and political developments w…
Language education is a highly contested arena within any nation and one that arouses an array of sentiments and identity conflicts. What languages, or what varieties of a language, are to be taught and learned, and how? By whom, for whom, for what purposes and in what contexts? Such questions concern not only policy makers but also teachers, parents, students, as well as businesspeople, politi…
David Boonin has written the most thorough and detailed case for the moral permissibility of abortion yet published. Critically examining a wide range of arguments that attempt to prove that every human fetus has a right to life, he shows that each of these arguments fails on its own terms. He then explains how even if the fetus does have a right to life, abortion can still be shown to be moral…
This book constitutes the refereed proceedings of the 4th International Conference on Theory and Practice of Natural Computing, TPNC 2015, held in Mieres, Spain, in December 2015. The 12 revised full papers presented together with 20 invited talks in this book were carefully reviewed and selected from 30 submissions. The scope of TPNC is rather broad, containing topics of either theoretical,…
This text presents the experiences of leading researchers and surgeons with different fluorescence methods. Chapters range from basic science of fluorescence to current clinical applications and new horizons. The first few chapters describe the historical evolution and physical principles of fluorescence and provide the foundation for the reader to understand the current scope and limits of its…
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…