Untangling unstructured programs

A method is presented for converting unstructured program schemas to strictly equivalent structured form. The predicates of the original schema are left intact with structuring being achieved by the duplication of he original decision vertices without the introduction of compound predicate expressions, or where possible by function duplication alone. It is shown that structured schemas must have at least as many decision vertices as the original unstructured schema, and must have more when the original schema contains branches out of decision constructs. The structuring method allows the complete avoidance of function duplication, but only at the expense of decision vertex duplication. It is shown that structured schemas have greater space-time requirements in general than their equivalent optimal unstructured counterparts and at best have the same requirements.

Prostate cancer treatment as an embodied rite of passage: impotence and incontinence as challenges to status reversal and reintegration

Introduction and Rationale: A central argument in the thesis is that performative acts of control, sexual potency and spontaneity are central to the continuous construction of embodied masculine identities. The acts of control, and particularly issues of spontaneity, are central to understandings and addressing the difficulties men face at varying levels of embodied identity. Using Watson’s (2000) ‘Male body schema’, I will explore the challenges and opportunities men face when negotiating normative, pragmatic, and experiential embodiment. I will later then explore the importance of these levels of embodiment to achieving visceral embodiment; or what I would define as a renewed unconscious satisfaction and ability to achieve and maintain normative, pragmatic and experiential forms of embodiment. Purpose and Objectives: Using the concept of liminality, and permanent liminality, the thesis explores how we can interpret and understand men’s experience of prostate cancer diagnosis and treatment, and their struggle to regain power and control in the context of diagnosis, and also the side effects to treatment. The strategies men adopt in seeking out personalised medical programmes of treatment with their doctors are explored in detail. The power and control that can be exercised over medical professionals and treatment options is demonstrated. Method: Collecting responses online from prostate specific discussion boards via gatekeepers, and from interviews on the ‘health talk’ online database, three intersecting conceptual categories - liminality, masculinity and the body/embodiment - are combined in this research. Liminality and ‘time’ are directly linked to notions of ‘success’ and ‘outcome’ during the treatment process, and mark distinct points at which men, and their families, expect measures or limits to have been reached. Exploring liminality within the context of Turner’s ‘rites of passage’, I explore the difficulty men face in concluding the third stage of the rites; reintegration. Results: Prostate cancer diagnosis and treatment, impotence and incontinence, in particular, have profound implications for the continuous construction of embodied masculine identities, and thus identity in general, making the construction of hegemonic ideals in the context of a highly ‘performative’ society highly troublesome. The issue of ‘spontaneity’ in the construction of various forms of embodied identities is of particular concern for men who contributed to this study.

Das Bistum Münster 10. Das Augustinerchorherrenstift Bernried

Das Augustinerchorherrenstift Bernried ist eine Gründung des 12. Jahrhunderts und beheimatete bis zur Säkularisation 1803 einen Augustinerchorherrenkonvent. Die Stiftung des Grafenpaares Otto und Adelheid von Valley gehörte zu den neuen geistlichen Niederlassungen, die im Zuge der Reformbewegung der Regularkanoniker fundiert wurden. Für die Region um Bernried am Starnberger See wirkte das Stift als gestalterische Kraft über sechs Jahrhunderte hinweg. Großen Aufschwung nahm das Stift erneut im 18. Jahrhundert, als herausragende Pröpste gerade die musikalische Entwicklung des Konventes förderten: einige Pröpste wirkten als Komponisten; von den Musikalien haben sich zahlreiche Handschriften und Instrumente erhalten. Nach dem bewährten Schema der Germania Sacra skizziert die Autorin Walburga Scherbaum kenntnisreich die Geschichte, die Verfassung, das geistige und religiöse Leben, die Besitzgeschichte und vor allem das Personal des Stiftes von seiner Gründung bis zur Aufhebung. Mit diesem Werk werden die Bemühungen der Germania Sacra um die geistlichen Institutionen im Alten Reich um eine weitere geistliche Niederlassung im bayerischen Raum neben Raitenhaslach (Germania Sacra N. F. 11), Dietramszell (Germania Sacra N. F. 24), Benediktbeuern (Germania Sacra N. F. 28) und Wessobrunn (Germania Sacra N. F. 39) bereichert.

Standardizing clinical trials workflow representation in UML for international site comparison.

BACKGROUND: With the globalization of clinical trials, a growing emphasis has been placed on the standardization of the workflow in order to ensure the reproducibility and reliability of the overall trial. Despite the importance of workflow evaluation, to our knowledge no previous studies have attempted to adapt existing modeling languages to standardize the representation of clinical trials. Unified Modeling Language (UML) is a computational language that can be used to model operational workflow, and a UML profile can be developed to standardize UML models within a given domain. This paper's objective is to develop a UML profile to extend the UML Activity Diagram schema into the clinical trials domain, defining a standard representation for clinical trial workflow diagrams in UML. METHODS: Two Brazilian clinical trial sites in rheumatology and oncology were examined to model their workflow and collect time-motion data. UML modeling was conducted in Eclipse, and a UML profile was developed to incorporate information used in discrete event simulation software. RESULTS: Ethnographic observation revealed bottlenecks in workflow: these included tasks requiring full commitment of CRCs, transferring notes from paper to computers, deviations from standard operating procedures, and conflicts between different IT systems. Time-motion analysis revealed that nurses' activities took up the most time in the workflow and contained a high frequency of shorter duration activities. Administrative assistants performed more activities near the beginning and end of the workflow. Overall, clinical trial tasks had a greater frequency than clinic routines or other general activities. CONCLUSIONS: This paper describes a method for modeling clinical trial workflow in UML and standardizing these workflow diagrams through a UML profile. In the increasingly global environment of clinical trials, the standardization of workflow modeling is a necessary precursor to conducting a comparative analysis of international clinical trials workflows.

The neural basis of naming impairments in Alzheimer's disease revealed through positron emission tomography.

The naming impairments in Alzheimer's disease (AD) have been attributed to a variety of cognitive processing deficits, including impairments in semantic memory, visual perception, and lexical access. To further understand the underlying biological basis of the naming failures in AD, the present investigation examined the relationship of various classes of naming errors to regional brain measures of cerebral glucose metabolism as measured with 18 F-Fluoro-2-deoxyglucose (FDG) and positron emission tomography (PET). Errors committed on a visual naming test were categorized according to a cognitive processing schema and then examined in relationship to metabolism within specific brain regions. The results revealed an association of semantic errors with glucose metabolism in the frontal and temporal regions. Language access errors, such as circumlocutions, and word blocking nonresponses were associated with decreased metabolism in areas within the left hemisphere. Visuoperceptive errors were related to right inferior parietal metabolic function. The findings suggest that specific brain areas mediate the perceptual, semantic, and lexical processing demands of visual naming and that visual naming problems in dementia are related to dysfunction in specific neural circuits.

Upgrading automation for nuclear fuel in-core management: from the symbolic generation of configurations to the neural adaptation of heuristics

FUELCON is an expert system in nuclear engineering. Its task is optimized refueling-design, which is crucial to keep down operation costs at a plant. FUELCON proposes sets of alternative configurations of fuel-allocation; the fuel is positioned in a grid representing the core of a reactor. The practitioner of in-core fuel management uses FUELCON to generate a reasonably good configuration for the situation at hand. The domain expert, on the other hand, resorts to the system to test heuristics and discover new ones, for the task described above. Expert use involves a manual phase of revising the ruleset, based on performance during previous iterations in the same session. This paper is concerned with a new phase: the design of a neural component to carry out the revision automatically. Such an automated revision considers previous performance of the system and uses it for adaptation and learning better rules. The neural component is based on a particular schema for a symbolic to recurrent-analogue bridge, called NIPPL, and on the reinforcement learning of neural networks for the adaptation.

Effects of structure on the comprehensibility of formal specifications

Use of structuring mechanisms (such as modularisation) is widely believed to be one of the key ways to improve software quality. Structuring is considered to be at least as important for specification documents as for source code, since it is assumed to improve comprehensibility. Yet, as with most widely held assumptions in software engineering, there is little empirical evidence to support this hypothesis. Also, even if structuring can be shown to he a good thing, we do not know how much structuring is somehow optimal. One of the more popular formal specification languages, Z, encourages structuring through its schema calculus. A controlled experiment is described in which two hypotheses about the effects of structure on the comprehensibility of Z specifications are tested. Evidence was found that structuring a specification into schemas of about 20 lines long significantly improved comprehensibility over a monolithic specification. However, there seems to be no perceived advantage in breaking down the schemas into much smaller components. The experiment can he fully replicated.

A new parameterization of Johnson's SB distribution with application to fitting forest tree diameter data

The SB distributional model of Johnson's 1949 paper was introduced by a transformation to normality, that is, z ~ N(0, 1), consisting of a linear scaling to the range (0, 1), a logit transformation, and an affine transformation, z = γ + δu. The model, in its original parameterization, has often been used in forest diameter distribution modelling. In this paper, we define the SB distribution in terms of the inverse transformation from normality, including an initial linear scaling transformation, u = γ′ + δ′z (δ′ = 1/δ and γ′ = �γ/δ). The SB model in terms of the new parameterization is derived, and maximum likelihood estimation schema are presented for both model parameterizations. The statistical properties of the two alternative parameterizations are compared empirically on 20 data sets of diameter distributions of Changbai larch (Larix olgensis Henry). The new parameterization is shown to be statistically better than Johnson's original parameterization for the data sets considered here.

A framework for state-based time-series analysis and prediction

Time-series analysis and prediction play an important role in state-based systems that involve dealing with varying situations in terms of states of the world evolving with time. Generally speaking, the world in the discourse persists in a given state until something occurs to it into another state. This paper introduces a framework for prediction and analysis based on time-series of states. It takes a time theory that addresses both points and intervals as primitive time elements as the temporal basis. A state of the world under consideration is defined as a set of time-varying propositions with Boolean truth-values that are dependent on time, including properties, facts, actions, events and processes, etc. A time-series of states is then formalized as a list of states that are temporally ordered one after another. The framework supports explicit expression of both absolute and relative temporal knowledge. A formal schema for expressing general time-series of states to be incomplete in various ways, while the concept of complete time-series of states is also formally defined. As applications of the formalism in time-series analysis and prediction, we present two illustrating examples.

The Tamaricetea arceuthoidis: a new class for the continental riparian thickets of the Middle East, Central Asia and the subarid regions of the Lower Volga valley

The new class, the Tamaricetea arceuthoidis, is described covering riparian and intermittent shrubby vegetation of the Irano-Turanian Region in the southwestern and Central Asia and the Lower Volga valley. The dominating species are species of the genus Tamarix that refer high water table in arid and semi-arid habitats with high to moderate salinity. This new class is an ecological analogon of the Nerio-Tamaricetea occurring in the Mediterranean Basin.

Cognitive inhibition and interference in dissociative indentity disorder: the effects of anxiety on specific executive functions:The effects of anxiety on specific executive functions

Using an experimentally based, computer-presented task, this study assessed cognitive inhibition and interference in individuals from the dissociative identity disorder (DID; n=12), generalized anxiety disorder (GAD; n=12) and non-clinical (n=12) populations. Participants were assessed in a neutral and emotionally negative (anxiety provoking) context, manipulated by experimental instructions and word stimuli. The DID sample displayed effective cognitive inhibition in the neutral but not the anxious context. The GAD sample displayed the opposite findings. However, the interaction between group and context failed to reach significance. There was no indication of an attentional bias to non-schema specific negative words in any sample. Results are discussed in terms of the potential benefit of weakened cognitive inhibition during anxious arousal in dissociative individuals.

Meaning in Electroacoustic Music and the Everyday Mind

The key question posed here is how listeners experience meaning when listening to electroacoustic music, especially how they experience it as art. This question is addressed by connecting electroacoustic listening with the ways that the mind constructs meaning in everyday life. Initially, the topic of the everyday mind provides a framework for discussing cognitive schemas, mental spaces, the Event schema and auditory gist. Then, specific idioms of electroacoustic music are examined that give rise to artistic meaning. These include the creative binding of circumstances with events and the conceptual blending that creates metaphorical meaning. Finally, the listener's experience of long-term events is discussed is relation to the location event-structure metaphor.

The Fraternity of Metaphors: Jean-Luc Godard's Film Socialisme

Since the 'completion' of Histoire(s) du cinema (1988-1998), Jean-Luc Godard's work has become increasingly mosaic-like in its forms and configurations, and markedly elegiac in its ruminations on history, cinema, art, and thought. While his associative aesthetic and citational method –including his choice of ‘actors’, and the fragmentariness of his ‘soundtracks’ – can combine to create a distinctive cinematic event, the films themselves refuse to cohere around a unifying concern, or yield to a thematic schema. Not surprisingly, Film Socialisme does not offer us the illusion of narrative or structural integrity anymore than it contributes to the quotidian rhetoric of political and moral argument. It is, however, a political film in the sense that it alters something more fundamental than opinions and points of view. It transforms a way of seeing and understanding reality and history, fiction and documentary, images, and images of images. If anything, it belongs to that dissident or ‘dissensual’ category of artwork capable of ‘emancipating the spectator’ by disturbing what Jacques Rancière terms ‘the distribution of the sensible’ in that it generates gaps, openings, and spaces, poses questions, invites associations without positing a fixed position, imposing an interpretation, or allowing itself to invest in the illusion of expressive objectivity and the stability of meaning. The myriad citations and fragments that comprise the film are never intended to culminate into anything cohesive, never mind conclusive. In one sense, they have no source and no context beyond their moment in the film itself, and what we make of that moment. This article studies the degree to which Godard allows these images and sounds to combine and collide, associate and dissolve in this film, arguing that Film Socialisme is both an important intervention in the history of contemporary cinema, and necessary point of reference in any serious discussion of the relations between that cinema and political reality.

"New" and "Old" Social Risks: Life Cycle and Social Class Perspectives on Social Exclusion in Ireland

The life cycle concept has come to have considerable prominence in Irish social policy debate. However, this has occurred without any systematic effort to link its usage to the broader literature relating to the concept. Nor has there been any detailed consideration of how we should set about operationalising the concept. In this paper we argue the need for "macro" life cycle perspectives that have been influenced by recent challenges to the welfare state to be combined with "micro" perspectives focusing on the dynamic and multidimensional nature of social exclusion. We make use of Irish EU-SILC 2005 data in developing a life cycle schema and considering its relationship to a range of indicators of social exclusion. At the European level renewed interest in the life cycle concept is associated with the increasing emphasis on the distinction between "new" and "old" social risks and the notion that the former are more "individualised". Inequality and poverty rather than being differentially distributed between social classes are thought to vary between phases in the average work life. Our findings suggest the "death of social class" thesis is greatly overblown. A more accurate appreciation of the importance of new and old social risks requires that we systematically investigate the manner in which factors such as social class and the life cycle interact.

Linking Parliamentary Records through Metatdata

The LIPARM schema links the parliamentary record together for the first time by creating a unified metadata scheme for all of its key elements. People, bills, acts, items of business, debates, divisions and sessions will all be described by the scheme and will be linked together across resources which are currently spread out and isolated. For the first time, it will be possible to trace a given MP’s entire voting record or to find every speech they made. It will be possible to follow the passage of every bill or act, and every contribution to the debates that accompany it. Both the historical and the contemporary record of parliamentary proceedings will become accessible in this way for the first time.