The Brazilian National Health Agency and the Mental Health Policy in the Context of the Private Health System: developments and challenges

This work analyses the mental health policy-making activity of the Brazilian National Health Agency (ANS), responsible for controlling health insurance companies. Three points are discussed: a) the framework of an economic and private health assistance regulatory activity, b) the ANS and its regulation activity and c) the rules produced by ANS in the mental health care field. It was concluded that, despite advances like the legal obligation to ensure medical treatment to all the diseases listed in ICD-10, the inclusion of suicidal patient damage and self-inflicted damage care, care provided by a multiprofessional team, the increase in the number of sessions with a psychologist, with an occupational therapist and of psychotherapy sessions, and mental health day hospitals included as part of the services offered, the authors identified specific regulatory gaps in this area. Some issues that ANS has to solve so that it can really play its institutional role of defending the public interest in the private health system are: the regulation of co-participation and franchise mechanisms, the increasing co-participation as a limitation of psychiatric hospitalization, and the limited number of crisis intervention psychotherapy sessions.

CONTEXT TREE SELECTION AND LINGUISTIC RHYTHM RETRIEVAL FROM WRITTEN TEXTS

The starting point of this article is the question "How to retrieve fingerprints of rhythm in written texts?" We address this problem in the case of Brazilian and European Portuguese. These two dialects of Modern Portuguese share the same lexicon and most of the sentences they produce are superficially identical. Yet they are conjectured, on linguistic grounds, to implement different rhythms. We show that this linguistic question can be formulated as a problem of model selection in the class of variable length Markov chains. To carry on this approach, we compare texts from European and Brazilian Portuguese. These texts are previously encoded according to some basic rhythmic features of the sentences which can be automatically retrieved. This is an entirely new approach from the linguistic point of view. Our statistical contribution is the introduction of the smallest maximizer criterion which is a constant free procedure for model selection. As a by-product, this provides a solution for the problem of optimal choice of the penalty constant when using the BIC to select a variable length Markov chain. Besides proving the consistency of the smallest maximizer criterion when the sample size diverges, we also make a simulation study comparing our approach with both the standard BIC selection and the Peres-Shields order estimation. Applied to the linguistic sample constituted for our case study, the smallest maximizer criterion assigns different context-tree models to the two dialects of Portuguese. The features of the selected models are compatible with current conjectures discussed in the linguistic literature.

Isolation, selection and characterization of root-associated growth promoting bacteria in Brazil Pine (Araucaria angustifolia)

Araucaria angustifolia, a unique species of this genus that occurs naturally in Brazil, has a high socio-economic and environmental value and is critically endangered of extinction, since it has been submitted to intense predatory exploitation during the last century. Root-associated bacteria from A. angustifolia were isolated, selected and characterized for their biotechnological potential of growth promotion and biocontrol of plant pathogenic fungi. Ninety-seven strains were isolated and subjected to chemical tests. All isolates presented at least one positive feature, characterizing them as potential PGPR. Eighteen isolates produced indole-3-acetic acid (IAA), 27 were able to solubilize inorganic phosphate, 21 isolates were presumable diazotrophs, with pellicle formation in nitrogen-free culture medium, 83 were phosphatases producers, 37 were positive for siderophores and 45 endospore-forming isolates were antagonistic to Fusarium oxysporum, a pathogen of conifers. We also observed the presence of bacterial strains with multiple beneficial mechanisms of action. Analyzing the fatty acid methyl ester (FAME) and partial sequencing of the 16S rRNA gene of these isolates, it was possible to characterize the most effective isolates as belonging to Bacillaceae (9 isolates), Enterobacteriaceae (11) and Pseudomonadaceae (1). As far as we know, this is the first study to include the species Ewingella americana as a PGPR. (C) 2011 Elsevier GmbH. All rights reserved.

Exercise training prevents oxidative stress and ubiquitin-proteasome system overactivity and reverse skeletal muscle atrophy in heart failure

Background: Heart failure (HF) is known to lead to skeletal muscle atrophy and dysfunction. However, intracellular mechanisms underlying HF-induced myopathy are not fully understood. We hypothesized that HF would increase oxidative stress and ubiquitin-proteasome system (UPS) activation in skeletal muscle of sympathetic hyperactivity mouse model. We also tested the hypothesis that aerobic exercise training (AET) would reestablish UPS activation in mice and human HF. Methods/Principal Findings: Time-course evaluation of plantaris muscle cross-sectional area, lipid hydroperoxidation, protein carbonylation and chymotrypsin-like proteasome activity was performed in a mouse model of sympathetic hyperactivity-induced HF. At the 7th month of age, HF mice displayed skeletal muscle atrophy, increased oxidative stress and UPS overactivation. Moderate-intensity AET restored lipid hydroperoxides and carbonylated protein levels paralleled by reduced E3 ligases mRNA levels, and reestablished chymotrypsin-like proteasome activity and plantaris trophicity. In human HF (patients randomized to sedentary or moderate-intensity AET protocol), skeletal muscle chymotrypsin-like proteasome activity was also increased and AET restored it to healthy control subjects' levels. Conclusions: Collectively, our data provide evidence that AET effectively counteracts redox imbalance and UPS overactivation, preventing skeletal myopathy and exercise intolerance in sympathetic hyperactivity-induced HF in mice. Of particular interest, AET attenuates skeletal muscle proteasome activity paralleled by improved aerobic capacity in HF patients, which is not achieved by drug treatment itself. Altogether these findings strengthen the clinical relevance of AET in the treatment of HF.

Selection and Use Recommendation in Hybrids of Ornamental Banana

The ornamental market is dynamic and demands constant novelties. The use of fruit crops as ornamental plants can be an interesting alternative with very differentiated and original products. The banana germplasm bank at Embrapa Cassava and Fruits has been primarily used in the breeding program for generating new cultivars as food. To diversify and expand the use of this collection, accessions with ornamental potential have been selected to obtain new hybrids. This work was aimed at characterizing the progeny of ornamental Musa L. spp. by grouping the hybrids according to the following uses: landscape plants, potted plants, cut flower, or minifruits. Forty-two hybrids were evaluated with 14 quantitative and 12 qualitative descriptors in three production cycles. In addition, assays for resistance to black and yellow Sigatoka and to Fusarium wilt were performed. Variability was observed for all the characteristics evaluated within progenies, especially with regard to leaf color, fruit, peduncle, rachis, and heart. All evaluated hybrids were resistant to yellow Sigatoka and to Fusarium wilt and were resistant or showed reduced symptoms of susceptibility to black Sigatoka. Most hybrids (82%) presented reduced plant height. After clustering by use category, the hybrids RM 09, RM 38, RM 37, and RM 33 were selected and recommended to be used as cut flowers, minifruits, or landscaping plants.

Influence of the dopaminergic system, CREB, and transcription factor-κB on cocaine neurotoxicity

Cocaine is a widely used drug and its abuse is associated with physical, psychiatric and social problems. Abnormalities in newborns have been demonstrated to be due to the toxic effects of cocaine during fetal development. The mechanism by which cocaine causes neurological damage is complex and involves interactions of the drug with several neurotransmitter systems, such as the increase of extracellular levels of dopamine and free radicals, and modulation of transcription factors. The aim of this review was to evaluate the importance of the dopaminergic system and the participation of inflammatory signaling in cocaine neurotoxicity. Our study showed that cocaine activates the transcription factors NF-κB and CREB, which regulate genes involved in cellular death. GBR 12909 (an inhibitor of dopamine reuptake), lidocaine (a local anesthetic), and dopamine did not activate NF-κB in the same way as cocaine. However, the attenuation of NF-κB activity after the pretreatment of the cells with SCH 23390, a D1 receptor antagonist, suggests that the activation of NF-κB by cocaine is, at least partially, due to activation of D1 receptors. NF-κB seems to have a protective role in these cells because its inhibition increased cellular death caused by cocaine. The increase in BDNF (brain-derived neurotrophic factor) mRNA can also be related to the protective role of both CREB and NF-κB transcription factors. An understanding of the mechanisms by which cocaine induces cell death in the brain will contribute to the development of new therapies for drug abusers, which can help to slow down the progress of degenerative processes.

Spin coherent states in NMR quadrupolar system: experimental and theoretical applications

Working with nuclear magnetic resonance (NMR) in quadrupolar spin systems, in this paper we transfer the concept of atomic coherent state to the nuclear spin context, where it is referred to as pseudonuclear spin coherent state (pseudo-NSCS). Experimentally, we discuss the initialization of the pseudo- NSCSs and also their quantum control, implemented by polar and azimuthal rotations. Theoretically, we compute the geometric phases acquired by an initial pseudo-NSCS on undergoing three distinct cyclic evolutions: (i) the free evolution of the NMR quadrupolar system and, by analogy with the evolution of the NMR quadrupolar system, that of (ii) single-mode and (iii) two-mode Bose-Einstein Condensate like system. By means of these analogies, we derive, through spin angular momentum operators, results equivalent to those presented in the literature for orbital angular momentum operators. The pseudo-NSCS description is a starting point to introduce the spin squeezed state and quantum metrology into nuclear spin systems of liquid crystal or solid matter.

Pattern-based segmentation of digital documents: model and implementation

This thesis proposes a new document model, according to which any document can be segmented in some independent components and transformed in a pattern-based projection, that only uses a very small set of objects and composition rules. The point is that such a normalized document expresses the same fundamental information of the original one, in a simple, clear and unambiguous way. The central part of my work consists of discussing that model, investigating how a digital document can be segmented, and how a segmented version can be used to implement advanced tools of conversion. I present seven patterns which are versatile enough to capture the most relevant documents’ structures, and whose minimality and rigour make that implementation possible. The abstract model is then instantiated into an actual markup language, called IML. IML is a general and extensible language, which basically adopts an XHTML syntax, able to capture a posteriori the only content of a digital document. It is compared with other languages and proposals, in order to clarify its role and objectives. Finally, I present some systems built upon these ideas. These applications are evaluated in terms of users’ advantages, workflow improvements and impact over the overall quality of the output. In particular, they cover heterogeneous content management processes: from web editing to collaboration (IsaWiki and WikiFactory), from e-learning (IsaLearning) to professional printing (IsaPress).

Design and implementation of bioinformatics tools for large scale genome annotation

The continuous increase of genome sequencing projects produced a huge amount of data in the last 10 years: currently more than 600 prokaryotic and 80 eukaryotic genomes are fully sequenced and publically available. However the sole sequencing process of a genome is able to determine just raw nucleotide sequences. This is only the first step of the genome annotation process that will deal with the issue of assigning biological information to each sequence. The annotation process is done at each different level of the biological information processing mechanism, from DNA to protein, and cannot be accomplished only by in vitro analysis procedures resulting extremely expensive and time consuming when applied at a this large scale level. Thus, in silico methods need to be used to accomplish the task. The aim of this work was the implementation of predictive computational methods to allow a fast, reliable, and automated annotation of genomes and proteins starting from aminoacidic sequences. The first part of the work was focused on the implementation of a new machine learning based method for the prediction of the subcellular localization of soluble eukaryotic proteins. The method is called BaCelLo, and was developed in 2006. The main peculiarity of the method is to be independent from biases present in the training dataset, which causes the over‐prediction of the most represented examples in all the other available predictors developed so far. This important result was achieved by a modification, made by myself, to the standard Support Vector Machine (SVM) algorithm with the creation of the so called Balanced SVM. BaCelLo is able to predict the most important subcellular localizations in eukaryotic cells and three, kingdom‐specific, predictors were implemented. In two extensive comparisons, carried out in 2006 and 2008, BaCelLo reported to outperform all the currently available state‐of‐the‐art methods for this prediction task. BaCelLo was subsequently used to completely annotate 5 eukaryotic genomes, by integrating it in a pipeline of predictors developed at the Bologna Biocomputing group by Dr. Pier Luigi Martelli and Dr. Piero Fariselli. An online database, called eSLDB, was developed by integrating, for each aminoacidic sequence extracted from the genome, the predicted subcellular localization merged with experimental and similarity‐based annotations. In the second part of the work a new, machine learning based, method was implemented for the prediction of GPI‐anchored proteins. Basically the method is able to efficiently predict from the raw aminoacidic sequence both the presence of the GPI‐anchor (by means of an SVM), and the position in the sequence of the post‐translational modification event, the so called ω‐site (by means of an Hidden Markov Model (HMM)). The method is called GPIPE and reported to greatly enhance the prediction performances of GPI‐anchored proteins over all the previously developed methods. GPIPE was able to predict up to 88% of the experimentally annotated GPI‐anchored proteins by maintaining a rate of false positive prediction as low as 0.1%. GPIPE was used to completely annotate 81 eukaryotic genomes, and more than 15000 putative GPI‐anchored proteins were predicted, 561 of which are found in H. sapiens. In average 1% of a proteome is predicted as GPI‐anchored. A statistical analysis was performed onto the composition of the regions surrounding the ω‐site that allowed the definition of specific aminoacidic abundances in the different considered regions. Furthermore the hypothesis that compositional biases are present among the four major eukaryotic kingdoms, proposed in literature, was tested and rejected. All the developed predictors and databases are freely available at: BaCelLo http://gpcr.biocomp.unibo.it/bacello eSLDB http://gpcr.biocomp.unibo.it/esldb GPIPE http://gpcr.biocomp.unibo.it/gpipe

LBT AO system: tests and calibration

An Adaptive Optic (AO) system is a fundamental requirement of 8m-class telescopes. We know that in order to obtain the maximum possible resolution allowed by these telescopes we need to correct the atmospheric turbulence. Thanks to adaptive optic systems we are able to use all the effective potential of these instruments, drawing all the information from the universe sources as best as possible. In an AO system there are two main components: the wavefront sensor (WFS) that is able to measure the aberrations on the incoming wavefront in the telescope, and the deformable mirror (DM) that is able to assume a shape opposite to the one measured by the sensor. The two subsystem are connected by the reconstructor (REC). In order to do this, the REC requires a “common language" between these two main AO components. It means that it needs a mapping between the sensor-space and the mirror-space, called an interaction matrix (IM). Therefore, in order to operate correctly, an AO system has a main requirement: the measure of an IM in order to obtain a calibration of the whole AO system. The IM measurement is a 'mile stone' for an AO system and must be done regardless of the telescope size or class. Usually, this calibration step is done adding to the telescope system an auxiliary artificial source of light (i.e a fiber) that illuminates both the deformable mirror and the sensor, permitting the calibration of the AO system. For large telescope (more than 8m, like Extremely Large Telescopes, ELTs) the fiber based IM measurement requires challenging optical setups that in some cases are also impractical to build. In these cases, new techniques to measure the IM are needed. In this PhD work we want to check the possibility of a different method of calibration that can be applied directly on sky, at the telescope, without any auxiliary source. Such a technique can be used to calibrate AO system on a telescope of any size. We want to test the new calibration technique, called “sinusoidal modulation technique”, on the Large Binocular Telescope (LBT) AO system, which is already a complete AO system with the two main components: a secondary deformable mirror with by 672 actuators, and a pyramid wavefront sensor. My first phase of PhD work was helping to implement the WFS board (containing the pyramid sensor and all the auxiliary optical components) working both optical alignments and tests of some optical components. Thanks to the “solar tower” facility of the Astrophysical Observatory of Arcetri (Firenze), we have been able to reproduce an environment very similar to the telescope one, testing the main LBT AO components: the pyramid sensor and the secondary deformable mirror. Thanks to this the second phase of my PhD thesis: the measure of IM applying the sinusoidal modulation technique. At first we have measured the IM using a fiber auxiliary source to calibrate the system, without any kind of disturbance injected. After that, we have tried to use this calibration technique in order to measure the IM directly “on sky”, so adding an atmospheric disturbance to the AO system. The results obtained in this PhD work measuring the IM directly in the Arcetri solar tower system are crucial for the future development: the possibility of the acquisition of IM directly on sky means that we are able to calibrate an AO system also for extremely large telescope class where classic IM measurements technique are problematic and, sometimes, impossible. Finally we have not to forget the reason why we need this: the main aim is to observe the universe. Thanks to these new big class of telescopes and only using their full capabilities, we will be able to increase our knowledge of the universe objects observed, because we will be able to resolve more detailed characteristics, discovering, analyzing and understanding the behavior of the universe components.

Crashworthiness and composite materials: development of an experimental test method for the energy absorption determination and implementation of the relative numerical model

In this PhD thesis the crashworthiness topic is studied with the perspective of the development of a small-scale experimental test able to characterize a material in terms of energy absorption. The material properties obtained are then used to validate a nu- merical model of the experimental test itself. Consequently, the numerical model, calibrated on the specific ma- terial, can be extended to more complex structures and used to simulate their energy absorption behavior. The experimental activity started at University of Washington in Seattle, WA (USA) and continued at Second Faculty of Engi- neering, University of Bologna, Forl`ı (Italy), where the numerical model for the simulation of the experimental test was implemented and optimized.

Theoretical and implementation aspects in the mechanization of the metatheory of programming languages

Interactive theorem provers are tools designed for the certification of formal proofs developed by means of man-machine collaboration. Formal proofs obtained in this way cover a large variety of logical theories, ranging from the branches of mainstream mathematics, to the field of software verification. The border between these two worlds is marked by results in theoretical computer science and proofs related to the metatheory of programming languages. This last field, which is an obvious application of interactive theorem proving, poses nonetheless a serious challenge to the users of such tools, due both to the particularly structured way in which these proofs are constructed, and to difficulties related to the management of notions typical of programming languages like variable binding. This thesis is composed of two parts, discussing our experience in the development of the Matita interactive theorem prover and its use in the mechanization of the metatheory of programming languages. More specifically, part I covers: - the results of our effort in providing a better framework for the development of tactics for Matita, in order to make their implementation and debugging easier, also resulting in a much clearer code; - a discussion of the implementation of two tactics, providing infrastructure for the unification of constructor forms and the inversion of inductive predicates; we point out interactions between induction and inversion and provide an advancement over the state of the art. In the second part of the thesis, we focus on aspects related to the formalization of programming languages. We describe two works of ours: - a discussion of basic issues we encountered in our formalizations of part 1A of the Poplmark challenge, where we apply the extended inversion principles we implemented for Matita; - a formalization of an algebraic logical framework, posing more complex challenges, including multiple binding and a form of hereditary substitution; this work adopts, for the encoding of binding, an extension of Masahiko Sato's canonical locally named representation we designed during our visit to the Laboratory for Foundations of Computer Science at the University of Edinburgh, under the supervision of Randy Pollack.

Design and implementation of a fft pruning engine for DSA-enabled cognitive radios.

This research work presents the design and implementation of a FFT pruning block, which is an extension to the FFT core for OFDM demodulation, enabling run-time 8 pruning of the FFT algorithm, without any restrictions on the distribution pattern of the active/inactive sub-carriers. The design and implementation of FFT processor core is not the part of this work. The whole design was prototyped on an ALTERA STRATIX V FPGA to evaluate the performance of the pruning engine. Synthesis and simulation results showed that the logic overhead introduced by the pruning block is limited to a 10% of the total resources utilization. Moreover, in presence of a medium-high scattering of the sub-carriers, power and energy consumption of the FFT core were reduced by a 30% factor.