82 resultados para True concurrency


Relevância:

10.00% 10.00%

Publicador:

Resumo:

Biogenic amines and their receptors regulate and modulate many physiological and behavioural processes in animals. In vertebrates, octopamine is only found in trace amounts and its function as a true neurotransmitter is unclear. In protostomes, however, octopamine can act as neurotransmitter, neuromodulator and neurohormone. In the honeybee, octopamine acts as a neuromodulator and is involved in learning and memory formation. The identification of potential octopamine receptors is decisive for an understanding of the cellular pathways involved in mediating the effects of octopamine. Here we report the cloning and functional characterization of the first octopamine receptor from the honeybee, Apis mellifera . The gene was isolated from a brain-specific cDNA library. It encodes a protein most closely related to octopamine receptors from Drosophila melanogaster and Lymnea stagnalis . Signalling properties of the cloned receptor were studied in transiently transfected human embryonic kidney (HEK) 293 cells. Nanomolar to micromolar concentrations of octopamine induced oscillatory increases in the intracellular Ca2+ concentration. In contrast to octopamine, tyramine only elicited Ca2+ responses at micromolar concentrations. The gene is abundantly expressed in many somata of the honeybee brain, suggesting that this octopamine receptor is involved in the processing of sensory inputs, antennal motor outputs and higher-order brain functions.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Two experiments using a temporal occlusion paradigm (the first with expert and novice participants and the second with participants of intermediate skill) were conducted to examine the capability of tennis players to predict the direction of an opponent's service in situ. In both experiments two different response conditions, reflecting differing degrees of perception-action coupling, were employed. In a coupled condition players were required to make a movement-based response identical to that which they would use to hit a return of service in a game situation, whereas in an uncoupled condition a verbal prediction of service direction was required. Experiment 1 provided clear evidence of superior prediction accuracy under the coupled response condition when ball flight was available, plus some limited evidence to suggest that superior prediction accuracy under uncoupled response conditions might hold true if only advance (pre-contact) information was available. Experiment 2 showed the former finding to be a robust one, but was unable to reveal any support for the latter. Experiment 1 also revealed that expert superiority is more apparent for predictions made under natural (coupled) than uncoupled response-mode conditions. Collectively, these findings suggest that different perceptual processes may be in operation in anticipatory tasks which depend on skill level, the type of information presented, and degree of perception-action coupling inherent in the task requirements.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Concurrent programs are hard to test due to the inherent nondeterminism. This paper presents a method and tool support for testing concurrent Java components. Too[ support is offered through ConAn (Concurrency Analyser), a too] for generating drivers for unit testing Java classes that are used in a multithreaded context. To obtain adequate controllability over the interactions between Java threads, the generated driver contains threads that are synchronized by a clock. The driver automatically executes the calls in the test sequence in the prescribed order and compares the outputs against the expected outputs specified in the test sequence. The method and tool are illustrated in detail on an asymmetric producer-consumer monitor. Their application to testing over 20 concurrent components, a number of which are sourced from industry and were found to contain faults, is presented and discussed.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Although obesity is associated with increased risks of morbidity and death in the general population, a number of studies of patients undergoing hemodialysis have demonstrated that increasing body mass index (BMI) is correlated with decreased mortality risk. Whether this association holds true among patients treated with peritoneal dialysis (PD) has been less well studied. The aim of this investigation was to examine the association between BMI and outcomes among new PD patients in a large cohort, with long-term follow-up monitoring. Using data from the Australia and New Zealand Dialysis and Transplant Registry, an analysis of all new adult patients (n = 9679) who underwent an episode of PD treatment in Australia or New Zealand between April 1, 1991, and March 31, 2002, was performed. Patients were classified as obese (BMI of greater than or equal to30 kg/m(2)), overweight (BMI of 25.0 to 29.9 kg/m(2)), normal weight (BMI of 20 to 24.9 kg/m(2)), or underweight (BMI of

Relevância:

10.00% 10.00%

Publicador:

Resumo:

Background: The surgical cure rate for primary hyperparathyroidism is greater than 95%. For those who have recurrent or persistent disease, preoperative localization improves reoperation success rates. Selective parathyroid venous sampling (SPVS) for intact parathyroid hormone is particularly useful when non-invasive localization techniques are negative or inconclusive. Methods: We present all known cases (n = 13) between 1994 and 2002 who had venous sampling for localization at our institution prior to reoperation for recurrent or persistent primary hyperparathyroidism. Comparison was made with non-invasive localization procedures. Results of invasive and non-invasive localization were correlated with surgical findings. Results: Of the nine reoperated cases, eight had positive correlations between SPVS and operative findings and histopathology. SPVS did not reveal the parathyroid hormone source in one case with negative non-invasive localization procedures. Comparisons between SPVS, computerized tomography (CT), and parathyroid scintigraphy (MIBI) as expressed in terms of true positive (TP), false positive (FP) and false negative (FN) were: SPVS - TP 88.8%, FP 0%, FN 11.1%; CT - TP 22.2%, FP 22.2%, FN 55.5%; and MIBI - TP 33.3%, FP 0%, FN 66.6%. At least seven of the nine operated cases have been cured; another remained normocalcaemic 2 weeks after subtotal parathyroidectomy. Conclusion: In our institution SPVS has proven to be a valuable tool in cases with recurrent or persistent primary hyperparathyroidism and negative non-invasive localization procedures.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

This paper is concerned with methods for refinement of specifications written using a combination of Object-Z and CSP. Such a combination has proved to be a suitable vehicle for specifying complex systems which involve state and behaviour, and several proposals exist for integrating these two languages. The basis of the integration in this paper is a semantics of Object-Z classes identical to CSP processes. This allows classes specified in Object-Z to be combined using CSP operators. It has been shown that this semantic model allows state-based refinement relations to be used on the Object-Z components in an integrated Object-Z/CSP specification. However, the current refinement methodology does not allow the structure of a specification to be changed in a refinement, whereas a full methodology would, for example, allow concurrency to be introduced during the development life-cycle. In this paper, we tackle these concerns and discuss refinements of specifications written using Object-Z and CSP where we change the structure of the specification when performing the refinement. In particular, we develop a set of structural simulation rules which allow single components to be refined to more complex specifications involving CSP operators. The soundness of these rules is verified against the common semantic model and they are illustrated via a number of examples.

Relevância:

10.00% 10.00%

Publicador:

Resumo:

A bituminous coal was pyrolyzed in a nitrogen stream in an entrained flow reactor at various temperatures from 700 to 1475 degreesC. Char samples were collected at different positions along the reactor. Each collected sample was oxidized nonisothermally in a TGA for reactivity determination. The reactivity of the coal char was found to decrease rapidly with residence time until 0.5 s, after which it decreased only slightly. On the bases of the reactivity data at various temperatures, a new approach was utilized to obtaining the true activation energy distribution function for thermal annealing without the assumption of any distribution function form or a constant preexponential factor. It appears that the true activation energy distribution function consists of two separate parts corresponding to different temperature ranges, suggesting different mechanisms in different temperature ranges. Partially burnt coal chars were also collected along the reactor when the coal was oxidized in air at various temperatures from 700 to 1475 degreesC. The collected samples were analyzed for the residual carbon content and the specific reaction rate was estimated. The characteristic time of thermal deactivation was compared with that of oxidation under realistic conditions. The characteristic times were found to be close to each other, indicating the importance of thermal deactivation during combustion of the coal studied.