The object of the present paper is to study three-dimensional Lorentzian -Sasakian manifolds which are Ricci-semisymmetry, locally symmetric and have -parallel Ricci tensor. An example of a three-dimensional Lorentzian -Sasakian manifold is given which verifies all the Theorems.

This paper presents a framework for the implementation of online programming competitions, including a set of principles for the design of the multiplayer game and a practical framework for the construction of the competition environment. The paper presents a successful example competition, the 2016-17 Halite challenge, and briefly mentions a second competition, the Halite II challenge, which l...

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