Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack

Existing algorithmic debuggers for Haskell require a transformation of all modules in a program, even libraries that the user does not want to debug and which may use language features not supported by the debugger. This is a pity, because a promising ap- proach to debugging is therefore not applicable to many real-world programs. We use the cost centre stack from the Glasgow Haskell Compiler profiling environment together with runtime value observations as provided by the Haskell Object Observation Debugger (HOOD) to collect enough information for algorithmic debugging. Program annotations are in suspected modules only. With this technique algorithmic debugging is applicable to a much larger set of Haskell programs. This demonstrates that for functional languages in general a simple stack trace extension is useful to support tasks such as profiling and debugging

Growth and magnetic properties of MnO2−delta nanowire microspheres

We report the synthesis of MnO2−delta microspheres using hydrothermal and conventional chemical reaction methods. The microspheres of MnO2−delta consist of nanowires having a diameter of 20-50 nm and a length of 2-8 micro m. The value of the oxygen vacancy delta estimated from the x-ray photoelectron spectrum (XPS) is 0.3. The magnetization versus temperature curve indicates a magnetic transition at about 13 K. It is found that a parasitic ferromagnetic component is imposed on the antiferromagnetic structure of MnO2−delta, which might result from distortion of the lattice structure due to oxygen vacancies. The magnetic transition temperature TN is about 10 K lower than that of the bulk MnO2 single crystal

Densovirus induces winged morphs in asexual clones of the rosy apple aphid, Dysaphis plantaginea

Winged morphs of aphids are essential for their dispersal and survival. We discovered that the production of the winged morph in asexual clones of the rosy apple aphid, Dysaphis plantaginea, is dependent on their infection with a DNA virus, Dysaphis plantaginea densovirus (DplDNV). Virus-free clones of the rosy apple aphid, or clones infected singly with an RNA virus, rosy apple aphid virus (RAAV), did not produce the winged morph in response to crowding and poor plant quality. DplDNV infection results in a significant reduction in aphid reproduction rate, but such aphids can produce the winged morph, even at low insect density, which can fly and colonize neighboring plants. Aphids infected with DplDNV produce a proportion of virus-free aphids, which enables production of virus-free clonal lines after colonization of a new plant. Our data suggest that a mutualistic relationship exists between the rosy apple aphid and its viruses. Despite the negative impact of DplDNV on rosy apple aphid reproduction, this virus contributes to their survival by inducing wing development and promoting dispersal

Compositional Explanation of Types and Algorithmic Debugging of Type Errors

The type systems of most typed functional programming languages are based on the Hindley-Milner type system. A practical problem with these type systems is that it is often hard to understand why a program is not type correct or a function does not have the intended type. We suggest that at the core of this problem is the difficulty of explaining why a given expression has a certain type. The type system is not defined compositionally. We propose to explain types using a variant of the Hindley-Milner type system that defines a compositional type explanation graph of principal typings. We describe how the programmer understands types by interactive navigation through the explanation graph. Furthermore, the explanation graph can be the foundation for algorithmic debugging of type errors, that is, semi-automatic localisation of the source of a type error without even having to understand the type inference steps. We implemented a prototype of a tool to explore the usefulness of the proposed methods

Petrogenesis of diachronous mixed siliciclastic-carbonate megafacies in the cool-water Oligocene Tikorangi Formation, Taranaki Basin, New Zealand

The Oligocene (Whaingaroan-Waitakian) Tikorangi Formation is a totally subsurface, lithostratigraphically complex, mixed siliciclastic-limestone-rich sequence forming an important fracture reservoir within Taranaki Basin, New Zealand. Petrographically the formation comprises a spectrum of interbedded rock types ranging from calcareous mudstone to wackestone to packstone to clean sparry grainstone. Skeletal and textural varieties within these rock types have aided in the identification of three environmentally distinctive megafacies for the Tikorangi Formation rocks-shelfal, foredeep, and basinal. Data from these megafacies have been used to detail previous conclusions on the petrogenesis and to further refine depositional paleoenvironmental models for the Tikorangi Formation in the central eastern Taranaki Basin margin.Shelfal Megafacies 1 rocks (reference well Hu Road-1A) are latest Oligocene (early Waitakian) in age and formed on or proximal to the Patea-Tongaporutu-Herangi basement high. They are characterised by coarse, skeletal-rich, pure sparry grainstone comprising shallow water, high energy taxa (bryozoans, barnacles, red algae) and admixtures of coarse well-rounded lithic sand derived from Mesozoic basement greywacke. This facies type has previously gone unrecorded in the Tikorangi Formation. Megafacies 2 is a latest Oligocene (early Waitakian) foredeep megafacies (formerly named shelfal facies) formed immediately basinward and west of the shelfal basement platform. It accumulated relatively rapidly (>20 cm/ka) from redeposition of shelfal megafacies biota that became intermixed with bathyal taxa to produce a spectrum of typically mudstone through to sparry grainstone. The resulting skeletal mix (bivalve, echinoderm, planktic and benthic foraminiferal, red algal, bryozoan, nannofossil) is unlike that in any of the age-equivalent limestone units in neighbouring onland King Country Basin. Megafacies 3 is an Oligocene (Whaingaroan-Waitakian) offshore basinal megafacies (formerly termed bathyal facies) of planktic foraminiferal-nannofossil-siliciclastic wackestone and mudstone formed away from redepositional influences. The siliciclastic input in this distal basinal setting (sedimentation rates <7 mm/ka) was probably sourced mainly from oceanic currents carrying suspended sediment from South Island provenances exposed at this time.Tikorangi Formation rocks record the Taranaki Basin’s only period of carbonate-dominated sedimentation across a full range of shelfal, foredeep, and basinal settings. Depositional controls on the three contrasting megafacies were fundamentally the interplay of an evolving and complex plate tectonic setting, including development of a carbonate foredeep, changes in relative sea level within an overall transgressive regime, and changing availability, sources, and modes of deposition of both bioclastic and siliciclastic sediments. The mixed siliciclastic-carbonate nature of the formation, and its skeletal assemblages, low-Mg calcite mineralogy, and delayed deep burial diagenetic history, are features consistent with formation in temperate-latitude cool waters

Pliocene-Pleistocene marine cyclothems, Wanganui Basin, New Zealand: a lithostratigraphic framework

The Rangitikei River valley between Mangaweka and Vinegar Hill and the surrounding Ohingaiti region in eastern Wanganui Basin contains a late Pliocene to early Pleistocene (c. 2.6-1.7 Ma), c. 1100 m thick, southward-dipping (4-9deg.), marine cyclothemic succession. Twenty sedimentary cycles occur within the succession, each of which contains coarse-grained (siliciclastic sandstone and coquina) and fine-grained (siliciclastic siltstone) units. Nineteen of the cycles are assigned to the Rangitikei Group (new). Six new formations are defined within the Rangitikei Group, and their distribution in the Ohingaiti region is represented in a new geologic map. The new formations are named: Mangarere, Tikapu, Makohine, Orangipongo, Mangaonoho, and Vinegar Hill. Each formation comprises one or more cyclothems and includes a previously described and named distinctive basal horizon. Discrete sandstones, siltstones, and coquinas within formations are assigned member status and correspond to systems tracts in sequence stratigraphic nomenclature. The members provide the link between the new formational lithostratigraphy and the sequence stratigraphy of the Rangitikei Group. Base of cycle coquina members accumulated during episodes of sediment starvation associated with stratigraphic condensation on an open marine shelf during sea-level transgressions. Siltstone members accumulated in mid-shelf environments (50-100 m water depth) during sea-level highstands, whereas the overlying sandstone members are ascribed to inner shelf and shoreface environments (0-50 m water depth) and accumulated during falling eustatic sea-level conditions. Repetitive changes in water depth of 50-100 m magnitude are consistent with a glacio-eustatic origin for the cyclothems, which correspond to an interval of Earth history when successive glaciations in the Northern Hemisphere are known to have occurred. Moreover, the chronology of the Rangitikei River section indicates that Rangitikei Group cyclothems accumulated during short duration, 41 ka cycles in continental ice volume attributed to the dominance of the Milankovitch obliquity orbital parameter. The Ohingaiti region has simple postdepositional structure. The late Pliocene formations dip generally to the SSW between 4deg. and 9deg.. Discernible discordances of c. 1deg. between successively younger formations are attributed to synsedimentary tilting of the shelf concomitant with migration of the tectonic hingeline southward into the basin. The outcrop distribution of the Rangitikei Group is strongly influenced by this regional tilt and also by three major northeast-southwest oriented, high-angle reverse faults (Rauoterangi, Pakihikura, and Rangitikei Faults)

Energy-based metrics for arthroscopic skills assessment

Minimally invasive skills assessment methods are essential in developing efficient surgical simulators and implementing consistent skills evaluation. Although numerous methods have been investigated in the literature, there is still a need to further improve the accuracy of surgical skills assessment. Energy expenditure can be an indication of motor skills proficiency. The goals of this study are to develop objective metrics based on energy expenditure, normalize these metrics, and investigate classifying trainees using these metrics. To this end, different forms of energy consisting of mechanical energy and work were considered and their values were divided by the related value of an ideal performance to develop normalized metrics. These metrics were used as inputs for various machine learning algorithms including support vector machines (SVM) and neural networks (NNs) for classification. The accuracy of the combination of the normalized energy-based metrics with these classifiers was evaluated through a leave-one-subject-out cross-validation. The proposed method was validated using 26 subjects at two experience levels (novices and experts) in three arthroscopic tasks. The results showed that there are statistically significant differences between novices and experts for almost all of the normalized energy-based metrics. The accuracy of classification using SVM and NN methods was between 70% and 95% for the various tasks. The results show that the normalized energy-based metrics and their combination with SVM and NN classifiers are capable of providing accurate classification of trainees. The assessment method proposed in this study can enhance surgical training by providing appropriate feedback to trainees about their level of expertise and can be used in the evaluation of proficiency

A new small-bodied azhdarchoid pterosaur from the Lower Cretaceous of England and its implications for pterosaur anatomy, diversity and phylogeny

BACKGROUND: Pterosaurs have been known from the Cretaceous sediments of the Isle of Wight (southern England, United Kingdom) since 1870. We describe the three-dimensional pelvic girdle and associated vertebrae of a small near-adult pterodactyloid from the Atherfield Clay Formation (lower Aptian, Lower Cretaceous). Despite acknowledged variation in the pterosaur pelvis, previous studies have not adequately sampled or incorporated pelvic characters into phylogenetic analyses. METHODOLOGY/PRINCIPAL FINDINGS: The new specimen represents the new taxon Vectidraco daisymorrisae gen. et sp. nov., diagnosed by the presence of a concavity posterodorsal to the acetabulum and the form of its postacetabular process on the ilium. Several characters suggest that Vectidraco belongs to Azhdarchoidea. We constructed a pelvis-only phylogenetic analysis to test whether the pterosaur pelvis carries a useful phylogenetic signal. Resolution in recovered trees was poor, but they approximately matched trees recovered from analyses of total evidence. We also added Vectidraco and our pelvic characters to an existing total-evidence matrix for pterosaurs. Both analyses recovered Vectidraco within Azhdarchoidea. CONCLUSIONS/ SIGNIFICANCE: The Lower Cretaceous strata of western Europe have yielded members of several pterosaur lineages, but Aptian pterosaurs from western Europe are rare. With a pelvis length of 40 mm, the new animal would have had a total length of c. 350 mm, and a wingspan of c. 750 mm. Barremian and Aptian pterodactyloids from western Europe show that small-bodied azhdarchoids lived alongside ornithocheirids and istiodactylids. This assemblage is similar in terms of which lineages are represented to the coeval beds of Liaoning, China; however, the number of species and specimens present at Liaoning is much higher. While the general phylogenetic composition of western European and Chinese communities appear to have been approximately similar, the differences may be due to different palaeoenvironmental and depositional settings. The western Europe pterodactyloid record may therefore be artificially low in diversity due to preservational factors

Late Holocene palynology and palaeovegetation of tephra-bearing mires at Papamoa and Waihi Beach, western Bay of Plenty, North Island, New Zealand.

The vegetation history of two mires associated with Holocene dunes near the western Bay of Plenty coast, North Island, New Zealand, is deduced from pollen analysis of two cores. Correlation of airfall tephra layers in the peats, and radiocarbon dates, indicate that the mires at Papamoa and Waihi Beach are c. 4600 and c. 2900 conventional radiocarbon years old, respectively. Tephras used to constrain the chronology of the pollen record include Rotomahana (1886 AD), Kaharoa (700 yr B.P.), Taupo (Unit Y; 1850 yr B.P.), Whakaipo (Unit V; 2700 yr B.P.), Stent (Unit Q; 4000 yr B.P.), Hinemaiaia (Unit K; 4600 yr B.P.), and reworked Whakatane (c. 4800 yr B.P.) at Papamoa, and Kaharoa and Taupo at Waihi Beach. Peat accumulation rates at Papamoa from 4600 - 1850 yr B.P. range from 0.94 to 2.64 mm/yr (mean 1.37 mm/yr). At Waihi Beach, from 2900 yr B.P. - present day, they range from 0.11 to 0.21 mm/yr (mean 0.20 mm/yr). Peat accumulation at both sites was slowest from 1850 to 700 yr B.P., suggesting a drier overall climate during this interval. At both sites, the earliest organic sediments, which are underlain by marine or estuarine sands, yield pollen spectra indicating salt marsh or estuarine environments. Coastal vegetation communities declined at both sites, as sea level gradually fell or the coast prograded, and were eventually superseded by a low moor bog at Papamoa, and a mesotrophic swamp forest at Waihi Beach. These differences, and the marked variation in peat accumulation rates, probably reflect local hydrology and are unlikely to have been climatically controlled. The main regional vegetation during this period was mixed northern conifer-angiosperm forest. Kauri (Agathis australis) formed a minor component of these forests, but populations of this tree have apparently not expanded during the late Holocene at these sites, which are near its present southern limit. Occasional shortlived forest disturbances are detectable in these records, in particular immediately following the deposition of Taupo Tephra. However, evidence for forest clearance during the human era is blurred by the downward dislocation of modern adventi ve pollen at these sites, preventing the clear differentiation of the Polynesian and European eras

The Journal of the Friends' Historical Society vol. 4 No. 1

1. Notes and Queries. 2. Our Bibliographers. 3. A New Book on George Fox. 4. American Letters of Edmund Peckover. 5. Meeting Records. 6. Friends at Newbury, Berkshire. 7. Presentations of Quakers in Episcopal Visitations, 1662-1679. 8. Friends on the Atlantic. 9. The Collection of Friends' Books in the Library of Haverford College, Pa. 10. The late Duke of Argyle's Estimate of Elizabeth Fry. 11. A so-called "Quaker Highwayman". 12. Matthew Raven, Stainesgate, Essex. 13. Brewers Yard Burial Ground. 14. Marriage Certificate - Hough-Barnes, 1676. 15. Paul Bevan's "One Little Book". 16. Land in New Jersey, 1685. 17. Minister and Merchant. 18. Friends in Current Literature. 19. Friends' Reference Library