Strategies to increase the use and approval of gender-fair language

When masculine forms are used to refer to men and women, this causes male-biased cognitive representations and behavioral consequences, as numerous studies have shown. This effect can be avoided or reduced with the help of gender-fair language. In this talk, we will present different approaches that aim at influencing people’s use of and attitudes towards gender-fair language. Firstly, we tested the influence of gender-fair input on people’s own use of gender-fair language. Based on Irmen and Linner’s (2005) adaptation of the scenario mapping and focus approach (Sanford & Garrod, 1998), we found that after reading a text with gender-fair forms women produced more gender-fair forms than women who read gender-neutral texts or texts containing masculine generics. Men were not affected. Secondly, we examined reactions to arguments which followed the Elaboration Likelihood Model (Petty &Cacioppo, 1986). We assumed that strong pros and cons would be more effective than weak arguments or control statements. The results indicated that strong pros could convince some, but not all participants, suggesting a complex interplay of diverse factors in reaction to attempts at persuasion. The influence of people’s initial characteristics will be discussed. Currently, we are investigating how self-generated refutations, in addition to arguments, may influence initial attitudes. Based on the resistance appraisal hypothesis (Tormala, 2008), we assume that individuals are encouraged in their initial attitude if they manage to refute strong counter-arguments. The results of our studies will be discussed regarding their practical implications.

Television satire, decmocracy and the decay of public language: John Clarke's verbal caricature

This paper examines the contributions of John Clarke to the field of political satire through his interviews with straight-man Bryan Dawe on ABC TV’s The 7.30 Report. Clarke’s work represents one of the last vestiges of what was once a vigorous satiric tradition in TV comedy, specifically the practice of political caricature. There was The Mavis Bramston Show in the 1960s and The Naked Vicar Show in the 1970s, while The Gillies Report in the 1980s was probably the best example of sustained political caricature in television comedy. Even in later sketch-based shows such as Fast Forward and The Late Show in the early 1990s, political caricature was a significant component of the material, whereas it seems to have all but disappeared from current television comedy. The paper investigates the disappearance of this type of comedy from Australian television screens and also discusses why the longevity, consistency, not to mention accuracy, of Clarke’s satire is so important in the current political climate. Clarke’s political caricature is almost entirely language-based, expertly parodying the spin-doctored rhetoric of our elected representatives and business leaders. This leads to a secondary focus of the paper, which is a discussion of Clarke’s unique form of satire in the context of what an historian (and former satirist) identifies as ‘the decay of public language’.

Pattern-based reuse of successful designs: usability ofsafety-critical systems

Users of safety-critical systems are expected to effectively control or monitor complex systems, with errors potentially leading to catastrophe. For such systems, safety is of paramount importance and must be designed into the human-machine interface. While many case studies show how inadequate design practice led to poor safety and usability, concrete guidance on good design practices is scarce. The paper argues that the pattern language paradigm, widely used in the software design community, is a suitable means of documenting appropriate design strategies. We discuss how typical usability-related properties (e.g., flexibility) need some adjustment to be used for assessing safety-critical systems, and document a pattern language, based on corresponding "safety-usability" principles

Hygiene and biosecurity: the language and politics of risk in an era of emerging infectious diseases

Infectious diseases, such as methicillin-resistant Staphylococcus aureus and avian influenza, have recently been high on the agenda of policy makers and the public. Although hygiene and biosecurity are preferred options for disease management, policy makers have become increasingly aware of the critical role that communication assumes in protecting people during outbreaks and epidemics. This article makes the case for a language-based approach to understanding the public perception of disease. Health language research carried out by the authors, based on metaphor analysis and corpus linguistics, has shown that concepts of journeys, pathways, thresholds, boundaries and barriers have emerged as principal framing devices used by stakeholders to advocate a hygiene based risk and disease management. These framings provide a common ground for debate, but lead to quite different perceptions and practices. This in turn might be a barrier to global disease management in a modern world.

Ambiente computacional paradesenvolvimento de aplicações de controladores lógicos programáveis baseado em linguagens SFC e ST

This work proposes an environment for programming programmable logic controllers applied to oil wells with BCP type method of artificially lifting. The environment will have an editor based in the diagram of sequential functions for programming of PLCs. This language was chosen due to the fact of being high-level and accepted by the international standard IEC 61131-3. The use of these control programs in real PLC will be possible with the use of an intermediate level of language based on XML specification PLCopen T6 XML. For the testing and validation of the control programs, an area should be available for viewing variables obtained through communication with a real PLC. Thus, the main contribution of this work is to develop a computational environment that allows: modeling, testing and validating the controls represented in SFC and applied in oil wells with BCP type method of artificially lifting

Virtual plants - integrating architectural and physiological models

Recent advances in computer technology have made it possible to create virtual plants by simulating the details of structural development of individual plants. Software has been developed that processes plant models expressed in a special purpose mini-language based on the Lindenmayer system formalism. These models can be extended from their architectural basis to capture plant physiology by integrating them with crop models, which estimate biomass production as a consequence of environmental inputs. Through this process, virtual plants will gain the ability to react to broad environmental conditions, while crop models will gain a visualisation component. This integration requires the resolution of the fundamentally different time scales underlying the approaches. Architectural models are usually based on physiological time; each time step encompasses the same amount of development in the plant, without regard to the passage of real time. In contrast, physiological models are based in real time; the amount of development in a time step is dependent on environmental conditions during the period. This paper provides a background on the plant modelling language, then describes how widely-used concepts of thermal time can be implemented to resolve these time scale differences. The process is illustrated using a case study. (C) 1997 Elsevier Science Ltd.

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.

Análise crítica do Regulamento Geral dos Sistemas Públicos e Prediais de Distribuição de Água e de Drenagem de Águas Residuais

Trabalho Final de Mestrado para obtenção do grau de Mestre em Engenharia Civil na Área de Especialização de Hidráulica

Type inference for conversation types

Trabalho apresentado no âmbito do Mestrado em Engenharia Informática, como requisito parcial para obtenção do grau de Mestre em Engenharia Informática

Comportamento, Cognição e Linguagem: Contribuição da Fenomenologia Biológica para o Estudo das Relações Corpo-Mente

Um dos desafios mais importantes para as ciências humanas e particularmente para a educação consiste na compreensão das relações entre o comportamento, a cognição e a linguagem. O presente artigo apresenta uma concepção encorporada da cognição e da linguagem a partir da etologia humana. Baseando-se nas ideias da fenomenologia biológica sobre a intencionalidade, apresentam-se algumas das condições para o acesso científico às relações corpo-mente.

BIWiki - Using a Business Intelligence Wiki to Form a Virtual Community of Practice for Portuguese Master's Students

Web 2.0 software in general and wikis in particular have been receiving growing attention as they constitute new and powerful tools, capable of supporting information sharing, creation of knowledge and a wide range of collaborative processes and learning activities. This paper introduces briefly some of the new opportunities made possible by Web 2.0 or the social Internet, focusing on those offered by the use of wikis as learning spaces. A wiki allows documents to be created, edited and shared on a group basis; it has a very easy and efficient markup language, using a simple Web browser. One of the most important characteristics of wiki technology is the ease with which pages are created and edited. The facility for wiki content to be edited by its users means that its pages and structure form a dynamic entity, in permanent evolution, where users can insert new ideas, supplement previously existing information and correct errors and typos in a document at any time, up to the agreed final version. This paper explores wikis as a collaborative learning and knowledge-building space and its potential for supporting Virtual Communities of Practice (VCoPs). In the academic years (2007/8 and 2008/9), students of the Business Intelligence module at the Master's programme of studies on Knowledge Management and Business Intelligence at Instituto Superior de Estatistica e Gestao de Informacao of the Universidade Nova de Lisboa, Portugal, have been actively involved in the creation of BIWiki - a wiki for Business Intelligence in the Portuguese language. Based on usage patterns and feedback from students participating in this experience, some conclusions are drawn regarding the potential of this technology to support the emergence of VCoPs; some provisional suggestions will be made regarding the use of wikis to support information sharing, knowledge creation and transfer and collaborative learning in Higher Education.

Information flow analysis using data-dependent logical propositions

Dissertação para obtenção do Grau de Mestre em Engenharia Informática

A type system for value-dependent information flow analysis

Information systems are widespread and used by anyone with computing devices as well as corporations and governments. It is often the case that security leaks are introduced during the development of an application. Reasons for these security bugs are multiple but among them one can easily identify that it is very hard to define and enforce relevant security policies in modern software. This is because modern applications often rely on container sharing and multi-tenancy where, for instance, data can be stored in the same physical space but is logically mapped into different security compartments or data structures. In turn, these security compartments, to which data is classified into in security policies, can also be dynamic and depend on runtime data. In this thesis we introduce and develop the novel notion of dependent information flow types, and focus on the problem of ensuring data confidentiality in data-centric software. Dependent information flow types fit within the standard framework of dependent type theory, but, unlike usual dependent types, crucially allow the security level of a type, rather than just the structural data type itself, to depend on runtime values. Our dependent function and dependent sum information flow types provide a direct, natural and elegant way to express and enforce fine grained security policies on programs. Namely programs that manipulate structured data types in which the security level of a structure field may depend on values dynamically stored in other fields The main contribution of this work is an efficient analysis that allows programmers to verify, during the development phase, whether programs have information leaks, that is, it verifies whether programs protect the confidentiality of the information they manipulate. As such, we also implemented a prototype typechecker that can be found at http://ctp.di.fct.unl.pt/DIFTprototype/.

A autonomia no processo de aquisição da competência plurilingue e intercultural no âmbito da aprendizagem do Espanhol

Relatório de estágio de mestrado em Ensino de Português no 3.º ciclo do Ensino Básico Secundário e do Ensino do Espanhol no Ensino Básico e Secundário

Prolegomenon for an ethics of visibility in Hannah Arendt

This paper aims to discuss the Arendtian notions of appearance and perception in order to promote a displacement of those conceptions from the generally associated domain of passive apprehension of the faculty of knowledge towards the domain of a praxiology of action and language, based on an active perception. Arendt's appropriations on the Heideggerian "to take one's place" (sich hin-stellen) will be discussed, as well as the Augustinian "finding oneself in the world" (diligere). A twofold disposition of appearance will be distinguished: producing and position, whose transposed to the Arendtian notion of world correspond, respectively, to fabrication (poiesis) of the world, man's objective in-between space, and to action (praxis) in the world, man's subjective in-between space. Those conceptual replacements, in a broad sense, uphold a closer imbrication between the activities of the mind and acting, stricto sensu, and consequently, foment not only the valorization of the public space, but the visibility of our acts and deeds as well, calling out the dignity of appearance in ethics.