Taxonomy and diagnostics of fruit fly infesting Opiine Braconids in Australia and the South Pacific

Opiine wasps (Hymenoptera: Braconidae: Opiinae) are parasitoids of dacine fruit flies (Diptera: Tephritidae: Dacinae), the primary horticultural pests of Australia and the South Pacific. Effective use of opiines for biological control of fruit flies is limited by poor taxonomy and identification difficulties. To overcome these problems, this thesis had two aims: (i) to carry out traditional taxonomic research on the fruit fly infesting opine braconids of Australia and the South Pacific; and (ii) to transfer the results of the taxonomic research into user friendly diagnostic tools. Curated wasp material was borrowed from all major Australian museum collections holding specimens. This was supplemented by a large body of material gathered as part of a major fruit fly project in Papua New Guinea: nearly 4000 specimens were examined and identified. Each wasp species was illustrated using traditional scientific drawings, full colour photomicroscopy and scanning electron microscopy. An electronic identification key was developed using Lucid software and diagnostic images were loaded on the web-based Pest and Diseases Image Library (PaDIL). A taxonomic synopsis and distribution and host records for each of the 15 species of dacine-parasitising opiine braconids found in the South Pacific is presented. Biosteres illusorius Fischer (1971) was formally transferred to the genus Fopius and a new species, Fopius ferrari Carmichael and Wharton (2005), was described. Other species dealt with were Diachasmimorpha hageni (Fullaway, 1952), D. kraussii (Fullaway, 1951), D. longicaudata (Ashmead, 1905), D. tryoni (Cameron, 1911), Fopius arisanus (Sonan, 1932), F. deeralensis (Fullaway, 1950), F. schlingeri Wharton (1999), Opius froggatti Fullaway (195), Psyttalia fijiensis (Fullaway, 1936), P. muesebecki (Fischer, 1963), P. novaguineensis (Szépliget, 1900i) and Utetes perkinsi (Fullaway, 1950). This taxonomic component of the thesis has been formally published in the scientific literature. An interactive diagnostics package (“OpiineID”) was developed, the centre of which is a Lucid based multi-access key. Because the diagnostics package is computer based, without the space limitations of the journal publication, there is no pictorial limit in OpiineID and so it is comprehensively illustrated with SEM photographs, full colour photographs, line drawings and fully rendered illustrations. The identification key is only one small component of OpiineID and the key is supported by fact sheets with morphological descriptions, host associations, geographical information and images. Each species contained within the OpiineID package has also been uploaded onto the PaDIL website (www.padil.gov.au). Because the identification of fruit fly parasitoids is largely of concern to fruit fly workers, rather than braconid specialists, this thesis deals directly with an area of growing importance to many areas of pure and applied biology; the nexus between taxonomy and diagnostics. The Discussion chapter focuses on this area, particularly the opportunities offered by new communication and information tools as new ways delivering the outputs of taxonomic science.

Minor head trauma – induced sporadic hemiplegic migraine coma

Familial hemiplegic migraine is a severe, rare subtype of migraine. Gene mutations on chromosome 19 have been identified in the calcium channel, voltage-dependent, P/Q type, alpha-1A subunit gene (chromosome 19p13) for familial hemiplegic migraine. Recently a gene mutation (Serine-218-Leucine) for a dramatic syndrome associated with familial hemiplegic migraine, commonly named “migraine coma”, has implicated exon 5 of this gene. The occurrence of trivial head trauma, in such familial hemiplegic migraine patients, may also be complicated by severe, sometimes even fatal, cerebral edema and coma occurring after a lucid interval. Sporadic hemiplegic migraine shares a similar spectrum of clinical presentation and genetic heterogeneity. The case report presented in this article implicates the involvement of the Serine-218-Leucine mutation in the extremely rare disorder of minor head trauma–induced migraine coma. We conclude that the Serine-218-Leucine mutation in the calcium channel, voltage-dependent, P/Q type, alpha-1A subunit gene is involved in sporadic hemiplegic migraine, delayed cerebral edema and coma after minor head trauma.

Spreadsheets and Bulgarian goats

We consider a problem appearing in an Australian Mathematics Challenge in 2003. This article considers whether a spreadsheet might be used to model this problem, thus allowing students to explore its structure within the spreadsheet environment. It then goes on to reflect on some general principles of problem decomposition when the final goal is a successful and lucid spreadsheet implementation.

Crop Classification using Biologically-inspired Techniques with High Resolution Satellite Image

Remote sensing provides a lucid and effective means for crop coverage identification. Crop coverage identification is a very important technique, as it provides vital information on the type and extent of crop cultivated in a particular area. This information has immense potential in the planning for further cultivation activities and for optimal usage of the available fertile land. As the frontiers of space technology advance, the knowledge derived from the satellite data has also grown in sophistication. Further, image classification forms the core of the solution to the crop coverage identification problem. No single classifier can prove to satisfactorily classify all the basic crop cover mapping problems of a cultivated region. We present in this paper the experimental results of multiple classification techniques for the problem of crop cover mapping of a cultivated region. A detailed comparison of the algorithms inspired by social behaviour of insects and conventional statistical method for crop classification is presented in this paper. These include the Maximum Likelihood Classifier (MLC), Particle Swarm Optimisation (PSO) and Ant Colony Optimisation (ACO) techniques. The high resolution satellite image has been used for the experiments.

Online identification guides for Australian smut fungi (Ustilaginomycotina) and rust fungi (Pucciniales)

Interactive identification keys for Australian smut fungi (Ustilaginomycotina and Pucciniomycotina, Microbotryales) and rust fungi (Pucciniomycotina, Pucciniales) are available online at http://collections.daff.qld.gov.au. The keys were built using Lucid software, and facilitate the identification of all known Australian smut fungi (317 species in 37 genera) and 100 rust fungi (from approximately 360 species in 37 genera). The smut and rust keys are illustrated with over 1,600 and 570 images respectively. The keys are designed to assist a wide range of end-users including mycologists, plant health diagnosticians, biosecurity scientists, plant pathologists, and university students. The keys are dynamic and will be regularly updated to include taxonomic changes and incorporate new detections, taxa, distributions and images. Researchers working with Australian smut and rust fungi are encouraged to participate in the on-going development and improvement of these keys.

La teología pastoral de Evangelii Gaudium en el proyecto misionero de Francisco

Resumen: Este ensayo teológico comprende y expone el pensamiento pastoral del Papa Francisco, primer obispo de Roma y Papa latinoamericano, elegido desde las periferias del orbe para guiar al Pueblo de Dios en el corazón de la urbe. Francisco es un pastor misionero y un pastoralista lúcido, que ha enseñado teología pastoral y, lo sigue haciendo, de otra forma, desde el ministerio petrino. La exhortación Evangelii gaudium (2013) condensa de una forma orgánica su mirada a la evangelización en la huella de la exhortación Evangelii nuntiandi de Pablo VI (1975) y del Documento Conclusivo de Aparecida del Episcopado latinoamericano y caribeño (2007). La novedad de su pontificado reformador y misionero hunde sus raíces en la figura singular del jesuita argentino Jorge Mario Bergoglio; en su arraigo en la Iglesia latinoamericana y en el proyecto misionero de Aparecida; y en la incipiente pero promisoria teología argentina postconciliar. El autor hace un pormenorizado estudio sistemático y contextualizado de la exhortación La alegría del Evangelio desde el propio documento y en relación a otros textos de Jorge Bergoglio y, ahora, del Papa Francisco. Articula su discurso en dos momentos mostrando sus interrelaciones. El primero, breve, presenta al sucesor de Pedro como un icono de la fisonomía regional y la reflexión pastoral de la Iglesia latinoamericana. El segundo analiza nueve claves de la Evangelii gaudium: la alegría de evangelizar, síntesis de la mística misionera; la figura de la Iglesia centrada en la misión; la influencia del proyecto misionero de Aparecida; la conversión misionera para la reforma eclesial desde el Concilio Vaticano II; la Iglesia, Pueblo de Dios y Madre de los pueblos, como sujeto de la misión; la fuerza evangelizadora de la piedad católica popular; la revolución de la ternura comunicada en el Evangelio de la misericordia; la dimensión social del Evangelio y de la evangelización; la opción por los pobres desde el corazón de Dios.

Educação e modernidade : o pensamento educacional dos Jesuítas, John Lock e Jean-Jacques Rousseau na era das ciências e da Filosofia Moderna

Esta pesquisa faz parte do eixo temático Educação e Cidadania, em sua linha de pesquisa Produção Social do Conhecimento, do Mestrado em Educação da Universidade do Estado do Rio de Janeiro - UERJ. É uma pesquisa bibliográfica. Trata de um estudo sobre a educação na Modernidade. Analisa três correntes do pensamento pedagógico dos séculos XVII e XVIII, que tiveram profunda repercussão em todos os sistemas educacionais do mundo ocidental, capaz de influenciar pedagogos e filósofos da educação na elaboração de propostas para a educação Moderna. Traz uma análise do pensamento educacional dos religiosos católicos jesuítas, de John Locke e de Jean-Jacques Rousseau, apontando visões pedagógicas particulares, muitas vezes antagônicas. Esboça uma síntese dos principais ideais dessas correntes de pensamento, que, com certeza iluminaram a produção do conhecimento educacional da Modernidade e as concepções pedagógicas contemporâneas. Em síntese, busca resgatar os ideais dessas três correntes de pensamento pedagógico e a sua contribuição na elaboração do conhecimento educacional e na formação da cultura do mundo ocidental; entende ser a apropriação desse conhecimento uma das formas de se ajudar a pensar a questão da cidadania.

Mechanical and durability properties of concretes containing recycled lime powder and recycled aggregates

According to a recent report by the European Commission, within the European Union, the construction and demolition wastes come to at least 450 million tons per year. Roughly 75% of the waste is disposed to landfill, despite its major recycling potential. The bulk constituents of demolition debris are concrete (50-55%) and masonry (30-40%) with only small percentages of other materials such as metals, glass and timber. In Cyprus, at present, recycling of waste materials is practically inexistent and almost the entire demolition waste products are disposed in landfill sites, with all possible economic, technical and environmental impacts. This research paper presents the evaluation and the effective reuse of waste construction materials, such as recycled lime powder (RLP) and recycled concrete aggregates (RCA), disposed to landfill sites in Cyprus, due to the lack of a lucid recycling policy and knowledge. Results show that both RLP and RCA have the potential to produce good quality and robust concrete mixtures both in terms of mechanical and durability performance. © 2013 Elsevier B.V. All rights reserved.

Type-alpha DPLs

This paper introduces Denotational Proof Languages (DPLs). DPLs are languages for presenting, discovering, and checking formal proofs. In particular, in this paper we discus type-alpha DPLs---a simple class of DPLs for which termination is guaranteed and proof checking can be performed in time linear in the size of the proof. Type-alpha DPLs allow for lucid proof presentation and for efficient proof checking, but not for proof search. Type-omega DPLs allow for search as well as simple presentation and checking, but termination is no longer guaranteed and proof checking may diverge. We do not study type-omega DPLs here. We start by listing some common characteristics of DPLs. We then illustrate with a particularly simple example: a toy type-alpha DPL called PAR, for deducing parities. We present the abstract syntax of PAR, followed by two different kinds of formal semantics: evaluation and denotational. We then relate the two semantics and show how proof checking becomes tantamount to evaluation. We proceed to develop the proof theory of PAR, formulating and studying certain key notions such as observational equivalence that pervade all DPLs. We then present NDL, a type-alpha DPL for classical zero-order natural deduction. Our presentation of NDL mirrors that of PAR, showing how every basic concept that was introduced in PAR resurfaces in NDL. We present sample proofs of several well-known tautologies of propositional logic that demonstrate our thesis that DPL proofs are readable, writable, and concise. Next we contrast DPLs to typed logics based on the Curry-Howard isomorphism, and discuss the distinction between pure and augmented DPLs. Finally we consider the issue of implementing DPLs, presenting an implementation of PAR in SML and one in Athena, and end with some concluding remarks.

Type-omega DPLs

Type-omega DPLs (Denotational Proof Languages) are languages for proof presentation and search that offer strong soundness guarantees. LCF-type systems such as HOL offer similar guarantees, but their soundness relies heavily on static type systems. By contrast, DPLs ensure soundness dynamically, through their evaluation semantics; no type system is necessary. This is possible owing to a novel two-tier syntax that separates deductions from computations, and to the abstraction of assumption bases, which is factored into the semantics of the language and allows for sound evaluation. Every type-omega DPL properly contains a type-alpha DPL, which can be used to present proofs in a lucid and detailed form, exclusively in terms of primitive inference rules. Derived inference rules are expressed as user-defined methods, which are "proof recipes" that take arguments and dynamically perform appropriate deductions. Methods arise naturally via parametric abstraction over type-alpha proofs. In that light, the evaluation of a method call can be viewed as a computation that carries out a type-alpha deduction. The type-alpha proof "unwound" by such a method call is called the "certificate" of the call. Certificates can be checked by exceptionally simple type-alpha interpreters, and thus they are useful whenever we wish to minimize our trusted base. Methods are statically closed over lexical environments, but dynamically scoped over assumption bases. They can take other methods as arguments, they can iterate, and they can branch conditionally. These capabilities, in tandem with the bifurcated syntax of type-omega DPLs and their dynamic assumption-base semantics, allow the user to define methods in a style that is disciplined enough to ensure soundness yet fluid enough to permit succinct and perspicuous expression of arbitrarily sophisticated derived inference rules. We demonstrate every major feature of type-omega DPLs by defining and studying NDL-omega, a higher-order, lexically scoped, call-by-value type-omega DPL for classical zero-order natural deduction---a simple choice that allows us to focus on type-omega syntax and semantics rather than on the subtleties of the underlying logic. We start by illustrating how type-alpha DPLs naturally lead to type-omega DPLs by way of abstraction; present the formal syntax and semantics of NDL-omega; prove several results about it, including soundness; give numerous examples of methods; point out connections to the lambda-phi calculus, a very general framework for type-omega DPLs; introduce a notion of computational and deductive cost; define several instrumented interpreters for computing such costs and for generating certificates; explore the use of type-omega DPLs as general programming languages; show that DPLs do not have to be type-less by formulating a static Hindley-Milner polymorphic type system for NDL-omega; discuss some idiosyncrasies of type-omega DPLs such as the potential divergence of proof checking; and compare type-omega DPLs to other approaches to proof presentation and discovery. Finally, a complete implementation of NDL-omega in SML-NJ is given for users who want to run the examples and experiment with the language.

Virtualização com o Xen: instalando e configurando o ambiente.

O documento descreve o processo de instalação de ambientes virtuais para servidores, utilizando o hypervisor Xen e tendo-se um sistema Linux Ubuntu (Lucid release) como Dom0. Descreve-se o processo de instalação do Xen 3.3 e 4.0 e também a instalação de hóspedes HVM (totalmente virtualizados) e PV (paravirtualizados). São apresentados também alguns testes comparando o desempenho de sistemas rodando em máquinas reais e em máquinas virtuais.

Ghost and self: Jung's paradigm shift and a response to Zinkin

Zinkin's lucid challenge to Jung makes perfect sense. Indeed, it is the implications of this `making sense' that this paper addresses. For Zinkin's characterization of the `self' takes it as a `concept' requiring coherence; a variety of abstract non-contextual knowledge that itself has a mythical heritage. Moreover, Zinkin's refinement of Jung seeks to make his work fit for the scientific paradigm of modernity. In turn, modernity's paradigm owes much to Newton's notion of knowledge via reductionism. Here knowledge or investigation is divided up into the smallest possible units with the aim of eventually putting it all together into `one' picture of scientific truth. Unfortunately, `reductionism' does not do justice to the resonant possibilities of Jung's writing. These look forward to a new scientific paradigm of the twenty-first century, of the interactive `field', emergence and complexity theory. The paper works paradoxically by discovering Zinkin's `intersubjective self' after all, in two undervalued narratives by Jung, his doctoral thesis and a short late ghost story. However, in the ambivalences and radical fictional experimentation of these fascinating texts can be discerned an-Other self, one both created and found. [From the Publisher]

A concept analysis of renal supportive care: the changing world of nephrology

Title. A concept analysis of renal supportive care: the changing world of nephrology

Aim. This paper is a report of a concept analysis of renal supportive care.

Background. Approximately 1.5 million people worldwide are kept alive by renal dialysis. As services are required to support patients who decide not to start or to withdraw from dialysis, the term renal supportive care is emerging. Being similar to the terms palliative care, end-of-life care, terminal care and conservative management, there is a need for conceptual clarity.

Method. Rodgers' evolutionary method was used as the organizing framework for this concept analysis. Data were collected from a review of CINAHL, Medline, PsycINFO, British Nursing Index, International Bibliography of the Social Sciences and ASSIA (1806-2006) using, 'renal' and 'supportive care' as keywords. All articles with an abstract were considered. The World Wide Web was also searched in English utilizing the phrase 'renal supportive care'.

Results. Five attributes of renal supportive care were identified: available from diagnosis to death with an emphasis on honesty regarding prognosis and impact of disease; interdisciplinary approach to care; restorative care; family and carer support and effective, lucid communication to ensure informed choice and clear lines of decision-making.

Conclusion. Renal supportive care is a dynamic and emerging concept relevant, but not limited to, the end phase of life. It suggests a central philosophy underpinning renal service development that allows patients, carers and the multidisciplinary team time to work together to realize complex goals. It has relevance for the renal community and is likely to be integrated increasingly into everyday nephrology practice.

N’A Barraca com Maria do Céu Guerra em Dona Maria, a louca, de António Cunha: relatório de estágio

Relatório de Estágio submetido à Escola Superior de Teatro e Cinema para cumprimento dos requisitos necessários à obtenção do grau de Mestre em Teatro - especialização em Artes Performativas - Interpretação.

Les R-loops et leurs conséquences sur l'expression génique chez Escherichia coli.

Des variations importantes du surenroulement de l’ADN peuvent être générées durant la phase d’élongation de la transcription selon le modèle du « twin supercoiled domain ». Selon ce modèle, le déplacement du complexe de transcription génère du surenroulement positif à l’avant, et du surenroulement négatif à l’arrière de l’ARN polymérase. Le rôle essentiel de la topoisomérase I chez Escherichia coli est de prévenir l’accumulation de ce surenroulement négatif générée durant la transcription. En absence de topoisomérase I, l’accumulation de ce surenroulement négatif favorise la formation de R-loops qui ont pour conséquence d’inhiber la croissance bactérienne. Les R-loops sont des hybrides ARN-ADN qui se forment entre l’ARN nouvellement synthétisé et le simple brin d’ADN complémentaire. Dans les cellules déficientes en topoisomérase I, des mutations compensatoires s’accumulent dans les gènes qui codent pour la gyrase, réduisant le niveau de surenroulement négatif du chromosome et favorisant la croissance. Une des ces mutations est une gyrase thermosensible qui s’exprime à 37 °C. La RNase HI, une enzyme qui dégrade la partie ARN d’un R-loop, peut aussi restaurer la croissance en absence de topoisomérase I lorsqu’elle est produite en très grande quantité par rapport à sa concentration physiologique. En présence de topoisomérase I, des R-loops peuvent aussi se former lorsque la RNase HI est inactive. Dans ces souches mutantes, les R-loops induisent la réponse SOS et la réplication constitutive de l’ADN (cSDR). Dans notre étude, nous montrons comment les R-loops formés en absence de topoisomérase I ou RNase HI peuvent affecter négativement la croissance des cellules. Lorsque la topoisomérase I est inactivée, l’accumulation d’hypersurenroulement négatif conduit à la formation de nombreux R-loops, ce qui déclenche la dégradation de l’ARN synthétisé. Issus de la dégradation de l’ARNm de pleine longueur, des ARNm incomplets et traductibles s’accumulent et causent l’inhibition de la synthèse protéique et de la croissance. Le processus par lequel l’ARN est dégradé n’est pas encore complètement élucidé, mais nos résultats soutiennent fortement que la RNase HI présente en concentration physiologique est responsable de ce phénotype. Chose importante, la RNase E qui est l’endoribonuclease majeure de la cellule n’est pas impliquée dans ce processus, et la dégradation de l’ARN survient avant son action. Nous montrons aussi qu’une corrélation parfaite existe entre la concentration de RNase HI, l’accumulation d’hypersurenroulement négatif et l’inhibition de la croissance bactérienne. Lorsque la RNase HI est en excès, l’accumulation de surenroulement négatif est inhibée et la croissance n’est pas affectée. L’inverse se produit Lorsque la RNase HI est en concentration physiologique. En limitant l’accumulation d’hypersurenroulement négatif, la surproduction de la RNase HI prévient alors la dégradation de l’ARN et permet la croissance. Quand la RNase HI est inactivée en présence de topoisomérase I, les R-loops réduisent le niveau d’expression de nombreux gènes, incluant des gènes de résistance aux stress comme rpoH et grpE. Cette inhibition de l’expression génique n’est pas accompagnée de la dégradation de l’ARN contrairement à ce qui se produit en absence de topoisomérase I. Dans le mutant déficient en RNase HI, la diminution de l’expression génique réduit la concentration cellulaire de différentes protéines, ce qui altère négativement le taux de croissance et affecte dramatiquement la survie des cellules exposées aux stress de hautes températures et oxydatifs. Une inactivation de RecA, le facteur essentiel qui déclenche la réponse SOS et le cSDR, ne restaure pas l’expression génique. Ceci démontre que la réponse SOS et le cSDR ne sont pas impliqués dans l’inhibition de l’expression génique en absence de RNase HI. La croissance bactérienne qui est inhibée en absence de topoisomérase I, reprend lorsque l’excès de surenroulement négatif est éliminé. En absence de RNase HI et de topoisomérase I, le surenroulement négatif est très relaxé. Il semble que la réponse cellulaire suite à la formation de R-loops, soit la relaxation du surenroulement négatif. Selon le même principe, des mutations compensatoires dans la gyrase apparaissent en absence de topoisomérase I et réduisent l’accumulation de surenroulement négatif. Ceci supporte fortement l’idée que le surenroulement négatif joue un rôle primordial dans la formation de R-loop. La régulation du surenroulement négatif de l’ADN est donc une tâche essentielle pour la cellule. Elle favorise notamment l’expression génique optimale durant la croissance et l’exposition aux stress, en limitant la formation de R-loops. La topoisomérase I et la RNase HI jouent un rôle important et complémentaire dans ce processus.