A study of risk-aware program transformation

In the trend towards tolerating hardware unreliability, accuracy is exchanged for cost savings. Running on less reliable machines, functionally correct code becomes risky and one needs to know how risk propagates so as to mitigate it. Risk estimation, however, seems to live outside the average programmer’s technical competence and core practice. In this paper we propose that program design by source-to-source transformation be risk-aware in the sense of making probabilistic faults visible and supporting equational reasoning on the probabilistic behaviour of programs caused by faults. This reasoning is carried out in a linear algebra extension to the standard, `a la Bird-Moor algebra of programming. This paper studies, in particular, the propagation of faults across standard program transformation techniques known as tupling and fusion, enabling the fault of the whole to be expressed in terms of the faults of its parts.

Historical analysis of the Brazilian cervical cancer screening program from 2006 to 2013: a time for reflection

BACKGROUND: The Cervical Cancer Database of the Brazilian National Health Service (SISCOLO) contains information regarding all cervical cytological tests and, if properly explored, can be used as a tool for monitoring and managing the cervical cancer screening program. The aim of this study was to perform a historical analysis of the cervical cancer screening program in Brazil from 2006 to 2013. MATERIAL AND METHODS: The data necessary to calculate quality indicators were obtained from the SISCOLO, a Brazilian health system tool. Joinpoint analysis was used to calculate the annual percentage change. RESULTS: We observed important trends showing decreased rates of low-grade squamous intraepithelial lesions (LSIL) and high-grade squamous intraepithelial lesions (HSIL) and an increased rate of rejected exams from 2009 to 2013. The index of positivity was maintained at levels below those indicated by international standards; very low frequencies of unsatisfactory cases were observed over the study period, which partially contradicts the low rate of positive cases. The number of positive cytological diagnoses was below that expected, considering that developed countries with low frequencies of cervical cancer detect more lesions annually. CONCLUSIONS: The evolution of indicators from 2006 to 2013 suggests that actions must be taken to improve the effectiveness of cervical cancer control in Brazil.

Galanin-mediated behavioural hyperalgesia from the dorsomedial nucleus of the hypothalamus involves two independent descending pronociceptive pathways

Activation of the dorsomedial nucleus of the hypothalamus (DMH) by galanin (GAL) induces behavioural hyperalgesia. Since DMH neurones do not project directly to the spinal cord, we hypothesized that the medullary dorsal reticular nucleus (DRt), a pronociceptive region projecting to the spinal dorsal horn (SDH) and/or the serotoninergic raphe-spinal pathway acting on the spinal 5-HT3 receptor (5HT3R) could relay descending nociceptive facilitation induced by GAL in the DMH. Heat-evoked paw-withdrawal latency (PWL) and activity of SDH neurones were assessed in monoarthritic (ARTH) and control (SHAM) animals after pharmacological manipulations of the DMH, DRt and spinal cord. The results showed that GAL in the DMH and glutamate in the DRt lead to behavioural hyperalgesia in both SHAM and ARTH animals, which is accompanied particularly by an increase in heat-evoked responses of wide-dynamic range neurons, a group of nociceptive SDH neurones. Facilitation of pain behaviour induced by GAL in the DMH was reversed by lidocaine in the DRt and by ondansetron, a 5HT3R antagonist, in the spinal cord. However, the hyperalgesia induced by glutamate in the DRt was not blocked by spinal ondansetron. In addition, in ARTH but not SHAM animals PWL was increased after lidocaine in the DRt and ondansetron in the spinal cord. Our data demonstrate that GAL in the DMH activates two independent descending facilitatory pathways: (i) one relays in the DRt and (ii) the other one involves 5-HT neurones acting on spinal 5HT3Rs. In experimental ARTH, the tonic pain-facilitatory action is increased in both of these descending pathways.

The effect of high-fat diet on rat’s mood, feeding behavior and response to stress

An association between obesity and depression has been indicated in studies addressing common physical (metabolic) and psychological (anxiety, low self-esteem) outcomes. Of consideration in both obesity and depression are chronic mild stressors to which individuals are exposed to on a daily basis. However, the response to stress is remarkably variable depending on numerous factors, such as the physical health and the mental state at the time of exposure. Here a chronic mild stress (CMS) protocol was used to assess the effect of high-fat diet (HFD)-induced obesity on response to stress in a rat model. In addition to the development of metabolic complications, such as glucose intolerance, diet-induced obesity caused behavioral alterations. Specifically, animals fed on HFD displayed depressive- and anxious-like behaviors that were only present in the normal diet (ND) group upon exposure to CMS. Of notice, these mood impairments were not further aggravated when the HFD animals were exposed to CMS, which suggest a ceiling effect. Moreover, although there was a sudden drop of food consumption in the first 3 weeks of the CMS protocol in both ND and HFD groups, only the CMS-HFD displayed an overall noticeable decrease in total food intake during the 6 weeks of the CMS protocol. Altogether, the study suggests that HFD impacts on the response to CMS, which should be considered when addressing the consequences of obesity in behavior.

Magnetoliposomes based on manganese ferrite nanoparticles as nanocarriers for antitumor drugs

Publicado em "NanoPT2016 book of abstracts"

Age effects on EEG correlates of the Wisconsin card sorting test

Body and brain undergo several changes with aging. One of the domains in which these changes are more remarkable relates with cognitive performance. In the present work, electroencephalogram (EEG) markers (power spectral density and spectral coherence) of age-related cognitive decline were sought whilst the subjects performed the Wisconsin Card Sorting Test (WCST). Considering the expected age-related cognitive deficits, WCST was applied to young, mid-age and elderly participants, and the theta and alpha frequency bands were analyzed. From the results herein presented, higher theta and alpha power were found to be associated with a good performance in the WCST of younger subjects. Additionally, higher theta and alpha coherence were also associated with good performance and were shown to decline with age and a decrease in alpha peak frequency seems to be associated with aging. Additionally, inter-hemispheric long-range coherences and parietal theta power were identified as age-independent EEG correlates of cognitive performance. In summary, these data reveals age-dependent as well as age-independent EEG correlates of cognitive performance that contribute to the understanding of brain aging and related cognitive deficits.

Exploring the factor structure of neurocognitive measures in older individuals

Here we focus on factor analysis from a best practices point of view, by investigating the factor structure of neuropsychological tests and using the results obtained to illustrate on choosing a reasonable solution. The sample (n=1051 individuals) was randomly divided into two groups: one for exploratory factor analysis (EFA) and principal component analysis (PCA), to investigate the number of factors underlying the neurocognitive variables; the second to test the "best fit" model via confirmatory factor analysis (CFA). For the exploratory step, three extraction (maximum likelihood, principal axis factoring and principal components) and two rotation (orthogonal and oblique) methods were used. The analysis methodology allowed exploring how different cognitive/psychological tests correlated/discriminated between dimensions, indicating that to capture latent structures in similar sample sizes and measures, with approximately normal data distribution, reflective models with oblimin rotation might prove the most adequate.

The bounds of education in the human brain connectome

Inter-individual heterogeneity is evident in aging; education level is known to contribute for this heterogeneity. Using a cross-sectional study design and network inference applied to resting-state fMRI data, we show that aging was associated with decreased functional connectivity in a large cortical network. On the other hand, education level, as measured by years of formal education, produced an opposite effect on the long-term. These results demonstrate the increased brain efficiency in individuals with higher education level that may mitigate the impact of age on brain functional connectivity.

High performance screen printable lithium-ion battery cathode ink based on C-LiFePO4

Lithium-ion battery cathodes have been fabricated by screen-printing through the development of CLiFePO4 inks. It is shown that shear thinning polymer solutions in N-methyl-2-pyrrolidone (NMP) with Newtonian viscosity above 0.4 Pa s are the best binders for formulating a cathode paste with satisfactory film forming properties. The paste shows an elasticity of the order of 500 Pa and, after shear yielding, shows an apparent viscosity of the order of 3 Pa s for shear rates corresponding to those used during screen-printing. The screen-printed cathode produced with a thickness of 26 mm shows a homogeneous distribution of the active material, conductive additive and polymer binder. The total resistance and diffusion coefficient of the cathode are 450 V and 2.5 10 16cm2 s 1, respectively. The developed cathodes show an initial discharge capacity of 48.2 mAh g 1 at 5C and a discharge value of 39.8 mAh g 1 after 50 cycles. The capacity retention of 83% represents 23% of the theoretical value (charge and/or discharge process in twenty minutes), demonstrating the good performance of the battery. Thus, the developed C-LiFePO4 based inks allow to fabricate screen-printed cathodes suitable for printed lithium-ion batteries

Stage at presentation of breast cancer in Luanda, Angola - a retrospective study

Background: It is expected that, by 2020, 15 million new cases of cancer will occur every year in the world, one million of them in Africa. Knowledge of cancer trends in African countries is far from adequate, and improvements in cancer prevention efforts are urgently needed. The aim of this study was to characterize breast cancer clinically and pathologically at presentation in Luanda, Angola; we additionally provide quality information that will be useful for breast cancer care planning in the country. Methods: Data on breast cancer cases were retrieved from the Angolan Institute of Cancer Control, from 2006 to 2014. For women diagnosed in 2009 (5-years of follow-up), demographic, clinical and pathological information, at presentation, was collected, namely age at diagnosis, parity, methods used for pathological diagnoses, tumor pathological characteristics, stage of disease and treatment. Descriptive statistics were performed. Results: The median age of women diagnosed with breast cancer in 2009 was 47 years old (range 25–89). The most frequent clinical presentation was breast swelling with axillary lymph nodes metastasis (44.9 %), followed by a mass larger than 5 cm (14.2 %) and lump (12.9 %). Invasive ductal carcinoma was the main histologic type (81.8 %). Only 10.1 % of cancer cases had a well differentiated histological grade. Cancers were diagnosed mostly at advanced stages (66.7 % in stage III and 11.1 % in stage IV). Discussion: In this study, breast cancer was diagnosed at a very advanced stage. Although it reports data from a single cancer center in Luanda, Angola it reinforces the need for early diagnosis and increasing awareness. According to the main challenges related to breast cancer diagnosis and treatment herein presented, we propose a realistic framework that would allow for the implementation of a breast cancer care program, built under a strong network based on cooperation, teaching, audit, good practices and the organization of health services. Conclusion: Angola needs urgently a program for early diagnosis of breast cancer.

The role of IFNγ in higher brain function: in health and under chronic stress

Tese de Doutoramento em Ciências da Saúde

Development of multifunctional coatings deposited on polymers based sensors for biomedical applications

Tese de Doutoramento (Programa Doutoral em Engenharia de Materiais)

The use of canonical correlation analysis to assess the relationship between executive functioning and verbal memory in older adults

Executive functioning (EF), which is considered to govern complex cognition, and verbal memory (VM) are constructs assumed to be related. However, it is not known the magnitude of the association between EF and VM, and how sociodemographic and psychological factors may affect this relationship, including in normal aging. In this study, we assessed different EF and VM parameters, via a battery of neurocognitive/psychological tests, and performed a Canonical Correlation Analysis (CCA) to explore the connection between these constructs, in a sample of middle- aged and older healthy individuals without cognitive impairment (N = 563, 50+ years of age). The analysis revealed a positive and moderate association between EF and VM independently of gender, age, education, global cognitive performance level, and mood. These results confirm that EF presents a significant association with VM performance.

Superhydrophobic surfaces as a tool for the fabrication of hierarchical spherical polymeric carriers

Hierarchical polymeric carriers with high encapsulation efficiencies are fabricated via a biocompatible strategy developed using superhydrophobic (SH) surfaces. The carries are obtained by the incorporation of cell/BSA-loaded dextran-methacrylate (DEXT-MA) microparticles into alginate (ALG) macroscopic beads. Engineered devices like these are expected to boost the development of innovative and customizable systems for biomedical and biotechnological purposes.

Extremely strong and tough hydrogels as prospective candidates for tissue repair – A review

Ideal candidates for the repair of robust biological tissues should exhibit diverse features such as biocompatibility, strength, toughness, self-healing ability and a well-defined structure. Among the available biomaterials, hydrogels, as highly hydrated 3D-crosslinked polymeric networks, are promising for Tissue Engineering purposes as result of their high resemblance with native extracellular matrix. However, these polymeric structures often exhibit a poor mechanical behavior, hampering their use in load-bearing applications. During the last years, several efforts have been made to create new strategies and concepts to fabricate strong and tough hydrogels. Although it is already possible to shape the mechanical properties of artificial hydrogels to mimic biotissues, critical issues regarding, for instance, their biocompatibility and hierarchical structure are often neglected. Therefore, this review covers the structural and mechanical characteristics of the developed methodologies to toughen hydrogels, highlighting some pioneering efforts employed to combine the aforementioned properties in natural-based hydrogels.