This book brings together a selection of the best papers from the sixteenth edition of the Forum on specification and Design Languages Conference (FDL), which was held in September 2013 in Paris, France. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification lang…
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…
This book constitutes the refereed proceedings of the 4th International Symposium on Languages, Applications and Technologies, SLATE 2015, held in Madrid, Spain, in June 2015. The 17 revised full papers presented were carefully reviewed and selected from 57 submissions. The papers are organized in topical sections on human-human languages; human-computer languages; computer-computer languages.
The existence of blue straggler stars, which appear younger, hotter, and more massive than their siblings, is at odds with a simple picture of stellar evolution. Such stars should have exhausted their nuclear fuel and evolved long ago to become cooling white dwarfs. They are found to exist in globular clusters, open clusters, dwarf spheroidal galaxies of the Local Group, OB associations and as …
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Workshop on Languages and Compilers for Parallel Computing, LCPC 2014, held in Hillsboro, OR, USA, in September 2014. The 25 revised full papers were carefully reviewed and selected from 39 submissions. The papers are organized in topical sections on accelerator programming; algorithms for parall…
This book is a pioneer attempt to bring forward the first synthesis on the most diverse and threatened mountain top vegetation of South America, the rupestrian grasslands. It brings to light the state of the art information on this ecosystem geology, soil formation and distribution, environmental filters that lead to biodiversity, species interactions and their fine tuned adaptations to surviv…
This book constitutes the proceedings of the First International Workshop on Language, Music and Computing, LMAC 2015, held in St. Petersburg, Russia, in April 2015. The 13 papers presented in this volume were carefully reviewed and selected from 38 submissions. They were organized in topical sections on music and language in education; corpus studies of language and music; problems of notatio…
This book reviews and summarizes the results and hypotheses raised by studies directly or indirectly dealing with the ecology of fronts and aims to identify the themes that connect them to produce a synthesis of this knowledge. Though not immediately perceived the ocean is highly structured and fronts are one of the most important components of its structural complexity. Marine fronts have been…
This book investigates Chinese comprehension and treatment of the relationship between language and reality. The work examines ancient Chinese philosophy through the pair of concepts known as ming-shi. By analyzing the pre-Qin thinkers’ discourse on ming and shi, the work explores how Chinese philosophers dealt with issues not only in language but also in ontology, epistemology, ethics, axiol…
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 ty…