202,770 research outputs found
Towards a Convenient Category of Topological Domains
We propose a category of topological spaces that promises to be convenient for the purposes of domain theory as a mathematical theory for modelling computation. Our notion of convenience presupposes the usual properties of domain theory, e.g. modelling the basic type constructors, fixed points, recursive types, etc. In addition, we seek to model parametric polymorphism, and also to provide a flexible toolkit for modelling computational effects as free algebras for algebraic theories. Our convenient category is obtained as an application of recent work on the remarkable closure conditions of the category of quotients of countably-based topological spaces. Its convenience is a consequence of a connection with realizability models
Updating the Building Code to Include Indoor Farming Operations
Urban agricultural production has grown to be a critical tool in the battles for food security and sustainability. A common regulatory barrier to urban agricultural operations big and small has been ambiguity in land-use laws. Local governments are increasingly friendly toward community gardens, small greenhouse farming operations, farmers markets, and the like. Many have sought to lift regulatory restrictions and provide clarity in the law. However, while these efforts benefit a multitude of local food production efforts, they do little to address the regulatory ambiguities faced by commercial-scale, indoor farming operations, especially vertical farms. Particularly concerning to indoor vertical farms are the ambiguities implicit in the International Building Code (“IBC”), which serves as the model building code for virtually every American municipality. Currently, the IBC lacks any provisions contemplating buildings purposed for large-scale indoor crop production. While some state governments have traditionally exempted agricultural buildings from this type of regulation, this is neither a safe nor feasible solution for indoor farming operations. This article seeks to provide alternative solutions. First, in the short term, local governments should provide clear statutory guidance concerning where indoor farming operations fit into the IBC scheme. Second, as a more sustainable solution, the International Code Council, should update the IBC to account for commercial-scale indoor farming operations by including such operations under a particular occupancy group
Borrowing, risks and charges in the water industry : a rejoinder to the Cuthberts
In their article* in the June 2006 issue of this Commentary, Jim and Margaret Cuthbert address a number of questions to the Water Industry Commission for Scotland, the industry regulator. These questions reflect the authors' concerns about some regulatory procedures and decisions, concerns that they have expressed earlier elsewhere. The Cuthberts' criticisms can be summarised in the proposition that Scottish Water should be allowed to borrow more money, and thereby be able to lower its current charges to customers
Economic development in Spain, 1850-1936
Indicators of the good health of Spanish economic history include the growing number of publications in English, the proliferation in the number of academic journals within Spain, and the fact that the 1998 International Economic History Congress is to be held in Seville. It is not possible to provide here a general note on all aspects of recent research, but this essay offers a critical examination of the major arguments advanced for the slow growth in the Spanish economy over the century or so before the civil war of 1936-9. The period after 1936 has been excluded because, although many of the obstacles to development remained until the 1960s, three excellent surveys of the literature have recently been published.' Where possible, English versions of works are cited, and the essay lists only those Spanish publications which are likely to be relatively easily obtainable. After considering recent estimates of economic growth and development, the survey tries to explain the slow change by looking at three areas: agriculture, industry, and the role of the state.Publicad
The luminosity dependence of the Type 1 AGN fraction
Using a complete, magnitude-limited sample of active galaxies from the Sloan
Digital Sky Survey (SDSS) we show that the fraction of broad-line (Type 1)
active galactic nuclei increases with luminosity of the isotropically-emitted
[O III] narrow emission line. Our results are quantitatively in agreement with,
and far less uncertain than, similar trends found from studies of X-ray and
radio-selected active galaxies. While the correlation between broad-line
fraction and luminosity is qualitatively consistent with the receding torus
model, its slope is shallower and we therefore propose a modification to this
model where the height of the torus increases slowly with AGN luminosity. We
demonstrate that the faint-end slope of the AGN luminosity function steepens
significantly when a correction for `missing' Type 2 objects is made and that
this can substantially affect the overall AGN luminosity density extrapolated
from samples of more luminous objects.Comment: 8 pages, accepted for publication by MNRA
The changing perspectives on three Muslim men on the question of saint worship over a 10-year period in Gujarat, western India
In many religious traditions, those who mediate relations between men and gods are often the focus of controversy and moral ambiguity. The ethnography in this paper outlines a number of perspectives on the role of such intermediaries (here ‘saints’) in Muslim society in western India. In the South Asian literature, historians have provided a thorough treatment of the doctrinal history and content of these debates. However, very little attention has been paid to how living individuals interpret and rehearse these debates in practice. The examination of the changing perspectives of three Muslim men on the question of saint worship over a ten-year period reveals the following. First, an individual’s relationship with ‘saints’ is often determined primarily by social context rather than simply by doctrinal allegiance or the compulsions of particular ‘beliefs’. Second, discourses of religious reform are also powerful social objects that can be used as political instruments for purposes other than simply refining the religious practices of a community. Finally, many commonplace assumptions in the literature – notably on the nature of belief and the significance of doctrinal divisions among Muslims – do not withstand ethnographic scrutiny
Phylloxera, price volatility and institutional innovation in france's domestic wine markets, 1870-1911
This paper looks at the response of growers and merchants, first to vine disease and high prices, and then to the problems of overproduction and product adulteration. France produced a large range of wines, but by the early twentieth century most commodity chains were failing to provide accurate information for consumers to discriminate between differences in quality. The paper argues that the different characteristics of individual wines, and the nature of their commodity chains, resulted in the demand for very different solutions to the low prices and profits of the 1900
- …
