A petri net based timing model for hardware/software co-design of digital systems

We have recently proposed an extension to Petri nets in order to be able to directly deal with all aspects of embedded digital systems. This extension is meant to be used as an internal model of our co-design environment. After analyzing relevant related work, and presenting a short introduction to our extension as a background material, we describe the details of the timing model we use in our approach, which is mainly based in Merlin's time model. We conclude the paper by discussing an example of its usage. © 2004 IEEE.

Survival probability of large rapidity gaps in a QCD model with a dynamical infrared mass scale

We compute the survival probability {vertical bar S vertical bar(2)} of large rapidity gaps (LRG) in a QCD based eikonal model with a dynamical gluon mass, where this dynamical infrared mass scale represents the onset of nonperturbative contributions to the diffractive hadron-hadron scattering. Since rapidity gaps can occur in the case of Higgs boson production via fusion of electroweak bosons, we focus on WW -> H fusion processes and show that the resulting {vertical bar S vertical bar(2)} decreases with the increase of the energy of the incoming hadrons; in line with the available experimental data for LRG. We obtain {vertical bar S vertical bar(2)} = 27.6 +/- 7.8% (18.2 +/- 17.0%) at Tevatron (CERN-LHC) energy for a dynamical gluon mass m(g) = 400 MeV. (c) 2006 Elsevier B.V. All rights reserved.

Photogrammetric refinement of laser-based building roof contours

In this paper a photogrammetric method is proposed for refining 3D building roof contours extracted from airborne laser scanning data. It is assumed that laser-derived planar faces of roofs are potentially accurate, while laser-derived building roof contours are not well defined. First, polygons representing building roof contours are extracted from a high-resolution aerial image. In the sequence, straight-line segments delimitating each building roof polygon are projected onto the corresponding laser-derived roof planes by using a new line-based photogrammetric model. Finally, refined 3D building roof contours are reconstructed by connecting every pair of photogrammetrically- projected adjacent straight lines. The obtained results showed that the proposed approach worked properly, meaning that the integration of image data and laser scanning data allows better results to be obtained, when compared to the results generated by using only laser scanning data. © 2013 IEEE.

The small x behavior of the gluon strucutre function from total cross-sections

Within a QCD-based eikonal model with a dynamical infrared gluon mass scale we discuss how the small x behavior of the gluon distribution function at moderate Q(2) is directly related to the rise of total hadronic cross-sections. In this model the rise of total cross-sections is driven by gluon-gluon semihard scattering processes, where the behavior of the small x gluon distribtuion function exhibits the power law xg(x, Q(2)) = h(Q(2))x(-epsilon). Assuming that the Q(2) scale is proportional to the dynamical gluon mass one, we show that the values of h(Q(2)) obtained in this model are compatible with an earlier result based on a specific nonperturbative Pomeron model. We discuss the implications of this picture for the behavior of input valence-like gluon distributions at low resolution scales.

Desenvolvimento de uma proposta de educação sexual para adolescentes

O objetivo geral do presente estudo foi descrever a experiência de construção e aplicação de uma proposta pedagógica no campo da educação sexual, fundamentada em algumas premissas contidas na concepção de Paulo Freire, visando atender adolescentes de uma comunidade carente do interior paulista. A partir dos questionamentos iniciais levantados pelos jovens foram realizados quatro encontros focando questões sobre sexualidade, anatomia e fisiologia humana, métodos anticoncepcionais e DST/Aids. Com a realização desse trabalho, os jovens tiveram oportunidade de participar de um processo educativo que possibilitou, pelo resgate de suas próprias experiências e crenças, a reflexão sobre sua autonomia na vivência de uma sexualidade saudável, respeitando a si próprio e ao outro.

Rural-urban migration in D-dimensional lattices

The rural-urban migration phenomenon is analyzed by using an agent-based computational model. Agents are placed on lattices which dimensions varying from d = 2 up to d = 7. The localization of the agents in the lattice defines that their social neighborhood (rural or urban) is not related to their spatial distribution. The effect of the dimension of lattice is studied by analyzing the variation of the main parameters that characterizes the migratory process. The dynamics displays strong effects even for around one million of sites, in higher dimensions (d = 6, 7).

A comparative evaluation of open loop and closed loop drug administration strategies in the treatment of AIDS.

In recent years, many researchers in the field of biomedical sciences have made successful use of mathematical models to study, in a quantitative way, a multitude of phenomena such as those found in disease dynamics, control of physiological systems, optimization of drug therapy, economics of the preventive medicine and many other applications. The availability of good dynamic models have been providing means for simulation and design of novel control strategies in the context of biological events. This work concerns a particular model related to HIV infection dynamics which is used to allow a comparative evaluation of schemes for treatment of AIDS patients. The mathematical model adopted in this work was proposed by Nowak & Bangham, 1996 and describes the dynamics of viral concentration in terms of interaction with CD4 cells and the cytotoxic T lymphocytes, which are responsible for the defense of the organism. Two conceptually distinct techniques for drug therapy are analyzed: Open Loop Treatment, where a priori fixed dosage is prescribed and Closed Loop Treatment, where the doses are adjusted according to results obtained by laboratory analysis. Simulation results show that the Closed Loop Scheme can achieve improved quality of the treatment in terms of reduction in the viral load and quantity of administered drugs, but with the inconvenience related to the necessity of frequent and periodic laboratory analysis.

The small x behavior of the gluon structure function from total cross-sections

Within a QCD-based eikonal model with a dynamical infrared gluon mass scale we discuss how the small x behavior of the gluon distribution function at moderate Q 2 is directly related to the rise of total hadronic cross-sections. In this model the rise of total cross-sections is driven by gluon-gluon semihard scattering processes, where the behavior of the small x gluon distribution function exhibits the power law xg(x, Q 2) = h(Q 2)x( -∈). Assuming that the Q 2 scale is proportional to the dynamical gluon mass one, we show that the values of h(Q 2) obtained in this model are compatible with an earlier result based on a specific nonperturbative Pomeron model. We discuss the implications of this picture for the behavior of input valence-like gluon distributions at low resolution scales. © 2008 World Scientific Publishing Company.

A semi-automatic method for indirect orientation of aerial images using ground control lines extracted from airborne laser scanner data

This paper presents a method for indirect orientation of aerial images using ground control lines extracted from airborne Laser system (ALS) data. This data integration strategy has shown good potential in the automation of photogrammetric tasks, including the indirect orientation of images. The most important characteristic of the proposed approach is that the exterior orientation parameters (EOP) of a single or multiple images can be automatically computed with a space resection procedure from data derived from different sensors. The suggested method works as follows. Firstly, the straight lines are automatically extracted in the digital aerial image (s) and in the intensity image derived from an ALS data-set (S). Then, correspondence between s and S is automatically determined. A line-based coplanarity model that establishes the relationship between straight lines in the object and in the image space is used to estimate the EOP with the iterated extended Kalman filtering (IEKF). Implementation and testing of the method have employed data from different sensors. Experiments were conducted to assess the proposed method and the results obtained showed that the estimation of the EOP is function of ALS positional accuracy.

The Development of a Universal In Silico Predictor of Protein-Protein Interactions

Protein-protein interactions (PPIs) are essential for understanding the function of biological systems and have been characterized using a vast array of experimental techniques. These techniques detect only a small proportion of all PPIs and are labor intensive and time consuming. Therefore, the development of computational methods capable of predicting PPIs accelerates the pace of discovery of new interactions. This paper reports a machine learning-based prediction model, the Universal In Silico Predictor of Protein-Protein Interactions (UNISPPI), which is a decision tree model that can reliably predict PPIs for all species (including proteins from parasite-host associations) using only 20 combinations of amino acids frequencies from interacting and non-interacting proteins as learning features. UNISPPI was able to correctly classify 79.4% and 72.6% of experimentally supported interactions and non-interacting protein pairs, respectively, from an independent test set. Moreover, UNISPPI suggests that the frequencies of the amino acids asparagine, cysteine and isoleucine are important features for distinguishing between interacting and non-interacting protein pairs. We envisage that UNISPPI can be a useful tool for prioritizing interactions for experimental validation. © 2013 Valente et al.

Análise da reconstrução 3D a partir de um par estereoscópico HR-CCD/CBERS-2 usando dois modelos matemáticos

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

Um estudo teórico da transferência de calor em fluídos confinados em regiões cilíndricas

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

Informação polarimétrica PALSAR/ALOS aplicada à discriminação de espécies e estimação de parâmetros morfológicos de macrófitas

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

Aspectos de topologia e mutação no processo de enovelamento e evolução de proteínas

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

Uma abordagem pedagógica baseada na análise de modelos para alunos de biologia: qual o papel do software?

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