Studies related to the process of program development

The submitted work consists of a collection of publications arising from research carried out at Rhodes University (1970-1980) and at Heriot-Watt University (1980-1992). The theme of this research is the process of program development, i.e. the process of creating a computer program to solve some particular problem. The papers presented cover a number of different topics which relate to this process, viz. (a) Programming methodology programming. (b) Properties of programming languages. aspects of structured. (c) Formal specification of programming languages. (d) Compiler techniques. (e) Declarative programming languages. (f) Program development aids. (g) Automatic program generation. (h) Databases. (i) Algorithms and applications

Diurnal and seasonal variations of the F2 region of the Antarctic ionosphere

[From Introduction, p. 2] The first chapter of this thesis deals with an analysis of F2 critical frequency data first for SANAE and then for eleven other Antarctic and sub-Antarctic stations covering the period 1957 to 1969. This shows certain aspects of the F2 behaviour. Some of the results of this chapter have been reported in a paper by Gledhill and Williams. The two most important mechanisms thought to be responsible for the Antarctic f₀F2 behaviour are incoming corpuscular radiation and horizontal neutral winds. These two mechanisms together with two others (the temperature theory of Torr and Torr and the semi-annual variation of neutral atmospheric density) are discussed in detail in part 2 (Chapters 2 to 4) with a view to discovering which aspects of the f₀F2 behaviour over Antarctica can be explained by each theory. An attempt is made in Part 3 (Chapters 5 and 6) to explain the observed behaviour by solving the continuity equation of the ionosphere for high-latitude stations. Finally, besides the critical frequency, another parameter of importance in explaining the behaviour in the F2 region is the height at which the F2 maximum occurs. This quantity cannot be read directly from an ionogram and it is not an easy quantity to determine. In fact the way in which it is usually obtained is by "scaling" the ionogram in question and converting the virtual heights obtained into real heights. In Part 4 (Chapter 7 and 8) an outline is given of the two computer programs which were written to perform this conversion

Sedimentology and climatic environment of alluvial fans in the Martian Saheki Crater and a comparison with terrestrial fans in the Atacama Desert

The deflated surfaces of the alluvial fans in Saheki crater reveal the most detailed record of fan stratigraphy and evolution found, to date, on Mars. During deposition of at least the uppermost 100 m of fan deposits, discharges from the source basin consisted of channelized flows transporting sediment (which we infer to be primarily sand- and gravel-sized) as bedload coupled with extensive overbank mud-rich flows depositing planar beds of sand-sized or finer sediment. Flow events are inferred to have been of modest magnitude (probably less than ~60 m3/s), of short duration, and probably occupied only a few distributaries during any individual flow event. Occasional channel avulsions resulted in the distribution of sediment across the entire fan. A comparison with fine-grained alluvial fans in Chile’s Atacama Desert provides insights into the processes responsible for constructing the Saheki crater fans: sediment is deposited by channelized flows (transporting sand through boulder-sized material) and overbank mudflows (sand size and finer) and wind erosion leaves channels expressed in inverted topographic relief. The most likely source of water was snowmelt released after annual or epochal accumulation of snow in the headwater source basin on the interior crater rim during the Hesperian to Amazonian periods. We infer the Saheki fans to have been constructed by many hundreds of separate flow events, and accumulation of the necessary snow and release of meltwater may have required favorable orbital configurations or transient global warming

College Students’ Responses to Antismoking Messages: Denial, Defiance, and Other Boomerang Effects

Despite the success of antismoking campaigns that aim to prevent young teens from smoking, this qualitative study provides strong evidence that different initiatives are needed for college students, particularly those who already smoke. When asked for responses to current antismoking messages, nonsmokers generally championed the cause; however, smokers often responded with anger, defiance, denial, and other negative responses. Consumers who respond in this manner are not well served by existing strategies, and money used for such campaigns could be better spent. New strategies are offered in hopes that antismoking campaigns can communicate more effectively with one high-risk group—college student smokers

Localized precipitation and runoff on Mars

We use the Mars Regional Atmospheric Modeling System (MRAMS) to simulate lake storms on Mars, finding that intense localized precipitation will occur for lake size >=10^3 km^2. Mars has a low-density atmosphere, so deep convection can be triggered by small amounts of latent heat release. In our reference simulation, the buoyant plume lifts vapor above condensation level, forming a 20km-high optically-thick cloud. Ice grains grow to 200 microns radius and fall near (or in) the lake at mean rates up to 1.5 mm/hr water equivalent (maximum rates up to 6 mm/hr water equivalent). Because atmospheric temperatures outside the surface layer are always well below 273K, supersaturation and condensation begin at low altitudes above lakes on Mars. In contrast to Earth lake-effect storms, lake storms on Mars involve continuous precipitation, and their vertical velocities and plume heights exceed those of tropical thunderstorms on Earth. Convection does not reach above the planetary boundary layer for lakes O(10^2) mbar. Instead, vapor is advected downwind with little cloud formation. Precipitation occurs as snow, and the daytime radiative forcing at the land surface due to plume vapor and storm clouds is too small to melt snow directly (<+10 W/m^2). However, if orbital conditions are favorable, then the snow may be seasonally unstable to melting and produce runoff to form channels. We calculate the probability of melting by running thermal models over all possible orbital conditions and weighting their outcomes by probabilities given by Laskar et al., 2004. We determine that for an equatorial vapor source, sunlight 15% fainter than at present, and snowpack with albedo 0.28 (0.35), melting may occur with 4%(0.1%) probability. This rises to 56%(12%) if the ancient greenhouse effect was modestly (6K) greater than today.Comment: Submitted to JGR Planet

Differences between the CME fronts tracked by an expert, an automated algorithm, and the Solar Stormwatch project

Observations from the Heliospheric Imager (HI) instruments aboard the twin STEREO spacecraft have enabled the compilation of several catalogues of coronal mass ejections (CMEs), each characterizing the propagation of CMEs through the inner heliosphere. Three such catalogues are the Rutherford Appleton Laboratory (RAL)-HI event list, the Solar Stormwatch CME catalogue, and, presented here, the J-tracker catalogue. Each catalogue uses a different method to characterize the location of CME fronts in the HI images: manual identification by an expert, the statistical reduction of the manual identifications of many citizen scientists, and an automated algorithm. We provide a quantitative comparison of the differences between these catalogues and techniques, using 51 CMEs common to each catalogue. The time-elongation profiles of these CME fronts are compared, as are the estimates of the CME kinematics derived from application of three widely used single-spacecraft-fitting techniques. The J-tracker and RAL-HI profiles are most similar, while the Solar Stormwatch profiles display a small systematic offset. Evidence is presented that these differences arise because the RAL-HI and J-tracker profiles follow the sunward edge of CME density enhancements, while Solar Stormwatch profiles track closer to the antisunward (leading) edge. We demonstrate that the method used to produce the time-elongation profile typically introduces more variability into the kinematic estimates than differences between the various single-spacecraft-fitting techniques. This has implications for the repeatability and robustness of these types of analyses, arguably especially so in the context of space weather forecasting, where it could make the results strongly dependent on the methods used by the forecaster

Generation and Characterization of a Library of Novel Biologically Active Functional Surfactants (Surfmers) Using Combined High-Throughput Methods

We report the first successful combination of three distinct high-throughput techniques to deliver the accelerated design, synthesis, and property screening of a library of novel, bio-instructive, polymeric, comb-graft surfactants. These three-dimensional, surface-active materials were successfully used to control the surface properties of particles by forming a unimolecular deep layer on the surface of the particles via microfluidic processing. This strategy deliberately utilizes the surfactant to both create the stable particles and deliver a desired cell-instructive behavior. Therefore, these specifically designed, highly functional surfactants are critical to promoting a desired cell response. This library contained surfactants constructed from 20 molecularly distinct (meth)acrylic monomers, which had been pre-identified by HT screening to exhibit specific, varied, and desirable bacterial biofilm inhibitory responses. The surfactant's self-assembly properties in water were assessed by developing a novel, fully automated, HT method to determine the critical aggregation concentration. These values were used as the input data to a computational-based evaluation of the key molecular descriptors that dictated aggregation behavior. Thus, this combination of HT techniques facilitated the rapid design, generation, and evaluation of further novel, highly functional, cell-instructive surfaces by application of designed surfactants possessing complex molecular architectures

Discriminating between the roles of Late Pleistocene palaeodischarge and geological-topographic inheritance in fluvial longitudinal profile and channel development

This paper investigates the influences of palaeohydrology and geological-topographic inheritance in shaping the channel of the lower River Suir, southeast Ireland. Results of acoustic surveys of the lower River Suir and Waterford Harbour reveal two scales of pseudo-cyclic river bedforms. Longitudinal elevation profiles of the geological topography (undulating bedrock and till-mantled bedrock) bounding the present floodplain swath reveal pseudo-cyclicity in that terrain too. Spectral and statistical analyses are used to quantify the cyclicity of the long profile and geological-topographic series. These methods show that the dominant cyclicity of the long profile reflects autocorrelation more than inheritance of cyclicity from the bounding geological topography. The cyclicity of the long profile mainly reflects a hydraulic control on pool-spacing, although some cyclicity probably has been inherited from the geological-topography. Channel-forming palaeodischarge is estimated based on the dominant pool-spacing revealed by spectral analysis, validated using relationships between meander wavelength, channel cross-sectional geometry and hydraulically-informed discharge reconstruction. The palaeodischarge estimates are in close agreement and are two orders of magnitude greater than present flood maxima. Significantly, these palaeodischarge estimates also agree closely with palaeodischarge calculated for the submerged Pleistocene palaeochannel that extends across the near-shore continental shelf from Waterford Harbour. The pool-sequence of the lower Suir and the submerged palaeochannel represent a former land-system that was active during a period of low relative sea level during the last glacial. More broadly, the paper offers insights into the landscape evolution of formerly glaciated regions that experienced very wide discharge variability during and after the transition from glacial to interglacial regimes, in a context of complex relative sea level change

Changing practice in dementia care in the community: developing and testing evidence-based interventions, from timely diagnosis to end of life (EVIDEM)

Background Dementia has an enormous impact on the lives of individuals and families, and on health and social services, and this will increase as the population ages. The needs of people with dementia and their carers for information and support are inadequately addressed at all key points in the illness trajectory. Methods The Unit is working specifically on an evaluation of the impact of the Mental Capacity Act 2005, and will develop practice guidance to enhance concordance with the Act. Phase One of the study has involved baseline interviews with practitioners across a wide range of services to establish knowledge and expectations of the Act, and to consider change processes when new policy and legislation are implemented. Findings Phase 1, involving baseline interviews with 115 practitioners, identified variable knowledge and understanding about the principles of the Act. Phase 2 is exploring everyday decision-making by people with memory problems and their carers