91 resultados para Execution semantics


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Analyses of neutrophil death mechanisms have revealed many similarities with other cell types; however, a few important molecular features make these cells unique executors of cell death mechanisms. For instance, in order to fight invading pathogens, neutrophils possess a potent machinery to produce reactive oxygen species (ROS), the phagocyte nicotinamide adenine dinucleotide phosphate (NADPH) oxidase. Evidence is emerging that these ROS are crucial in the execution of most neutrophil cell death mechanisms. Likewise, neutrophils exhibit many diverse granules that are packed with cytotoxic mediators. Of those, cathepsins were recently shown to activate pro-apoptotic B-cell lymphoma-2 (Bcl-2) family members and caspases, thus acting on apoptosis regulators. Moreover, neutrophils have few mitochondria, which hardly participate in ATP synthesis, as neutrophils gain energy from glycolysis. In spite of relatively low levels of cytochrome c in these cells, the mitochondrial death pathway is functional. In addition to these pecularities defining neutrophil death pathways, neutrophils are terminally differentiated cells, hence they do not divide but undergo apoptosis shortly after maturation. The initial trigger of this spontaneous apoptosis remains to be determined, but may result from low transcription and translation activities in mature neutrophils. Due to the unique biological characteristics of neutrophils, pharmacological intervention of inflammation has revealed unexpected and sometimes disappointing results when neutrophils were among the prime target cells during therapy. In this study, we review the current and emerging models of neutrophil cell death mechanisms with a focus on neutrophil peculiarities.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

When reengineering legacy systems, it is crucial to assess if the legacy behavior has been preserved or how it changed due to the reengineering effort. Ideally if a legacy system is covered by tests, running the tests on the new version can identify potential differences or discrepancies. However, writing tests for an unknown and large system is difficult due to the lack of internal knowledge. It is especially difficult to bring the system to an appropriate state. Our solution is based on the acknowledgment that one of the few trustable piece of information available when approaching a legacy system is the running system itself. Our approach reifies the execution traces and uses logic programming to express tests on them. Thereby it eliminates the need to programatically bring the system in a particular state, and handles the test-writer a high-level abstraction mechanism to query the trace. The resulting system, called TESTLOG, was used on several real-world case studies to validate our claims.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Features encapsulate the domain knowledge of a software system and thus are valuable sources of information for a reverse engineer. When analyzing the evolution of a system, we need to know how and which features were modified to recover both the change intention and its extent, namely which source artifacts are affected. Typically, the implementation of a feature crosscuts a number of source artifacts. To obtain a mapping between features to the source artifacts, we exercise the features and capture their execution traces. However this results in large traces that are difficult to interpret. To tackle this issue we compact the traces into simple sets of source artifacts that participate in a feature's runtime behavior. We refer to these compacted traces as feature views. Within a feature view, we partition the source artifacts into disjoint sets of characterized software entities. The characterization defines the level of participation of a source entity in the features. We then analyze the features over several versions of a system and we plot their evolution to reveal how and hich features were affected by changes in the code. We show the usefulness of our approach by applying it to a case study where we address the problem of merging parallel development tracks of the same system.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Most of today's dynamic analysis approaches are based on method traces. However, in the case of object-orientation understanding program execution by analyzing method traces is complicated because the behavior of a program depends on the sharing and the transfer of object references (aliasing). We argue that trace-based dynamic analysis is at a too low level of abstraction for object-oriented systems. We propose a new approach that captures the life cycle of objects by explicitly taking into account object aliasing and how aliases propagate during the execution of the program. In this paper, we present in detail our new meta-model and discuss future tracks opened by it.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This chapter attempts to integrate data from both functional magnetic resonance imaging (fMRI) and electroencephalography (EEG) to elucidate the activation of the cortical areas in musical performance for both execution and imagination of music during string playing. In both fMRI and EEG experiments, playing the music was compared with imagining the music. This allowed separation of the areas mainly involved in motor execution from those involved in imagining, planning, and working memory, thus differentiating musical from purely motor areas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

We combined repetitive transcranial magnetic stimulation (rTMS) and functional magnetic resonance imaging (fMRI) to investigate the functional relevance of parietal cortex activation during the performance of visuospatial tasks. fMRI provides information about local transient changes in neuronal activation during behavioural or cognitive tasks. Information on the functional relevance of this activation was obtained by using rTMS to induce temporary regional deactivations. We thereby turned the physiological parameter of brain activity into an independent variable controlled and manipulated by the experimenter and investigated its effect on the performance of the cognitive tasks within a controlled experimental design. We investigated cognitive tasks that were performed on the same visual material but differed in the demand on visuospatial functions. For the visuospatial tasks we found a selective enhancement of fMRI signal in the superior parietal lobule (SPL) and a selective impairment of performance after rTMS to this region in comparison to a control group. We could thus show that the parietal cortex is functionally important for the execution of spatial judgements on visually presented material and that TMS as an experimental tool has the potential to interfere with higher cognitive functions such as visuospatial information processing.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

The cardinal feature of spatial neglect is severely impaired exploration of the contralesional space, a failure resulting in unawareness of many contralesional stimuli. This deficit is exacerbated by a reflexive attentional bias toward ipsilesional items. Here we show that, in addition to these spatially lateralized failures, neglect patients also exhibit a severe bias favouring stimuli presented at fixation. We tested neglect patients and matched healthy and right-hemisphere damaged patients without neglect in a task requiring saccade execution to targets in the left or right hemifield. Targets were presented alone or simultaneously with a distracter that appeared in the same hemifield, in the opposite hemifield, or at fixation. We found two fundamental biases in saccade initiation of neglect patients: irrelevant distracters presented in the preserved hemifield tended to capture gaze reflexively, resulting in a large number of saccades erroneously directed toward the distracter. Additionally, distracters presented at fixation severely disrupted saccade initiation irrespective of saccade direction, leading to disproportionately increased latencies of left and right saccades. This latency increase was specific to oculomotor responses of neglect patients and was not observed when a manual response was required. These results show that, in addition to their failure to inhibit reflexive glances toward ipsilesional items neglect patients exhibit a strong oculomotor bias favouring fixated stimuli. We conclude that impaired initiation of saccades in any direction contributes to the deficits of spatial exploration that characterize spatial neglect.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper describes a method for DRR generation as well as for volume gradients projection using hardware accelerated 2D texture mapping and accumulation buffering and demonstrates its application in 2D-3D registration of X-ray fluoroscopy to CT images. The robustness of the present registration scheme are guaranteed by taking advantage of a coarse-to-fine processing of the volume/image pyramids based on cubic B-splines. A human cadaveric spine specimen together with its ground truth was used to compare the present scheme with a purely software-based scheme in three aspects: accuracy, speed, and capture ranges. Our experiments revealed an equivalent accuracy and capture ranges but with much shorter registration time with the present scheme. More specifically, the results showed 0.8 mm average target registration error, 55 second average execution time per registration, and 10 mm and 10° capture ranges for the present scheme when tested on a 3.0 GHz Pentium 4 computer.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Patients with schizophrenia have reduced execution functions and white matter alterations indicating cerebral disconnectivity. Here we investigated the relationship between white matter integrity and event related potentials (ERP) during a continuous performance test (CPT). Anisotropy values were correlated with the brain electrical P300 microstate duration and P300 latency associated to the NoGo- and the Go-stimuli of the CPT in 11 patients with first episode schizophrenia and 11 matched healthy controls. Both groups showed significant positive correlations of the NoGo-microstate duration with the white matter signal in the superior frontal region, the optic radiation, the posterior cingulate, and the inferolateral fascicle. In addition, patients with first episode schizophrenia had significant correlations with the right radiation and the left genu of the corpus callosum, bilateral geniculate, and the left middle and the superior temporal regions. We interpreted these findings as a sign of functional correlates of extended circuits for the active inhibition of a motor response in the visual CPT as compared to controls.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

When sight-reading a piece of music the eyes constantly scan the score slightly ahead of music execution. This separation between reading and acting is commonly termed eye-hand span and can be expressed in two ways: as anticipation in notes or in time. Previous research, predominantly in piano players, found skill-dependent differences of eye-hand span. To date no study has explored visual anticipation in violinists. The present study investigated how structural properties of a piece of music affect the eye-hand span in a group of violinists. To this end eye movements and bow reversals were recorded synchronously while musicians sight-read a piece of music. The results suggest that structural differences of the score are reflected in the eye-hand span in a way similar to skill level. Specifically, the piece with higher complexity was associated with lower anticipation in notes, longer fixation duration and a tendency for more regressive fixations. Anticipation in time, however, remained the same (approximately 1 s) independently of the score played but was correlated with playing tempo. We conclude that the eye-hand span is not only influenced by the experience of the musician, but also by the structure of the score to be played.