Higher levels of process synchronisation

Four new synchronisation primitives (SEMAPHOREs, RESOURCEs, EVENTs and BUCKETs) were introduced in the KRoC 0.8beta release of occam for SPARC (SunOS/Solaris) and Alpha (OSF/1) UNIX workstations [1][2][3]. This paper reports on the rationale, application and implementation of two of these (SEMAPHOREs and EVENTs). Details on the other two may be found on the web [4]. The new primitives are designed to support higher-level mechanisms of SHARING between parallel processes and give us greater powers of expression. They will also let greater levels of concurrency be safely exploited from future parallel architectures, such as those providing (virtual) shared-memory. They demonstrate that occam is neutral in any debate between the merits of message-passing versus shared-memory parallelism, enabling applications to take advantage of whichever paradigm (or mixture of paradigms) is the most appropriate. The new primitives could be (but are not) implemented in terms of traditional channels, but only at the expense of increased complexity and computational overhead. The primitives are immediately useful even for uni-processors - for example, the cost of a fair ALT can be reduced from O(n) to O(1). In fact, all the operations associated with new primitives have constant space and time complexities; and the constants are very low. The KRoC release provides an Abstract Data Type interface to the primitives. However, direct use of such mechanisms still allows the user to misuse them. They must be used in the ways prescribed (in this paper and in [4]) else their semantics become unpredictable. No tool is provided to check correct usage at this level. The intention is to bind those primitives found to be useful into higher level versions of occam. Some of the primitives (e.g. SEMAPHOREs) may never themselves be made visible in the language, but may be used to implement bindings of higher-level paradigms (such as SHARED channels and BLACKBOARDs). The compiler will perform the relevant usage checking on all new language bindings, closing the security loopholes opened by raw use of the primitives. The paper closes by relating this work with the notions of virtual transputers, microcoded schedulers, object orientation and Java threads

Measurements of the free stream fluctuations above a turbulent boundary layer

This paper investigates the velocity fluctuations in the free stream above an incompressible turbulent boundary layer developing at constant pressure. It is assumed that the fluctuations receive contributions from three statistically independent sources: (1) one-dimensional unsteadiness, (2) free stream turbulence, and (3) the potential motion induced by the turbulent boundary layer. Measurements were made in a wind tunnel with a root-mean-square level of the axial velocity fluctuations of about 0.2 percent. All three velocity components were measured using an X-wire probe. The unsteadiness was determined from the spanwise covariance of the axial velocity, measured using two single wire probes. The results show that it is possible to separate the contributions to the r.m.s. level of the velocity fluctuations, without resorting to the dubious technique of high-pass filtering. The separation could be extended to the spectral densities of the contributions, if measurements of sufficient accuracy were available. The Appendix provides a general guide for the measurement of small free stream fluctuation levels

Options for low and moderate income housing rehabilitation in New Hampshire's "North Country"

As stated in the thesis project, "Rural northern New Hampshire, from Plymouth north to the Canadian border, is the least affluent region in the state. While comprising almost one half of New Hampshire's geographical area, the region is home to less than one tenth of its population. Although affordable housing may take many other forms in more densely populated regions of the United States, here it consists almost exclusively of older single-family homes and mobile homes (some owned/some rented), and small multifamily (6 units or less) rental buildings. This being the case, the effort to provide safe, sanitary, decent affordable housing centers on small-scale housing rehabilitation, and will continue to do so for the foreseeable future. With an average home sale price of $95,300 (the average for new homes is$108,300) and a median household income of approximately $35,500, an ongoing rehabilitation program for existing rental and owner-occupied housing is crucial to the well-being of low and moderate income North Country citizens." (Library-derived description)Wood, D. H. (1984). Options for low and moderate income housing rehabilitation in New Hampshire's "North Country". Retrieved from http://academicarchive.snhu.eduMaster of Science (M.S.)School of Community Economic Developmen

A sound refraction integral

Using formal methods, R.R.Goodman has given an integral representation of the response due to an arbitrary signal from a point source in a constant gradient medium. The final result is expanded in a series that converges rapidly for small gradients

Thomassen's Choosability Argument Revisited

Thomassen (1994) proved that every planar graph is 5-choosable. This result was generalised by {\v{S}}krekovski (1998) and He et al. (2008), who proved that every $K_5$-minor-free graph is 5-choosable. Both proofs rely on the characterisation of $K_5$-minor-free graphs due to Wagner (1937). This paper proves the same result without using Wagner's structure theorem or even planar embeddings. Given that there is no structure theorem for graphs with no $K_6$-minor, we argue that this proof suggests a possible approach for attacking the Hadwiger Conjecture

Paper Session II-A - Hubble Space Telescope: The Image Restored

Since the first servicing mission to Hubble Space Telescope (HST), astronomy has entered a new golden age. This paper will serve to give a small set of examples of the new imagery and the unexpected discoveries that have been made using the Wide Field and Planetary Camera 2 (WFPC2) built by NASA’s Jet propulsion Laboratory. In addition, using these examples, the extrapolation to “what’s ahead” will be discussed

Three Dimensional Mapping of Texture in Dental Enamel

We have used synchrotron x-ray diffraction to study the crystal orientation in human dental enamel as a function of position within intact tooth sections. Keeping tooth sections intact has allowed us to construct 2D and 3D spatial distribution maps of the magnitude and orientation of texture in dental enamel. We have found that the enamel crystallites are most highly aligned at the expected occlusal points for a maxillary first premolar, and that the texture direction varies spatially in a three dimensional curling arrangement. Our results provide a model for texture in enamel which can aid researchers in developing dental composite materials for fillings and crowns with optimal characteristics for longevity, and will guide clinicians to the best method for drilling into enamel, in order to minimize weakening of remaining tooth structure, during dental restoration procedure

Inequalities in the dental health needs and access to dental services among looked after children in Scotland: a population data linkage study

Background: There is limited evidence on the health needs and service access among children and young people who are looked after by the state. The aim of this study was to compare dental treatment needs and access to dental services (as an exemplar of wider health and well-being concerns) among children and young people who are looked after with the general child population. Methods: Population data linkage study utilising national datasets of social work referrals for ‘looked after’ placements, the Scottish census of children in local authority schools, and national health service’s dental health and service datasets. Results: 633 204 children in publicly funded schools in Scotland during the academic year 2011/2012, of whom 10 927 (1.7%) were known to be looked after during that or a previous year (from 2007–2008). The children in the looked after children (LAC) group were more likely to have urgent dental treatment need at 5 years of age: 23%vs10% (n=209/16533), adjusted (for age, sex and area socioeconomic deprivation) OR 2.65 (95% CI 2.30 to 3.05); were less likely to attend a dentist regularly: 51%vs63% (n=5519/388934), 0.55 (0.53 to 0.58) and more likely to have teeth extracted under general anaesthesia: 9%vs5% (n=967/30253), 1.91 (1.78 to 2.04). Conclusions: LAC are more likely to have dental treatment needs and less likely to access dental services even when accounting for sociodemographic factors. Greater efforts are required to integrate child social and healthcare for LAC and to develop preventive care pathways on entering and throughout their time in the care system

IDSC USA Response to NIWRGs Appeal

The Brief of the Respondent, the United States of Americ