914 resultados para Reactive Probabilistic Automata
Resumo:
OBJECTIVE: The objective of this study is to examine the diurnal variability of C-reactive protein (CRP) in obstructive sleep apnea (OSA). METHODS AND MEASUREMENTS: Participants included 44 women and men with untreated OSA (mean apnea/hypopnea index = 37.5, SD +/- 28) and 23 healthy adults with no OSA. Sleep was monitored with polysomnography in the University of California San Diego General Clinical Research Center. Over a 24-h period, blood was collected every 2 h, and CRP levels were determined. RESULTS: Adjusting for age, gender, and body mass index, a significant group by time interaction showed that patients with OSA had higher CRP levels during the daytime (8:00 a.m.-8:00 p.m.) versus the nighttime (10:00 p.m. until 6:00 p.m.; p < 0.001). Non-apneics showed no significant change in CRP levels during the 24 h. CONCLUSIONS: The findings indicate that sleep apnea patients have disproportionately elevated CRP levels in the day versus the nighttime, possibly as a result of carryover effects of nighttime arousal into the daytime.
Resumo:
Mixed Reality (MR) aims to link virtual entities with the real world and has many applications such as military and medical domains [JBL+00, NFB07]. In many MR systems and more precisely in augmented scenes, one needs the application to render the virtual part accurately at the right time. To achieve this, such systems acquire data related to the real world from a set of sensors before rendering virtual entities. A suitable system architecture should minimize the delays to keep the overall system delay (also called end-to-end latency) within the requirements for real-time performance. In this context, we propose a compositional modeling framework for MR software architectures in order to specify, simulate and validate formally the time constraints of such systems. Our approach is first based on a functional decomposition of such systems into generic components. The obtained elements as well as their typical interactions give rise to generic representations in terms of timed automata. A whole system is then obtained as a composition of such defined components. To write specifications, a textual language named MIRELA (MIxed REality LAnguage) is proposed along with the corresponding compilation tools. The generated output contains timed automata in UPPAAL format for simulation and verification of time constraints. These automata may also be used to generate source code skeletons for an implementation on a MR platform. The approach is illustrated first on a small example. A realistic case study is also developed. It is modeled by several timed automata synchronizing through channels and including a large number of time constraints. Both systems have been simulated in UPPAAL and checked against the required behavioral properties.
Resumo:
In this paper, we propose an intelligent method, named the Novelty Detection Power Meter (NodePM), to detect novelties in electronic equipment monitored by a smart grid. Considering the entropy of each device monitored, which is calculated based on a Markov chain model, the proposed method identifies novelties through a machine learning algorithm. To this end, the NodePM is integrated into a platform for the remote monitoring of energy consumption, which consists of a wireless sensors network (WSN). It thus should be stressed that the experiments were conducted in real environments different from many related works, which are evaluated in simulated environments. In this sense, the results show that the NodePM reduces by 13.7% the power consumption of the equipment we monitored. In addition, the NodePM provides better efficiency to detect novelties when compared to an approach from the literature, surpassing it in different scenarios in all evaluations that were carried out.
Resumo:
BACKGROUND: There is increasing evidence suggesting that development of progressive canine cranial cruciate ligament (CCL) rupture involves a gradual degeneration of the CCL itself, initiated by a combination of factors, ranging from mechanical to biochemical. To date, knowledge is lacking to what extent cruciate disease results from abnormal biomechanics on a normal ligament or contrary how far preliminary alterations of the ligament due to biochemical factors provoke abnormal biomechanics. This study is focused on nitric oxide (NO), one of the potential biochemical factors. The NO-donor sodium nitroprusside (SNP) has been used to study NO-dependent cell death in canine cranial and caudal cruciate ligament cells and to characterize signaling mechanisms during NO-stimulation. RESULTS: Sodium nitroprusside increased apoptotic cell death dose- and time-dependently in cruciate ligamentocytes. Cells from the CCL were more susceptible to apoptosis than CaCL cells. Caspase-3 processing in response to SNP was not detected. Testing major upstream and signal transducing pathways, NO-induced cruciate ligament cell death seemed to be mediated on different levels. Specific inhibition of tyrosine kinase significantly decreased SNP-induced cell death. Mitogen activated protein kinase ERK1 and 2 are activated upon NO and provide anti-apoptotic signals whereas p38 kinase and protein kinase C are not involved. Moreover, data showed that the inhibition reactive oxygen species (ROS) significantly reduced the level of cruciate ligament cell death. CONCLUSIONS: Our data support the hypothesis that canine cruciate ligamentocytes, independently from their origin (CCL or CaCL) follow crucial signaling pathways involved in NO-induced cell death. However, the difference on susceptibility upon NO-mediated apoptosis seems to be dependent on other pathways than on these tested in the present study. In both, CCL and CaCL, the activation of the tyrosine kinase and the generation of ROS reveal important signaling pathways. In perspective, new efforts to prevent the development and progression of cruciate disease may include strategies aimed at reducing ROS.
Resumo:
BACKGROUND The correlation between noninvasive markers with endoscopic activity according to the modified Baron Index in patients with ulcerative colitis (UC) is unknown. We aimed to evaluate the correlation between endoscopic activity and fecal calprotectin (FC), C-reactive protein (CRP), hemoglobin, platelets, blood leukocytes, and the Lichtiger Index (clinical score). METHODS UC patients undergoing complete colonoscopy were prospectively enrolled and scored clinically and endoscopically. Samples from feces and blood were analyzed in UC patients and controls. RESULTS We enrolled 228 UC patients and 52 healthy controls. Endoscopic disease activity correlated best with FC (Spearman's rank correlation coefficient r = 0.821), followed by the Lichtiger Index (r = 0.682), CRP (r = 0.556), platelets (r = 0.488), blood leukocytes (r = 0.401), and hemoglobin (r = -0.388). FC was the only marker that could discriminate between different grades of endoscopic activity (grade 0, 16 [10-30] μg/g; grade 1, 35 [25-48] μg/g; grade 2, 102 [44-159] μg/g; grade 3, 235 [176-319] μg/g; grade 4, 611 [406-868] μg/g; P < 0.001 for discriminating the different grades). FC with a cutoff of 57 μg/g had a sensitivity of 91% and a specificity of 90% to detect endoscopically active disease (modified Baron Index ≥ 2). CONCLUSIONS FC correlated better with endoscopic disease activity than clinical activity, CRP, platelets, hemoglobin, and blood leukocytes. The strong correlation with endoscopic disease activity suggests that FC represents a useful biomarker for noninvasive monitoring of disease activity in UC patients.
Resumo:
Cutaneous reactive angiomatoses (CRA) encompass a distinct group of rare benign reactive vascular proliferations that include reactive angioendotheliomatosis, diffuse dermal angiomatosis and reactive intralymphatic histiocytosis. The etiology of these conditions, often associated with either localized or systemic diseases, is poorly understood. We report a 72-year-old woman who presented giant diffuse cellulitis-like plaques on the right lower limb and the pelvis and a reduction of her general condition with fever. Light microscopy studies revealed combined features of reactive angioendotheliomatosis, diffuse dermal angiomatosis and reactive intralymphatic histiocytosis. A small arteriovenous fistula of the right lower leg was thought to act as trigger. Systemic corticosteroids resulted in the clinical remission of the skin lesions. Our observation provides strong evidence that reactive angioendotheliomatosis, diffuse dermal angiomatosis and reactive intralymphatic histiocytosis, previously regarded as distinct forms of CRA, may show overlapping histopathological features and most likely represent facets of the same disease.
Resumo:
There is emerging evidence for a link between sedentary behavior and mental health, although the mechanisms remain unknown. We tested if an underlying inflammatory process explains the association between sedentary behavior and depressive symptoms. We conducted a two year follow-up of 4964 (aged 64.5 ± 8.9 years) men and women from the English Longitudinal Study of Ageing, a cohort of community dwelling older adults. Self-reported TV viewing time was assessed at baseline as a marker of leisure time sedentary behavior. The eight-item Centre of Epidemiological Studies Depression (CES-D) scale was administered to measure depressive symptoms at follow-up. At baseline, TV time was associated with C-reactive protein (CRP), adjusted geometric mean CRP values were 2.94 mg/L (<2 h/d TV); 3.04 mg/L (2–4 h/d TV); 3.29 mg/L (4–6 h/d TV); 3.23 mg/L (>6 h/d TV). We observed both a direct association of TV time on CES-D score at follow-up (B = 0.08, 95% CI, 0.05, 0.10) and indirect effects (B = 0.07, 95% CI, 0.05, 0.08). The indirect effects were largely explained through lack of physical activity, smoking, and alcohol, but not by CRP or body mass index.
Resumo:
Gas diffusion research in soils covers, to a large extent, the transport behavior of practically insoluble gases. We extend the mathematical description of gas transport to include reactive gaseous components that hydrolyze in water such as SO2 and CO2. The path between the free atmosphere and the microporous niches is modeled by assuming penetration through gas-filled macropores, air-water phase transfer, and diffusion and speciation in the liquid phase. For hydrolyzable gases, the rate of mass transfer into and the total absorption capacity of the soil solution may be high. Both the capacity and the transfer rate are influenced by the soil-solution pH; for high pH, they become extremely high for SO2. The soil absorption of such gases is also influenced by soil structure. Well-aerated, near-neutral soils are a potentially important sink for SO2.
Resumo:
Based on a dye tracer experiment in a sand tank we addressed the problem of local dispersion of conservative tracers in the unsaturated zone. The sand bedding was designed to have a defined spatial heterogeneity with a strong anisotropy. We estimated the parameters that characterize the local dispersion and dilution from concentration maps of a high spatial and temporal resolution obtained by image analysis. The plume spreading and mixing behavior was quantified on the basis of the coefficient of variation of the concentration and of the dilution index. The heterogeneous structure modified the flow pattern depending on water saturation. The shape of the tracer plumes revealed the structural signature of the sand bedding at low saturation only. In this case pronounced preferential flow was observed. At higher flow rates the structure remained hidden by a spatially almost homogeneous behavior of the plumes. In this context, we mainly discuss the mechanism of re-distributing a finite mass of inert solutes over a large volume, due to macro- and micro-heterogeneities of the structure. (C) 2001 Elsevier Science Ltd. AU rights reserved.
Resumo:
C-Reactive Protein (CRP) is a biomarker indicating tissue damage, inflammation, and infection. High-sensitivity CRP (hsCRP) is an emerging biomarker often used to estimate an individual’s risk for future coronary heart disease (CHD). hsCRP levels falling below 1.00 mg/l indicate a low risk for developing CHD, levels ranging between 1.00 mg/l and 3.00 mg/l indicate an elevated risk, and levels exceeding 3.00 mg/l indicate high risk. Multiple Genome-Wide Association Studies (GWAS) have identified a number of genetic polymorphisms which influence CRP levels. SNPs implicated in such studies have been found in or near genes of interest including: CRP, APOE, APOC, IL-6, HNF1A, LEPR, and GCKR. A strong positive correlation has also been found to exist between CRP levels and BMI, a known risk factor for CHD and a state of chronic inflammation. We conducted a series of analyses designed to identify loci which interact with BMI to influence CRP levels in a subsample of European-Americans in the ARIC cohort. In a stratified GWA analysis, 15 genetic regions were identified as having significantly (p-value < 2.00*10-3) distinct effects on hsCRP levels between the two obesity strata: lean (18.50 kg/m2 < BMI < 24.99 kg/m2) and obese (BMI ≥ 30.00 kg/m2). A GWA analysis performed on all individuals combined (i.e. not a priori stratified for obesity status) with the inclusion of an additional parameter for BMI by gene interaction, identified 11 regions which interact with BMI to influence hsCRP levels. Two regions containing the genes GJA5 and GJA8 (on chromosome 1) and FBXO11 (on chromosome 2) were identified in both methods of analysis suggesting that these genes possibly interact with BMI to influence hsCRP levels. We speculate that atrial fibrillation (AF), age-related cataracts and the TGF-β pathway may be the biological processes influenced by the interaction of GJA5, GJA8 and FBXO11, respectively, with BMI to cause changes in hsCRP levels. Future studies should focus on the influence of gene x bmi interaction on AF, age-related cataracts and TGF-β.