Component identification through program slicing

This paper reports on the development of specific slicing techniques for functional programs and their use for the identification of possible coherent components from monolithic code. An associated tool is also introduced. This piece of research is part of a broader project on program understanding and re-engineering of legacy code supported by formal methods

Cytogenetic and identification of the nucleolus organizer region in Heliconia bihai (L.) L.

The genus Heliconia is not much studied and the number of existing species in this genus is still uncertain. It is known that this number relies between 150 to 250 species. In Brazil, about 40 species are native and known by many different names. The objective of this paper was to characterize morphometrically and to identify the NOR (active nucleolus organizer regions) by Ag-NOR banding of chromosomes of Heliconia bihai (L) L. Root meristems were submitted to blocking treatment in an amiprofos-methyl (APM) solution, fixed in methanol-acetic acid solution for 24 hours, at least. The meristems were washed in distilled water and submitted to enzymatic digestion with pectinase enzyme. The slides were prepared by dissociation of the root meristem, dried in the air and also on hot plate at 50°C. Subsequently, some slides were submitted to 5% Giemsa stain for karyotype construction and to a solution of silver nitrate (AgNO3) 50% for Ag-NOR banding. The species H. bihai has 2n = 22 chromosomes, 4 pairs of submetacentric chromosomes and 7 pairs of metacentric chromosomes, and graded medium to short (3.96 to 0.67 μM), with the presence of active NOR in pairs 1 and 2 and interphase cells with 2 nucleoli. These are the features of a diploid species.

Identification of 'Ubá' mango tree zygotic and nucellar seedlings using ISSR markers

Polyembryonic seeds are characterized by the development of over one embryo in the same seed, which can be zygotic and nucellar. The objective of this work was to identify the genetic origin, whether zygotic or nucellar, of seedlings of polyembryonic seeds of 'Ubá' mango tree using ISSR markers, and relating them with the vigor of the seedlings. Thus, mangos were harvested in Visconde do Rio Branco (accession 102) and Ubá (accessions 112, 138, 152 and 159), whose seeds were germinated in plastic trays filled with washed sand. Fifty days after sowing, seedlings from five seeds of each one of the accessions 102, 112, 138, 159 and from 10 seeds of the accession 152, were analyzed. These sseedlings were characterized and evaluated for plant height, stem circumference and mass of fresh aerial part and the most vigorous seedling was the one displaying at least two of these traits higher than the other seedlings from seed. Leaves were collected for genomic DNA extraction, which was amplified using seven ISSR primers previously selected based on the amplification profile and considering the number and resolution of fragments. Zygotic seedlings were found in 18 seeds, which were the most vigorous in six seeds. The results evidenced the existence of genetic variability in orchards using seedlings grown from seeds, because the farmer usually uses the most vigorous ones, assuming that this is of nucellar origin. These results also indicate that the most vigorous seedling are not always nucellar, inasmuch as of 20% of the total seeds evaluated, the zygotic seedling was the most vigorous.

Identification of tsunami-induced deposits using numerical modeling and rock magnetism techniques: A study case of the 1755 Lisbon tsunami in Algarve, Portugal

Storm- and tsunami-deposits are generated by similar depositional mechanisms making their discrimination hard to establish using classic sedimentologic methods. Here we propose an original approach to identify tsunami-induced deposits by combining numerical simulation and rock magnetism. To test our method, we investigate the tsunami deposit of the Boca do Rio estuary generated by the 1755 earthquake in Lisbon which is well described in the literature. We first test the 1755 tsunami scenario using a numerical inundation model to provide physical parameters for the tsunami wave. Then we use concentration (MS. SIRM) and grain size (chi(ARM), ARM, B1/2, ARM/SIRM) sensitive magnetic proxies coupled with SEM microscopy to unravel the magnetic mineralogy of the tsunami-induced deposit and its associated depositional mechanisms. In order to study the connection between the tsunami deposit and the different sedimentologic units present in the estuary, magnetic data were processed by multivariate statistical analyses. Our numerical simulation show a large inundation of the estuary with flow depths varying from 0.5 to 6 m and run up of similar to 7 m. Magnetic data show a dominance of paramagnetic minerals (quartz) mixed with lesser amount of ferromagnetic minerals, namely titanomagnetite and titanohematite both of a detrital origin and reworked from the underlying units. Multivariate statistical analyses indicate a better connection between the tsunami-induced deposit and a mixture of Units C and D. All these results point to a scenario where the energy released by the tsunami wave was strong enough to overtop and erode important amount of sand from the littoral dune and mixed it with reworked materials from underlying layers at least 1 m in depth. The method tested here represents an original and promising tool to identify tsunami-induced deposits in similar embayed beach environments.

Identification of tsunami-induced deposits using numerical modeling and rock magnetism techniques: A study case of the 1755 Lisbon tsunami in Algarve, Portugal

Storm- and tsunami-deposits are generated by similar depositional mechanisms making their discrimination hard to establish using classic sedimentologic methods. Here we propose an original approach to identify tsunami-induced deposits by combining numerical simulation and rock magnetism. To test our method, we investigate the tsunami deposit of the Boca do Rio estuary generated by the 1755 earthquake in Lisbon which is well described in the literature. We first test the 1755 tsunami scenario using a numerical inundation model to provide physical parameters for the tsunami wave. Then we use concentration (MS. SIRM) and grain size (chi(ARM), ARM, B1/2, ARM/SIRM) sensitive magnetic proxies coupled with SEM microscopy to unravel the magnetic mineralogy of the tsunami-induced deposit and its associated depositional mechanisms. In order to study the connection between the tsunami deposit and the different sedimentologic units present in the estuary, magnetic data were processed by multivariate statistical analyses. Our numerical simulation show a large inundation of the estuary with flow depths varying from 0.5 to 6 m and run up of similar to 7 m. Magnetic data show a dominance of paramagnetic minerals (quartz) mixed with lesser amount of ferromagnetic minerals, namely titanomagnetite and titanohematite both of a detrital origin and reworked from the underlying units. Multivariate statistical analyses indicate a better connection between the tsunami-induced deposit and a mixture of Units C and D. All these results point to a scenario where the energy released by the tsunami wave was strong enough to overtop and erode important amount of sand from the littoral dune and mixed it with reworked materials from underlying layers at least 1 m in depth. The method tested here represents an original and promising tool to identify tsunami-induced deposits in similar embayed beach environments.

A comparative study of alternative approaches for common factors identification

Preliminary version

Isolation and serological identification of enteropathogenic Escherichia coli in pasteurized milk in Brazil

OBJECTIVE: To evaluate the microbiological quality of pasteurized milk commercialized in Rio de Janeiro, Brazil, and determine serologically enteropathogenic Escherichia coli (EPEC) strains in E. coli isolates obtained from milk samples. METHODS: Ninety samples of pasteurized milk -- types B and C -- of three different commercial brands, purchased in supermarkets and bakeries in Rio de Janeiro, were examined. The amount of total and fecal coliform bacteria was estimated using the Most Probable Number technique. Mesophilic, psychrotrophic, and thermoduric microorganism counts were determined by the Standard Plate Count technique. Isolation and identification of E. coli were carried out using conventional physiological tests. Commercial antisera were used for serological characterization of EPEC. RESULTS: The three milk brands analyzed revealed bacterial counts above the regulated values of the Brazilian government. It was found that among 208 strains of E. coli isolated, 46 (22.1%) were serologically classified as EPEC. The most common EPEC serogroup was O55 (15.2%). CONCLUSIONS: Though recent studies on virulence factors indicate that not all strains serologically classified as EPEC are able to attaching/effacing lesion, it is believed that the isolation of EPEC serogroups from pasteurized milk represent a potential risk for children, as well as an indicative of the presence of other enteropathogens.

Identificação de compostos que modulam a patogénese da doença de Machado-Joseph em C.elegans: autofagia como alvo terapêutico: identification of small compounds that modulate pathogenesis of Machado-Joseph disease in a C.elegans model: targeting autophagy

A doença de Machado-Joseph (DMJ) ou ataxia espinocerebelosa do tipo 3 (SCA3), conhecida por ser a mais comum das ataxias hereditárias dominantes em todo o mundo, é uma doença neurodegenerativa autossómica dominante que leva a uma grande incapacidade motora, embora sem alterar o intelecto, culminando com a morte do doente. Atualmente não existe nenhum tratamento eficaz para esta doença. A DMJ é resultado de uma alteração genética causada pela expansão de uma sequência poliglutamínica (poliQ), na região C-terminal do gene que codifica a proteína ataxina-3 (ATXN3). Os mecanismos celulares das doenças de poliglutaminas que provocam toxicidade, bem como a função da ATXN3, não são ainda totalmente conhecidos. Neste trabalho, usamos, pela sua simplicidade e potencial genético, um pequeno animal invertebrado, o nemátode C. elegans, com o objetivo de identificar fármacos eficazes para o combate contra a patogénese da DMJ, analisando simultaneamente o seu efeito na agregação da ATXN3 mutante nas células neuronais in vivo e o seu impacto no comportamento motor dos animais. Este pequeno invertebrado proporciona grandes vantagens no estudo dos efeitos tóxicos de proteínas poliQ nos neurónios, uma vez que a transparência das suas 959 células (das quais 302 são neurónios) facilita a deteção de proteínas fluorescentes in vivo. Para além disso, esta espécie tem um ciclo de vida curto, é económica e de fácil manutenção. Neste trabalho testámos no nosso modelo transgénico da DMJ com 130Qs em C.elegans dois compostos potencialmente moduladores da agregação da ATXN3 mutante e da resultante disfunção neurológica, atuando pela via da autofagia. De modo a validar a possível importância terapêutica da ativação da autofagia os compostos candidatos escolhidos foram o Litío e o análogo da Rapamicina CCI-779, testados independentemente e em combinação. A neuroproteção conferida pelo Litío e pelo CCI-779 independentemente sugere que o uso destes fármacos possa ser considerado uma boa estratégia como terapia para a DMJ, a testar em organismos evolutivamente mais próximos do humano. A manipulação da autofagia, segundo vários autores, parece ser benéfica e pode ser a chave para o desenvolvimento de novos tratamentos para várias doenças relacionadas com a agregação proteica e o envelhecimento.

Identification of tsunami-induced deposits using numerical modeling and rock magnetism techniques: Astudy case of the 1755 Lisbon tsunami in Algarve, Portugal (vol 182, pg 187, 2010)

Storm- and tsunami-deposits are generated by similar depositional mechanisms making their discrimination hard to establish using classic sedimentologic methods. Here we propose an original approach to identify tsunami-induced deposits by combining numerical simulation and rock magnetism. To test our method, we investigate the tsunami deposit of the Boca do Rio estuary generated by the 1755 earthquake in Lisbon which is well described in the literature. We first test the 1755 tsunami scenario using a numerical inundation model to provide physical parameters for the tsunami wave. Then we use concentration (MS. SIRM) and grain size (chi(ARM), ARM, B1/2, ARM/SIRM) sensitive magnetic proxies coupled with SEM microscopy to unravel the magnetic mineralogy of the tsunami-induced deposit and its associated depositional mechanisms. In order to study the connection between the tsunami deposit and the different sedimentologic units present in the estuary, magnetic data were processed by multivariate statistical analyses. Our numerical simulation show a large inundation of the estuary with flow depths varying from 0.5 to 6 m and run up of similar to 7 m. Magnetic data show a dominance of paramagnetic minerals (quartz) mixed with lesser amount of ferromagnetic minerals, namely titanomagnetite and titanohematite both of a detrital origin and reworked from the underlying units. Multivariate statistical analyses indicate a better connection between the tsunami-induced deposit and a mixture of Units C and D. All these results point to a scenario where the energy released by the tsunami wave was strong enough to overtop and erode important amount of sand from the littoral dune and mixed it with reworked materials from underlying layers at least 1 m in depth. The method tested here represents an original and promising tool to identify tsunami-induced deposits in similar embayed beach environments.

Mould and yeast identification in archival settings: preliminary results on the use of traditional methods and molecular biology options in Portuguese archives

This project was developed to fully assess the indoor air quality in archives and libraries from a fungal flora point of view. It uses classical methodologies such as traditional culture media – for the viable fungi – and modern molecular biology protocols, especially relevant to assess the non-viable fraction of the biological contaminants. Denaturing high-performance liquid chromatography (DHPLC) has emerged as an alternative to denaturing gradient gel electrophoresis (DGGE) and has already been applied to the study of a few bacterial communities. We propose the application of DHPLC to the study of fungal colonization on paper-based archive materials. This technology allows for the identification of each component of a mixture of fungi based on their genetic variation. In a highly complex mixture of microbial DNA this method can be used simply to study the population dynamics, and it also allows for sample fraction collection, which can, in many cases, be immediately sequenced, circumventing the need for cloning. Some examples of the methodological application are shown. Also applied is fragment length analysis for the study of mixed Candida samples. Both of these methods can later be applied in various fields, such as clinical and sand sample analysis. So far, the environmental analyses have been extremely useful to determine potentially pathogenic/toxinogenic fungi such as Stachybotrys sp., Aspergillus niger, Aspergillus fumigatus, and Fusarium sp. This work will hopefully lead to more accurate evaluation of environmental conditions for both human health and the preservation of documents.

Identification of a 0.4 Kb deletion region in 10q26 associated with endometrial carcinoma

We have identified an allelic deletion common region in the q26 region of chromosome 10 in endometrial carcinomas, which has been reported previously as a potential target of genetic alterations related to this neoplasia. An allelotyping analysis of 19 pairs of tumoral and non-tumoral samples was accomplished using seven microsatellite polymorphic markers mapping in the 10q26 chromosomal region. Loss of heterozygosity for one or more loci was detected in 29% of the endometrial carcinoma samples. The observed pattern of loss enabled the identification of a 3.5 Mb common deleted region located between the D10S587 and D10S186 markers. An additional result from an endometrial sample with evidence of a RER phenotype may suggest a more centromeric region of loss within the above-mentioned interval. This 401.84 Kb interval flanked by the D10S587 and D10S216 markers may be a plausible location for a putative suppressor gene involved in early stage endometrial carcinogenesis.

Identification of neuronal alterations induced by Shank3 mutations using iPS cells from Phelan-McDermid Patients' Fibroblasts

A família de proteínas Shank é o principal conjunto de proteinas de suporte e está localizada na densidade pós-sináptica das sinapses excitatórias. Existem 3 genes na família Shank, Shank1, Shank2 e Shank3 e são caracterizados por múltiplos domínios repetidos de anquirina próximo ao N-terminal seguido pelos domínios Src homologo 3 e PDZ, uma região longa rica em prolina e um domínio de motivo α estéril próximo ao C-terminal. Shank proteínas conectam duas subunidades de receptors glutamatérgicos, recetores NMDA e recetores metabotrópicos de glutamato do tipo-I (mGluRs). O domínio PDZ da Shank conecta-se ao C-terminal do GKAP e este, liga-se, ao complexo recetor PSD-95-NMDA. Por outro lado, a proteína Homer interage com o domínio rico em prolina para confirmar a associação entre a proteína Shank com o mGluR tipo-I. A proteína específica em estudo, Shank3, é haploinsuficiente em pacientes com sindrome Phelan-McDermid devido à deleções no braço comprido do cromossoma 22 levando à danos intelectuais, ausência ou atraso no discurso, comportamentos semelhantes ao autismo, hipotonia e características dismórficas. Neste trabalho, investigamos o papel da Shank3 na função sináptica para compreender a relação entre alterações nesta proteína e as características neurológicas presente em Pacientes com síndrome Phelan-McDermid. Foram utilizados dois modelos diferentes, ratinhos knockout Shank3 e hiPSC de pacientes com PMS. Ratinhos geneticamente modificados são ferramentas uteis no estudo de genes e na compreensão dos mecanismos que experiências in vitro não são capazes de reproduzir, mas de maneira a compreender melhor as patologias humanas, decidimos trabalhar também com células humanas. Os fibroblastos dos pacientes com síndrome Phelan-McDermid fora reprogramados em hiPS cells, diferenciados em neurónios e comparados com os neurónios obtidos a partir de doadores saudavéis e da mesma idade. A reprogramação em iPSC foi realizada por infecção de lentivirus com quatro genes de reprogramação OCT4, c-MYC, SOX2 e KFL4 para posteriormente serem diferenciados em neurónios, com cada passo sendo positivamente confirmado através de marcadores neuronais. Através dos neurónios diferenciados, analisamos a expressão de proteínas sinápticas. Pacientes com haploinsuficiencia na proteína Shank3 apresentam níveis elevados de proteína mGluR5 e decrescidos de proteína Homer sugerindo que a haploinsuficiencia leva a desregulação do complexo mGluR5-Homer-Shank3 conduzindo também, a defeitos na maturação sináptica. Assim, a expressão da proteína mGluR5 está alterada nos pacientes com PMS podendo estar relacionada com defeitos encontrados na diferenciação neuronal e maturação sináptica observados nos neurónios de pacientes. Conclusivamente, iPS cells representam um modelo fundamental no estudo da proteína Shank3 e a sua influência no sindrome de Phelan-McDermid.

Integração da tecnologia Near Field Communications nas telecomunicações móveis

O telemóvel tem-se transformado numa ferramenta essencial no nosso dia-a-dia, constantemente são lançadas novas tecnologias que potenciam o uso do telemóvel nas tarefas do nosso quotidiano. Atualmente a grande tendência passa por fazer o download de aplicações com o objetivo de obter mais e diferentes tipos de informação, existe o desejo de ler de forma simples e intuitiva o mundo que nos rodeia, como se cada elemento fosse um objeto sobre o qual conseguiremos obter informação através do telemóvel. A tecnologia Near Field Communication (NFC) ajuda a transformar este desejo ou necessidade numa realidade de simples alcance. Podemos anexar “identificadores” nos objetos e “ver” estes identificadores através do telemóvel recorrendo a aplicações que fazem a ponte com os sistemas que nos permitem obter mais informação, por exemplo, internet. O NFC especifica um padrão de comunicação de redes sem fios, que permite a transferência de dados entre dois dispositivos separados por uma distância máxima de 10cm. NFC foi desenhado para ser integrado em telemóveis, que podem comunicar com outros telemóveis equipados com NFC ou ler informação de cartões ou tags. A dissertação avalia as oportunidades que a tecnologia NFC oferece ao mundo das telecomunicações móveis, nomeadamente na realidade do operador Vodafone Portugal, principalmente numa relação Empresa - Cliente. Esta tecnologia reúne o interesse dos fabricantes dos telemóveis, dos operadores e de parceiros críticos que vão ajudar a potenciar o negócio, nomeadamente entidades bancárias e interbancárias. A tecnologia NFC permite utilizar o telemóvel como um cartão de crédito/debito, ticketing, ler informação de posters (Smart Poster) que despoletem navegação contextualizada para outras aplicações ou para a internet para obter mais informação ou concretizar compras, estes são alguns cenários identificados que mais valor o NFC consegue oferecer. A dissertação foca-se na avaliação técnica do NFC na área de Smart Posters e resulta na identificação num conjunto de novos cenários de utilização, que são especificados e complementados com o desenvolvimento de um protótipo.

Hyperspectral subspace identification

Signal subspace identification is a crucial first step in many hyperspectral processing algorithms such as target detection, change detection, classification, and unmixing. The identification of this subspace enables a correct dimensionality reduction, yielding gains in algorithm performance and complexity and in data storage. This paper introduces a new minimum mean square error-based approach to infer the signal subspace in hyperspectral imagery. The method, which is termed hyperspectral signal identification by minimum error, is eigen decomposition based, unsupervised, and fully automatic (i.e., it does not depend on any tuning parameters). It first estimates the signal and noise correlation matrices and then selects the subset of eigenvalues that best represents the signal subspace in the least squared error sense. State-of-the-art performance of the proposed method is illustrated by using simulated and real hyperspectral images.

Signal Subspace Identification in Hyperspectral Linear Mixtures

Chpater in Book Proceedings with Peer Review Second Iberian Conference, IbPRIA 2005, Estoril, Portugal, June 7-9, 2005, Proceedings, Part II