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 …
The main objective of this book is to provide the necessary background to work with big data by introducing some novel optimization algorithms and codes capable of working in the big data setting as well as introducing some applications in big data optimization for both academics and practitioners interested, and to benefit society, industry, academia, and government. Presenting applications in…
This book presents the current state of the art regarding the application of logical tools to the problems of theory and practice of lawmaking. It shows how contemporary logic may be useful in the analysis of legislation, legislative drafting and legal reasoning concerning different contexts of law making. Elaborations of the process of law making have variously emphasised its political, socia…
This book focuses on early germination, one of maize germplasm most important strategies for adapting to drought-induced stress. Some genotypes have the ability to adapt by either reducing water losses or by increasing water uptake. Drought tolerance is also an adaptive strategy that enables crop plants to maintain their normal physiological processes and deliver higher economical yield despite…
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 Programmin…
Many corporations are finding that the size of their data sets are outgrowing the capability of their systems to store and process them. The data is becoming too big to manage and use with traditional tools. The solution: implementing a big data system. As Big Data Made Easy: A Working Guide to the Complete Hadoop Toolset shows, Apache Hadoop offers a scalable, fault-tolerant system for stor…
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…