By far the greatest challenge related to undermining of internal sovereignty in the settled areas of NWFP and the rapidly fading writ of the government in the Federally Administered Tribal Areas (FATA). Although a military operation appears to have quelled the insurgency in some parts for now, these areas still need to be brought fully under state control. In addition, the largest ever displace...

We argue for the importance of tool integration in achieving the Program Verifier Grand Challenge. In particular, we argue for what we call strong integration, i.e. a co-operative style of interaction between tools. We propose the use of an existing planning technique, called proof planning, as a possible basis for achieving strong integration.

“The term ‘holistic’ refers to my conviction that what we are concerned with here is the fundamental interconnectedness of all things”. . . . “I see the solution to each problem as being detectable in the pattern and web of the whole. The connections between causes and effects are often much more subtle and complex than we with our rough and ready understanding of the physical world might natur...

This paper examines the overlap between competition and friendship in networks, an instance of multiplexity that we call the grand duality. We demonstrate that managers differ systematically whether they perceive competition with their friends. Structure matters, in that managers are more likely to see competition among friends who are the same sex, in the same work unit, on the same social ran...

Systems engineering is a discipline with methods and techniques to address complex problems. We want to study how Systems Engineering methods can help to address today’s grand challenges, such as the energy problem. The first step is problem definition which aims at articulating the problem in its context as clearly as possible. Humanity will have to cope with the energy problem, one of the mos...

I revisit the question of whether entrepreneurs face liquidity constraints in business formation. The principle challenge is that wealth is correlated with unobserved ability, and adequate instruments are often difficult to identify. This paper uses the son’s birth order as an instrument for household wealth. The instrument would likely not be useful in Western data, but it is in many non-Weste...

For reasons we can only guess at, the Hungarian government has helped Formula One (F1) drive a hole the size of a race track in the side of its tobacco promotion ban. The ramifications are likely to be felt worldwide, as the development provides a case history showing how to circumvent the legislation required in all countries that ratify the World Health Organization's Framework Convention on ...