Mega-regions are considered to be the new geography that may become the nation’s operative regions, according to the March 2010 FHWA Strategic Plan. Such regions need analysis tools to evaluate scenarios and their regional impacts. These tools have to cover areas larger than covered by the typical Metropolitan Planning Organization (MPO) or State Department of Transportation (DOT) models. In ad...

This paper presents a novel quantitative methodology for the evaluation and optimisation of the environmental impacts of the whole life cycle of a mega-event project: construction and staging the event and post-event site redevelopment and operation. Within the proposed framework, a mathematical model has been developed that takes into account greenhouse gas (GHG) emissions resulting from use o...

Success in mega-projects is frequently discussed among project theoreticians and practitioners. This research focuses on high-technology projects and draws on recent literature and fieldwork at ten contemporary megascience projects in Chile, Australia, and Europe. This study concludes that project success is not random, and early adoption of certain approaches, activities, and launch conditions...

The upstream petroleum industry today faces unprecedented waves of added costs and new regulatory challenges as it tries to navigate the shoals of risk management toward preserving its bottom line. The historical risk factors—e.g., commodity price volatility, geopolitics, etc.—facing the industry have become more complex. Oil and gas price movements are now tethered more to macroeconomic influe...

The idea of supporting interactive provers using automatic ones is an old one. An important early effort is the KIV system [1], which has been integrated with 3TAP. Hurd has integrated HOL4 with Gandalf [3], while Bezem et al. have integrated Coq with Bliksem [2]. None of these integrations appear to be used any more, and indeed none of their automatic theorem provers appear to be undergoing de...