Kaiser

The evaluation of a logical formula can be viewed as a game played by two opponents, one trying to show that the formula is true and the other trying to prove it is false. This correspondence has been known for a very long time and has inspired numerous research directions. In this book, the author extends this connection between logic and games...

Managing a successful transition of the current energy supply system to less carbon emitting options, ensuring a safe and secure supply during the whole process and in the long term, is one of the largest challenges of our time. Various approaches and first implementations show that it is not only technological issue, but also a matter of societ...

The purpose of this book is to examine the spatial and temporal linkage between offshore supply vessels (OSVs) and oil and gas activity in the Outer Continental Shelf (OCS) of the Gulf of Mexico, and to model vessel activity expected to result from future lease sales. Oil and gas operations occur throughout the world wherever commercial accumula...