This volume constitutes the refereed proceedings of the 9th IFIP WG 11.2 International Conference(formerly Workshop) on Information Security Theory and Practices, WISTP 2015, held in Heraklion, Crete, Greece, in August 2015. The 14 revised full papers and 4 short papers presented together were carefully reviewed and selected from 52 submissions. WISTP 2015 sought original submissions from acade…
Distributed systems are fast becoming the norm in computer science. Formal mathematical models and theories of distributed behaviour are needed in order to understand them. This book proposes a distributed pi-calculus called Dpi, for describing the behaviour of mobile agents in a distributed world. It is based on an existing formal language, the pi-calculus, to which it adds a network layer and…
This book argues that the narrowing focus of the global history of ideas on narratives in historical research, philosophy and political theory neglects the fact that the central concepts of the history of political ideas are articulated in the language of law. Key figures of the history of ideas, like Kant, Hegel and Weber, engaged deeply with the philosophy and sociology of law. This monograph…
This book constitutes the refereed proceedings of the 11th Information Retrieval Societies Conference, AIRS 2015, held in Brisbane, QLD, Australia, in December 2015. The 29 full papers presented together with 11 short and demonstration papers, and the abstracts of 2 keynote lectures were carefully reviewed and selected from 92 submissions. The final programme of AIRS 2015 is divided in 10 tr…
This book constitutes the thoroughly refereed proceedings of the 8th Russian Summer School on Information Retrieval, RuSSIR 2014, held in Nizhniy Novgorod, Russia, in August 2014. The volume includes 6 tutorial papers, summarizing lectures given at the event, and 8 revised papers from the school participants.The papers focus on various aspects of information retrieval.
This book constitutes the proceedings of the 24th International Conference on Information Processing in Medical Imaging, IPMI 2015, held at the Sabhal Mor Ostaig College on the Isle of Skye, Scotland, UK, in June/July 2015. The 22 full papers and 41 poster papers presented in this volume were carefully reviewed and selected from 195 submissions. They were organized in topical sections named:…
This anthology contributes to creating awareness on how digital ageism operates in relation to the widely spread symbolic representations of old and young age around digital technologies, the (lack of) representation of diverse older individuals in the design, development, and marketing of digital technologies and in the actual algorithms and datasets that constitute them. It also shows how ind…
This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Conference on Inductive Logic Programming, ILP 2014, held in Nancy, France, in September 2014. The 14 revised papers presented were carefully reviewed and selected from 41 submissions. The papers focus on topics such as the inducing of logic programs, learning from data represented with logic,…
One of the most beautiful island groups of the Pacific, Bougainville has a remarkable history. Tragically, it is as the site of devastating civil conflict that Bougainville is perhaps best known. In exploring the rich environmental, cultural and social heritage of Bougainville before the conflict, this collection provides an insight into the long-term causes of the crisis. In doing so, it surve…
The Bantu languages are in some sense remarkably uniform (SVO basic word order, noun classes, verbal morphology), but this extensive language family also show a wealth of morphosyntactic variation. Two core areas in which such variation is attested are subject and object agreement. The book explores the variation in Bantu subject and object marking on the basis of data from 75 Bantu languages, …