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 …
After the recent financial crisis has hooked the banking system to its very foundations, Hartmut Brinkmeyer contributes to the question of how bank characteristics influence bank loan supply during crisis periods by developing a well-founded theoretical framework. The econometrical design deploys a number of remarkably innovative ideas such as the implementation of a bank-specific, self-chosen …
This book covers all aspects of aesthetic breast surgery in an instructive, step-by-step format. The descriptions of procedures are completely up to date, encompassing newly introduced techniques and recent modifications of established techniques. Individual parts of the book are devoted to breast augmentation, mastopexy, and breast reduction. Detailed consideration is also given to risks and c…
This text for the first or second year undergraduate in mathematics, logic, computer science, or social sciences, introduces the reader to logic, proofs, sets, and number theory. It also serves as an excellent independent study reference and resource for instructors. Adapted from Foundations of Logic and Mathematics: Applications to Science and Cryptography © 2002 Birkhӓuser, this second edit…
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…
Abiotic stress adversely affects crop production worldwide, decreasing average yields for most of the crops to 50%. Among various abiotic stresses affecting agricultural production, drought stress is considered to be the main source of yield reduction around the globe. Due to an increasing world population, drought stress will lead to a serious food shortage by 2050. The situation may become wo…
This open access book contains a collection of rare geologic maps and figures made by Chinese geologists in the last century. Preserved in National Geological Archives of China, these artworks demonstrate the development and innovation of geological mapping technology in China in the past 100 years. The collections are highly scientific and artistic, with most of the hand-drawn maps featured wi…
This book presents a selection of conference contributions from CARO’13 (Conference on Aerospace Robotics), which was held in Warsaw from July 1 to 3, 2013. It presents the most important and crucial problems of space automation in context of future exploration programs. These programs could involve such issues as space situational awareness program, planetary protection, exploitation of mine…
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 …
This book presents various aspects of salt and drought stress signaling in crops, combining physiological, biochemical, and molecular studies. Salt and drought stress are two major constraints on crop production worldwide. Plants possess several mechanisms to cope with the adverse effects of salt and drought. Among these mechanisms, stress signaling is very important, because it integrates and …