A system for 3-D reconstruction of a patient-specific surface model from calibrated X-ray images

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.

A Finite Model Property for Gödel Modal Logics

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.

Assessment of the Matrix Degenerative Effects of MMP-3, ADAMTS-4 and HTRA1 injected into a bovine Intervertebral Disc Organ Culture Model

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

Differential regulation of human 3β-hydroxysteroid dehydrogenase type 2 for steroid hormone biosynthesis by starvation and cyclic AMP stimulation: studies in the human adrenal NCI-H295R cell model

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.

Activity of anidulafungin in a murine model of Candida krusei infection: evaluation of mortality and disease burden by quantitative tissue cultures and measurement of serum (1,3)-beta-D-glucan levels.

Experience with anidulafungin against Candida krusei is limited. Immunosuppressed mice were injected with 1.3 x 10(7) to 1.5 x 10(7) CFU of C. krusei. Animals were treated with saline, 40 mg/kg fluconazole, 1 mg/kg amphotericin B, or 10 and 20 mg/kg anidulafungin for 5 days. Anidulafungin improved survival and significantly reduced the number of CFU/g in kidneys and serum beta-glucan levels.

A Hennessy-Milner Property for Many-Valued Modal Logics

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.

Marine Isotope Stage (MIS) 11 results of model data with Community Climate System Model version 3 including the Dynamic Global Vegetation Model (CCSM3-DGVM) in NetCDF format at global and regional scale

The climate of Marine Isotope Stage (MIS) 11, the interglacial roughly 400,000 years ago, is investigated for four time slices, 416, 410, 400, and 394 ka. The overall picture is that MIS 11 was a relatively warm interglacial in comparison to preindustrial, with Northern Hemisphere (NH) summer temperatures early in MIS 11 (416-410 ka) warmer than preindustrial, though winters were cooler. Later in MIS 11, especially around 400 ka, conditions were cooler in the NH summer, mainly in the high latitudes. Climate changes simulated by the models were mainly driven by insolation changes, with the exception of two local feedbacks that amplify climate changes. Here, the NH high latitudes, where reductions in sea ice cover lead to a winter warming early in MIS 11, as well as the tropics, where monsoon changes lead to stronger climate variations than one would expect on the basis of latitudinal mean insolation change alone, are especially prominent. The results support a northward expansion of trees at the expense of grasses in the high northern latitudes early during MIS 11, especially in northern Asia and North America.

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática

De los registros a los objetos : Semántica y comportamiento de los documentos: el desafío de la Web 3.0

Se presenta un panorama y los interrogantes fundamentales de la etapa de la Web 3.0. Se analizan las características actuales de los sistemas bibliográficos estructurados con el modelo entidad-relación. Se definen los niveles conceptual, lógico y físico en los sistemas informáticos; consecuentemente se presentan las características de los FRBR y se obervan las relaciones entre obra y documento en el modelo conceptual FRBR. Se describen los FRBRoo como una interpretación con una lógica de objetos de los mismos requerimientos funcionales. Finalmente se plantean las tendencias a futuro, tales como pasar de las modelizaciones de entidad-relación a la de objetos, la explicitación con anotación semántica consistente, el mapeo de bases bibliográficas existentes y el desarrollo de ontologías para que los sistemas documentales se integren en la Web Semática