Filter by
Logic, Language, Information, and Computation: 22nd International Workshop, W…
Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 22nd Workshop on Logic, Language, Information and Computation, WoLLIC 2015, held in the campus of Indiana University, Bloomington, IN, USA in July 2015. The 14 contributed papers, presented together with 8 invited lectures and 4 tutorials, were carefully …
- Edition
- -
- ISBN/ISSN
- 978-3-662-47709-0
- Collation
- -
- 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
- -
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
- -
Ecological migration, development and transformation : a study of migration a…
After over 30 years of reform and opening up, China's aggregate economic volume is now the second largest in the world. Over the past decade many provinces in the western region of China have implemented ecological migration projects of different scales, which have attracted considerable attention both in China and abroad. The projects indicate, first, that there is an urgent need for this type…
- Edition
- -
- ISBN/ISSN
- 9783662473658
- Collation
- xiii, 212 pages : illustrations ; 24 cm
- Series Title
- -
- Call Number
- 363.7
Econometric Evaluation of Socio-Economic Programs Theory and Applications
This book provides advanced theoretical and applied tools for the implementation of modern micro-econometric techniques in evidence-based program evaluation for the social sciences. The author presents a comprehensive toolbox for designing rigorous and effective ex-post program evaluation using the statistical software package Stata. For each method, a statistical presentation is developed, fol…
- Edition
- -
- ISBN/ISSN
- 9783662659458
- Collation
- -
- Series Title
- -
- Call Number
- 330.015195
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 Dynamics and Irreversibility
This textbook presents an exposition of stochastic dynamics and irreversibility. It comprises the principles of probability theory and the stochastic dynamics in continuous spaces, described by Langevin and Fokker-Planck equations, and in discrete spaces, described by Markov chains and master equations. Special concern is given to the study of irreversibility, both in systems that evolve to equ…
- Edition
- 1
- ISBN/ISSN
- 978-3-319-11770-6
- Collation
- -
- Series Title
- 44 b/w illustrations
- Call Number
- XII, 394
Working With Academic Literacies : Case Studies Towards Transformative Practice
The editors and contributors to this collection explore what it means to adopt an "academic literacies" approach in policy and pedagogy. Transformative practice is illustrated through case studies and critical commentaries from teacher-researchers working in a range of higher education contexts—from undergraduate to postgraduate levels, across disciplines, and spanning geopolitical regions in…
- Edition
- -
- ISBN/ISSN
- 9781602357617
- Collation
- -
- Series Title
- -
- Call Number
- 370 LIL w
Acupuncture – Basic Research and Clinical Application
This book focuses on the investigation, development, and modernization of acupuncture in basic research settings as well as in clinical applications. The book contains 13 chapters reporting the latest evidence-based results of acupuncture research and exploring acupuncture in general. Altogether, 44 authors from all over the world contributed to this book.
- Edition
- -
- ISBN/ISSN
- 978-3-03897-235-8
- Collation
- -
- Series Title
- -
- Call Number
- 615 ACU
Stem Cells and Cardiac Regeneration
This book provides an update of recent advances in the basic and clinical applications of cell-based therapies for myocardial repair and regeneration in ischemic heart disease (IHD) and heart failure (HF). The first sections of the book illuminate basic aspects of stem cells such as definitions, isolation criteria and characterization of embryonic and adult stem cells, as well as pluripotent st…
- Edition
- -
- ISBN/ISSN
- 978-3-319-25427-2
- Collation
- -
- Series Title
- 8 b/w illustrations
- Call Number
- XXI, 205
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography