The purpose of this paper is to present empirical findings suggesting a mechanism that caused a well-managed systems development project to counteract its own strategic aim. The case study concerns a large strategically important business development project in a multinational corporation. The project was built on a vision of a ‘new’ company, utilising IT to enable some new and radically differ...

* Now at: 20/20 Speech Ltd., Malvern Hills Science Park, Malvern, Worcs. WR14 3SZ. [email protected] Abstract Agile combat aircraft currently in development using speech recognition as part of the cockpit interface will also use positive pressure breathing (PPB) to enable the pilot to remain conscious and function at high G levels. Recogniser performance is seriously affected by PPB even a...

The original Rtips started in 1999. It became difficult to update because of limitations in the software with which it was created. Now I know more about R, and have decided to wade in again. In January, 2012, I took the FaqManager HTML output and converted it to LTEX with the excellent open source program pandoc, and from there I’ve been editing and updating it in LYX. From here on out, the la...

We study hybrid logics with nominals and ‘actuality’ operators @i. We recall the method of ten Cate, Marx, and Viana to simulate hybrid logic using modalities and ‘nice’ frames, and we show that the hybrid logic of a class of frames is the modal logic of the class of its corresponding nice frames. Using these results, we show how to axiomatize the hybrid logic of any elementary class of frames....