Proposal of a High-Level Language for Writing Self Modifying Programs

This paper proposes a simple high-level programming language, endowed with resources that help encoding self-modifying programs. With this purpose, a conventional imperative language syntax (not explicitly stated in this paper) is incremented with special commands and statements forming an adaptive layer specially designed with focus on the dynamical changes to be applied to the code at run-time. The resulting language allows programmers to easily specify dynamic changes to their own program`s code. Such a language succeeds to allow programmers to effortless describe the dynamic logic of their adaptive applications. In this paper, we describe the most important aspects of the design and implementation of such a language. A small example is finally presented for illustration purposes.

There is no subjunctive in English

The western classical tradition identifies three moods: indicative, subjunctive, imperative. Protagoras split the indicative into interrogative and declarative. Palmer 2001, 2003 argues for only two: indicative and subjunctive. Given any of these classifications of mood, English has no category of mood and so has no subjunctive. Instead it has certain clause-types which express hypotheticality and which can be subsumed to the irrealis branch of the apparently universal category realis~irrealis; to which subjunctives, optatives, jussives and the like can also be subsumed.

A numerical study of flexural buckling of foliated rock slopes

The occurrence of foliated rock masses is common in mining environment. Methods employing continuum approximation in describing the deformation of such rock masses possess a clear advantage over methods where each rock layer and each inter-layer interface (joint) is explicitly modelled. In devising such a continuum model it is imperative that moment (couple) stresses and internal rotations associated with the bending of the rock layers be properly incorporated in the model formulation. Such an approach will lead to a Cosserat-type theory. In the present model, the behaviour of the intact rock layer is assumed to be linearly elastic and the joints are assumed to be elastic-perfectly plastic. Condition of slip at the interfaces are determined by a Mohr-Coulomb criterion with tension cut off at zero normal stress. The theory is valid for large deformations. The model is incorporated into the finite element program AFENA and validated against an analytical solution of elementary buckling problems of a layered medium under gravity loading. A design chart suitable for assessing the stability of slopes in foliated rock masses against flexural buckling failure has been developed. The design chart is easy to use and provides a quick estimate of critical loading factors for slopes in foliated rock masses. It is shown that the model based on Euler's buckling theory as proposed by Cavers (Rock Mechanics and Rock Engineering 1981; 14:87-104) substantially overestimates the critical heights for a vertical slope and underestimates the same for sub-vertical slopes. Copyright (C) 2001 John Wiley & Sons, Ltd.

Perceived need for mental health care: influences of diagnosis, demography and disability

Background. Recent major epidemiological studies have adopted increasingly multidimensional approaches to assessment. Several of these have included some assessment of perceived need for mental health care. The Australian National Survey of Mental Health and Wellbeing, conducted in 1997, included a particularly detailed examination of this construct, with an instrument with demonstrated reliability and validity. Methods. A clustered probability sample of 10641 Australians responded to the field questionnaire for this survey, including questions on perceived need either where there had been service utilization, or where a disorder was detected by administration of sections of the Composite International Diagnostic Interview. The confidentialized unit record file generated from the survey was analysed for determinants of perceived need. Results. Perceived need is increased in females, in people in the middle years of adulthood, and in those who have affective disorders or co-morbidity. Effects of diagnosis and disability can account for most of the differences in gender specific rates. With correction for these effects through regression, there is less perceived need for social interventions and possibly more for counselling in females; disability is confirmed as strongly positively associated with perceived need, as are the presence of affective disorders or co-morbidity. Conclusions. The findings of this study underscore the imperative for mental health services to be attentive and responsive to consumer perceived need. The substantial majority of people who are significantly disabled by mental health problems are among those who see themselves as having such needs.

Spatial aspects of trade liberalization in Colombia: A general equilibrium approach

This paper offers some preliminary steps in the marriage of some of the theoretical foundations of new economic geography with spatial computable general equilibrium models. Modelling the spatial economy of Colombia using the traditional assumptions of computable general equilibrium (CGE) models makes little sense when one territorial unit, Bogota, accounts for over one quarter of GDP and where transportation costs are high and accessibility low compared to European or North American standards. Hence, handling market imperfections becomes imperative as does the need to address internal spatial issues from the perspective of Colombia`s increasing involvement with external markets. The paper builds on the Centro de Estudios de Economia Regional (CEER) model, a spatial CGE model of the Colombian economy; non-constant returns and non-iceberg transportation costs are introduced and some simulation exercises carried out. The results confirm the asymmetric impacts that trade liberalization has on a spatial economy in which one region, Bogota, is able to more fully exploit scale economies vis--vis the rest of Colombia. The analysis also reveals the importance of different hypotheses on factor mobility and the role of price effects to better understand the consequences of trade opening in a developing economy.

Implications of current ecological thinking for biodiversity conservation: A review of the salient issues

Given escalating concern worldwide about the loss of biodiversity, and given biodiversity's centrality to quality of life, it is imperative that current ecological knowledge fully informs societal decision making. Over the past two decades, ecological science has undergone many significant shifts in emphasis and perspective, which have important implications for how we manage ecosystems and species. In particular, a shift has occurred from the equilibrium paradigm to one that recognizes the dynamic, non-equilibrium nature of ecosystems. Revised thinking about the spatial and temporal dynamics of ecological systems has important implications for management. Thus, it is of growing concern to ecologists and others that these recent developments have not been translated into information useful to managers and policy makers. Many conservation policies and plans are still based on equilibrium assumptions. A fundamental difficulty with integrating current ecological thinking into biodiversity policy and management planning is that field observations have yet to provide compelling evidence for many of the relationships suggested by non-equilibrium ecology. Yet despite this scientific uncertainty, management and policy decisions must still be made. This paper was motivated by the need for considered scientific debate on the significance of current ideas in theoretical ecology for biodiversity conservation. This paper aims to provide a platform for such discussion by presenting a critical synthesis of recent ecological literature that (1) identifies core issues in ecological theory, and (2) explores the implications of current ecological thinking for biodiversity conservation.

Investigation on Brazilian Clinical Practices in Rheumatoid Arthritis The Brazilian Rheumatoid Arthritis Clinical Practices Investigation-BRACTICE

Rheumatoid arthritis (RA) is a systemic inflammatory autoimmune disease causing significant social, medical, and economic impact. Several therapeutic regimens are available within the medical arsenal. The rational and reasoned use of various medications approved for their treatment is imperative. This study aimed to evaluate how Brazilian rheumatologists use the drugs available to combat the disease. For this, 128 Brazilian rheumatologists from public and private health services responded to an 18-item questionnaire, sent over the Internet, about different situations of drug treatment of RA. The answers helped to confirm the trends among Brazilian rheumatologists in the drug treatment of RA. The study results have shown that most Brazilian rheumatologists follow the guidelines and consensus established by the Brazilian Society of Rheumatology for the treatment of RA. A small proportion, however, start the biologic therapy in early stages of the disease, including the very early stage, as the first treatment option. Most experts use corticosteroids in low doses early in the treatment. Conclusions: This study confirms that the majority but not all Brazilian rheumatologists follow, in their daily practice, established guidelines and consensus for the treatment of RA. However, it also shows that some few rheumatologists start with anti-tumor necrosis factor therapy in very early arthritis independently of disease severity or prognostic factors.

Refining specifications to logic programs

The refinement calculus provides a framework for the stepwise development of imperative programs from specifications. In this paper we study a refinement calculus for deriving logic programs. Dealing with logic programs rather than imperative programs has the dual advantages that, due to the expressive power of logic programs, the final program is closer to the original specification, and each refinement step can achieve more. Together these reduce the overall number of derivation steps. We present a logic programming language extended with specification constructs (including general predicates, assertions, and types and invariants) to form a wide-spectrum language. General predicates allow non-executable properties to be included in specifications. Assertions, types and invariants make assumptions about the intended inputs of a procedure explicit, and can be used during refinement to optimize the constructed logic program. We provide a semantics for the extended logic programming language and derive a set of refinement laws. Finally we apply these to an example derivation.

Abdominal compartment syndrome in trauma resuscitation

Purpose of review Swelling is inexorably linked to shock and resuscitation in trauma. In many forms, swelling complicates and interacts with traumatic injury to raise pressures in the abdomen, resulting in intraabdominal hypertension, which may overtly manifest as abdominal compartment syndrome (ACS) driving multiple organ failure. Despite renewed clinical interest in posttraumatic intraabdominal pressure, there remains a chiasm between knowledge of the risks and clinical interventions to mitigate them. This review provides a concise overview of definitions, risk factors, diagnosis and management using an illustrative trauma case. Recent findings Intraabdominal pressure commonly increases following trauma, wherein ACS may manifest earlier than generally appreciated and complicate other insults such as shock and hemorrhage. Contemporary resuscitation strategies may exacerbate intraabdominal hypertension, particularly massive crystalloid resuscitation. Although unproven, the recent transition to crystalloid restriction and high plasma resuscitation strategies may influence the prevalence of ACS. Nonetheless, aggressive intraabdominal pressure monitoring should be mandatory in the critically ill. Despite potential nonoperative options, decompressive laparotomy remains the only definitive but often morbid treatment. Summary ACS results from many dysfunctions acting in concert with each other in self-propagating vicious cycles. Starting with greater awareness, it is imperative that the growing knowledge should be translated into clinical practice.

Therapeutic Leukapheresis in Patients with Leukostasis Secondary to Acute Myelogenous Leukemia

Leukostasis is a relatively uncommon but potentially catastrophic complication of acute myelogenous leukemia (AML). Prompt leukoreduction is considered imperative to reduce the high mortality rate in this condition. Leukapheresis, usually associated with chemotherapy, is an established approach to diminish blast cell counts. We report a single center experience in managing leukostasis with leukapheresis. Fifteen patients with leukostasis of 187 patients with AML (8.02%) followed at our institution were treated with leukapheresis associated with chemotherapy. The procedures were scheduled to be performed on a daily basis until clinical improvement was achieved and WBC counts were significantly reduced. Overall and early mortalities, defined as that occurred in the first 7 days from diagnosis, were reported. A high proportion of our patients with leukostasis (46.66%) had a monocytic subtype AML (M4/M5, according to French-American-British classification). The median overall survival was 10 days, despite a significant WBC reduction after the first apheresis procedure (from 200.7 X 10(9)/L to 150.3 X 10(9)/L). Almost half of patients (7/15) had an early death. Therapeutic leukapheresis, associated or not to chemotherapy, is an effective approach to reduce WBC counts in patients with AML and leukostasis; however, this therapeutic procedure does not appear to change significantly the sombre prognosis observed in the majority of patients with this complication. Other forms of treatment must be found to reduce the high mortality rate related to leukostasis. J. Clin. Apheresis 26:181-185, 2011. (C) 2011 Wiley-Liss, Inc.

What role does knowledge of wildlife play in providing support for species' conservation?

Conservation of biodiversity is a complex issue. Apart from the creation of nature reserves, there is a plethora of other factors that are part of this complex web. One such factor is the public knowledge of species. Since public funding is imperative for the conservation of species and creation of reserves for them it is important to determine the public’s awareness of species and their knowledge about them. In the absence of such awareness and knowledge, it is possible that the public may misallocate their support. In other words, resources may be provided for species that do not need support urgently. We show how availability of balanced information about species helps the public to make rational decisions and to allocate support (e.g. monetary) to species that need it most. Other implications of a ‘wildlife knowledgeable’ public are also discussed.

Learning organizations: Empirically investigating metaphors

Learning organizations are a special form of organization where enhancing learning is a strategy to increase intellectual capital. Developing learning organizations has become an imperative for many managers, since an organization's learning methods and rate may be the only source of sustainable competitive advantage. However, learning organization theory tends to be prescriptive and rhetorical, with empirical research still relatively new. This paper contributes to the literature by reporting case-study research in progress based on four Australian organizations. In the organizations studied, use of the learning organization metaphor was coupled with an emergent metaphor: organization as `family". By employing structure mapping of metaphor within analytical induction, both established methods but not combined before, this paper shows how theory might be developed from metaphor.

What constitutes success in telehealth?

Before telehealth applications can be judged, there must be some general understanding about what constitutes success. At first sight it seems that defining success in a telehealth application should be relatively easy: a successful application is one that produces high-quality care at low cost. However, the calculation of cost requires some care, since it depends on assuming a particular financial perspective (the patient's, the health-care provider's, or society's) and is meaningless without a statement of the workload being handled. Other factors include the context in which the service is being delivered. Ultimately, the political imperative may override any rational judgement of success.

A refinement calculus for logic programs

Existing refinement calculi provide frameworks for the stepwise development of imperative programs from specifications. This paper presents a refinement calculus for deriving logic programs. The calculus contains a wide-spectrum logic programming language, including executable constructs such as sequential conjunction, disjunction, and existential quantification, as well as specification constructs such as general predicates, assumptions and universal quantification. A declarative semantics is defined for this wide-spectrum language based on executions. Executions are partial functions from states to states, where a state is represented as a set of bindings. The semantics is used to define the meaning of programs and specifications, including parameters and recursion. To complete the calculus, a notion of correctness-preserving refinement over programs in the wide-spectrum language is defined and refinement laws for developing programs are introduced. The refinement calculus is illustrated using example derivations and prototype tool support is discussed.

Educational brokers in global education markets

This article undertakes a text analysis of the promotional materials generated by two educational brokers, the British Council’s Education Counselling Service (ECS) and Australia’s International Development Programme (IDP-Education Australia).By focusing on the micropractices of branding, the constructions of the "international student" and "international education" are examined to uncover the relations between international education and globalisation.The conclusion reached here is that the dominant marketing messages used to brand and sell education are unevenly weighted in favour of the economic imperative.International education remains fixed in modernist spatiotemporal contexts that ignore the challenges presented by globalisation.Developing new notions of international education will require a more critical engagement with the geopolitics of knowledge and with issues of subjectivity, difference, and power.Ultimately, a more sustained and comprehensive engagement with the noneconomic dimensions of globalisation will be necessary to achieve new visions of international education.