Transfers, contracts and regulation: a new institutional economics perspective on the changing provision of social housing in Britain

Social housing policy in the UK mirrors wider processes Associated with shifts in broad welfare regimes. Social housing has moved from dominance by state housing provision to the funding of new investment through voluntary sector housing associations to what is now a greater focus on the regulation and private financing of these not-for-profit bodies. If these trends run their course, we are likely to see a range of not-for-profit bodies providing non-market housing in a highly regulated quasi-market. This paper examines these issues through the lens of new institutional economics, which it is believed can provide important insights into the fundamental contractual and regulatory relationships that are coming to dominate social housing from the perspective of the key actors in the sector (not-for-profit housing organisations, their tenants, private lenders and the regulatory state). The paper draws on evidence recently collected from a study evaluating more than 100 stock transfer organisations that inherited ex-public housing in Scotland, including 12 detailed case studies. The paper concludes that social housing stakeholders need to be aware of the risks (and their management) faced across the sector and that the state needs to have clear objectives for social housing and coherent policy instruments to achieve those ends.

Beyond the computer: changing medium from digital to physical

How can organizations use digital infrastructure to realise physical outcomes? The design and construction of London Heathrow Terminal 5 is analysed to build new theoretical understanding of visualization and materialization practices in the transition from digital design to physical realisation. In the project studied, an integrated software solution is introduced as an infrastructure for delivery. The analyses articulate the work done to maintain this digital infrastructure and also to move designs beyond the closed world of the computer to a physical reality. In changing medium, engineers use heterogeneous trials to interrogate and address the limitations of an integrated digital model. The paper explains why such trials, which involve the reconciliation of digital and physical data through parallel and iterative forms of work, provide a robust practice for realizing goals that have physical outcomes. It argues that this practice is temporally different from, and at times in conflict with, building a comprehensive dataset within the digital medium. The paper concludes by discussing the implications for organizations that use digital infrastructures in seeking to accomplish goals in digital and physical media.

Acceptable use policy and employee computer usage: case of Sri Lankan software development industry

Organizations introduce acceptable use policies to deter employee computer misuse. Despite the controlling, monitoring and other forms of interventions employed, some employees misuse the organizational computers to carry out their personal work such as sending emails, surfing internet, chatting, playing games etc. These activities not only waste productive time of employees but also bring a risk to the organization. A questionnaire was administrated to a random sample of employees selected from large and medium scale software development organizations, which measured the work computer misuse levels and the factors that influence such behavior. The presence of guidelines provided no evidence of significant effect on the level of employee computer misuse. Not having access to Internet /email away from work and organizational settings were identified to be the most significant influences of work computer misuse.

Bigger data for Big Data: from Twitter to brain-computer interface

We are sympathetic with Bentley et al’s attempt to encompass the wisdom of crowds in a generative model, but posit that success at using Big Data will include more sensitive measurements, more and more varied sources of information, as well as build from the indirect information available through technology, from ancillary technical features to data from brain-computer interface.

Computer Theorem Proving and HoTT

Theorem-proving is a one-player game. The history of computer programs being the players goes back to 1956 and the ‘LT’ LOGIC THEORY MACHINE of Newell, Shaw and Simon. In game-playing terms, the ‘initial position’ is the core set of axioms chosen for the particular logic and the ‘moves’ are the rules of inference. Now, the Univalent Foundations Program at IAS Princeton and the resulting ‘HoTT’ book on Homotopy Type Theory have demonstrated the success of a new kind of experimental mathematics using computer theorem proving.

Effects of target expansion on selection performance in older computer users

Point and click interactions using a mouse are an integral part of computer use for current desktop systems. Compared with younger users though, older adults experience greater difficulties performing cursor positioning tasks, and this can present limitations to using a computer easily and effectively. Target expansion is a technique for improving pointing performance, where the target dynamically grows as the cursor approaches. This has the advantage that targets conserve screen real estate in their unexpanded state, yet can still provide the benefits of a larger area to click on. This paper presents two studies of target expansion with older and younger participants, involving multidirectional point-select tasks with a computer mouse. Study 1 compares static versus expanding targets, and Study 2 compares static targets with three alternative techniques for expansion. Results show that expansion can improve times by up to 14%, and reduce error rates by up to 50%. Additionally, expanding targets are beneficial even when the expansion happens late in the movement, i.e. after the cursor has reached the expanded target area or even after it has reached the original target area. Participants’ subjective feedback on the target expansion are generally favorable, and this lends further support for the technique.

WCCC 2013: the 20th World Computer Chess Championship

The 20th World Computer Chess Championship took place in Yokohama, Japan during August 2013. It was narrowly won by JUNIOR from JONNY with HIARCS, PANDIX, SHREDDER and MERLIN occupying the remaining positions. There are references to the detailed chess biographies of the engines and engine-authors in the Chessprogramming Wiki. The games, occasionally annotated, are available here.

Computer simulations of pyroclastic flows from dome collapse

We present a method of simulating both the avalanche and surge components of pyroclastic flows generated by lava collapsing from a growing Pelean dome. This is used to successfully model the pyroclastic flows generated on 12 May 1996 by the Soufriere Hills volcano, Montserrat. In simulating the avalanche component we use a simple 3-fold parameterisation of flow acceleration for which we choose values using an inverse method. The surge component is simulated by a 1D hydraulic balance of sedimentation of clasts and entrainment of air away from the avalanche source. We show how multiple simulations based on uncertainty of the starting conditions and parameters, specifically location and size (mass flux), could be used to map hazard zones.

Construction contracts: law and management. 4th edition

This is a fully revised edition of the UK’s leading textbook on the law governing construction contracts and the management and administration of those contracts. Although the legal principles involved are an aspect of general contract law, the practical and commercial complexities of the construction industry have increasingly made this a specialist area. This new edition has been brought up to date with recent cases and developments in the law as it stands at March 2007. The basic approach of the book has been retained. Rather than provide a commentary on standard-form contracts, our approach is to introduce the general principles that underlie contracts in construction, illustrating them by reference to the most important standard forms currently in use. Some of the common standard-form contracts have been revised since the previous edition, and the text has been revised to take account of these changes. Practitioners (consultants, builders, clients and lawyers) will find this an extremely useful source of reference, providing in-depth explanations for all of the features found in contemporary construction contracts, with reasons. A unique feature of this book is the way that it brings together the relevant principles of law with the practical issues arising in construction cases. It is a key text for construction undergraduates and postgraduates as well as for those taking the RIBA Part III and CIOB Part II examinations.