You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
This book constitutes the refereed proceedings of the 20th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2011, held in Bern, Switzerland, in July 2011.The 16 revised research papers presented together with 2 system descriptions were carefully reviewed and selected from 34 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods such as analytic tableaux for various logics, related techniques and concepts, related methods, new calculi and methods for theorem proving in classical and non-classical logics, as well as systems, tools, implementations and applications; all with a special focus on hardware and software verifications, semantic technologies, and knowledge engineering.
The book reviews the state-of-the art methods developed and used to remove heavy metals. It presents both industrial waste and mineral based adsorbent as well as bio waste materials making the book absolutely a source of low cost methods available till date.
Ocean plays a significant role in energy production, human health and economy. Seawater, seaweed, microalgae, yeast, bacteria act as feedstock for biofuels and bioproducts. This book focuses on the application of marine biomass for production of energy, fertilizers, nutraceuticals, pharmaceuticals, cosmetics, bioplastics and other value-added products. It presents technological advancements and optimization strategies for enhancing process efficiency, overcoming challenges and maximizing the potential of marine-based biorefinery. It also describes how marine resources can be applied to wastewater treatment, eco-restoration, environment protection and sustainable development.
Various physico-chemical approaches for the removal of toxic pollutants are available, but these are not very effective. Biological approaches using microorganisms, green plants or their enzymes to degrade/detoxify contaminants are eco-friendly and low cost. This book provides a comprehensive overview of contaminants, their toxicity, and eco-friendly approaches for their management by cost effective sustainable methods.
The two-volume set LNCS 14499 and 14500 constitutes the proceedings of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2024, which took place in London, Ontario, Canada, in January 2024. The 30 full papers presented in the proceedings were carefully reviewed and selected from 74 submissions. They were organized in topical sections as follows:Part I: Abstract interpretation; infinite-state systems; model checking and synthesis; SAT, SMT, and automated reasoning; Part II: Concurrency; neural networks; probabilistic and quantum programs; program and system verification; runtime verification; security and privacy;
This open access book constitutes the proceedings of the 31st European Symposium on Programming, ESOP 2022, which was held during April 5-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022. The 21 regular papers presented in this volume were carefully reviewed and selected from 64 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
The increased demand due to anthropogenic activity leads to emerging contaminants, resulting in a substantial environmental hazard. The long-term presence and exposure of contaminants lead to severe negative impacts on the environment, humans, and other life forms. Hence, emerging contaminants in the environment is a worldwide concern, and new technologies to mitigate these contaminants are being developed. This book covers the source, occurrence, toxicity, and detection techniques of a wide range of emerging contaminants. This collection also discusses the scope and applications of diverse techniques, including Bio/Phyto and Nano-remediation technologies, to mitigate the emerging contaminan...
This book constitutes the refereed proceedings of the 18th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2009, held in Oslo, Norway, in July 2009. The 21 revised research papers presented together with 1 system description and 2 invited talks were carefully reviewed and selected from 44 submissions. The papers cover many topics in the wide range of applications of tableaux and related methods in areas such as hardware and software verfications, semantic technologies, and knowledge engineering.
This book explores the production and applications of biochar. This material is used to remove contaminants from industrial effluent and to reutilize waste sludge in the production of biofuel/bioenergy. The treatment of wastewater and reuse of waste sludge in value added products manufacturing and environmental clean-up is explored. The proposed book provides a roadmap for future strategies for pollution abatement and sustainable development.