Atividade biológica de células-tronco da polpa de dentes decíduos humanos submetidas à criopreservação

Dental pulp stem cells have been widely investigated because of their ability to differentiate into both dental and non-dental cells, with potential use in therapies involving tissue engineering. The technique of cell cryopreservation represents a viable alternative for the conservation of these cells, since it stops reversibly, in a controlled manner, all of cell biological functions in an ultra low temperature. The present study aimed to evaluate, using in vitro experiments, the influence of a cryopreservation protocol on the biologic acti vity of stem cells from human exfoliated deciduous teeth (SHED). Cells obtained from the pulp of three deciduous teeth on end-stage exfoliation or with indicated extraction were expanded in α-MEM culture medium supplemented with antibiotics and 15% fetal bovine serum. At second subculture (P2), a group of cells were submitted to cryopreservation for 30 days in 10% DMSO diluted in fetal bovine serum, at -80º C, while the remind cells continued under normal conditions of cell culture. Cell proliferation was evaluated in both groups (not cryopreserved or cryopreserved) by Trypan blue stain essay at intervals of 24, 48 and 72h after plating. Cell cycle analysis of SHEDs submitted or not to the cryopreservation protocol was performed in the same intervals. Events related to cell death were studied by Annexyn V and PI expression under flow cytometry at the intervals of 24 and 72h. The presence of nuclear morphological changes was evaluated by DAPI staining at 72h interval. It was observed that both groups exhibited an upward cell proliferation curve, without considerable changes in cell viability throughout the experiment. The distribution of cell in the cell cycle phasis was consistent with cell proliferation in both groups. There were no nuclear morphological damages in the end range of the experiment. therefore, it is concluded that the proposed cryopreservation protocol is efficient for storing the studied cell type, allowing its use in future experimental studies

Prova automática de satisfatibilidade módulo teoria aplicada ao método B

Este trabalho apresenta uma extensão do provador haRVey destinada à verificação de obrigações de prova originadas de acordo com o método B. O método B de desenvolvimento de software abrange as fases de especificação, projeto e implementação do ciclo de vida do software. No contexto da verificação, destacam-se as ferramentas de prova Prioni, Z/EVES e Atelier-B/Click n Prove. Elas descrevem formalismos com suporte à checagem satisfatibilidade de fórmulas da teoria axiomática dos conjuntos, ou seja, podem ser aplicadas ao método B. A checagem de SMT consiste na checagem de satisfatibilidade de fórmulas da lógica de primeira-ordem livre de quantificadores dada uma teoria decidível. A abordagem de checagem de SMT implementada pelo provador automático de teoremas haRVey é apresentada, adotando-se a teoria dos vetores que não permite expressar todas as construções necessárias às especificações baseadas em conjuntos. Assim, para estender a checagem de SMT para teorias dos conjuntos destacam-se as teorias dos conjuntos de Zermelo-Frankel (ZFC) e de von Neumann-Bernays-Gödel (NBG). Tendo em vista que a abordagem de checagem de SMT implementada no haRVey requer uma teoria finita e pode ser estendida para as teorias nãodecidíveis, a teoria NBG apresenta-se como uma opção adequada para a expansão da capacidade dedutiva do haRVey à teoria dos conjuntos. Assim, através do mapeamento dos operadores de conjunto fornecidos pela linguagem B a classes da teoria NBG, obtem-se uma abordagem alternativa para a checagem de SMT aplicada ao método B

Dos requisitos à arquitetura em linhas de produtos de software: uma estratégia de transformações entre modelos

The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAFÉ Quality Model

Efeitos da laserterapia na atividade biológica de células de carcinoma epidermóide de língua humano

The low level laser therapy (LLLT) has shown to be effective in promoting the proliferation of different cells in vitro, including keratinocytes, osteoblasts, endothelial cells and stem cells. It has been speculated that the biostimulatory effect of LLLT could cause undesirable enhancement of tumor growth in neoplastic diseases, since the malignant cells are more susceptible to proliferative stimuli. Within this context, this study evaluated the effect of LLLT on epidermoid carcinoma of the tongue cell line (SCC25) proliferation and invasion. Cultured cells were irradiated with an InGaAIP diode laser, 660nm, 30mW using two energy densities (0.5J/cm2 and 1.0J/cm2). Proliferative activity was assessed through trypan blue staining method and through cell cycle analysis using flow cytometry. The invasive potential was measured through cell invasion assay using matrigel. Cyclin D1, E-cadherin, -catenin and MMP-9 expressions were analyzed by immunofluorescence and flow cytometry and related to the investigated biological activities. Proliferation curve demonstrated that SCC25 irradiated with 1.0J/cm2 had the highest proliferative rate when compared to the control group and the group irradiated with 0.5J/cm2 (p<0.05). LLLT affected cell cycle distribution and energy density of 1.0 J/cm2 promoted a higher percentage of cells in S/G2/M phases, with statistically significant differences at 24h interval (p<0.05). LLLT, mainly with 1.0J/cm2, revealed significantly higher potential for invasion and influenced the expression of cyclin D1, E-cadherin, -catenin and MMP-9, promoting the malignant phenotype. In conclusion, our results indicate that LLLT has an important stimulatory effect on proliferation and invasion of SCC25 cells, likely due to altered expression of proteins associated with these processes

Comparação dos padrões de atratividade de Hermetia illucens (Diptera, Stratiomyidae) associada a carcaças de Rattus norvergicus enterradas e tratadas com hormônios esteróides

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

Ultramorphological features of the egg of Telmatoscopus albipunctatus (Williston) (Diptera, Psychodidae)

Aspectos ultramorfológicos do ovo de Telmatoscopus albipunctatus (Williston) (Diptera, Psychodidae). As moscas da família Psychodidae, também conhecidas como moscas de banheiro, são de importância médica e veterinária. Informações gerais sobre ciclo de vida e hábitos do adulto são facilmente encontradas, mas pouco se sabe sobre a morfologia do ovo. Dessa forma, neste estudo, a ultramofologia do ovo de Telmatoscopus albipunctatus (Williston, 1893) foi analisada por microscopia eletrônica de varredura com o objetivo de descrever sua estrutura, provendo importantes dados para futuras comparações entre moscas de diferentes espécies e gêneros. O aspecto geral do ovo de T. albipunctatus é similar a outros Psychodidae, medindo aproximadamente 0.4 mm de comprimento e 0.1 mm de largura. Entretanto, baseado nas esculturas contínuas e descontínuas do exocórion, as quais podem ser espécie-específicas, podemos inferir que os ovos de T. albipunctatus podem sobreviver sob condições de muita umidade ou seca, dificultando o controle da espécie. Nossos resultados ressaltam a importância do uso da microscopia eletrônica como uma ferramenta no estudo dos padrões do exocórion. A morfologia externa do ovo de T. albipunctatus pode ser usada como base para futuros estudos e como ferramenta para comparação de diferentes espécies de moscas do gênero Psychodidae.

Reproductive aspects of Harttia carvalhoi Miranda Ribeiro, 1939, a small loricariid from streams of serra da Mantiqueira eastern, SP, Brazil

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

Reproductive strategies of two Curimatidae species in a Mogi Guacu impoundment, upper Parana River basin, São Paulo, Brazil

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

Molecular weight estimation of esterase isoenzymes in closely related Drosophila Species (Diptera: Drosophilidae) in non-denaturing polyacrylamide gel electrophoresis

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

New aerophytic morphospecies of Nostoc (Cyanobacteria) from São Paulo State, Brazil

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

Respostas fisiológicas ao déficit hídrico em duas cultivares enxertadas de seringueira (RRIM 600 e GT 1) crescidas em campo

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

Biological cycle of Tenuipalpus heveae Baker (Acari, Tenuipalpidae) on leaflets of three rubber tree clones

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

Feeding associations between Guiana dolphins, Sotalia guianensis (Van Bénèden, 1864) and seabirds in the Lagamar estuary, Brazil

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

Fertility tables of two populations of the parthenogenetic species Poratia salvator (Diplopoda, Polydesmida, Pyrgodesmidae)

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

Biologia de Psyllobora confluens alimentada com o fungo Erysiphe cichoracearum

O objetivo deste trabalho foi avaliar os aspectos biológicos de Psyllobora confluens alimentada com o fungo Erysiphe cichoracearum em folhas de quiabeiro. Larvas recém-eclodidas de P. confluens foram individualizadas e alimentadas diariamente com hifas e conídios do fungo, em folhas de quiabeiro, a 23,6±3 e 27,4±2ºC e fotófase de 12 horas. A duração dos estágios imaturos, os aspectos reprodutivos e a longevidade de P. confluens foram avaliados. O período de desenvolvimento de larva a adulto foi 20,5 dias a 23,6ºC e 16,6 dias a 27,4ºC. em ambas as temperaturas, 80% das larvas de P. confluens atingiram a fase adulta. Fêmeas de P. confluens apresentaram período de oviposição de 32,7 dias, com capacidade diária e total de oviposição de 16,8 e 439,9 ovos, respectivamente. A longevidade das fêmeas foi de 46,1 dias e a dos machos 58,7 dias. P. confluens, ao se alimentar do fungo E. cichoracearum em folhas de quiabeiro, completa o ciclo de vida e apresenta elevados padrões de sobrevivência e reprodução.