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.

Measuring and analyzing color and texture information in anatomical leaf cross sections: An approach using computer vision to aid plant species identification

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

Teaching and learning data structures supported by computers: An experiment using CADILAG tool

This paper aims to present the use of a learning object (CADILAG), developed to facilitate understanding data structure operations by using visual presentations and animations. The CADILAG allows visualizing the behavior of algorithms usually discussed during Computer Science and Information System courses. For each data structure it is possible visualizing its content and its operation dynamically. Its use was evaluated an the results are presented. © 2012 AISTI.

Cooperative RNA Polymerase Molecules Behavior on a Stochastic Sequence-Dependent Model for Transcription Elongation

The transcription process is crucial to life and the enzyme RNA polymerase (RNAP) is the major component of the transcription machinery. The development of single-molecule techniques, such as magnetic and optical tweezers, atomic-force microscopy and single-molecule fluorescence, increased our understanding of the transcription process and complements traditional biochemical studies. Based on these studies, theoretical models have been proposed to explain and predict the kinetics of the RNAP during the polymerization, highlighting the results achieved by models based on the thermodynamic stability of the transcription elongation complex. However, experiments showed that if more than one RNAP initiates from the same promoter, the transcription behavior slightly changes and new phenomenona are observed. We proposed and implemented a theoretical model that considers collisions between RNAPs and predicts their cooperative behavior during multi-round transcription generalizing the Bai et al. stochastic sequence-dependent model. In our approach, collisions between elongating enzymes modify their transcription rate values. We performed the simulations in Mathematica® and compared the results of the single and the multiple-molecule transcription with experimental results and other theoretical models. Our multi-round approach can recover several expected behaviors, showing that the transcription process for the studied sequences can be accelerated up to 48% when collisions are allowed: the dwell times on pause sites are reduced as well as the distance that the RNAPs backtracked from backtracking sites. © 2013 Costa et al.

Comparison of different designs of implant-retained overdentures and fixed full-arch implant-supported prosthesis on stress distribution in edentulous mandible - A computed tomography-based three-dimensional finite element analysis

A finite element analysis was used to compare the effect of different designs of implant-retained overdentures and fixed full-arch implant-supported prosthesis on stress distribution in edentulous mandible. Four models of an human mandible were constructed. In the OR (O'ring) group, the mandible was restored with an overdenture retained by four unsplinted implants with O'ring attachment; in the BC (bar-clip) -C and BC groups, the mandibles were restored with overdentures retained by four splinted implants with bar-clip anchor associated or not with two distally placed cantilevers, respectively; in the FD (fixed denture) group, the mandible was restored with a fixed full-arch four-implant-supported prosthesis. Models were supported by the masticatory muscles and temporomandibular joints. A 100-N oblique load was applied on the left first molar. Von Mises (σvM), maximum (σmax) and minimum (σmin) principal stresses (in MPa) analyses were obtained. BC-C group exhibited the highest stress values (σvM=398.8, σmax=580.5 and σmin=-455.2) while FD group showed the lowest one (σvM=128.9, σmax=185.9 and σmin=-172.1). Within overdenture groups, the use of unsplinted implants reduced the stress level in the implant/prosthetic components (59.4% for σvM, 66.2% for σmax and 57.7% for σmin versus BC-C group) and supporting tissues (maximum stress reduction of 72% and 79.5% for σmax, and 15.7% and 85.7% for σmin on the cortical and trabecular bones, respectively). Cortical bone exhibited greater stress concentration than the trabecular bone for all groups. The use of fixed implant dentures and removable dentures retained by unsplinted implants to rehabilitate edentulous mandible reduced the stresses in the periimplant bone tissue, mucosa and implant/prosthetic components. © 2013 Elsevier Ltd.

Interface gráfica no contexto de teoria dos jogos sob a forma de Java Apples

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

Caracterização da interação de inositol hexafosfato e cloreto com hemoglobina humana: aspectos energéticos e estruturais

Pós-graduação em Biofísica Molecular - IBILCE

Working paper on the eLAC 2018 Digital Agenda in consideration of Caribbean priorities for technology-supported development

eLAC 2018 will coordinate the implementation of programmes to support the use of information and communications technologies (ICTs) in achieving social and economic development goals for Latin America in the Caribbean during the 2015-2018 timeframe. The conceptual framework for this programme of work is described by the eLAC 2018 Digital Agenda, which is anticipated to be ratified by the fifth Ministerial Conference on the Information Society in Latin America and the Caribbean, to be held in August 2015 in Mexico City. There is a need for broader input from Caribbean countries to the eLAC 2018 Digital Agenda. Accordingly, this working paper reviews the document’s current draft, considering each of its objectives in the context of Caribbean development needs. Amendments are recommended to 12 of the objectives. Two additional objectives are also proposed, in the areas of regional coordination on universal service funds, and the establishment of a spatial data infrastructure to support the use of geographic information systems. Representatives of Caribbean countries are invited to use the contents of this document as an input to the development of their own proposed amendments for inclusion in the final version of the eLAC 2018 Digital Agenda.

Camada de gerenciamento para comunicação entre computadores baseada em redes sem fio (WSE-OS)

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

Estudo do coeficiente de difusão no enovelamento de proteína

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

Metodologia para inovação tecnológica através de sistema colaborativo de inclusão digital e certificação na agricultura familiar

Pós-graduação em Agronomia (Energia na Agricultura) - FCA

Educação de jovens e adultos: perfil identitário dos professores alfabetizadores do Programa Alfabetização Solidária das regiões norte e nordeste

Pós-graduação em Educação - FFC

A práxis dos trabalhadores da Cooperativa Agrícola Resistência Tocantina em Cametá/PA

O presente trabalho teve como objeto de estudo a práxis dos trabalhadores da Cooperativa Agrícola Resistência Tocantina/CART. Dessa forma, buscou-se responder as seguintes questões: de que forma a cooperativa, como realidade objetiva, apresenta-se ao trabalhador como elemento da contradição, ou seja, como a objetividade criada pelos trabalhadores forja a práxis dos trabalhadores? De que forma a objetividade criada se relaciona com a estrutura econômica e superestrutura política e ideológica? E como essa relação reflete na práxis do trabalhador organizado na CART? Com isso, objetivou-se analisar a dinâmica da formação social do trabalhador, tomando por base a categoria da práxis. A metodologia ocorreu a partir da revisão bibliográfica e entrevista semi-estruturada, tendo como método de análise o materialismo histórico-dialético. A pesquisa chegou às seguintes conclusões: A práxis dos trabalhadores no interior da cooperativa forja-se a partir das diversas situações vividas pelo coletivo, seja de natureza econômica, política, técnica, ou científica; Os interesses externos (do capital) se materializam na CART pelo condicionamento da formação empreendida pelas ONGs, as quais fornecem uma formação restrita ao processo produtivo (assistência técnica e comercial); Ocorre também pelo condicionamento do planejamento anual da CART que obedece às exigências das parceiras comerciais (qualidade e quantidade e o tipo de produto que irá fornecer). Esse fato contribui para o desenvolvimento e reprodução da práxis utilitária, a qual se caracteriza por não proporcionar ao homem a compreensão das coisas e da realidade. No entanto, a práxis utilitária, no percurso histórico, produz objetivamente a sua contradição. Isso, porque, ela não se constitui simplesmente como um saber prático, mas se sustenta pela realização concreta; o que a torna elemento das relações econômicas e sociais. Assim, ela oportuniza ao trabalhador/associado um “novo” movimento dialético. Possibilitando, pela atividade cognoscitiva do sujeito, a apreensão da contradição a partir dessa realidade concreta; o que poderá refletir na qualidade da elaboração, ainda que no plano ideal, da atividade teleológica, caracterizada pela exigência prática. Esse processo denomina-se como: a dialética da práxis.

Novel technique for locating an intruder in 3D environments by using a cooperative system of multistatic radars

The aim of this work is to present a new methodology, based on vector and geometrical techniques, for determining the position of an intruder in a residence (3D problem). Initially, modifications in the electromagnetic responses of the environment, caused by movements of the trespasser, are detected. It is worth mentioning that slight movements are detected by high frequency components of the used pulse. The differences between the signals (before and after any movement) are used to define a sphere and ellipsoids, which are used for estimating the position of the invader. In this work, multiple radars are used in a cooperative manner. The multiple estimates obtained are used to determine a mean position and its standard deviation, introducing the concept of sphere of estimates. The electromagnetic simulations were performed by using the FDTD method. Results were obtained for single and double floor residences.

Propriedades espectrais uniformes para operadores de Schrödinger com potenciais Sturmianos

Pós-graduação em Matematica Aplicada e Computacional - FCT