DNA for nano-bio scale computation of chemical formalisms using Higher Order Logic (HOL) and analysis using an interdisciplinary approach

Bio-molecular computing, 'computations performed by bio-molecules', is already challenging traditional approaches to computation both theoretically and technologically. Often placed within the wider context of ´bio-inspired' or 'natural' or even 'unconventional' computing, the study of natural and artificial molecular computations is adding to our understanding of biology, physical sciences and computer science well beyond the framework of existing design and implementation paradigms. In this introduction, We wish to outline the current scope of the field and assemble some basic arguments that, bio-molecular computation is of central importance to computer science, physical sciences and biology using HOL - Higher Order Logic. HOL is used as the computational tool in our R&D work. DNA was analyzed as a chemical computing engine, in our effort to develop novel formalisms to understand the molecular scale bio-chemical computing behavior using HOL. In our view, our focus is one of the pioneering efforts in this promising domain of nano-bio scale chemical information processing dynamics.

Estudo de cargas térmicas de uma aeronave e dimensionamento de um sistema de ar condicionado

This work deals with the thermal load study of a fictitious aircraft as well as scaling, in terms of the airflow and temperature of the air conditioning system, for heating and cooling of the its internal environment, aiming the thermal comfort of occupants. The first part is presented the techniques and methods utilized for modeling different heat exchanges that occur in the aircraft and then allowed to calculate the total heat load and the airflow and temperature necessary to comply with the requirements of the thermal comfort. Techniques to determine the basic parameters, as convection coefficient and global coefficient of heat exchange, are also presented. The work aims to develop a program, using a computational tool, to automate the calculations so that facilitate this study. It also allows to be used for other airplanes just changing parameters and the control variables related to the specific project. Finally the program performs calculations for a fictitious airplane, to analyze its functionality and the influence of parameters involved in the temperature controls. The program allowed analyzing the sensitivity of portions of the thermal load and the corresponding parameters of influence, as well as the scaling of the air conditioning in terms of airflow and temperature. It was considered, despite the simplifications, a good approximation to the actual values and then can be used in development of the other airplanes

Easy Bioinformatics Analysis (EBiAn): a package for manipulating and analysis of short biological sequences

The work of biochemists and molecular biologists often is dependent or extremely favored by a preliminary computer analysis. Thus, the development of an efficient and friendly computational tool is very important. In this work, we developed a package of programs in Javascript language which can be used online or locally. The programs depend exclusively of Web browsers and are compatible with Internet Explorer, Opera, Mozilla Firefox and Google Chrome. With the EBiAn package it is can perform the main analysis and manipulation of DNA, RNA, proteins and peptides sequences. The programs can be freely accessed and adapted or modified to generate new programs.

Modelação de redes de distribuição de energia elétrica com carregamento não linear, incluindo elementos de regulação e compensação

Pós-graduação em Engenharia Elétrica - FEIS

Concilier les données qualitatives et quantitatives: un défi pour les recherches en acquisition du langage

What is the role of qualitative data? How should mixed approaches be considered? Is it necessary to complement the quantitative approach by the qualitative approach (Maziére et al., 2010) or the opposite? How can these two approaches be combined in a Language Acquisition research? What are the possibilities of generalization that these approaches provide? Besides those necessary theoretical discussions, our starting point is a qualitative research on the acquisition of the plural morpheme in Brazilian Portuguese (BP) in children between 1 year 11 months old and 2 years 7 months old (Hilário, 2012), whose linguistic production is intrinsically connected to their dialogic aspect (Bakhtin & Vološinov, 1973) and to the interaction among interlocutors (Bruner, 2004; Vygotsky, 1986). In this research through the usage of a computational tool (CLAN) it is expected to have more visibility of the quantitative results even if they are in a qualitative approach. Although, it should be taken into account the fact that each approach can achieve valid and relevant results (Valsiner 2000), i.e., with any given method it is possible to reach a kind of generalization (statistical or analytical).

Artefatos ou instrumentos no Métier do professor de língua inglesa da rede pública: recursos tecnológicos e o agir docente nos textos de instrução ao sósia

Pós-graduação em Linguística e Língua Portuguesa - FCLAR

Apoio à execução de experimentos controlados usando uma ontologia para empacotamento: a ferramenta OntoExpTool

Pós-graduação em Ciência da Computação - IBILCE

Desenvolvimento da ferramenta MS2PSOC: Tradução de modelos descritos no matlab/simulink para o ambiente psoc creator

Pós-graduação em Engenharia Elétrica - FEIS

Estudo exploratório da integração de processos em uma instituição pública de ensino superior a partir das funcionalidades de um sistema de gestão de processos de negócio

Pós-graduação em Engenharia de Produção - FEB

Numerical analysis of a modified evacuated tubes solar collector

The need for renewable energy sources, facing the consequences of Climate Change, results in growing investment for solar collectors’ use. Research in this field has accompanied this expansion and evacuated tube solar collector stands as an important study focus. Thus, several works have been published for representing the stratification of the fluid inside the tubes and the reservoir, as well as analytical modeling for the heat flow problem. Based on recent publications, this paper proposes the study of solar water heating with evacuated tubes, their operation characteristics and operating parameters. To develop this work, a computational tool will be used - in this case, the application of computational fluid dynamics (CFD) software. In possession of the implemented model, a numerical simulation will be performed to evaluate the behavior of the fluid within this solar collector and possible improvements to be applied in the model.

A new portal for the analysis of human splicing variants

Understanding alternative splicing is crucial to elucidate the mechanisms behind several biological phenomena, including diseases. The huge amount of expressed sequences available nowadays represents an opportunity and a challenge to catalog and display alternative splicing events (ASEs). Although several groups have faced this challenge with relative success, we still lack a computational tool that uses a simple and straightforward method to retrieve, name and present ASEs. Here we present SPLOOCE, a portal for the analysis of human splicing variants. SPLOOCE uses a method based on regular expressions for retrieval of ASEs. We propose a simple syntax that is able to capture the complexity of ASEs.

Identification and expression analysis of microRNAs and targets in the biofuel crop sugarcane

Abstract Background MicroRNAs (miRNAs) are small regulatory RNAs, some of which are conserved in diverse plant genomes. Therefore, computational identification and further experimental validation of miRNAs from non-model organisms is both feasible and instrumental for addressing miRNA-based gene regulation and evolution. Sugarcane (Saccharum spp.) is an important biofuel crop with publicly available expressed sequence tag and genomic survey sequence databases, but little is known about miRNAs and their targets in this highly polyploid species. Results In this study, we have computationally identified 19 distinct sugarcane miRNA precursors, of which several are highly similar with their sorghum homologs at both nucleotide and secondary structure levels. The accumulation pattern of mature miRNAs varies in organs/tissues from the commercial sugarcane hybrid as well as in its corresponding founder species S. officinarum and S. spontaneum. Using sugarcane MIR827 as a query, we found a novel MIR827 precursor in the sorghum genome. Based on our computational tool, a total of 46 potential targets were identified for the 19 sugarcane miRNAs. Several targets for highly conserved miRNAs are transcription factors that play important roles in plant development. Conversely, target genes of lineage-specific miRNAs seem to play roles in diverse physiological processes, such as SsCBP1. SsCBP1 was experimentally confirmed to be a target for the monocot-specific miR528. Our findings support the notion that the regulation of SsCBP1 by miR528 is shared at least within graminaceous monocots, and this miRNA-based post-transcriptional regulation evolved exclusively within the monocots lineage after the divergence from eudicots. Conclusions Using publicly available nucleotide databases, 19 sugarcane miRNA precursors and one new sorghum miRNA precursor were identified and classified into 14 families. Comparative analyses between sugarcane and sorghum suggest that these two species retain homologous miRNAs and targets in their genomes. Such conservation may help to clarify specific aspects of miRNA regulation and evolution in the polyploid sugarcane. Finally, our dataset provides a framework for future studies on sugarcane RNAi-dependent regulatory mechanisms.

Calculation of parameter ranges for robust gain tuning of power system controllers

This work proposes a computational tool to assist power system engineers in the field tuning of power system stabilizers (PSSs) and Automatic Voltage Regulators (AVRs). The outcome of this tool is a range of gain values for theses controllers within which there is a theoretical guarantee of stability for the closed-loop system. This range is given as a set of limit values for the static gains of the controllers of interest, in such a way that the engineer responsible for the field tuning of PSSs and/or AVRs can be confident with respect to system stability when adjusting the corresponding static gains within this range. This feature of the proposed tool is highly desirable from a practical viewpoint, since the PSS and AVR commissioning stage always involve some readjustment of the controller gains to account for the differences between the nominal model and the actual behavior of the system. By capturing these differences as uncertainties in the model, this computational tool is able to guarantee stability for the whole uncertain model using an approach based on linear matrix inequalities. It is also important to remark that the tool proposed in this paper can also be applied to other types of parameters of either PSSs or Power Oscillation Dampers, as well as other types of controllers (such as speed governors, for example). To show its effectiveness, applications of the proposed tool to two benchmarks for small signal stability studies are presented at the end of this paper.

Theoretical models to predict the mechanical behavior of thick composite tubes

This paper shows theoretical models (analytical formulations) to predict the mechanical behavior of thick composite tubes and how some parameters can influence this behavior. Thus, firstly, it was developed the analytical formulations for a pressurized tube made of composite material with a single thick ply and only one lamination angle. For this case, the stress distribution and the displacement fields are investigated as function of different lamination angles and reinforcement volume fractions. The results obtained by the theoretical model are physic consistent and coherent with the literature information. After that, the previous formulations are extended in order to predict the mechanical behavior of a thick laminated tube. Both analytical formulations are implemented as a computational tool via Matlab code. The results obtained by the computational tool are compared to the finite element analyses, and the stress distribution is considered coherent. Moreover, the engineering computational tool is used to perform failure analysis, using different types of failure criteria, which identifies the damaged ply and the mode of failure.

Seeking tools for image fusion between computed tomography, structural and functional magnetic resonance methods for applications in neurosurgery

OBJECTIVE: To evaluate tools for the fusion of images generated by tomography and structural and functional magnetic resonance imaging. METHODS: Magnetic resonance and functional magnetic resonance imaging were performed while a volunteer who had previously undergone cranial tomography performed motor and somatosensory tasks in a 3-Tesla scanner. Image data were analyzed with different programs, and the results were compared. RESULTS: We constructed a flow chart of computational processes that allowed measurement of the spatial congruence between the methods. There was no single computational tool that contained the entire set of functions necessary to achieve the goal. CONCLUSION: The fusion of the images from the three methods proved to be feasible with the use of four free-access software programs (OsiriX, Register, MRIcro and FSL). Our results may serve as a basis for building software that will be useful as a virtual tool prior to neurosurgery.