68 resultados para Formal Methods. Component-Based Development. Competition. Model Checking
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
Background: Cancer pain severely limits function and significantly reduces quality of life. Subtypes of sensory neurons involved in cancer pain and proliferation are not clear.Methods: We produced a cancer model by inoculating human oral squamous cell carcinoma (SCC) cells into the hind paw of athymic mice. We quantified mechanical and thermal nociception using the paw withdrawal assays. Neurotoxins isolectin B4-saporin (IB4-SAP), or capsaicin was injected intrathecally to selectively ablate IB4(+) neurons or TRPV1(+) neurons, respectively. JNJ-17203212, a TRPV1 antagonist, was also injected intrathecally. TRPV1 protein expression in the spinal cord was quantified with western blot. Paw volume was measured by a plethysmometer and was used as an index for tumor size. Ki-67 immunostaining in mouse paw sections was performed to evaluate cancer proliferation in situ.Results: We showed that mice with SCC exhibited both mechanical and thermal hypersensitivity. Selective ablation of IB4(+) neurons by IB4-SAP decreased mechanical allodynia in mice with SCC. Selective ablation of TRPV1(+) neurons by intrathecal capsaicin injection, or TRPV1 antagonism by JNJ-17203212 in the IB4-SAP treated mice completely reversed SCC-induced thermal hyperalgesia, without affecting mechanical allodynia. Furthermore, TRPV1 protein expression was increased in the spinal cord of SCC mice compared to normal mice. Neither removal of IB4(+) or TRPV1(+) neurons affected SCC proliferation.Conclusions: We show in a mouse model that IB4(+) neurons play an important role in cancer-induced mechanical allodynia, while TRPV1 mediates cancer-induced thermal hyperalgesia. Characterization of the sensory fiber subtypes responsible for cancer pain could lead to the development of targeted therapeutics.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
In recent approaches to the management of product development process (PDP), maturity levels have attracted the attention of practitioners and researchers. The CMMI model contributes to evaluate the maturity levels and improvement of the product development process management. This paper, based on CMMI model, analyzes the practices adopted in two companies of the capital goods industry, which develop and manufacture equipment upon request. It was observed that on account of market conditioning factors and different practices adapted to PDP management, these companies are at different maturity levels. One company is at the initial level of maturity while the other at the most advanced one. It was also noted that the application of CMMI model can provide improvement to PDP management, as well as present guidelines to achieve higher maturity levels, adequate to companies' needs.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Over the last 50 years a new research area, science education research, has arisen and undergone singular development worldwide. In the specific case of Brazil, research in science education first appeared systematically 40 years ago, as a consequence of an overall renovation in the field of science education. This evolution was also related to the political events taking place in the country. We will use the theoretical work of Rene Kaes on the development of groups and institutions as a basis for our discussion of the most important aspects that have helped the area of science education research develop into an institution and kept it operating as such. The growth of this area of research can be divided into three phases: The first was related to its beginning and early configurations; the second consisted of a process of consolidation of this institution; and the third consists of more recent developments, characterised by a multiplicity of research lines and corresponding challenges to be faced. In particular, we will analyse the special contributions to this study gleaned from the field known as the history and philosophy of science.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
The search for better performance in the structural systems has been taken to more refined models, involving the analysis of a growing number of details, which should be correctly formulated aiming at defining a representative model of the real system. Representative models demand a great detailing of the project and search for new techniques of evaluation and analysis. Model updating is one of this technologies, it can be used to improve the predictive capabilities of computer-based models. This paper presents a FRF-based finite element model updating procedure whose the updating variables are physical parameters of the model. It includes the damping effects in the updating procedure assuming proportional and none proportional damping mechanism. The updating parameters are defined at an element level or macro regions of the model. So, the parameters are adjusted locally, facilitating the physical interpretation of the adjusting of the model. Different tests for simulated and experimental data are discussed aiming at defining the characteristics and potentialities of the methodology.
Resumo:
O objetivo deste estudo é analisar o resultado de intervenções psicopedagógicas no desempenho intelectual e em algumas funções cognitivas específicas em crianças provenientes de famílias de baixa renda, expostas a fatores pessoais e sociais adversos, como desnutrição, stress familiar, ambientes doméstico e de estimulação empobrecidos. Foram examinadas 63 crianças, alunas de escola, gratuita e em regime de semi-internato, que recebe crianças consideradas sob risco pessoal e social. Quarenta e três crianças receberam atividades que objetivam ativação cognitiva, durante período mínimo de 1 ano. Vinte crianças eram recém-admitidas. As técnicas da ativação escolhidas foram: método de aprendizagem ativa, com base em Piaget e método de ativação cognitiva para, através de exercícios psicomotores, desenvolver os pré-requisitos para aprendizagem e prevenção de dificuldades escolares, segundo Lambert. A avaliação das funções cognitivas mostrou: nível intelectual insatisfatório em 30% e médio ou superior em 70% e deficiências cognitivas específicas (noção do esquema corporal, percepção viso-motora, percepção de forma e perseveração) em 74%. Maior prevalência de crianças com inteligência superior (p < 0,05) associou-se a dois fatores: 1º: maior tempo de freqüência à escola (de 1 a 3 anos) e 2º: programas de ativação cognitiva. Não foram observadas diferenças entre os 2 grupos em relação à prevalência de alterações das funções cognitivas específicas examinadas. Os resultados demonstram que a recuperação de crianças com as dificuldades descritas é difícil. Exige investigação sistemática sobre os métodos psicopedagógicas selecionados e possivelmente, grande tempo de permanência da criança na escola, além de admissão mais precoce.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
Ties among event times are often recorded in survival studies. For example, in a two week laboratory study where event times are measured in days, ties are very likely to occur. The proportional hazards model might be used in this setting using an approximated partial likelihood function. This approximation works well when the number of ties is small. on the other hand, discrete regression models are suggested when the data are heavily tied. However, in many situations it is not clear which approach should be used in practice. In this work, empirical guidelines based on Monte Carlo simulations are provided. These recommendations are based on a measure of the amount of tied data present and the mean square error. An example illustrates the proposed criterion.
Resumo:
We employ finite elements methods for the approximation of solutions of the Ginzburg-Landau equations describing the deconfinement transition in quantum chromodynamics. These methods seem appropriate for situations where the deconfining transition occurs over a finite volume as in relativistic heavy ion collisions. where in addition expansion of the system and flow of matter are important. Simulation results employing finite elements are presented for a Ginzburg-Landau equation based on a model free energy describing the deconfining transition in pure gauge SU(2) theory. Results for finite and infinite system are compared. (C) 2009 Elsevier B.V. All rights reserved.
Resumo:
This paper provides a review on the latest advances and applications of the luminescence spectroscopy for the development of pharmaceuticals analyses methods, basically based on the photo- and chemiluminescence. The different forms of the drugs determination on pharmaceuticals through the fluorescence and chemiluminescence are discussed. The analyses include the drugs native fluorescence (liquid and solid-phases); the fluorescence from the oxidizing or reducing forms of the drug; the fluorescence from the chemical derivatization and their photochemistry and hydrolysis reactions. The quenching of luminescence and chemiluminescence generation for the pharmaceutical quantification are also shown. Finally, the trends and future perspectives of the luminescence spectroscopy in the field of the pharmaceutical research are discussed.
Resumo:
OBJETIVO: Comparar os tempos de geração e digitação de laudos radiológicos entre um sistema eletrônico baseado na tecnologia de voz sobre o protocolo de internet (VoIP) e o sistema tradicional, em que o radiologista escreve o laudo à mão. MATERIAIS E MÉTODOS: Foi necessário modelar, construir e implantar o sistema eletrônico proposto, capaz de gravar o laudo em formato de áudio digital, e compará-lo com o tradicional já existente. Por meio de formulários, radiologistas e digitadores anotaram os tempos de geração e digitação dos laudos nos dois sistemas. RESULTADOS: Comparadas as médias dos tempos entre os sistemas, o eletrônico apresentou redução de 20% (p = 0,0410) do tempo médio de geração do laudo em comparação com o sistema tradicional. O tradicional foi mais eficiente em relação ao tempo de digitação, uma vez que a média de tempo do eletrônico foi três vezes maior (p < 0,0001). CONCLUSÃO: Os resultados mostraram diferença estatisticamente significante entre os sistemas comparados, sendo que o eletrônico foi mais eficiente do que o tradicional em relação ao tempo de geração dos laudos, porém, em relação ao tempo de digitação, o tradicional apresentou melhores resultados.
Resumo:
Este trabalho tem como objetivo apresentar como o método ABC - activity based costing foi implantado para realizar o custeio da logística interna da empresa química BASF SA., situada na cidade de Guaratinguetá - SP. Apresentam-se: a descrição do processo de mudança do método de custeio tradicional para o método ABC, as dificuldades encontradas e como foram ultrapassadas, bem como as vantagens constatadas pela empresa. O departamento de logística da empresa funciona como um prestador de serviços, atendendo a todos os processos produtivos das divisões (unidades de negócio) existentes na planta de Guaratinguetá, no que concerne à armazenagem e ao fornecimento de matérias-primas, além de atuar na retirada e na armazenagem de produto acabado. Como principais resultados, obteve-se uma distribuição de custos mais justa entre as divisões da planta, identificação de oportunidades de melhoria nos processos logísticos, identificação de processo e atividades que não agregavam valor aos produtos, entre outros. Finalmente, o processo de implantação e os resultados foram muito bem avaliados pelos gestores, o que foi decisivo para a adoção do método ABC como sistema gerencial de custos logísticos da empresa.