15 resultados para 3-valued model logic
em BORIS: Bern Open Repository and Information System - Berna - Suiça
Resumo:
The aim of this prospective cohort study was to identify modifiable protective factors of the progression of acute/subacute low back pain (LBP) to the persistent state at an early stage to reduce the socioeconomic burden of persistent LBP. Patients attending a health practitioner for acute/subacute LBP were assessed at baseline addressing occupational, personal and psychosocial factors, and followed up over 12 weeks. Pearson correlations were calculated between these baseline factors and the presence of nonpersistent LBP at 12-week follow-up. For those factors found to be significant, multivariate logistic regression analyses were performed. The final 3-predictor model included job satisfaction, mental health and social support. The accuracy of the model was 72%, with 81% of nonpersistent and 60% of persistent LBP patients correctly identified. Further research is necessary to confirm the role of different types of social support regarding their prognostic influence on the development of persistent LBP.
Resumo:
This study analyses the impact on the oceanic mean state of the evolution of the oceanic component (NEMO) of the climate model developed at Institut Pierre Simon Laplace (IPSL-CM), from the version IPSL-CM4, used for third phase of the Coupled Model Intercomparison Project (CMIP3), to IPSL-CM5A, used for CMIP5. Several modifications have been implemented between these two versions, in particular an interactive coupling with a biogeochemical module, a 3-band model for the penetration of the solar radiation, partial steps at the bottom of the ocean and a set of physical parameterisations to improve the representation of the impact of turbulent and tidal mixing. A set of forced and coupled experiments is used to single out the effect of each of these modifications and more generally the evolution of the oceanic component on the IPSL coupled models family. Major improvements are located in the Southern Ocean, where physical parameterisations such as partial steps and tidal mixing reinforce the barotropic transport of water mass, in particular in the Antarctic Circumpolar Current) and ensure a better representation of Antarctic bottom water masses. However, our analysis highlights that modifications, which substantially improve ocean dynamics in forced configuration, can yield or amplify biases in coupled configuration. In particular, the activation of radiative biophysical coupling between biogeochemical cycle and ocean dynamics results in a cooling of the ocean mean state. This illustrates the difficulty to improve and tune coupled climate models, given the large number of degrees of freedom and the potential compensating effects masking some biases.
Resumo:
Since the development and prognosis of alcohol-induced liver disease (ALD) vary significantly with genetic background, identification of a genetic background-independent noninvasive ALD biomarker would significantly improve screening and diagnosis. This study explored the effect of genetic background on the ALD-associated urinary metabolome using the Ppara-null mouse model on two different backgrounds, C57BL/6 (B6) and 129/SvJ (129S), along with their wild-type counterparts. Reversed-phase gradient UPLC-ESI-QTOF-MS analysis revealed that urinary excretion of a number of metabolites, such as ethylsulfate, 4-hydroxyphenylacetic acid, 4-hydroxyphenylacetic acid sulfate, adipic acid, pimelic acid, xanthurenic acid, and taurine, were background-dependent. Elevation of ethyl-β-d-glucuronide and N-acetylglycine was found to be a common signature of the metabolomic response to alcohol exposure in wild-type as well as in Ppara-null mice of both strains. However, increased excretion of indole-3-lactic acid and phenyllactic acid was found to be a conserved feature exclusively associated with the alcohol-treated Ppara-null mouse on both backgrounds that develop liver pathologies similar to the early stages of human ALD. These markers reflected the biochemical events associated with early stages of ALD pathogenesis. The results suggest that indole-3-lactic acid and phenyllactic acid are potential candidates for conserved and pathology-specific high-throughput noninvasive biomarkers for early stages of ALD.
Resumo:
Acute stress reactions (ASR) and postpartum depressive symptoms (PDS) are frequent after childbirth. The present study addresses the change and overlap of ASR and PDS from the 1- to 3-week postpartum and examines the interplay of caregiver support and subjective birth experience with regard to the development of ASR/PDS within a longitudinal path model.
Resumo:
RATIONALE AND OBJECTIVES: A feasibility study on measuring kidney perfusion by a contrast-free magnetic resonance (MR) imaging technique is presented. MATERIALS AND METHODS: A flow-sensitive alternating inversion recovery (FAIR) prepared true fast imaging with steady-state precession (TrueFISP) arterial spin labeling sequence was used on a 3.0-T MR-scanner. The basis for quantification is a two-compartment exchange model proposed by Parkes that corrects for diverse assumptions in single-compartment standard models. RESULTS: Eleven healthy volunteers (mean age, 42.3 years; range 24-55) were examined. The calculated mean renal blood flow values for the exchange model (109 +/- 5 [medulla] and 245 +/- 11 [cortex] ml/min - 100 g) are in good agreement with the literature. Most important, the two-compartment exchange model exhibits a stabilizing effect on the evaluation of perfusion values if the finite permeability of the vessel wall and the venous outflow (fast solution) are considered: the values for the one-compartment standard model were 93 +/- 18 (medulla) and 208 +/- 37 (cortex) ml/min - 100 g. CONCLUSION: This improvement will increase the accuracy of contrast-free imaging of kidney perfusion in treatment renovascular disease.
Resumo:
This paper presents a system for 3-D reconstruction of a patient-specific surface model from calibrated X-ray images. Our system requires two X-ray images of a patient with one acquired from the anterior-posterior direction and the other from the axial direction. A custom-designed cage is utilized in our system to calibrate both images. Starting from bone contours that are interactively identified from the X-ray images, our system constructs a patient-specific surface model of the proximal femur based on a statistical model based 2D/3D reconstruction algorithm. In this paper, we present the design and validation of the system with 25 bones. An average reconstruction error of 0.95 mm was observed.
Resumo:
A new semantics with the finite model property is provided and used to establish decidability for Gödel modal logics based on (crisp or fuzzy) Kripke frames combined locally with Gödel logic. A similar methodology is also used to establish decidability, and indeed co-NP-completeness for a Gödel S5 logic that coincides with the one-variable fragment of first-order Gödel logic.
Resumo:
Study Design. In vitro study to develop an intervertebral disc degeneration (IDD) organ culture model, using coccygeal bovine intervertebral discs (IVDs) and injection of proteolytic enzymes MMP-3, ADAMTS-4 and HTRA1.Objective. This study aimed to develop an in-vitro model of enzyme-mediated IDD to mimic the clinical outcome in humans for investigation of therapeutic treatment options.Summary of Background Data. Bovine IVDs are comparable to human IVDs in terms of cell composition and biomechanical behavior. Researchers injected papain and trypsin into them to create an IDD model with a degenerated nucleus pulposus (NP) area. They achieved macroscopic cavities as well as a loss of glycosaminoglycans (GAGs). However, none of these enzymes are clinically relevant.Methods. Bovine IVDs were harvested maintaining the endplates. Active forms of MMP-3, ADAMTS-4 and HTRA1 were injected at a dose of 10μg/ml each. Phosphate buffered saline (PBS) was injected as a control. Discs were cultured for 8 days and loaded diurnally (day 1 to day 4 with 0.4 MPa for 16 h) and left under free swelling condition from day 4 to day 8 to avoid expected artifacts due to dehydration of the NP. Outcome parameters included disc height, metabolic cell activity, DNA content, glycosaminoglycan (GAG) content, total collagen content, relative gene expression and histological investigation.Results. The mean metabolic cell activity was significantly lower in the NP area of discs injected with ADAMTS-4 compared to the day 0 control discs. Disc height was decreased following injection with HTRA1, and was significantly correlated with changes in GAG/DNA of the NP tissue. Total collagen content tended to be lower in groups injected with ADAMTS4 and MMP-3.Conclusion. MMP-3, ADAMTS-4 and HTRA1 neither provoked visible matrix degradation nor major shifts in gene expression. However, cell activity was significantly reduced and HTRA1 induced loss of disc height which positively correlated with changes in GAG/DNA content. The use of higher doses of these enzymes or a combination thereof may therefore be necessary to induce disc degeneration
Resumo:
Human steroid biosynthesis depends on a specifically regulated cascade of enzymes including 3β-hydroxysteroid dehydrogenases (HSD3Bs). Type 2 HSD3B catalyzes the conversion of pregnenolone, 17α-hydroxypregnenolone and dehydroepiandrosterone to progesterone, 17α-hydroxyprogesterone and androstenedione in the human adrenal cortex and the gonads but the exact regulation of this enzyme is unknown. Therefore, specific downregulation of HSD3B2 at adrenarche around age 6-8 years and characteristic upregulation of HSD3B2 in the ovaries of women suffering from the polycystic ovary syndrome remain unexplained prompting us to study the regulation of HSD3B2 in adrenal NCI-H295R cells. Our studies confirm that the HSD3B2 promoter is regulated by transcription factors GATA, Nur77 and SF1/LRH1 in concert and that the NBRE/Nur77 site is crucial for hormonal stimulation with cAMP. In fact, these three transcription factors together were able to transactivate the HSD3B2 promoter in placental JEG3 cells which normally do not express HSD3B2. By contrast, epigenetic mechanisms such as methylation and acetylation seem not involved in controlling HSD3B2 expression. Cyclic AMP was found to exert differential effects on HSD3B2 when comparing short (acute) versus long-term (chronic) stimulation. Short cAMP stimulation inhibited HSD3B2 activity directly possibly due to regulation at co-factor or substrate level or posttranslational modification of the protein. Long cAMP stimulation attenuated HSD3B2 inhibition and increased HSD3B2 expression through transcriptional regulation. Although PKA and MAPK pathways are obvious candidates for possibly transmitting the cAMP signal to HSD3B2, our studies using PKA and MEK1/2 inhibitors revealed no such downstream signaling of cAMP. However, both signaling pathways were clearly regulating HSD3B2 expression.
Resumo:
A Hennessy-Milner property, relating modal equivalence and bisimulations, is defined for many-valued modal logics that combine a local semantics based on a complete MTL-chain (a linearly ordered commutative integral residuated lattice) with crisp Kripke frames. A necessary and sufficient algebraic condition is then provided for the class of image-finite models of these logics to admit the Hennessy-Milner property. Complete characterizations are obtained in the case of many-valued modal logics based on BL-chains (divisible MTL-chains) that are finite or have universe [0,1], including crisp Lukasiewicz, Gödel, and product modal logics.