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...