933 resultados para Functions of real variables


Relevância:

100.00% 100.00%

Publicador:

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Background: Helicobacter pylori ClariRes assay is a novel commercially available real-time PCR assay allowing H. pylori detection and clarithromycin susceptibility testing in either gastric biopsy or stool specimens. Objective: The aim of this study was to validate the novel biprobe real-time assay in stool specimens from 217 dyspeptic children. Methods: DNA from gastric biopsies and stool specimens were obtained and submitted to the biprobe real time assay for H. pylori detection and clarithromycin susceptibility testing. Results: The sensitivity, specificity, and test accuracy were 69, 100 and 93.9% for the detection of H. pylori infection and 83.3, 100 and 95.6%, for detection of clarithromycin resistance. Conclusion: This assay proved to be appropriate for H. pylori clarithromycin susceptibility testing, particularly in children populations where a high prevalence of clarithromycin-resistant strains is suspected.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Conservation of biodiversity can generate considerable indirect economic value and this is being increasingly recognized in China. For a forest ecosystem type of a nature reserve, the most important of its values are its ecological functions which provide human beings and other living things with beneficial environmental services. These services include water conservancy, soil protection, CO2 fixation and O-2 release, nutrient cycling, pollutant decomposition, and disease and pest control. Based on a case study in Changbaishan Mountain Biosphere Reserve in Northeast China, this paper provides a monetary valuation of these services by using opportunity cost and alternative cost methods. Using such an approach, this reserve is valued at 510.11 million yuan (USD 61.68 mill.) per year, 10 times higher than the opportunity cost (51.78 mill. yuan/ha.a) for regular timber production. While China has heeded United Nations Environmental Program (UNEP)'s call for economic evaluation of ecological functions, the assessment techniques used need to be improved in China and in the West for reasons mentioned.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The EphA4 receptor tyrosine kinase regulates the formation of the corticospinal tract (CST), a pathway controlling voluntary movements, and of the anterior commissure (AC), connecting the neocortical temporal robes. To study EphA4 kinase signaling in these processes, we generated mice expressing mutant EphA4 receptors either lacking kinase activity or with severely downregulated kinase activity. We demonstrate that EphA4 is required for CST formation as a receptor for which it requires an active kinase domain. In contrast, the formation of the AC is rescued by kinase-dead EphA4, suggesting that in this structure EphA4 acts as a ligand for which its kinase activity is not required. Unexpectedly, the cytoplasmic sterile-alpha motif (SAM) domain is not required for EphA4 functions. Our findings establish both kinase-dependent and kinase-independent functions of EphA4 in the formation of major axon tracts.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Education for health is a process in which all public health and medical care personnel are involved. People learn both formally (planned learning experiences) and informally (unplanned learning experiences). Since the patient, the client, the consummer and the community expect public health and medical care personnel to assist them with health and disease issues and problems, the response of the professional "educates" the customer whether the professional intends to educate or not. Therefore, it is incumbent on all public health and medical care professionals to understand their educational functions and their role in health education. It is also important that the role of the specialist in education be clear. The specialist, as to all other specialists, has an in-depth knowledge of his area of expertise, i.e., the teaching/learning process; s/he may function as a consultant to others to enhance the educational potential of their role or s/he may work with a team or with communities or groups of patients. Specific competencies and knowledge are required of the health education specialist; and there is a body of learning and social change theory which provides a frame of reference for planning, implementing and evaluating educational programs. Working with others to enhance their potential to learn and to make informed decisions about health/disease issues is the hallmark of the health education specialist.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

The study of electricity markets operation has been gaining an increasing importance in last years, as result of the new challenges that the electricity markets restructuring produced. This restructuring increased the competitiveness of the market, but with it its complexity. The growing complexity and unpredictability of the market’s evolution consequently increases the decision making difficulty. Therefore, the intervenient entities are forced to rethink their behaviour and market strategies. Currently, lots of information concerning electricity markets is available. These data, concerning innumerous regards of electricity markets operation, is accessible free of charge, and it is essential for understanding and suitably modelling electricity markets. This paper proposes a tool which is able to handle, store and dynamically update data. The development of the proposed tool is expected to be of great importance to improve the comprehension of electricity markets and the interactions among the involved entities.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Monitoring is a very important aspect to consider when developing real-time systems. However, it is also important to consider the impact of the monitoring mechanisms in the actual application. The use of Reflection can provide a clear separation between the real-time application and the implemented monitoring mechanisms, which can be introduced (reflected) into the underlying system without changing the actual application part of the code. Nevertheless, controlling the monitoring system itself is still a topic of research. The monitoring mechanisms must contain knowledge about “how to get the information out”. Therefore, this paper presents the ongoing work to define a suitable strategy for monitoring real-time systems through the use of Reflection.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

This paper presents an architecture (Multi-μ) being implemented to study and develop software based fault tolerant mechanisms for Real-Time Systems, using the Ada language (Ada 95) and Commercial Off-The-Shelf (COTS) components. Several issues regarding fault tolerance are presented and mechanisms to achieve fault tolerance by software active replication in Ada 95 are discussed. The Multi-μ architecture, based on a specifically proposed Fault Tolerance Manager (FTManager), is then described. Finally, some considerations are made about the work being done and essential future developments.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

In this paper we discuss challenges and design principles of an implementation of slot-based tasksplitting algorithms into the Linux 2.6.34 version. We show that this kernel version is provided with the required features for implementing such scheduling algorithms. We show that the real behavior of the scheduling algorithm is very close to the theoretical. We run and discuss experiments on 4-core and 24-core machines.