A missão Summer Institute of Linguistics e o indigenismo latino-americano: história de uma aliança (décadas de 1930 a 1970)

O trabalho aborda a história da aliança entre a missão evangélica Summer Institute of Linguistics e os intelectuais latino-americanos entre as décadas de 1930 e 1970. A proposta é reconstruir o contexto político e intelectual em que essa aliança ocorreu no México, Peru e Brasil. Em particular, será focalizado o papel do Instituto Indigenista Interamericano como espaço de contato da missão com os governos latino-americanos.

Diagnosis of Tinea pedis and onychomycosis in patients from Portuguese National Institute of Health: a four-year study

ABSTRACT - Tinea pedis and onychomycosis are two rather diverse clinical manifestations of superficial fungal infections, and their etiologic agents may be dermatophytes, non-dermatophyte moulds or yeasts. This study was designed to statistically describe the data obtained as results of analysis conducted during a four year period on the frequency of Tinea pedis and onychomycosis and their etiologic agents. A questionnaire was distributed from 2006 to 2010 and answered by 186 patients, who were subjected to skin and/or nail sampling. Frequencies of the isolated fungal species were cross-linked with the data obtained with the questionnaire, seeking associations and predisposing factors. One hundred and sixty three fungal isolates were obtained, 24.2% of which composed by more than one fungal species. Most studies report the two pathologies as caused primarily by dermatophytes, followed by yeasts and lastly by non-dermatophytic moulds. Our study does not challenge this trend. We found a frequency of 15.6% of infections caused by dermatophytes (with a total of 42 isolates) of which T. rubrum was the most frequent species (41.4%). There was no significant association (p >0.05) among visible injury and the independent variables tested, namely age, gender, owning pet, education, swimming pools attendance, sports activity and clinical information. Unlike other studies, the variables considered did not show the expected influence on dermatomycosis of the lower limbs. It is hence necessary to conduct further studies to specifically identify which variables do in fact influence such infections.

Specification of software architecture reconfiguration

In the past years, Software Architecture has attracted increased attention by academia and industry as the unifying concept to structure the design of complex systems. One particular research area deals with the possibility of reconfiguring architectures to adapt the systems they describe to new requirements. Reconfiguration amounts to adding and removing components and connections, and may have to occur without stopping the execution of the system being reconfigured. This work contributes to the formal description of such a process. Taking as a premise that a single formalism hardly ever satisfies all requirements in every situation, we present three approaches, each one with its own assumptions about the systems it can be applied to and with different advantages and disadvantages. Each approach is based on work of other researchers and has the aesthetic concern of changing as little as possible the original formalism, keeping its spirit. The first approach shows how a given reconfiguration can be specified in the same manner as the system it is applied to and in a way to be efficiently executed. The second approach explores the Chemical Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense of Category Theory, and specifies reconfigurations by graph transformation rules.

Managing contention of software transactional memory in real-time systems

The foreseen evolution of chip architectures to higher number of, heterogeneous, cores, with non-uniform memory and non-coherent caches, brings renewed attention to the use of Software Transactional Memory (STM) as an alternative to lock-based synchronisation. However, STM relies on the possibility of aborting conflicting transactions to maintain data consistency, which impacts on the responsiveness and timing guarantees required by real-time systems. In these systems, contention delays must be (efficiently) limited so that the response times of tasks executing transactions are upperbounded and task sets can be feasibly scheduled. In this paper we defend the role of the transaction contention manager to reduce the number of transaction retries and to help the real-time scheduler assuring schedulability. For such purpose, the contention management policy should be aware of on-line scheduling information.

A behavioral analysis tool for models of software systems

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

Neutralization of bitis parviocula (Ethiopian mountain adder) venom by the south african institute of medical research (SAIMR) antivenom

BACKGROUND: The Ethiopian mountain adder (Bitis parviocula) is a viperid known only from a few locations in southwestern Ethiopia. METHODS: a total of 30 µg of B. arietans and B. parviocula venoms were run on a 10-20% Tricine gel. To assay lethality dose fifty (LD50), five groups of eight mice for each venom were used. Hemorrhagic activity for crude venom was tested. Fibrinogenolytic activity of crude venom was measured using (2.5 mg/mL) of fibrinogen solution and (0.03 mg/mL) of crude venom. Gelatinase activity of the venom was tested on a Kodak X-OMAT TM film. Crude venoms of B. parviocula and B. arietans were tested for their abilities to affect clotting time, clotting rate and platelet function on whole human blood. RESULTS: The (SAIMR) antivenom was confirmed in this study to neutralize the lethal activity of venom from Bitis parviocula. The ED50s of SAIMR antivenom on B. parviocula and B. arietans neutralized half of 18.2 and 66.7 mg of venom, respectively. The hemorrhagic activities (MHDs) of B. parviocula and B. arietans were 0.88 and 1.7 µg, respectively. Bitis arietans and B. parviocula venoms degradated α and β chains at different times. The γ chains remained unaffected. Bitis parviocula venom did not exhibit gelatinase activity, while B. arietans had a MGD of 6.9 µg. At 3 mg/mL, the crude venoms of B. parviocula and B. arietans did not significantly affect clotting time or clotting rate. CONCLUSIONS: The SAIMR antivenom is very effective in neutralizing the venom of B. parviocula and should be considered in treating envenomations by these snakes.

Refinement and variability techniques in model transformation of software requirements

Tese de Doutoramento em Tecnologias e Sistemas de Informação

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines.

Memoirs of the Wistar Institute of Anatomy and Biology.

no. 11 (1920)

Memoirs of the Wistar Institute of Anatomy and Biology.

no. 6, Rev. ed. ((1924)

Memoirs of the Wistar Institute of Anatomy and Biology.

no. 9 (1919)

The American anatomical memoirs / Wistar Institute of Anatomy and Biology.

no. 8 (1918)

The American anatomical memoirs / Wistar Institute of Anatomy and Biology.

no. 13 (1927)