Everyone thought the brilliant young computer scientist, Carsten Pietersen, had died but his Silex chip ensured its human host survived. Hijacking the body and mind of a rich entrepreneur kept Pietersen’s chip/brain combination alive and provided an opportunity not only, for revenge, but also, the means by which it could expand the number of recipients of the rogue Anthropos XT operating system. If some of the USA's most brilliant young scientists became enhanced with the Silex chip and XT operating system any hope of controlling this technology would be over and the military, criminals and megalomaniacs across the world would soon seek to possess the enhanced powers it offered. Who would believe that a human being had been hijacked and his mind replaced by another? Someone had to stop this from happening and two ex-Cybio executives decide to act. This is the final book in the Silex Trilogy.

This book constitutes the proceedings of the 12th International Symposium on NASA Formal Methods, NFM 2020, held in Moffett Field, CA, USA, in May 2020.* The 20 full and 5 short papers presented in this volume were carefully reviewed and selected from 62 submissions. The papers are organized in the following topical sections: learning and formal synthesis; formal methods for DNNs; high assurance systems; requirement specification and testing; validation and solvers; solvers and program analysis; verification and times systems; autonomy and other applications; and hybrid and cyber-physical systems. *The conference was held virtually due to the COVID-19 pandemic. The chapter “Verifying a Solver for Linear Mixed Integer Arithmetic in Isabelle/HOL” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.

In recent years, enhanced oil recovery techniques have received much attention in the oil industry. Enhanced oil recovery methods can be divided into three major categories: thermal processes which include steam flooding, steam stimulation, and in-situ combustion; chemical processes which include surfactant-polymer injection, polymer flooding, and caustic flooding; and miscible displacement processes which include miscible hydrocarbon displacement, carbon dioxide injection of large amounts of rather expensive fluids into oil bearing reservoir formations. Commercial application of any enhanced oil recovery process relies upon economic projections that show a decent return on the investment. Because of high chemical costs, it is important to optimize enhanced oil recovery processes to provide the greatest recovery at the lowest chemical injection cost.The aim of this book is to develop an optimal control theory for the determination of operating strategies that maximize the economic attractiveness of enhanced oil recovery processes. The determination of optimal control histories or operating strategies is one of the key elements in the successful usage of new enhanced oil recovery techniques. The information contained in the book will therefore be both interesting and useful to all those working in petroleum engineering, petroleum management and chemical engineering.

This book presents different techniques and methodologies that used to help improve the decision-making process and increase the likelihood of success in sector as follows: agriculture, financial services, logistics, energy services, health and others. This book collects and consolidates innovative and high-quality research contributions regarding the implementation techniques and methodologies applied in different industrial sectors. The scope is to disseminate current trends knowledge in the implementation of artificial intelligence techniques and methodologies in different fields as follows: supply chain, business intelligence, e-commerce, social media and others. The book contents are useful for Ph.D., Ph.D. students, master and undergraduate students, and professional and students in industrial engineering, computer science, information systems, data analytics and others.