C o r r e s p o n d ê n c i a : F r e d e r i c o T . U l t r a m a r i É estimado que o número de cateterismos cardíacos diagnósticos e terapêuticos nos países ocidentais seja, respectivamente, de 6.000 e 2.000 procedimentos por milhão de habitantes por ano, com uma demanda anual de 1.800 toneladas de iodo em todo o mundo para a fabricação dos meios de contraste (MC). Além disso, o número dest...

The PTEN gene (also called MMACl and TEPl) at chromosome 10q23 is mutated in a variety of predominantly late-stage tumors and has been shown to suppress glioma cell growth in vitro and in vivo. Here we sought tu determine the mechanism by which PTEN mediates growth inhibition. Using the mutant PTEN glioma cell line, U87MG, as a transfection recip ient for a series of PTEN alÃ-eles, we provide d...

We present a proof system for a simple data-parallel kernel language called L. This proof system is based on a two-component assertion language. We deene a weakest preconditions calculus and analyse its deenability properties. This calculus is used to prove the completeness of the proof system. We also present a two-phase proof methodology, yielding proofs similar to those for scalar languages....

Resumo. Workflows científicos são utilizados para modelar experimentos computacionais. Os resultados desses experimentos são publicados e compartilhados na forma de artigos publicados em veículos científicos. Entretanto, para que tais resultados sejam cientificamente válidos eles devem ser passíveis de reprodução. Pesquisadores da área de eScience têm a necessidade de compartilhar os artefatos ...

Research community has believed that an e-learning ecosystem is the next generation of e-learning but has faced challenges in optimizing resource allocations, dealing with dynamic demands on getting information and knowledge anywhere and anytime, handling rapid storage growth requirements, cost controlling and greater flexibility. So, flourish, growing, scalable, available, up to date and stron...

This paper presents Tempos, a set of models and languages intended to seamlessly extend the ODMG object database standard with temporal functionalities. The proposed models exploit object-oriented technology to meet some important, yet traditionally neglected design criteria, related to legacy code migration and representation independence. Tempos has been fully formalized both at the syntactic...

Exploratory Learning Environments (ELE) are open-ended and flexible software, supporting interaction styles by students that include exogenous actions and trial-and-error. ELEs provide a rich educational environment for students and are becoming increasingly prevalent in schools and colleges, but challenge conventional plan recognition algorithms for inferring students’ activities with the soft...

This report presents several parallel implementations, on a MIMD machine, of a learning algorithm called OLS (Orthogonal Least Squares) for RBF (Radial Basis Function) neural networks. The sequential version is rst described, and a straightforward parallel version is proposed. Two variants are developed, one of them reducing the complexity of the algorithm, and the other one improving the load ...

Vivi em Tóquio, no Japão, entre 1966 e 1969 e fiz amizade com estudantes de uma universidade local. Pensei que pudesse aprender a falar japonês e a lutar Judo com eles, mas os meus amigos japoneses preferiram aprender Inglês comigo! Eu teria gostado de aprender japonês, mas falar Inglês era uma troca justa para aprender Judo eviver o Japão de uma maneira não-turística. Não precisei de pensar mu...