Filter by
Logic for Programming, Artificial Intelligence, and Reasoning: 20th Internati…
This book constitutes the proceedings of the 20th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-20, held in November 2015, in Suva, Fiji. The 43 regular papers presented together with 1 invited talk included in this volume were carefully reviewed and selected from 92 submissions. The series of International Conferences on Logic for Programming,…
- Edition
- -
- ISBN/ISSN
- 978-3-662-48899-7
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic, Language, and Computation: 10th International Tbilisi Symposium on Log…
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…
- Edition
- -
- ISBN/ISSN
- 978-3-662-46906-4
- Collation
- -
- Series Title
- -
- Call Number
- -
Fair Reflection of Society in Judicial Systems - A Comparative Study
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-18485-2
- Collation
- 2 b/w illustrations
- Series Title
- -
- Call Number
- -
Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, T…
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 …
- Edition
- -
- ISBN/ISSN
- 978-3-662-48561-3
- Collation
- -
- Series Title
- -
- Call Number
- -
Facing Trajectories from School to Work Towards a Capability-Friendly Youth …
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…
- Edition
- -
- ISBN/ISSN
- 978-3-319-11436-1
- Collation
- 15 b/w illustrations
- Series Title
- -
- Call Number
- -
Logic, Rewriting, and Concurrency: Essays Dedicated to José Meseguer on the …
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 …
- Edition
- -
- ISBN/ISSN
- 978-3-319-23165-5
- Collation
- -
- Series Title
- -
- Call Number
- -
Stochastic Dominance Investment Decision Making under Uncertainty
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-21708-6
- Collation
- -
- Series Title
- XXII, 505
- Call Number
- XXII, 505
Stabilisation de la formule des traces tordue: Volume 1
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…
- Edition
- 1
- ISBN/ISSN
- 978-3319300481
- Collation
- -
- Series Title
- -
- Call Number
- -
Stochastic Analysis for Poisson Point Processes Malliavin Calculus, Wiener-I…
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-05233-5
- Collation
- -
- Series Title
- 2 illustrations in colour
- Call Number
- XV, 346
Steps to Improved Firm Performance with Business Process Management Adding B…
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…
- Edition
- 1
- ISBN/ISSN
- 978-3-658-07470-8
- Collation
- -
- Series Title
- 44 b/w illustrations
- Call Number
- XVII, 220
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography