44 resultados para Symbolic Execution

em Biblioteca Digital da Produção Intelectual da Universidade de São Paulo (BDPI/USP)


Relevância:

20.00% 20.00%

Publicador:

Resumo:

In this paper it is presented the theoretical background, the architecture (using the ""4+1"" model), and the use of the library for execution of adaptive devices, AdapLib. This library was created seeking to be accurate to the adaptive devices theory, and to allow its easy extension considering the specific details of solutions that employ this kind of device. As an example, it is presented a case study in which the library was used to create a proof of concept to monitor and diagnose problems in an online news portal.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Objective To evaluate the influence of oral contraceptives (OCs) containing 20 mu mu g ethinylestradiol (EE) and 150 mu mu g gestodene (GEST) on the autonomic modulation of heart rate (HR) in women. Methods One-hundred and fifty-five women aged 24 +/-+/- 2 years were divided into four groups according to their physical activity and the use or not of an OC: active-OC, active-non-OC (NOC), sedentary-OC, and sedentary-NOC. The heart rate was registered in real time based on the electrocardiogram signal for 15 minutes, in the supine-position. The heart rate variability (HRV) was analysed using Shannon`s entropy (SE), conditional entropy (complexity index [CInd] and normalised CInd [NCI]), and symbolic analysis (0V%, 1V%, 2LV%, and 2ULV%). For statistical analysis the Kruskal-Wallis test with Dunn post hoc and the Wilcoxon test (p < 0.05 was considered significant) were applied. Results Treatment with this COC caused no significant changes in SE, CInd, NCI, or symbolic analysis in either active or sedentary groups. Active groups presented higher values for SE and 2ULV%, and lower values for 0V% when compared to sedentary groups (p < 0.05). Conclusion HRV patterns differed depending on life style; the non-linear method applied was highly reliable for identifying these changes. The use of OCs containing 20 mu mu g EE and 150 mu mu g GEST does not influence HR autonomic modulation.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The foramen of Vesalius (FV) is located in the greater wing of the sphenoid bone between the foramen ovale (FO) and the foramen rotundum in an intracranial view. The FO allows the passage of the mandibular branch of trigeminal nerve, which is the target of the trigeminal radiofrequency rhizotomy. We analyzed its location, morphology, morphometry and interrelation among other foramina. 400 macerated adult human skulls were examined. A digital microscope (Dino-Lite plus(A (R))) was used to capture images from the FV. A digital caliper was used to perform the measurements of the distance between the FV and other foramina (FO, foramen spinosum and the carotid canal) in an extracranial view of the skull base. In the 400 analyzed skulls, the FV was identified in 135 skulls (33.75%) and absent on both sides in 265 skulls (66.25%). The FV was observed present bilaterally in 15.5% of the skulls. The incidence of unilateral foramen was 18.25% of the skulls of which 7.75% on right side and 10.5% on left side. The diameter of the FV was measured and we found an average value of 0.65 mm, on right side 0.63 mm and on the left side 0.67 mm. We verified that positive correlations were statistically significant among the three analyzed distances. This study intends to offer specific anatomical data with morphological patterns (macroscopic and mesoscopic) to increase the understanding of the FV features as frequency, incidence and important distances among adjacent foramina.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In the present work, the effects of spatial constraints on the efficiency of task execution in systems underlain by geographical complex networks are investigated, where the probability of connection decreases with the distance between the nodes. The investigation considers several configurations of the parameters defining the network connectivity, and the Barabasi-Albert network model is also considered for comparisons. The results show that the effect of connectivity is significant only for shorter tasks, the locality of connection simplied by the spatial constraints reduces efficiency, and the addition of edges can improve the efficiency of the execution, although with increasing locality of the connections the improvement is small.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The InteGrade project is a multi-university effort to build a novel grid computing middleware based on the opportunistic use of resources belonging to user workstations. The InteGrade middleware currently enables the execution of sequential, bag-of-tasks, and parallel applications that follow the BSP or the MPI programming models. This article presents the lessons learned over the last five years of the InteGrade development and describes the solutions achieved concerning the support for robust application execution. The contributions cover the related fields of application scheduling, execution management, and fault tolerance. We present our solutions, describing their implementation principles and evaluation through the analysis of several experimental results. (C) 2010 Elsevier Inc. All rights reserved.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

TEMA: crianças deficientes auditivas não adquirem linguagem no mesmo período e velocidade de uma criança normo-ouvinte, pois o aprendizado da linguagem oral é um evento essencialmente auditivo. O desenvolvimento da criança consiste na aquisição progressiva de habilidades motoras e psicocognitivas, e a entrada no mundo simbólico é fator preponderante para que a criança possa atingir os níveis de maior complexidade no domínio da linguagem. OBJETIVO: relacionar o jogo simbólico e aspectos do desenvolvimento infantil em crianças deficientes auditivas com seus pares ouvintes. MÉTODO: 32 crianças, de ambos os sexos, de 2 a 6 anos de idade, pareadas por idade, foram submetidas à Avaliação da Maturidade Simbólica e ao Teste de Triagem do Desenvolvimento de Denver II, sendo 16 deficientes auditivas neurossensorial de grau moderado a profundo (grupo pesquisa - GP) e 16 normo-ouvintes (grupo controle - GC). RESULTADOS: observou-se simbolismo na brincadeira de 81,25% do GP, enquanto que no GC isto ocorreu em 87,5%. No Teste de Denver II 100% do GP foi classificado como risco, e o GC apresentou 94% de crianças normais e 6% de risco (p < 0,001). CONCLUSÃO: observou-se desempenho semelhante nos dois grupos quanto ao jogo simbólico. Entretanto, numa análise qualitativa, o GP apresentou brincadeiras menos complexas que o GC. Observou-se que o GP apresentou desempenho no jogo simbólico compatível ao seu desempenho nos aspectos pessoal-social, motor fino-adaptativo e motor grosseiro do Teste de Denver II.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Os sistemas biológicos são surpreendentemente flexíveis pra processar informação proveniente do mundo real. Alguns organismos biológicos possuem uma unidade central de processamento denominada de cérebro. O cérebro humano consiste de 10(11) neurônios e realiza processamento inteligente de forma exata e subjetiva. A Inteligência Artificial (IA) tenta trazer para o mundo da computação digital a heurística dos sistemas biológicos de várias maneiras, mas, ainda resta muito para que isso seja concretizado. No entanto, algumas técnicas como Redes neurais artificiais e lógica fuzzy tem mostrado efetivas para resolver problemas complexos usando a heurística dos sistemas biológicos. Recentemente o numero de aplicação dos métodos da IA em sistemas zootécnicos tem aumentado significativamente. O objetivo deste artigo é explicar os princípios básicos da resolução de problemas usando heurística e demonstrar como a IA pode ser aplicada para construir um sistema especialista para resolver problemas na área de zootecnia.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

OBJETIVO: Compreender como o adolescente com diabetes mellitus tipo I vivencia sua experiência de doença e como lida com esta situação no cotidiano. MÉTODOS: O Interacionismo Simbólico foi utilizado como referencial teórico e a Teoria Fundamentada nos Dados como o referencial metodológico da pesquisa. Participaram do estudo 10 adolescentes com diagnóstico de diabetes mellitus tipo 1 há mais de um ano. RESULTADOS: Foram identificados dois fenômenos explicativos da experiência: não sendo normal ter diabetes e sendo normal ter diabetes. CONCLUSÃO: Os dois fenômenos não são isolados ou excludentes para o mesmo adolescente, parecendo haver períodos ou fases em que os adolescentes identificam-se e vivenciam ora um fenômeno ora outro, com maior ou menor intensidade.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Os chamados ídolos de pedra amazônicos, apesar de conhecidos há mais de cem anos, constituem uma categoria de artefatos indígenas sem contexto arqueológico, histórico ou etnográfico. Este artigo apresenta uma primeira análise formal das peças conhecidas e algumas hipóteses sobre a sua função e finalidade. O estilo, os motivos simbólicos e o detalhe funcional de pares de furos idênticos em todos os exemplares sugerem que eles eram parte do instrumental usado nos rituais xamânicos de inalação do paricá e de outras substâncias alucinógenas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A expansão da tríplice continência em unidades com quatro ou mais elementos abriu novas perspectivas para a compreensão de comportamentos complexos, como a emergência de respostas que derivam da formação de classes de estímulos equivalentes e que modelam comportamentos simbólicos e conceituais. Na investigação experimental, o procedimento de matching to sample tem sido frequentemente empregado para estabelecer discriminações condicionais. Em particular, a obtenção do matching de identidade generalizado é considerada demonstrativa da aquisição dos conceitos de igualdade e diferença. Segundo argumentamos, o fato de se buscar a compreensão desses conceitos a partir de processos discriminativos condicionais pode ter sido responsável pelos frequentes fracassos em demonstrá-los em sujeitos não humanos. A falta de correspondência entre os processos discriminativos responsáveis por estabelecer a relação de reflexividade entre estímulos que formam classes equivalentes e o matching de identidade generalizado, nesse sentido, é aqui revista ao longo de estudos empíricos e discutida com respeito às suas implicações.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Classical and operant conditioning principles, such as the behavioral discrepancy-derived assumption that reinforcement always selects antecedent stimulus and response relations, have been studied at the neural level, mainly by observing the strengthening of neuronal responses or synaptic connections. A review of the literature on the neural basis of behavior provided extensive scientific data that indicate a synthesis between the two conditioning processes based mainly on stimulus control in learning tasks. The resulting analysis revealed the following aspects. Dopamine acts as a behavioral discrepancy signal in the midbrain pathway of positive reinforcement, leading toward the nucleus accumbens. Dopamine modulates both types of conditioning in the Aplysia mollusk and in mammals. In vivo and in vitro mollusk preparations show convergence of both types of conditioning in the same motor neuron. Frontal cortical neurons are involved in behavioral discrimination in reversal and extinction procedures, and these neurons preferentially deliver glutamate through conditioned stimulus or discriminative stimulus pathways. Discriminative neural responses can reliably precede operant movements and can also be common to stimuli that share complex symbolic relations. The present article discusses convergent and divergent points between conditioning paradigms at the neural level of analysis to advance our knowledge on reinforcement.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este artigo visa categorizar as brincadeiras das crianças de um povoado rural do nordeste do Brasil. Foram observadas individualmente 32 crianças entre dois e 12 anos, de ambos os sexos, brincando em ambiente livre, em sessões de cinco minutos. A categoria de 'brincadeiras simbólicas' foi a mais observada (49%). Os temas das brincadeiras simbólicas estavam predominantemente atrelados ao modo de vida local. Diferenças de gênero foram observadas e analisadas. Os dados sugerem que meninas brincam mais simbolicamente, enquanto as brincadeiras dos meninos são mais variadas. A relação entre brincadeira e contexto baseia-se no aproveitamento das potencialidades que o ambiente oferece para o desenvolvimento da criança caracterizando as relações entre aspectos particulares de cada ambiente e as atividades lúdicas desenvolvidas.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

O conceito de sofrimento social caracteriza-se pela compreensão das situações de aflição e dor como experiências sociais e não como problemas individuais. Este trabalho analisa a natureza social e política do sofrimento de um adolescente em cumprimento de medida socioeducativa. Inspirado na abordagem de Veena Das, o artigo se apóia em "carne" e discurso para problematizar a relação entre cidadania e segmentos juvenis discriminados, que se manifesta nas ambiguidades das práticas institucionais presentes no fluxo de execução de medidas socioeducativas. O artigo analisa as contradições entre o objetivo institucional de evitar a reincidência de atos infracionais, auxiliando o adolescente a tornar-se um cidadão autônomo, e as narrativas e expressões corporais dos adolescentes durante o cumprimento das medidas. A trajetória aqui descrita leva ao reconhecimento de que o trânsito da medida de internação para as medidas em meio aberto se dá sob a tensão entre o discurso institucional de reorganizar a vida escolar, familiar e comunitária e a experiência cotidiana dos adolescentes, que segue marcada pela constante ameaça policial e pela privação de acessos a bens públicos. O cumprimento de medidas socioeducativas acaba por reforçar entre os adolescentes a aflição de serem socialmente tidos como suspeitos e fugitivos e, consequentemente, a incorporação de um lugar social particular, o de membro do "mundo do crime". O desempenho na vida cotidiana de um "estilo bandido" revela formas de resposta ao discurso dominante no sistema socioeducativo, contexto que indica o paradoxo do Estado brasileiro, que garante uma democracia formal enquanto viola direitos civis.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Este artigo se propõe a analisar o tipo de relação que as Unidades de Saúde estabelecem com os adolescentes no município de Fortaleza, CE, na perspectiva da violência simbólica de Pierre Bourdieu. Para tanto, foram organizados seis grupos focais constituídos de profissionais das Unidades Básicas de Saúde da Família. O número de participantes variou de 10 a 15 pessoas. Os critérios de escolha das Unidades foram: aquelas que já realizaram algum projeto de promoção à saúde ou prevenção de doenças com adolescentes; que possuem profissionais que são reconhecidos por desenvolverem atendimento junto aos adolescentes. As falas do grupo foram anotadas e transcritas por um observador independente. O material coletado foi analisado de acordo com os critérios clássicos da análise de conteúdo. Os resultados mostraram que há uma descrença na implantação de políticas públicas para a saúde na adolescência e que a sustentabilidade de programas e projetos fica fragilizada pela ausência dessa estrutura de apoio às ações no cuidado aos adolescentes

Relevância:

10.00% 10.00%

Publicador:

Resumo:

The information and communication technologies, to suggest new ways of production circulation and reception of symbolic products, contributing together with the aesthetic discussion related to post-modernity to make the current cultural scene becoming increasingly complex. Multiple layers of information are added to the cultural products, signalling the formation of a new type of knowledge necessary for the critical and understanding of the works. The article reflects on this process, focusing on cultural information present on the Internet.