A logical foundation for session-based concurrent computation

Linear logic has long been heralded for its potential of providing a logical basis for concurrency. While over the years many research attempts were made in this regard, a Curry-Howard correspondence between linear logic and concurrent computation was only found recently, bridging the proof theory of linear logic and session-typed process calculus. Building upon this work, we have developed a theory of intuitionistic linear logic as a logical foundation for session-based concurrent computation, exploring several concurrency related phenomena such as value-dependent session types and polymorphic sessions within our logical framework in an arguably clean and elegant way, establishing with relative ease strong typing guarantees due to the logical basis, which ensure the fundamental properties of type preservation and global progress, entailing the absence of deadlocks in communication. We develop a general purpose concurrent programming language based on the logical interpretation, combining functional programming with a concurrent, session-based process layer through the form of a contextual monad, preserving our strong typing guarantees of type preservation and deadlock-freedom in the presence of general recursion and higher-order process communication. We introduce a notion of linear logical relations for session typed concurrent processes, developing an arguably uniform technique for reasoning about sophisticated properties of session-based concurrent computation such as termination or equivalence based on our logical approach, further supporting our goal of establishing intuitionistic linear logic as a logical foundation for sessionbased concurrency.

The characteristics, clinical manifestations and outcomes of pandemic influenza A (H1N1) 2009 in the elderly

IntroductionThe objetctive of this study was to evaluate the 2009 Pandemic Influenza A (H1N1) in the elderly and identify the clinical characteristics, mortality and prognostic factors of the infection in these patients.MethodsThis was an observational, retrospective study. Data were collected from the National Notifiable Diseases (SINAN), from the Brazilian Ministry of Health. Only patients 60 years old or more that had laboratory confirmed infections were included. The socio-demographic and clinical variables and outcomes were evaluated to compare mortality rates in the presence or absence of these factors.ResultsWe included 93 patients in the study, 16.1% of whom died. The symptoms of cough and dyspnea, the use of the antiviral oseltamivir, influenza vaccine and comorbidities influenced the outcomes of cure or death. Chest radiography can aid in diagnosis.ConclusionsAlthough relatively few elderly people were infected, this population presented high lethality that can be justified by the sum of clinical, physical and immunological factors in this population. Treatment with oseltamivir and vaccination against seasonal influenza have significantly reduced rates of hospitalization and mortality.

Survey of Bancroftian filariasis infection in humans and Culex mosquitoes in the western Brazilian Amazon region: implications for transmission and control

IntroductionThe aim of this work was to identify possible lymphatic filariasis foci in the western Brazilian Amazonian that could be established from the reports of Rachou in the 1950s. The study was conducted in three cities of the western Brazilian Amazon region - Porto Velho and Guajará-Mirim (State of Rondônia) and Humaitá (State of Amazonas).MethodsFor human infection evaluation thick blood smear stained with Giemsa was used to analyze samples collected from 10pm to 1am. Polymerase chain reaction (PCR) was used to examine mosquito vectors for the presence of Wuchereria bancrofti DNA. Humans were randomly sampled from night schools students and from inhabitants in neighborhoods lacking sanitation. Mosquitoes were collected from residences only.ResultsA total 2,709 night students enrolled in the Program for Education of Young Adults (EJA), and 935 people registered in the residences near the schools were examined, being 641 from Porto Velho, 214 from Guajará-Mirim and 80 from Humaitá. No individual examined was positive for the presence of microfilariae in the blood stream. A total of 7,860 female Culex quinquefasciatus specimens examined were negative by PCR.ConclusionsThis survey including human and mosquito examinations indicates that the western Amazon region of Brazil is not a focus of Bancroftian filariasis infection or transmission. Therefore, there is no need to be included in the Brazilian lymphatic filariasis control program.

On the pricing of bivariate options in the presence of a discrete dividend payment

A Work Project, presented as part of the requirements for the Award of a Master's Double Degree in Finance from the NOVA School of Business and Economics / Masters Degree in Economics from Insper

Molecular and biological characterization of Trypanosoma cruzi strains isolated from children from Jequitinhonha Valley, State of Minas Gerais, Brazil

Introduction The biological diversity of Trypanosoma cruzi strains plays an important role in the clinical and epidemiological features of Chagas disease. Methods Eight T. cruzi strains isolated from children living in a Chagas disease vector-controlled area of Jequitinhonha Valley, State of Minas Gerais, Brazil, were genetically and biologically characterized. Results The characterizations demonstrated that all of the strains belonged to T. cruzi II, and showed high infectivity and a variable mean maximum peak of parasitemia. Six strains displayed low parasitemia, and two displayed moderate parasitemia. Later peaks of parasitemia and a predominance of intermediate and large trypomastigotes in all T. cruzi strains were observed. The mean pre-patent period was relatively short (4.2±0.25 to 13.7±3.08 days), whereas the patent period ranged from 3.3±1.08 to 34.5±3.52 days. Mortality was observed only in animals infected with strain 806 (62.5%). Histopathological analysis of the heart showed that strains 501 and 806 caused inflammation, but fibrosis was observed only in animals infected with strain 806. Conclusions The results indicate the presence of an association between the biological behavior in mice and the genetic characteristics of the parasites. The study also confirmed general data from Brazil where T. cruzi II lineage is the most prevalent in the domiciliary cycle and generally has low virulence, with some strains capable of inducing inflammatory processes and fibrosis.

Severe visceral leishmaniasis in children: the relationship between cytokine patterns and clinical features

Introduction The relationship between severe clinical manifestations of visceral leishmaniasis (VL) and immune response profiles has not yet been clarified, despite numerous studies on the subject. This study aimed to investigate the relationship between cytokine profiles and the presence of immunological markers associated with clinical manifestations and, particularly, signs of severity, as defined in a protocol drafted by the Ministry of Health (Brazil). Methods We conducted a prospective, descriptive study between May 2008 and December 2009. This study was based on an assessment of all pediatric patients with VL who were observed in a reference hospital in Maranhão. Results Among 27 children, 55.5% presented with more than one sign of severity or warning sign. Patients without signs of severity or warning signs and patients with only one warning sign had the highest interferon-gamma (IFN-γ) levels, although their interleukin 10 (IL-10) levels were also elevated. In contrast, patients with the features of severe disease had the lowest IFN-γ levels. Three patients who presented with more than two signs of severe disease died; these patients had undetectable interleukin 2 (IL-2) and IFN-γ levels and low IL-10 levels, which varied between 0 and 36.8pg/mL. Conclusions Our results showed that disease severity was associated with low IFN-γ levels and elevated IL-10 levels. However, further studies with larger samples are needed to better characterize the relationship between disease severity and cytokine levels, with the aim of identifying immunological markers of active-disease severity.

Choosing the gender and skill of politicians: List composition and electability across Brazilian municipalities

This work project studies the effect of variations in the proportion of female candidates on the quality of politicians. This effect was divided between nominated and elected body. Cross-sectional data was used for two elections, and an OLS as an IV approach. Results show that the existence of female candidates on parties’ list increases the quality of the nominated body. Moreover, contrary to what many advocate, increasing the presence of female candidates either increases or has no effect on the quality of the elected body. Results that were confirmed for the overall data and controlling for region factors only.

Multipacket reception in the presence of in-band full-duplex communication

In-Band Full-DupleX (IB-FDX) is defined as the ability for nodes to transmit and receive signals simultaneously on the same channel. Conventional digital wireless networks do not implement it, since a node’s own transmission signal causes interference to the signal it is trying to receive. However, recent studies attempt to overcome this obstacle, since it can potentially double the spectral efficiency of current wireless networks. Different mechanisms exist today that are able to reduce a significant part of the Self- Interference (SI), although specially tuned Medium Access Control (MAC) protocols are required to optimize its use. One of IB-FDX’s biggest problems is that the nodes’ interference range is extended, meaning the unusable space for other transmissions and receptions is broader. This dissertation proposes using MultiPacket Reception (MPR) to address this issue and adapts an already existing Single-Carrier with Frequency-Domain Equalization (SC-FDE) receiver to IB-FDX. The performance analysis suggests that MPR and IB-FDX have a strong synergy and are able to achieve higher data rates, when used together. Using analytical models, the optimal transmission patterns and transmission power were identified, which maximize the channel capacity with the minimal energy consumption. This was used to define a new MAC protocol, named Full-duplex Multipacket reception Medium Access Control (FM-MAC). FM-MAC was designed for a single-hop cellular infrastructure, where the Access Point (AP) and the terminals implement both IB-FDX and MPR. It divides the coverage range of the AP into a closer Full-DupleX (FDX) zone and a farther Half-DupleX (HDX) zone and adds a tunable fairness mechanism to avoid terminal starvation. Simulation results show that this protocol provides efficient support for both HDX and FDX terminals, maximizing its capacity when more FDX terminals are used.

Historic and recent occurrences of pinnipeds in the Archipelago of the Azores

The Archipelago of the Azores (Portugal) is located between 378 and 418N and 258 and 318W and crosses the Mid-Atlantic Ridge. It is the most isolated archipelago in the Atlantic, situated 1600 km west of mainland Portugal and 3500 km from the eastern coast of the United States of America. At present, the only population of seals occurring in the Portuguese territory is found on Desertas Islands, Archipelago of Madeira, where a colony of 24 Mediterranean monk seals, Monachus monachus (Hermann, 1779), still persists (Pires and Neves 2001). Nonetheless, historical accounts reported by Frutuoso (1983) dating from the early to late 1500s mention sightings of ‘‘sea wolves’’ (the old Portuguese folk term for the Mediterranean monk seal) at several sites along the Azorean Island of Santa Maria. Little is known about the occurrence of monk seals in this area over the past five centuries, but the species certainly did not escape deliberate killing by the first settlers. While the early monk seal reports by Frutuoso (1983) are the only reports referring to the presence of colonies of seals in the Azores, more recently several sightings and strandings of vagrant seals of other species have been noted.

The Environmental History of Cetaceans in Portugal: Ten Centuries of Whale and Dolphin Records

The history between cetaceans and humans is documented throughout time not only in reports, descriptions, and tales but also in legal documents, laws and regulations, and tithes. This wealth of information comes from the easy spotting and identification of individuals due to their large size, surface breathing, and conspicuous above water behaviour. This work is based on historical sources and accounts accounting for cetacean presence for the period between the 12th and 17th centuries, as well as scientific articles, newspapers, illustrations, maps, non-published scientific reports, and other grey literature from the 18th century onwards. Information on whale use in Portugal's mainland has been found since as early as the 12th century and has continued to be created throughout time. No certainty can be given for medieval and earlier events, but both scavenging of stranded whales or use of captured ones may have happened. There is an increasing number of accounts of sighted, stranded, used, or captured cetaceans throughout centuries which is clearly associated with a growing effort towards the study of these animals. Scientific Latin species denominations only started to be registered from the 18th century onwards, as a consequence of the evolution of natural sciences in Portugal and increasing interest from zoologists. After the 19th century, a larger number of observations were recorded, and from the 20th century to the present day, regular scientific records have been collected. Research on the environmental history of cetaceans in Portugal shows a several-centuries-old exploitation of whales and dolphins, as resources mainly for human consumption, followed in later centuries by descriptions of natural history documenting strandings and at sea encounters. Most cetaceans species currently thought to be present in Portuguese mainland waters were at some point historically recorded.

Archaeological Remains Accounting for the Presence and Exploitation of the North Atlantic Right Whale Eubalaena glacialis on the Portuguese Coast (Peniche, West Iberia), 16th to 17th Century

The former occurrence of the North Atlantic right whale Eubalaena glacialis on the Portuguese coast may be inferred from the historical range of that species in Europe and in NW Africa. It is generally accepted that it was the main prey of coastal whaling in the Middle Ages and in the pre-modern period, but this assumption still needs firming up based on biological and archaeological evidence. We describe the skeletal remains of right whales excavated at Peniche in 2001-2002, in association with archaeological artefacts. The whale bones were covered by sandy sediments on the old seashore and they have been tentatively dated around the 16th to 17th centuries. This study contributes material evidence to the former occurrence of E. glacialis in Portugal (West Iberia). Some whale bones show unequivocal man-made scars. These are associated to wounds from instruments with a sharp-cutting blade. This evidence for past human interaction may suggest that whaling for that species was active at Peniche around the early 17th century.

Freshwater gastropods of the Baixada Maranhense Microregion, an endemic area for schistosomiasis in the State of Maranhão, Brazil: I - qualitative study

Introduction: The Baixada Maranhense Microregion currently has the highest prevalence of schistosomiasis in the State of Maranhão, likely because this parasitosis is characterized as an occupational disease, and increased contact with water increases the risk of infection by Schistosoma mansoni. This paper reports the results of the first comprehensive freshwater malacological survey performed in the Baixada Maranhense Microregion. Methods: Freshwater mollusks were collected from the twenty-one municipalities of the Baixada Maranhense Microregion and from Bacurituba and Cajapió and were evaluated for infection by trematodes. Results: A total of 9,129 mollusks were collected (sixteen species), which included the first records of six species in the State of Maranhão: Gundlachia radiata, G. ticaga, Hebetancylus moricandi, Plesiophysa guadeloupensis, Pomacea bridgesii diffusa and Omalonyx sp. Biomphalaria glabrata was found in five municipalities, whereas B. straminea was found in nine. Biomphalaria glabrata and B. straminea were observed in syntopy in Pinheiro and São Bento. Of the 990 specimens of B. glabrata and the 2,109 specimens of B. straminea that were exposed to and/or analyzed for the presence of larval trematodes, only a single specimen of B. glabrata (0.1%) from São Bento shed S. mansoni. Other larval trematodes were first observed in mollusks from the State of Maranhão. Conclusions: These results indicate that the study area is epidemiologically important due to the presence of two natural vectors of schistosomiasis and the active transmission of schistosomiasis, which was confirmed in the infected specimen that was collected in this study.

Serological evidence for Saint Louis encephalitis virus in free-ranging New World monkeys and horses within the upper Paraná River basin region, Southern Brazil

Introduction Saint Louis encephalitis virus (SLEV) primarily occurs in the Americas and produces disease predominantly in humans. This study investigated the serological presence of SLEV in nonhuman primates and horses from southern Brazil. Methods From June 2004 to December 2005, sera from 133 monkeys (Alouatta caraya, n=43; Sapajus nigritus, n=64; Sapajus cay, n=26) trap-captured at the Paraná River basin region and 23 blood samples from farm horses were obtained and used for the serological detection of a panel of 19 arboviruses. All samples were analyzed in a hemagglutination inhibition (HI) assay; positive monkey samples were confirmed in a mouse neutralization test (MNT). Additionally, all blood samples were inoculated into C6/36 cell culture for viral isolation. Results Positive seroreactivity was only observed for SLEV. A prevalence of SLEV antibodies in sera was detected in Alouatta caraya (11.6%; 5/43), Sapajus nigritus (12.5%; 8/64), and S. cay (30.8%; 8/26) monkeys with the HI assay. Of the monkeys, 2.3% (1/42) of A. caraya, 6.3% 94/64) of S. nigritus, and 15.4% (4/26) of S. cay were positive for SLEV in the MNT. Additionally, SLEV antibodies were detected by HI in 39.1% (9/23) of the horses evaluated in this study. Arboviruses were not isolated from any blood sample. Conclusions These results confirmed the presence of SLEV in nonhuman primates and horses from southern Brazil. These findings most likely represent the first detection of this virus in nonhuman primates beyond the Amazon region. The detection of SLEV in animals within a geographical region distant from the Amazon basin suggests that there may be widespread and undiagnosed dissemination of this disease in Brazil.

Streptococcal acute pharyngitis

Acute pharyngitis/tonsillitis, which is characterized by inflammation of the posterior pharynx and tonsils, is a common disease. Several viruses and bacteria can cause acute pharyngitis; however, Streptococcus pyogenes (also known as Lancefield group A β-hemolytic streptococci) is the only agent that requires an etiologic diagnosis and specific treatment. S. pyogenes is of major clinical importance because it can trigger post-infection systemic complications, acute rheumatic fever, and post-streptococcal glomerulonephritis. Symptom onset in streptococcal infection is usually abrupt and includes intense sore throat, fever, chills, malaise, headache, tender enlarged anterior cervical lymph nodes, and pharyngeal or tonsillar exudate. Cough, coryza, conjunctivitis, and diarrhea are uncommon, and their presence suggests a viral cause. A diagnosis of pharyngitis is supported by the patient's history and by the physical examination. Throat culture is the gold standard for diagnosing streptococcus pharyngitis. However, it has been underused in public health services because of its low availability and because of the 1- to 2-day delay in obtaining results. Rapid antigen detection tests have been used to detect S. pyogenes directly from throat swabs within minutes. Clinical scoring systems have been developed to predict the risk of S. pyogenes infection. The most commonly used scoring system is the modified Centor score. Acute S. pyogenes pharyngitis is often a self-limiting disease. Penicillins are the first-choice treatment. For patients with penicillin allergy, cephalosporins can be an acceptable alternative, although primary hypersensitivity to cephalosporins can occur. Another drug option is the macrolides. Future perspectives to prevent streptococcal pharyngitis and post-infection systemic complications include the development of an anti-Streptococcus pyogenes vaccine.

Depressão infantil em famílias monoparentais

Dissertação de Mestrado apresentada ao ISPA - Instituto Universitário