ORBS and the limits of static slicing

Observation-based slicing is a recently-introduced, language-independent, slicing technique based on the dependencies observable from program behaviour. Due to the wellknown limits of dynamic analysis, we may only compute an under-approximation of the true observation-based slice. However, because the observation-based slice captures all possible dependence that can be observed, even such approximations can yield insight into the limitations of static slicing. For example, a static slice, S that is strictly smaller than the corresponding observation based slice is guaranteed to be unsafe. We present the results of three sets of experiments on 12 different programs, including benchmarks and larger programs, which investigate the relationship between static and observation-based slicing. We show that, in extreme cases, observation-based slices can find the true static minimal slice, where static techniques cannot. For more typical cases, our results illustrate the potential for observation-based slicing to highlight unsafe static slices. Finally, we report on the sensitivity of observation-based slicing to test quality.

Humankindness: Illness, Animality, and the Limits of the Human in the Victorian Novel

This project posits a link between representations of animals or animality and representations of illness in the Victorian novel, and examines the narrative uses and ideological consequences of such representations. Figurations of animality and illness in Victorian fiction have been examined extensively as distinct phenomena, but examining their connection allows for a more complex view of the role of sympathy in the Victorian novel. The commonplace in novel criticism is that Victorian authors, whether effectively or not, constructed their novels with a view to the expansion of sympathy. This dissertation intervenes in the discussion of the Victorian novel as a vehicle for sympathy by positing that texts and scenes in which representations of illness and animality are conjoined reveal where the novel draws the boundaries of the human, and the often surprising limits it sets on sympathetic feeling. In such moments, textual cues train or direct readerly sympathies in ways that suggest a particular definition of the human, but that direction of sympathy is not always towards an enlarged sympathy, or an enlarged definition of the human. There is an equally (and increasingly) powerful antipathetic impulse in many of these texts, which estranges readerly sympathy from putatively deviant, degenerate, or dangerous groups. These two opposing impulses—the sympathetic and the antipathetic—often coexist in the same novel or even the same scene, creating an ideological and affective friction, and both draw on the same tropes of illness and animality. Examining the intersection of these different discourses—sympathy, illness, and animality-- in these novels reveals the way that major Victorian debates about human nature, evolution and degeneration, and moral responsibility shaped the novels of the era as vehicles for both antipathy and sympathy. Focusing on the novels of the Brontës and Thomas Hardy, this dissertation examines in depth the interconnected ways that representations of animals and animality and representations of illness function in the Victorian novel, as they allow authors to explore or redefine the boundary between the human and the non-human, the boundary between sympathy and antipathy, and the limits of sympathy itself.

Privacy invasive geo-mashups : privacy 2.0 and the limits of first generation information privacy laws

Online technological advances are pioneering the wider distribution of geospatial information for general mapping purposes. The use of popular web-based applications, such as Google Maps, is ensuring that mapping based applications are becoming commonplace amongst Internet users which has facilitated the rapid growth of geo-mashups. These user generated creations enable Internet users to aggregate and publish information over specific geographical points. This article identifies privacy invasive geo-mashups that involve the unauthorized use of personal information, the inadvertent disclosure of personal information and invasion of privacy issues. Building on Zittrain’s Privacy 2.0, the author contends that first generation information privacy laws, founded on the notions of fair information practices or information privacy principles, may have a limited impact regarding the resolution of privacy problems arising from privacy invasive geo-mashups. Principally because geo-mashups have different patterns of personal information provision, collection, storage and use that reflect fundamental changes in the Web 2.0 environment. The author concludes by recommending embedded technical and social solutions to minimize the risks arising from privacy invasive geo-mashups that could lead to the establishment of guidelines for the general protection of privacy in geo-mashups.

Limits of spherical blur determined with an adaptive optics mirror

We extended an earlier study (Vision Research, 45, 1967–1974, 2005) in which we investigated limits at which induced blur of letter targets becomes noticeable, troublesome and objectionable. Here we used a deformable adaptive optics mirror to vary spherical defocus for conditions of a white background with correction of astigmatism; a white background with reduction of all aberrations other than defocus; and a monochromatic background with reduction of all aberrations other than defocus. We used seven cyclopleged subjects, lines of three high-contrast letters as targets, 3–6 mm artificial pupils, and 0.1–0.6 logMAR letter sizes. Subjects used a method of adjustment to control the defocus component of the mirror to set the 'just noticeable', 'just troublesome' and 'just objectionable' defocus levels. For the white-no adaptive optics condition combined with 0.1 logMAR letter size, mean 'noticeable' blur limits were ±0.30, ±0.24 and ±0.23 D at 3, 4 and 6 mm pupils, respectively. White-adaptive optics and monochromatic-adaptive optics conditions reduced blur limits by 8% and 20%, respectively. Increasing pupil size from 3–6 mm decreased blur limits by 29%, and increasing letter size increased blur limits by 79%. Ratios of troublesome to noticeable, and of objectionable to noticeable, blur limits were 1.9 and 2.7 times, respectively. The study shows that the deformable mirror can be used to vary defocus in vision experiments. Overall, the results of noticeable, troublesome and objectionable blur agreed well with those of the previous study. Attempting to reduce higher-order aberrations or chromatic aberrations, reduced blur limits to only a small extent.

Generalising across borders : policy and the limits of educational science.

AERA Distinguished Lecture, Annual Meetings of the American Educational Research Association, New Orleans, 8 April 2011. How well does educational policy, innovation and science cross borders? What are the parameters of a generalisable cultural science of education? What constitutes a principled policy 'borrowing'?

The limits of competition : reasserting a role for consumer protection and fair trading regulation in competitive markets

In this paper we advocate for the continued need for consumer protection and fair trading regulation, even in competitive markets. For the purposes of this paper a ‘competitive market’ is defined as one that has low barriers to entry and exit, with homogenous products and services and numerous suppliers. Whilst competition is an important tool for providing consumer benefits, it will not be sufficient to protect at least some consumers, particularly vulnerable, low income consumers. For this reason, we argue, setting competition as the ‘end goal’ and assuming that consumer protection and consumer benefits will always follow, is a flawed regulatory approach. The ‘end goal’ should surely be consumer protection and fair markets, and a combination of competition law and consumer protection law should be applied in order to achieve those goals.

Load bearing improves the limits of agreement for repeated in vivo measures of the speed of sound in human Achilles tendon

Axial acoustic wave propagation has been widely used in evaluating the mechanical properties of human bone in vivo. However, application of this technique to monitor soft tissues, such as tendon, has received comparatively little scientific attention. Laboratory-based research has established that axial acoustic wave transmission is not only related to the physical properties of equine tendon but is also proportional to tensile load to which it is exposed (Miles et al., 1996; Pourcelot et al., 2005). The reproducibility of the technique for in vivo measurements in human tendon, however, has not been established. The aim of this study was to evaluate the limits of agreement for repeated measures of the speed of sound (SoS) in human Achilles tendon in vivo. Methods: A custom built ultrasound device, consisting of an A-mode 1MHz emitter and two regularly spaced receivers, was used to measure the SoS in the mid-portion of the Achilles tendon in ten healthy males and ten females (mean age: 33.8 years, range 23-56 yrs; height: 1.73±0.08 m; weight: 68.4±15.3 kg). The emitter and receivers were held at fixed positions by a polyethylene frame and maintained in close contact with the skin overlying the tendon by means of elasticated straps. Repeated SoS measurements were taken with the subject prone (non-weightbearing and relaxed Achilles tendon) and during quiet bipedal and unipedal stance. In each instance, the device was detached and repositioned prior to measurement. Results: Limits of agreement for repeated SoS measures during non-weightbearing and bipedal and unipedal stance were ±53, ±28 and ±21 m/s, respectively. The average SoS in the non-weightbearing Achilles tendon was 1804±198 m/s. There was a significant increase in the average SoS during bilateral (2122±135 m/s) (P < 0.05) and unilateral (2221±79 m/s) stance (P < 0.05). Conclusions: Repeated SoS measures in human Achilles tendon were more reliable during stance than under non-weightbearing conditions. These findings are consistent with previous research in equine tendon in which lower variability in SoS was observed with increasing tensile load (Crevier-Denoix et al, 2009). Since the limits of agreement for Achilles tendon SoS are nearly 5% of the changes previously observed during walking and therapeutic heel raise exercises, acoustic wave transmission provides a promising new non-invasive method for determining tendon properties during sports and rehabilitation related activities.

The Royal Commission into the NSW Police Service : process corruption and the limits of judicial reflexivity

This paper will offer an examination of the Reports of the Royal Commission into the NSW Police Service (Interim Report February 1996; Interim Report: Immediate Measures November 1996; Final Report Vol I: Corruption; Final Report Vol II: Reform; Final Report Vol III: Appendices May 1997) excluding the Report on Paedophilia, August 1997. The examination will be confined essentially to one question: to what extent do the published Reports consider the part played by the judiciary, prosecutors and lawyers, in the construction of a form of criminal justice revealed by the Commission itself, to be disfigured by serious process corruption? The examination will be conducted by way of a chronological trawl through the Reports of the Commission in an attempt to identify all references to the role of the judiciary, prosecutors and lawyers. The adequacy of any such treatment will then be considered. In order to set the scene a brief and generalised overview of the Wood Commission will be offered together with the Commission's definition of process corruption.

Prevention of Pollution of the Marine Environment from Vessels : The Potential and Limits of the International Maritime Organisation

--Critically discusses the role of International Maritime Organization (IMO) in the protection of the marine environment --Presents a clear, updated, concise and critical overview of the IMO marine environmental legal instruments --A fresh outlook on the north-south tensions in the IMO marine environmental discourses --Critically examines the principle of common but differentiated responsibilities in the context of IMO This book examines the role of The International Maritime Organization (IMO) in the prevention and control of pollution of the marine environment from vessels with a particular reference to the current north-south tensions regarding the strategy for combating climate change in the maritime sector as well as the prevention of marine pollution from the ship-breaking industry. The IMO, a United Nations specialized agency, has been entrusted with the duty to provide machinery for cooperation among governments for the prevention and control of pollution of the marine environment from vessels. The organization is responsible for drafting legal instruments as well as for facilitating technical cooperation for the protection of the marine environment. Although IMO legal instruments are mainly targeted at the prevention of pollution of the marine environment from vessels, there is a trend towards a liberal interpretation of this, and the organization has expanded its work to areas like shipbreaking, which is essentially a land-based industry.

Exact parametric confidence intervals for Bland-Altman limits of agreement

Purpose The previous literature on Bland-Altman analysis only describes approximate methods for calculating confidence intervals for 95% Limits of Agreement (LoAs). This paper describes exact methods for calculating such confidence intervals, based on the assumption that differences in measurement pairs are normally distributed. Methods Two basic situations are considered for calculating LoA confidence intervals: the first where LoAs are considered individually (i.e. using one-sided tolerance factors for a normal distribution); and the second, where LoAs are considered as a pair (i.e. using two-sided tolerance factors for a normal distribution). Equations underlying the calculation of exact confidence limits are briefly outlined. Results To assist in determining confidence intervals for LoAs (considered individually and as a pair) tables of coefficients have been included for degrees of freedom between 1 and 1000. Numerical examples, showing the use of the tables for calculating confidence limits for Bland-Altman LoAs, have been provided. Conclusions Exact confidence intervals for LoAs can differ considerably from Bland and Altman’s approximate method, especially for sample sizes that are not large. There are better, more precise methods for calculating confidence intervals for LoAs than Bland and Altman’s approximate method, although even an approximate calculation of confidence intervals for LoAs is likely to be better than none at all. Reporting confidence limits for LoAs considered as a pair is appropriate for most situations, however there may be circumstances where it is appropriate to report confidence limits for LoAs considered individually.

Lecturing and the limits of laughter

The literature on humour in teaching frequently defaults to a series of maxims about how it can be used most appropriately: ‘Never tease students', ‘Don't joke about sensitive issues', ‘Never use laughter for disciplinary purposes'. This paper outlines recent research into the boundaries of humour-use within teacher education, which itself forms one part of a large scale, broadly-based study into the use of humour within tertiary teaching. This particular part of the research involves semi-structured, in-depth interviews with university academics. Following the ‘benign violations' theory of humour - wherein, to be funny, a situation/statement must be some kind of a social violation, that violation must be regarded as relatively benign, and the two ideas must be held simultaneously - this paper suggests that the willingness of academics to use particular types of humour in their teaching revolves around the complexities of determining the margins of ‘the benign'. These margins are shaped in part by pedagogic limitations, but also by professional delimitations. In terms of limitations, the boundaries of humour are set by the academic environment of the university, by the characteristics of different cohorts of students, and by what those students are prepare to laugh at. In terms of delimitations, most academics are prepared to tease their student, and many are prepared to use laughter as a form of discipline, however their own humour orientation, academic seniority, and employment security play a large role in determining what kinds of humour will be used, and where boundaries will be set. The central conclusion here is that formal maxims of humour provide little more than vague strategic guidelines, largely failing to account for the complexity of teaching relationships, for the differences between student cohorts, and for the talents and standing of particular teachers.

At the Limits of Presentation : Coming-into-Presence and its Aesthetic Relevance in Jean-Luc Nancy's Philosophy

This study investigates the significance of art in Jean-Luc Nancy s philosophy. I argue that the notion of art contributes to some of Nancy s central ontological ideas. Therefore, I consider art s importance in its own right whether art does have ontological significance, and if so, how one should describe this with respect to the theme of presentation. According to my central argument, with his thinking on art Nancy attempts to give one viewpoint to what is called the metaphysics of presence and to its deconstruction. On which grounds, as I propose, may one say that art is not reducible to philosophy? The thesis is divided into two main parts. The first part, Presentation as a Philosophical Theme, is a historical genesis of the central concepts associated with the birth of presentation in Nancy s philosophy. I examine this from the viewpoint of the differentiation between the ontological notions of presentation and representation by concentrating on the influence of Martin Heidegger and Jacques Derrida, as well as of Hegel and Kant. I give an overview of the way in which being or sense for Nancy is to be described as a coming-into-presence or presentation . Therefore, being takes place in its singular plurality. I argue that Nancy redevelops Heidegger s account of being in two principal ways: first, in rethinking the ontico-ontological difference, and secondly, by striving to radicalize the Heideggerian concept of Mitsein, being-with . I equally wish to show the importance of Derrida s notion of différance and its inherence in Nancy s questioning of being that rests on the unfoundedness of existence. The second part, From Ontology to Art, draws on the importance of art and the aesthetic. If, in Nancy, the question of art touches upon its own limit as the limit of nothingness, how is art able to open its own strangeness and our exposure to this strangeness? My aim is to investigate how Nancy s thinking on art finds its place within the conceptual realm of its inherent difference and interval. My central concern is the thought of originary ungroundedness and the plurality of art and of the arts. As for the question of the difference between art and philosophy, I wish to show that what differentiates art from thought is the fact that art exposes what is obvious but not apparent, if apparent is understood in the sense of givenness. As for art s ability to deconstruct Nancy s ontological notions, I suggest that in question in art is its original heterogeneity and diversity. Art is a matter of differing art occurs singularly, as a local difference. With this in mind, I point out that in reflecting on art in terms of spacing and interval, as a thinker of difference Nancy comes closer to Derrida and his idea of différance than to the structure of Heidegger s ontological difference.

Counter-figures : An Essay on Antimetaphoric Resistance: Paul Celan's Poetry and Poetics at the Limits of Figurality

Titled "An Essay on Antimetaphoric Resistance", the dissertation investigates what is here being called "Counter-figures": a term which has in this context a certain variety of applications. Any other-than-image or other-than-figure, anything that cannot be exhausted by figuration (and that is, more or less, anything at all, except perhaps the reproducible images and figures themselves) can be considered "counter-figurative" with regard to the formation of images and figures, ideas and schemas, "any graven image, or any likeness of any thing". Singularity and radical alterity, as well as temporality and its peculiar mode of uniqueness are key issues here, and an ethical dimension is implied by, or intertwined with, the aesthetic. In terms borrowed from Paul Celan's "Meridian" speech, poetry may "allow the most idiosyncratic quality of the Other, its time, to participate in the dialogue". This connection between singularity, alterity and temporality is one of the reasons why Celan so strongly objects to the application of the traditional concept of metaphor to poetry. As Celan says, "carrying over [übertragen]" by metaphor may imply an unwillingness to "bear with [mittragen]" and to "endure [ertragen]" the poem. The thesis is divided into two main parts. The first consists of five distinct prolegomena which all address the mentioned variety of applications of the term "counter-figures", and especially the rejection or critique of either metaphor (by Aristotle, for instance) or the concept of metaphor (defined by Aristotle, and sometimes deemed "anti-poetic" by both theorists and poets). Even if we restrict ourselves to the traditional rhetorico-poetical terms, we may see how, for instance, metonymy can be a counter-figure for metaphor, allegory for symbol, and irony for any single trope or for any piece of discourse at all. The limits of figurality may indeed be located at these points of intersection between different types of tropes or figures, and even between figures or tropes and the "non-figurative trope" or "pseudo-figure" called catachresis. The second part, following on from the open-ended prolegomena, concentrates on Paul Celan's poetry and poetics. According to Celan, true poetry is "essentially anti-metaphoric". I argue that inasmuch as we are willing to pay attention to the "will" of the poetic images themselves (the tropes and metaphors in a poem) to be "carried ad absurdum", as Celan invites us to do, we may find alternative ways of reading poetry and approaching its "secret of the encounter", precisely when the traditional rhetorical instruments, and especially the notion of metaphor, become inapplicable or suspicious — and even where they still seem to impose themselves.