This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction between logic, language and computation. The contributions represent these three fields and the symposia aim to foster interaction between them. The boo…
This book addresses one central question: if justice is to be done in the name of the community, how far do the decision-makers need to reflect the community, either in their profile or in the opinions they espouse? Each contributor provides an answer on the basis of a careful analysis of the rules, assumptions and practices relating to their own national judicial system and legal culture. Writ…
FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on Logic, Language and Information aim to disseminate results of cutting-edge research and tutorial …
This book promotes a radical alternative impact on youth policy in Europe to overcome the situation of vulnerability and discrimination of a growing number of youngsters in their transition from school to work. It follows a Human Development perspective in using the Capability Approach (CA) as analytical and methodological guiding tool to improve the social conditions of the most socially vulne…
This Festschrift volume contains 28 refereed papers including personal memories, essays, and regular research papers by close collaborators and friends of José Meseguer to honor him on the occasion of his 65th birthday. These papers were presented at a symposium at the University of Illinois at Urbana-Champaign on September 23-25, 2015. The symposium also featured invited talks by Claude and …
This fully updated third edition is devoted to the analysis of various Stochastic Dominance (SD) decision rules. It discusses the pros and cons of each of the alternate SD rules, the application of these rules to various research areas like statistics, agriculture, medicine, measuring income inequality and the poverty level in various countries, and of course, to investment decision-making unde…
Ce travail en deux volumes donne la preuve de la stabilisation de la formule des trace tordue. Stabiliser la formule des traces tordue est la méthode la plus puissante connue actuellement pour comprendre l'action naturelle du groupe des points adéliques d'un groupe réductif, tordue par un automorphisme, sur les formes automorphes de carré intégrable de ce groupe. Cette compréhension se…
Stochastic geometry is the branch of mathematics that studies geometric structures associated with random configurations, such as random graphs, tilings and mosaics. Due to its close ties with stereology and spatial statistics, the results in this area are relevant for a large number of important applications, e.g. to the mathematical modeling and statistical analysis of telecommunication netwo…
Business Process Management (BPM) has become a widely adopted management approach, prompting significant investments by private and public companies since 2000. Since neither the concept of BPM nor the factors leading to successful BPM initiatives are grounded in theory and also lack empirical support, Tahvo Hyötyläinen explores what business value BPM and BPM Systems can cause and how they c…
Business Process Management (BPM) has become a widely adopted management approach, prompting significant investments by private and public companies since 2000. Since neither the concept of BPM nor the factors leading to successful BPM initiatives are grounded in theory and also lack empirical support, Tahvo Hyötyläinen explores what business value BPM and BPM Systems can cause and how the…