Four types of evidentiality in the native languages of Brazil

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

New readers, new reading skills and meaning: challenges for media and information literacy

Recognizing the importance of developing the information and media literacy in contemporary society, this article discusses the scenario of hybrid languages born on cyberspace, hypertext and the new types of readers who interact with information, now disseminated by digital media. As theoretical references authors such as Lucia Santaella, we develop arguments that present the headquarters of language and thought within a semiotic support. Matrices help to understand the phenomenon of hybrid language in hypertext. Therefore, we emphasize that the development of skills associated with the new reading environments propitiated by the virtual environment requires the understanding of language, which is one of the concepts used within the media and information literacy (MIL) proposal of Unesco, which combines the two concepts and skills of information and media literacy. It is hoped that this article motivate scholars and practitioners of education and information to take responsibility to educate for information environments that arise with new media and technologies, emphasizing the issue of reading and language.

Speech-language therapy for treatment of dysphagia and dysphonia in systemic granulomatous diseases: granulomatous diseases: dysphagia and dysphonia treatments

The granulomatous lesions are frequently founded in infectious diseases and can involve the larynx and pharynx and can cause varying degrees of dysphonia and dysphagia. There is still no systematic review that analyzes effectiveness of speech therapy in systemic granulomatous diseases. Research strategy: A systematic review was performed according to Cochrane guideline considering the inclusion of RCTs and quasi-RCTs about the effectiveness of speech-language therapy to treat dysphagia and dysphonia symptoms in systemic granulomatous diseases of the larynx and pharynx. Selection criteria: The outcome planned to be measured in this review were: swallowing impairment, frequency of chest infections and voice and swallowing symptoms. Data analysis: We identified 1,140 citations from all electronic databases. After an initial shift we only selected 9 titles to be retrieved in full-text. After full reading, there was no RCT found in this review and therefore, we only described the existing 2 case series studies. Results: There were no randomized controlled trials found in the literature. Therefore, two studies were selected to be included only for narratively analysis as they were case series. Conclusion: There is no evidence from high quality studies about the effectiveness of speech-language therapy in patients with granulomatous diseases of the larynx and pharynx. The investigators could rely in the outcomes suggested in this review to design their own clinical trials.

DeCS terminology and the new rules on orthography of Portuguese language: guidelines for an update

PURPOSE: To indicate orthographic changes to be used as a basic reference for professionals, researchers, doctors, teachers, students and users, which are directly linked and performing activities in health services in general, aimed at implementing the correct orthography in recovery and production of their scientific studies. METHODS: For data collection, were shown some examples of terminology DeCS (Descriptors in Health Science) analyzed according to the current spelling and compared with the Orthographic Vocabulary of Portuguese Language (VOLP). RESULTS: It was select and listed examples of key words and/or terms related to Health Sciences, which was compared to the respective rules of the Orthographic Agreement of Portuguese Language, and divided into three items: graphical accentuation, the non use of dieresis and exceptions and, the use of hyphen. CONCLUSION: This study show some guidelines for the orthographic alterations of the terms used by scientific community, according the new orthographic rules, contributing for the efficiency in the description of the documents and consequently in their recovery.

Interannual variation in commercial oyster (Crassostrea gigas) farming in the sea (Florianopolis, Brazil, 27 degrees 44 ' S; 48 degrees 33 ' W) in relation to temperature, chlorophyll a and associated oceanographic conditions

Aquaculture of filter-feeding bivalve mollusks involves the fruitful conversion of marine particulate organic matter into premium protein of high nutritive value. Culture performance of bivalves is largely dependent on hydrological conditions and directly affected by e. g. temperature and chlorophyll levels. Accordingly, these parameters may be related with seasonality but also with oceanographic features combined with climate events. Yields of Pacific cupped oyster (Crassostrea gigas) reared at commercial procedures in suspended structures (long-lines) in a sheltered bay in Southern Brazil (Santa Catarina State, 27S 43'; 48 W 30') were evaluated in relation to local environmental conditions: sea surface temperature, chlorophyll a concentration, and associate effects of cold fronts events and El Nino and La Nina periods. Outputs from four consecutive commercial crop years were analyzed (2005/06, 2006/07, 2007/08, 2008/09) in terms of oyster survival and development time during the following grow-out phases of the culture cycle: seed to juvenile, juvenile to adult, adult to marketable. Since culture management and genetics were standardized significant differences verified among crop performance could be mostly related to environmental effects. Time series of temperature and chlorophyll a (remote sensing data) from crop periods displayed significant seasonal and interannual variation. As expected, performance during initial grow-out stages (seed to juvenile) was critical for final crop yield. Temperature was the main factor affecting survival in these initial stages with a trend of negative correlation, though not statistically significant. On the other hand, oyster development rate was significantly and positively affected by chlorophyll a concentration. Chlorophyll a values could be increased by upwelled cold nutrient-rich South Atlantic Central Water (SACW, related to predominant Northern winds) though further dependent on occurrence of Southern winds (cold fronts) to assist seawater penetration into the sheltered farming area. Lower salinity nutrient-rich northward drifted waters from La Plata River discharge may also result in chlorophyll a rise in the farming area. The El Nino period (July 2006 to February 2007) coincided with lower chlorophyll a levels in the farming site that may be related to both decreased number of cold fronts as well as predominance of Northern winds that retain northward spreading of La Plata River discharge waters. In contrast, the La Nina period (August 2007 to June 2008) corresponded to higher chlorophyll a values in the farming area by both upwelling of SACW and penetration of La Plata River discharge water assisted by increased occurrence of Southern winds and cold fronts. The recognition of the potentially changing climate and effects upon the environment will be an important step in planning future development of bivalve aquaculture.

Cuticular Hydrocarbon Variation of Castes and Sex in the Weaver Ant Camponotus textor (Hymenoptera: Formicidae)

Cuticular hydrocarbons play important roles as chemical signatures of individuals, castes, sex and brood. They also can mediate the regulation of egg laying in ants, by informing directly or indirectly the reproductive status of queens. In this study we asked whether cuticular hydrocarbon profiles are correlated with castes and sex of Camponotus textor. Cuticular hydrocarbons were extracted from part of a mature colony (80 workers, 27 major workers, 27 queens, 27 virgin queens and 27 males). Results showed that cuticular hydrocarbons varied quantitatively and qualitatively among the groups and this variation was sufficiently strong to allow separation of castes and genders. We discuss the specificity of some compounds as possible regulatory compounds of worker tasks and reproduction in C. textor.

Data and behavioral contracts for web services

The recent trend in Web services is fostering a computing scenario where loosely coupled parties interact in a distributed and dynamic environment. Such interactions are sequences of xml messages and in order to assemble parties – either statically or dynamically – it is important to verify that the “contracts” of the parties are “compatible”. The Web Service Description Language (wsdl) is a standard used for describing one-way (asynchronous) and request/response (synchronous) interactions. Web Service Conversation Language extends wscl contracts by allowing the description of arbitrary, possibly cyclic sequences of exchanged messages between communicating parties. Unfortunately, neither wsdl nor wscl can effectively define a notion of compatibility, for the very simple reason that they do not provide any formal characterization of their contract languages. We define two contract languages for Web services. The first one is a data contract language and allow us to describe a Web service in terms of messages (xml documents) that can be sent or received. The second one is a behavioral contract language and allow us to give an abstract definition of the Web service conversation protocol. Both these languages are equipped with a sort of “sub-typing” relation and, therefore, they are suitable to be used for querying Web services repositories. In particular a query for a service compatible with a given contract may safely return services with “greater” contract.

Specification and Verification of Declarative Open Interaction Models - A Logic-based framework

The advent of distributed and heterogeneous systems has laid the foundation for the birth of new architectural paradigms, in which many separated and autonomous entities collaborate and interact to the aim of achieving complex strategic goals, impossible to be accomplished on their own. A non exhaustive list of systems targeted by such paradigms includes Business Process Management, Clinical Guidelines and Careflow Protocols, Service-Oriented and Multi-Agent Systems. It is largely recognized that engineering these systems requires novel modeling techniques. In particular, many authors are claiming that an open, declarative perspective is needed to complement the closed, procedural nature of the state of the art specification languages. For example, the ConDec language has been recently proposed to target the declarative and open specification of Business Processes, overcoming the over-specification and over-constraining issues of classical procedural approaches. On the one hand, the success of such novel modeling languages strongly depends on their usability by non-IT savvy: they must provide an appealing, intuitive graphical front-end. On the other hand, they must be prone to verification, in order to guarantee the trustworthiness and reliability of the developed model, as well as to ensure that the actual executions of the system effectively comply with it. In this dissertation, we claim that Computational Logic is a suitable framework for dealing with the specification, verification, execution, monitoring and analysis of these systems. We propose to adopt an extended version of the ConDec language for specifying interaction models with a declarative, open flavor. We show how all the (extended) ConDec constructs can be automatically translated to the CLIMB Computational Logic-based language, and illustrate how its corresponding reasoning techniques can be successfully exploited to provide support and verification capabilities along the whole life cycle of the targeted systems.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Language, Thought, Relativism, Nationalism: An Interdisciplinary Study

Ms. Neumer and her team began their project with a critical analysis of the various theories of the relationship between language and thought. Their aim was to develop a theoretical position concerning the issue of universalism versus relativism. This issue is closely bound up with one of the main questions of the history of East and Central Europe, namely, the question of the nation, and the possibility of mutual understanding between national cultures. The team attempted to avoid falling into an all-too-common trap, that of allowing a political perspective to obscure the central theoretical issues. In a project whose outcome totalled over 1000 pages of manuscript in German, English and Hungarian, they touched on cognitive psychological, linguistic, semiotic, socio-semiotic, and other such themes. Their experience has convinced them of the fruitful heuristic possibilities of the interaction of scientific and philosophical approaches in this area of research. A preliminary analysis of the history of philosophy and inquiries into conceptual fields revealed that, in order to reach strong relativist conclusions concerning the unity of thought and language, it is required to take as a point of departure the widest possible sense of these concepts. But in fact, such an option ends up refuting itself: pursuing the premises to their final conclusion one arrives at the restriction of relativism. The team outlined a theory of the understanding of the Other which, borrowing from analytical as well as continental-hermeneutic trends, does not underestimate, on the one hand, the difficulties of understanding between various forms of life, cultures, and languages, but, on the other hand, can provide an alternative solution to the theory of incommensurabiltiy. Within the boundary of this problematic the team studied the problems of translatability, the acquisition of the mother and foreign languages, and natural or cultural determinacy of kind terms. The team regards its most original contribution to be the association of the problem of relativism-universalism and the language-thought relation with contemporary investigations into the question of orality, literacy, and secondary orality. Their conclusion was that, although certain connections can be revealed both between forms of communication and the thesis of the unity of language and thought, and between periods in the history of communication and the predominance of relativistic or universalistic tendencies, forms of communication do not unequivocally determine the answers to these questions.

Practical, Pluggable Types for a Dynamic Language

Most languages fall into one of two camps: either they adopt a unique, static type system, or they abandon static type-checks for run-time checks. Pluggable types blur this division by (i) making static type systems optional, and (ii) supporting a choice of type systems for reasoning about different kinds of static properties. Dynamic languages can then benefit from static-checking without sacrificing dynamic features or committing to a unique, static type system. But the overhead of adopting pluggable types can be very high, especially if all existing code must be decorated with type annotations before any type-checking can be performed. We propose a practical and pragmatic approach to introduce pluggable type systems to dynamic languages. First of all, only annotated code is type-checked. Second, limited type inference is performed on unannotated code to reduce the number of reported errors. Finally, external annotations can be used to type third-party code. We present Typeplug, a Smalltalk implementation of our framework, and report on experience applying the framework to three different pluggable type systems.

Language Boxes: Bending the Host Language with Modular Language Changes

As domain-specific modeling begins to attract widespread acceptance, pressure is increasing for the development of new domain-specific languages. Unfortunately these DSLs typically conflict with the grammar of the host language, making it difficult to compose hybrid code except at the level of strings; few mechanisms (if any) exist to control the scope of usage of multiple DSLs; and, most seriously, existing host language tools are typically unaware of the DSL extensions, thus hampering the development process. Language boxes address these issues by offering a simple, modular mechanism to encapsulate (i) compositional changes to the host language, (ii) transformations to address various concerns such as compilation and highlighting, and (iii) scoping rules to control visibility of language extensions. We describe the design and implementation of language boxes, and show with the help of several examples how modular extensions can be introduced to a host language and environment.

Transactional Memory in a Dynamic Language

Concurrency control is mostly based on locks and is therefore notoriously difficult to use. Even though some programming languages provide high-level constructs, these add complexity and potentially hard-to-detect bugs to the application. Transactional memory is an attractive mechanism that does not have the drawbacks of locks, however the underlying implementation is often difficult to integrate into an existing language. In this paper we show how we have introduced transactional semantics into Smalltalk by using the reflective facilities of the language. Our approach is based on method annotations, incremental parse tree transformations and an optimistic commit protocol. The implementation does not depend on modifications to the virtual machine and therefore can be changed at the language level. We report on a practical case study, benchmarks and further and on-going work.

Law in a Linguistic Battlefield: The Language of the New State Versus the ‘Language of the Oppressors’ in Ukraine

Article 10 of the 1996 Ukrainian Constitution proclaims that “The state language of Ukraine shall be the Ukrainian language” but continues: “Free development, use, and protection of Russian and other languages of national minorities of Ukraine shall be guaranteed in Ukraine.” Consolidating the position of the state language was at the centre of the "Orange Revolution", but President Yanukovich, elected in February 2010, has committed himself to a defence of the Russian language, as a regional language of Ukraine, and the battle is on to replace the Law on Languages of the Ukrainian SSR of 1989, which is still in force. Ukraine has ratified the Council of Europe’s European Charter for Regional or Minority Languages. This article reflects on the relation between language and law, and endeavours to bring clarity to a situation which at times resembles an overheated kettle about to explode.

A genome-to-genome analysis of associations between human genetic variation, HIV-1 sequence diversity, and viral control

HIV-1 sequence diversity is affected by selection pressures arising from host genomic factors. Using paired human and viral data from 1071 individuals, we ran >3000 genome-wide scans, testing for associations between host DNA polymorphisms, HIV-1 sequence variation and plasma viral load (VL), while considering human and viral population structure. We observed significant human SNP associations to a total of 48 HIV-1 amino acid variants (p<2.4 × 10−12). All associated SNPs mapped to the HLA class I region. Clinical relevance of host and pathogen variation was assessed using VL results. We identified two critical advantages to the use of viral variation for identifying host factors: (1) association signals are much stronger for HIV-1 sequence variants than VL, reflecting the ‘intermediate phenotype’ nature of viral variation; (2) association testing can be run without any clinical data. The proposed genome-to-genome approach highlights sites of genomic conflict and is a strategy generally applicable to studies of host–pathogen interaction.