You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book focuses on Romania’s more than 12,000 caves, which developed in limestone (including thermal water caves), salt, gypsum, and occasionally in sandstone. It examines these caves and related topics in a format suitable for cavers, while also addressing a broad range of aspects useful for students and researchers. Since the Institute of Speleology was first established by Emil Racovita in 1920, a great deal of research has been conducted on all cave and karst types. As such, the book examines a variety of scientific fields, including karst geology, hydrogeology, biospeleology, paleoclimatology, mineralogy and archaeology.
As concerns increase over the scarcity of water resources and the role of anthropogenic activities, water quality is evermore important. Activities ranging from agriculture to mining have had a bearing on the quality of water that they impact. Several studies assessing such impacts have been conducted at local and global scales over the years. This book, consisting of contributions by authors in various water-related fields, delves into some approaches that are used to understand and/or to improve water quality, and these include assessment of water chemistry, biomonitoring, modelling and water treatment. This book will be useful to environmental scientists, water professionals, researchers, academics and students.
GSP 122 contains 66 paperspresented at the Ninth Multidisciplinary Conference on Sinkholes and the Engineering and Environmental Impacts of Karst, held in Huntsville, Alabama, September 6-10, 2003.
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems. Model checking is a verification technology that provides an algorithmic means of determining whether an abstract model—representing, for example, a hardware or software design—satisfies a formal specification expressed as a temporal logic formula. If the specification is not satisfied, the method identifies a counterexample execution that shows the source of the problem. Today, many major hardware and software companies use model checking in practice, for verification of VLSI circuits, communication protocols, software...
None
This book constitutes the refereed proceedings of the 12th IFIP WG 5.5/SOCOLNET Advanced Doctoral Conference on Computing, Electrical and Industrial Systems, DoCEIS 2021, held in Costa de Caparica, Portugal, in July 2021.* The 34 papers presented were carefully reviewed and selected from 92 submissions. The papers present selected results produced in engineering doctoral programs and focus on technological innovation for industry and service systems. Research results and ongoing work are presented, illustrated and discussed in the following areas: collaborative networks; smart manufacturing; cyber-physical systems and digital twins; intelligent decision making; smart energy management; communications and electronics; classification systems; smart healthcare systems; and medical devices. *The conference was held virtually. Chapters “Characteristics of Adaptable Control of Production Systems and the Role of Self-organization Towards Smart Manufacturing” and “Predictive Manufacturing: Enabling Technologies, Frameworks and Applications” are available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.