This monograph presents a unified approach to model-based processing for underwater acoustic arrays. The use of physical models in passive array processing is not a new idea, but it has been used on a case-by-case basis, and as such, lacks any unifying structure. This work views all such processing methods as estimation procedures, which then can be unified by treating them all as a form of joi…
This special issue collects selected papers about a wide range of innovative applications in earthquake engineering. These studies were presented during the 2nd Edition of the International Workshop “Traditional and Innovative Approaches in Seismic Engineering”, held in Pisa in March 2017. The topics refer to the investigation of traditional and innovative materials for earthquake engineeri…
This volume contains the refereed proceedings of the 13th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2015, held in September 2015 in Lexington, KY, USA. The 290long and 11 short papers presented together with 3 invited talks, the paper reporting on the Answer Set Programming competition, and four papers presented by LPNMR student attendees at the doctoral co…
There seems to be general agreement that children learn better when they understand what the teacher is saying. In Africa this is not the case. Instruction is given in a foreign language, a language neither pupils nor the teachers understand well. This is the greatest educational problem there is in Africa. This is the problem this book discusses and it is therefore an important book. The recen…
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 …
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 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 …
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…
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…
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…