950 resultados para Symbolic Execution
Resumo:
A Execução Condicional Dinâmica (DCE) é uma alternativa para redução dos custos relacionados a desvios previstos incorretamente. A idéia básica é buscar todos os fluxos produzidos por um desvio que obedecem algumas restrições relativas à complexidade e tamanho. Como conseqüência, um número menor de previsões é executado, e assim, um número mais baixo de desvios é incorretamente previsto. Contudo, tal como outras soluções multi-fluxo, o DCE requer uma estrutura de controle mais complexa. Na arquitetura DCE, é observado que várias réplicas da mesma instrução são despachadas para as unidades funcionais, bloqueando recursos que poderiam ser utilizados por outras instruções. Essas réplicas são geradas após o ponto de convergência dos diversos fluxos em execução e são necessárias para garantir a semântica correta entre instruções dependentes de dados. Além disso, o DCE continua produzindo réplicas até que o desvio que gerou os fluxos seja resolvido. Assim, uma seção completa do código pode ser replicado, reduzindo o desempenho. Uma alternativa natural para esse problema é reusar essas seções (ou traços) que são replicadas. O objetivo desse trabalho é analisar e avaliar a efetividade do reuso de valores na arquitetura DCE. Como será apresentado, o princípio do reuso, em diferentes granularidades, pode reduzir efetivamente o problema das réplicas e levar a aumentos de desempenho.
Resumo:
One of the challenges presented by the current conjecture in Global Companies is to recognize and understand that the culture and levels in structure of the Power Distance in Organizations in different countries contribute, significantly, toward the failure or success of their strategies. The alignment between the implementation and execution of new strategies for projects intended for the success of the Organization as a whole, rather than as an individual part thereof, is an important step towards reducing the impacts of Power Distance (PDI) on the success of business strategies. A position at odds with this understanding by Companies creates boundaries that increase organizational chasms, also taking into consideration relevant aspects such as, FSAs (Firm-Specific Advantages) and CSAs (Country-Specific Advantages). It is also important that the Organizations based in countries or regions of low Power Distance (PDI) between its individuals be more flexible and prepared to ask and to hear the suggestions from Regional and Local Offices. Thus, the purpose of this study is to highlight the elements of effective strategy implementation considering the relevant aspects at all levels of global corporate culture that justify the influences of power distance when implementing new strategies and also to minimize the impacts of this internal business relationship. This study also recognizes that other corporate and cultural aspects are relevant for the success of business strategies so consider, for instance, the lack of alignment between global and regional/local organizations, the need for competent leadership resources, as well as the challenges that indicate the distance between the hierarchical levels ─ Headquarters and Regional Office ─ as some of the various causes that prevent the successful execution of global strategies. Finally, we show that the execution of the strategy cannot be treated as a construction solely created by the Headquarters or by only one Board and that it needs to be understood as a system aimed at interacting with the surroundings.
Resumo:
This thesis discusses family as a social and historical construction and concerns to the perceptions developed by the peripheral youth living in suburbs. It investigates the speeches of young boys and girls who take part in Engenho de sonhos a forum composed by a pool of eleven non-governmental organizations and UFRN which aim is the elaboration and execution of projects focusing local development of poor communities in violence and social exclusion context. Throughout interactive diagnosis seminars in five communities in West Side of Natal with six hundred teenagers, it was detected the need to work with family relationships. In order to build the methodological corpus a range variety of procedures were done such as: interviews, focal groups and psychosocial questionnaires with nine local young leaders. The purpose to understand data guided the research through the theory of social imagery and pointed out the following themes: conceptions, relationship, roles, family projects. Live stories of these young population reveals conflicts when it comes to the configuration of family ties, far from the family model stated by society. Family is also, in their perception, an important space to the development of affection, in experiences of all sorts, affecting personality development and determining behaviors in local contexts. The research concludes stating the urge to comprehend this academic work as a way to fight against symbolic and emotional poverty in family context producing discussions and critical reflection in a permanent relation between juvenile social vulnerability (characterized by lacks of all orders) and potential
Resumo:
A interação entre arte e ciência foi intensa durante o Renascimento, sofrendo declínio nos anos posteriores com retomada significativa no século XX, principalmente com o uso de técnicas de identificação, datação de obras de arte e o desenvolvimento de novos materiais. O relacionamento entre artes plásticas e Cirurgia da Mão mantêm-se intenso , sendo freqüente o uso de reproduções artísticas da mão nas ilustrações de textos científicos. Objetivando compreender o papel da mão nas artes plásticas, reproduções de obras de artes (esculturas e pinturas) representativas de vários estilos ou períodos da história da arte foram analisadas com enfoque no estudo das mãos. Detalhes anatômicos, relacionamento com outras estruturas do corpo humano, papel na composição e aspectos simbólicos das mãos foram estudados no contexto histórico e artístico de obras de arte do período paleolítico (pré-história) até o século XX. A representação da mão nas artes plásticas está diretamente relacionada ao estilo ou período da obra e à capacidade individual de interpretação e execução do artista.
Resumo:
Symbolic power is discussed with reference to mathematics and formal languages. Two distinctions are crucial for establishing mechanical and formal perspectives: one between appearance and reality, and one between sense and reference. These distinctions include a nomination of what to consider primary and secondary. They establish the grammatical format of a mechanical and a formal world view. Such views become imposed on the domains addressed by means of mathematics and formal languages. Through such impositions symbolic power of mathematics becomes exercised. The idea that mathematics describes as it prioritises is discussed with reference to robotting and surveillance. In general, the symbolic power of mathematics and formal languages is summarised through the observations: that mathematics treats parts and properties as autonomous, that it dismembers what it addresses and destroys the organic unity around things, and that it simplifies things and reduces them to a single feature. But, whatever forms the symbolic power may take, it cannot be evaluated along a single good-bad axis.
Resumo:
Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)
Resumo:
This study aimed to determine the influence of flexibility of the chair seat surface on the pressure peak and on the contact area during the execution of a task of handling an object on the seated position by individuals with spastic cerebral palsy. Ten individuals of both genders with diagnosis of spastic cerebral palsy, who had some control to voluntarily move the body and the upper limbs, participated in this study. Quantification of data was carried out in two experimental situations: (1) execution of a task of fitting with upper limbs, and with the individual placed on an adapted canvas seat; (2) execution of a task of fitting with the participant positioned on an adapted wooden seat. Data obtained were submitted to a non-parametric and descriptive statistical analysis using the Wilcoxon test. Results indicated that the use of canvas seat increased the contact area and decreased the pressure peak and the medio-lateral displacement of centre pressure on the seated posture. © 2011 Informa UK, Ltd.
Resumo:
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)
Resumo:
This study investigated the influence of cueing on the performance of untrained and trained complex motor responses. Healthy adults responded to a visual target by performing four sequential movements (complex response) or a single movement (simple response) of their middle finger. A visual cue preceded the target by an interval of 300, 1000, or 2000 ms. In Experiment 1, the complex and simple responses were not previously trained. During the testing session, the complex response pattern varied on a trial-by-trial basis following the indication provided by the visual cue. In Experiment 2, the complex response and the simple response were extensively trained beforehand. During the testing session, the trained complex response pattern was performed in all trials. The latency of the untrained and trained complex responses decreased from the short to the medium and long cue-target intervals. The latency of the complex response was longer than that of the simple response, except in the case of the trained responses and the long cue-target interval. These results suggest that the preparation of untrained complex responses cannot be completed in advance, this being possible, however, for trained complex responses when enough time is available. The duration of the 1st submovement, 1st pause and 2nd submovement of the untrained and the trained complex responses increased from the short to the long cue-target interval, suggesting that there is an increase of online programming of the response possibly related to the degree of certainty about the moment of target appearance.
Resumo:
Introduction: The saccadic paradigm has been used to investigate specific cortical networks involving attention. The behavioral and electrophysiological investigations of the SEM contribute significantly to the understanding of attentive patterns presented of neurological and psychiatric disorders and sports performance. Objective: The current study aimed to investigate absolute alpha power changes in sensorimotor brain regions and the frontal eye fields during the execution of a saccadic task. Methods: Twelve healthy volunteers (mean age: 26.25; SD: +/- 4.13) performed a saccadic task while the electroencephalographic signal was simultaneously recorded for the cerebral cortex electrodes. The participants were instructed to follow the LEDs with their eyes, being submitted to two different task conditions: a fixed pattern versus a random pattern. Results: We found a moment main effect for the C3, C4, F3 and F4 electrodes and a condition main effect for the F3 electrode. We also found interaction between factor conditions and frontal electrodes. Conclusions: We conclude that absolute alpha power in the left frontal cortex discriminates the execution of the two stimulus presentation patterns during SEM. (C) 2012 Elsevier Ireland Ltd. All rights reserved.
Resumo:
Increasing age is associated with a reduction in overall heart rate variability as well as changes in complexity of physiologic dynamics. The aim of this study was to verify if the alterations in autonomic modulation of heart rate caused by the aging process could be detected by Shannon entropy (SE), conditional entropy (CE) and symbolic analysis (SA). Complexity analysis was carried out in 44 healthy subjects divided into two groups: old (n = 23, 63 +/- A 3 years) and young group (n = 21, 23 +/- A 2). It was analyzed SE, CE [complexity index (CI) and normalized CI (NCI)] and SA (0V, 1V, 2LV and 2ULV patterns) during short heart period series (200 cardiac beats) derived from ECG recordings during 15 min of rest in a supine position. The sequences characterized by three heart periods with no significant variations (0V), and that with two significant unlike variations (2ULV) reflect changes in sympathetic and vagal modulation, respectively. The unpaired t test (or Mann-Whitney rank sum test when appropriate) was used in the statistical analysis. In the aging process, the distributions of patterns (SE) remain similar to young subjects. However, the regularity is significantly different; the patterns are more repetitive in the old group (a decrease of CI and NCI). The amounts of pattern types are different: 0V is increased and 2LV and 2ULV are reduced in the old group. These differences indicate marked change of autonomic regulation. The CE and SA are feasible techniques to detect alteration in autonomic control of heart rate in the old group.