Home is where the heart of legal need is

AbstractPreliminary findings from the Legal Australia - Wide (LAW) Survey indicate that homeless people are an especially disadvantaged group who have increased vulnerability to a wide range of legal problems. The findings suggest that addressing the legal and non-legal needs of homeless people should be a priority and may require a holistic or client-focused approach, involving an integrated response from legal and broader human services

Towards run-time monitoring of web services conformance to business-level agreements

Web service behaviour is currently specified in a mixture of ways, often using methods that are only partially complete. These range from static functional specifications, based on interfaces in WSDL and preconditions in RIF, to business process simulations using executable process-based models such as BPEL, to detailed quality of service (QoS) agreements laid down in a service level agreement (SLA). This paper recognises that something similar to a SLA is required at the higher business level to govern the contract between service producers, brokers and consumers. We call this a business level agreement (BLA) and within this framework, seek to unify disparate aspects of functional specification, QoS and run-time verification. We propose that the method for validating a web service with respect to its advertised BLA should be based on run-time service monitoring. This is a position paper towards defining these goals

Fresh-Register Automata

What is a basic automata-theoretic model of computation with names and fresh-name generation? We introduce Fresh-Register Automata (FRA), a new class of automata which operate on an infinite alphabet of names and use a finite number of registers to store fresh names, and to compare incoming names with previously stored ones. These finite machines extend Kaminski and Francez’s Finite-Memory Automata by being able to recognise globally fresh inputs, that is, names fresh in the whole current run. We exam-ine the expressivity of FRA’s both from the aspect of accepted languages and of bisimulation equivalence. We establish primary properties and connections between automata of this kind, and an-swer key decidability questions. As a demonstrating example, we express the theory of the pi-calculus in FRA’s and characterise bisimulation equivalence by an appropriate, and decidable in the finitary case, notion in these automata

How good are projection methods for convex feasibility problems?

We consider simple projection methods for solving convex feasibility problems. Both successive and sequential methods are considered, and heuristics to improve these are suggested. Unfortunately, particularly given the large literature which might make one think otherwise, numerical tests indicate that in general none of the variants considered are especially effective or competitive with more sophisticated alternatives

Experimental studies of self-sustaining thermal aquifer remediation (STAR) for non-aqueous phase liquid (NAPL) sources

Self-sustaining Thermal Aquifer Remediation (STAR) is a novel technology that employs smouldering combustion for the remediation of subsurface contamination by non-aqueous phase liquids (NAPLs). Smouldering is a form of combustion that is slower and less energetic than flaming combustion. Familiar examples of smouldering involve solid fuels that are destroyed by the reaction (e.g., a smouldering cigarette or peat smouldering after a wildfire). In STAR, the NAPL serves as the fuel within an inert, porous soil medium. Results from experiments across a range of scales are very promising. Detailed characterisation has focused on coal tar, a common denser-than-water NAPL (DNAPL) contaminant. Complete remediation is demonstrated across this range of scales. Visual observations are supported bychemical extraction results. Further experiments suggest that STAR can be self-sustaining, meaning that once ignited the process can supply its own energy to propagate. Costly energy input is reduced significantly. Comparison of large scale to small scale laboratory experiments, a volume increase by a factor of 100, suggests that STAR process efficiency increases with scale. This increase in efficiency results from reduced heat losses at larger scales while maximum the temperature achieved by STAR is unaffected. The research also demonstrates the controllability of STAR, where the termination of airflow to the reaction terminates the STAR process. The scale-up process provides important guidance to the development of full scale STAR for ex situ remediation of NAPL-contaminated soil

People, place, enterprise: proceedings of the first annual conference on Olympic Legacy 8 and 9 May 2008

The Olympic Legacy: People, Place, Enterprise conference took place at the University of Greenwich in May 2008. The first in a series of annual conferences, it brought together leading academics, policy makers and practitioners to debate the lasting legacy of the games. The conference had four themes: social and cultural regeneration; Olympic tourism; enterprise, including social enterprise and skills development, and education, providing a multi-dimensional perspective on the likely impacts of the forthcoming London Olympics

Analysis of enhanced diffusion in Taylor dispersion via a model problem

We consider a simple model of the evolution of the concentration of a tracer, subject to a background shear flow by a fluid with viscosity $\nu \ll 1$ in an infinite channel. Taylor observed in the 1950's that, in such a setting, the tracer diffuses at a rate proportional to $1/\nu$, rather than the expected rate proportional to $\nu$. We provide a mathematical explanation for this enhanced diffusion using a combination of Fourier analysis and center manifold theory. More precisely, we show that, while the high modes of the concentration decay exponentially, the low modes decay algebraically, but at an enhanced rate. Moreover, the behavior of the low modes is governed by finite-dimensional dynamics on an appropriate center manifold, which corresponds exactly to diffusion by a fluid with viscosity proportional to $1/\nu$

Dogs catch human yawns

This study is the first to demonstrate that human yawns are possibly contagious to domestic dogs (Canis familiaris). Twenty-nine dogs observed a human yawning or making control mouth movements. Twenty-one dogs yawned when they observed a human yawning, but control mouth movements did not elicit yawning from any of them. The presence of contagious yawning in dogs suggests that this phenomenon is not specific to primate species and may indicate that dogs possess the capacity for a rudimentary form of empathy. Since yawning is known to modulate the levels of arousal, yawn contagion may help coordinate dog–human interaction and communication. Understanding the mechanism as well as the function of contagious yawning between humans and dogs requires more detailed investigation

Resurrecting the UK Historic Sector National Accounts

The UK national accounts do not provide a full long-run set of historic data describing the behaviour of the UK's private sector. Although comprehensive figures are available from 1987, the pre-1987 historic sector national accounts are marred by discontinuities, gaps and error. A partial solution is described that enables the compilation of consistent historic figures for sectors' income and expenditure flows, albeit at a high level of sector aggregation. Particular attention is paid to transfer incomes and associated inter-sector flows. To our knowledge, our dataset is the only one freely available that provides a basis, albeit an incomplete one, for a serious examination of Britain's post-war macroeconomic history. Coherent financial flow, balance sheet and volume data and further sector disaggregation are required to complete the picture. An annual dataset is provided as a supplement to the articleUK national accounts, European System of Accounts, data corruption, private sector, Statistics Commission