Estudo das interações de eIF5A com a maquinaria de tradução e com o complexo Ribosome Quality Control, utilizando modelo de Saccharomyces cerevisiae

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

Língua portuguesa no ensino médio: repertórios de ensino no âmbito do programa São Paulo faz Escola

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Dinâmica não linear e controle de um sistema vibratório modelado com memória de forma e, excitado por fontes de energia do tipo ideal e não ideal

Pós-graduação em Engenharia Mecânica - FEB

A influência de Georg Simmel no pensamento social de Ulrich Beck: pela compreensão do conflito no individualismo e nos processos de individualização

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Comparação das águas dos rios Jaguari e Atibaia na região de lançamento de efluente de indústria petroquímica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Consórcio de milho e Urochloa ruziziensis e inoculação com Azospirillum brasilense e seu efeito residual associado à adubação nitrogenada em feijoeiro de inverno

Pós-graduação em Agronomia - FEIS

Características sociodemográficas e clínicas que afetam a qualidade de vida em pacientes estomizados intestinais

Pós-graduação em Enfermagem (mestrado profissional) - FMB

Aprimoramento de um baropodômetro eletrônico e análise de estabiliometria em voluntários com escoliose

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Spatial modelling and prediction on river networks: up model, down model or hybrid?

Preservation of rivers and water resources is crucial in most environmental policies and many efforts are made to assess water quality. Environmental monitoring of large river networks are based on measurement stations. Compared to the total length of river networks, their number is often limited and there is a need to extend environmental variables that are measured locally to the whole river network. The objective of this paper is to propose several relevant geostatistical models for river modeling. These models use river distance and are based on two contrasting assumptions about dependency along a river network. Inference using maximum likelihood, model selection criterion and prediction by kriging are then developed. We illustrate our approach on two variables that differ by their distributional and spatial characteristics: summer water temperature and nitrate concentration. The data come from 141 to 187 monitoring stations in a network on a large river located in the Northeast of France that is more than 5000 km long and includes Meuse and Moselle basins. We first evaluated different spatial models and then gave prediction maps and error variance maps for the whole stream network.

Designing Software Product Lines for Testability

Software product line (SPL) engineering offers several advantages in the development of families of software products such as reduced costs, high quality and a short time to market. A software product line is a set of software intensive systems, each of which shares a common core set of functionalities, but also differs from the other products through customization tailored to fit the needs of individual groups of customers. The differences between products within the family are well-understood and organized into a feature model that represents the variability of the SPL. Products can then be built by generating and composing features described in the feature model. Testing of software product lines has become a bottleneck in the SPL development lifecycle, since many of the techniques used in their testing have been borrowed from traditional software testing and do not directly take advantage of the similarities between products. This limits the overall gains that can be achieved in SPL engineering. Recent work proposed by both industry and the research community for improving SPL testing has begun to consider this problem, but there is still a need for better testing techniques that are tailored to SPL development. In this thesis, I make two primary contributions to software product line testing. First I propose a new definition for testability of SPLs that is based on the ability to re-use test cases between products without a loss of fault detection effectiveness. I build on this idea to identify elements of the feature model that contribute positively and/or negatively towards SPL testability. Second, I provide a graph based testing approach called the FIG Basis Path method that selects products and features for testing based on a feature dependency graph. This method should increase our ability to re-use results of test cases across successive products in the family and reduce testing effort. I report the results of a case study involving several non-trivial SPLs and show that for these objects, the FIG Basis Path method is as effective as testing all products, but requires us to test no more than 24% of the products in the SPL.

Aprimoramento de um baropodômetro eletrônico e análise de estabiliometria em voluntários com escoliose

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Reconnection studies under different types of turbulence driving

We study a model of fast magnetic reconnection in the presence of weak turbulence proposed by Lazarian and Vishniac (1999) using three-dimensional direct numerical simulations. The model has been already successfully tested in Kowal et al. (2009) confirming the dependencies of the reconnection speed V-rec on the turbulence injection power P-inj and the injection scale l(inj) expressed by a constraint V-rec similar to P(inj)(1/2)l(inj)(3/4)and no observed dependency on Ohmic resistivity. In Kowal et al. (2009), in order to drive turbulence, we injected velocity fluctuations in Fourier space with frequencies concentrated around k(inj) = 1/l(inj), as described in Alvelius (1999). In this paper, we extend our previous studies by comparing fast magnetic reconnection under different mechanisms of turbulence injection by introducing a new way of turbulence driving. The new method injects velocity or magnetic eddies with a specified amplitude and scale in random locations directly in real space. We provide exact relations between the eddy parameters and turbulent power and injection scale. We performed simulations with new forcing in order to study turbulent power and injection scale dependencies. The results show no discrepancy between models with two different methods of turbulence driving exposing the same scalings in both cases. This is in agreement with the Lazarian and Vishniac (1999) predictions. In addition, we performed a series of models with varying viscosity nu. Although Lazarian and Vishniac (1999) do not provide any prediction for this dependence, we report a weak relation between the reconnection speed with viscosity, V-rec similar to nu(-1/4).

Structure-semantics interplay in complex networks and its effects on the predictability of similarity in texts

The classification of texts has become a major endeavor with so much electronic material available, for it is an essential task in several applications, including search engines and information retrieval. There are different ways to define similarity for grouping similar texts into clusters, as the concept of similarity may depend on the purpose of the task. For instance, in topic extraction similar texts mean those within the same semantic field, whereas in author recognition stylistic features should be considered. In this study, we introduce ways to classify texts employing concepts of complex networks, which may be able to capture syntactic, semantic and even pragmatic features. The interplay between various metrics of the complex networks is analyzed with three applications, namely identification of machine translation (MT) systems, evaluation of quality of machine translated texts and authorship recognition. We shall show that topological features of the networks representing texts can enhance the ability to identify MT systems in particular cases. For evaluating the quality of MT texts, on the other hand, high correlation was obtained with methods capable of capturing the semantics. This was expected because the golden standards used are themselves based on word co-occurrence. Notwithstanding, the Katz similarity, which involves semantic and structure in the comparison of texts, achieved the highest correlation with the NIST measurement, indicating that in some cases the combination of both approaches can improve the ability to quantify quality in MT. In authorship recognition, again the topological features were relevant in some contexts, though for the books and authors analyzed good results were obtained with semantic features as well. Because hybrid approaches encompassing semantic and topological features have not been extensively used, we believe that the methodology proposed here may be useful to enhance text classification considerably, as it combines well-established strategies. (c) 2012 Elsevier B.V. All rights reserved.

Participative site-specific agriculture analysis for smallholders

Site-specific agriculture has been adopted in a high-tech context using, for instance, in situ sensors, satellite images for remote sensing analysis, and some other technological devices. However, farmers and smallholders without the economic resources and required knowledge to use and to access the latest technology seem to find an impediment to precision agricultural practices. This article discusses the possibility of adopting precision agriculture (PA) principles for site-specific management but in a low technology context for such farmers. The proposed methodology to support PA combines low technology dependency and a participatory approach by involving smallholders, farmers and experts. The case studies demonstrate how the interplay of low technology and a participative approach may be suitable for smallholders for site-specific agriculture analysis.

Comparative analysis between ventricular and sinoatrial node vascularization in cats

Biasi C., Borelli V., Benedicto H.G., Pereira M.R., Favaron P.O. & Bombonato P.P. 2012. [Comparative analysis between ventricular and sinoatrial node vascularization in cats.] Analise comparativa entre a vascularizacao ventricular e do no sinoatrial em gatos. Pesquisa Veterinaria Brasileira 31(1): 78-82. Setor de Anatomia dos Animais Domesticos e Silvestres, Faculdade de Medicina Veterinaria e Zootecnia, Universidade de Sao Paulo, Av. Prof. Dr. Orlando Marques de Paiva 87, Cidade Universitaria, Sao Paulo, SP 05508-000, Brazil. E-mail: caiobiasi@usp.br The possible existence of interdependence in the blood nutrition of both atrial and ventricular territories has been a subject of concern to cardiologists, mainly related to vascularization of the sinoatrial node and its dependence on just one coronary artery or both, and its relation with the predominance of these vessels in the ventricular vascularization. Therefore, this research aimed evaluated the relation of blood irrigation of the sinoatrial node in relation to the coronary artery predominance in the ventricle vascularization. In doing so, we analyzed 30 hearts of cats without pedigree, males and females, adults of several ages. They were not carrying any heart problems. The hearts were injected by the thoracic aorta with Neoprene Latex 450, stained with red pigment, and then they were dissected. It was found that when there was a prevalence of ventricular vascularization of the left type (63.34%) the sinoatrial node irrigation was predominantly in the dependency of the Ramus proximalis atrii dextri (78.9%) or with less frequency by Ramus proximalis atrii sinister (21.1%). In the ventricular vascularization of the balanced type (33.34%), the pacemaker irrigation was in dependence more often of Ramus proximalis atrii dextri (80%) or with less frequency the nutrition of the sinoatrial node occurred by Ramus proximalis atril sinister (20%). In a single-case, we observed the ventricular vascularization of the right type (3.34%), the pacemaker nutrition was in an exclusive dependence of the Ramus intermedius atril dextri. These results suggest in this species there is no relationship between both the sinoatrial node irrigation and the type of ventricular vascularization, regardless of gender.