500 research outputs found

    Limitations on Ku-band communications due to multipath

    Get PDF
    The earth and orbiter body reflections involving the Tracking Data Relay Satellite (TDRS)/orbiter communications link are evaluated. Recommendations address operational conditions in order to avoid critical multipath impacts, modulation preferences during acquisition, and preferred scan limit implementation

    Large Formal Wikis: Issues and Solutions

    Full text link
    We present several steps towards large formal mathematical wikis. The Coq proof assistant together with the CoRN repository are added to the pool of systems handled by the general wiki system described in \cite{DBLP:conf/aisc/UrbanARG10}. A smart re-verification scheme for the large formal libraries in the wiki is suggested for Mizar/MML and Coq/CoRN, based on recently developed precise tracking of mathematical dependencies. We propose to use features of state-of-the-art filesystems to allow real-time cloning and sandboxing of the entire libraries, allowing also to extend the wiki to a true multi-user collaborative area. A number of related issues are discussed.Comment: To appear in The Conference of Intelligent Computer Mathematics: CICM 201

    Active vitamin D (1,25-dihydroxyvitamin D) and bone health in middle-aged and elderly men: the European male aging study (EMAS)

    Get PDF
    <p>Context: There is little information on the potential impact of serum 1,25-dihydroxyvitamin D [1,25(OH)2D] on bone health including turnover.</p> <p>Objective: The objective of the study was to determine the influence of 1,25(OH)2D and 25-hydroxyvitamin D [25(OH)D] on bone health in middle-aged and older European men.</p> <p>Design, Setting, and Participants: Men aged 40–79 years were recruited from population registers in 8 European centers. Subjects completed questionnaires that included questions concerning lifestyle and were invited to attend for quantitative ultrasound (QUS) of the heel, assessment of height and weight, and a fasting blood sample from which 1,25(OH)2D, 25(OH)D, and PTH were measured. 1,25(OH)2D was measured using liquid chromatography tandem mass spectrometry. Bone markers serum N-terminal propeptide of type 1 procollagen (P1NP) and crosslinks (β-cTX) were also measured. Dual-energy x-ray absorptiometry (DXA) of the hip and lumbar spine was performed in 2 centers.</p> <p>Main Outcome Measure(s): QUS of the heel, bone markers P1NP and β-cTX, and DXA of the hip and lumbar spine were measured.</p> <p>Results: A total of 2783 men, mean age 60.0 years (SD 11.0) were included in the analysis. After adjustment for age and center, 1,25(OH)2D was positively associated with 25(OH)D but not with PTH. 25(OH)D was negatively associated with PTH. After adjustment for age, center, height, weight, lifestyle factors, and season, 1,25(OH)2D was associated negatively with QUS and DXA parameters and associated positively with β-cTX. 1,25(OH)2D was not correlated with P1NP. 25(OH)D was positively associated with the QUS and DXA parameters but not related to either bone turnover marker. Subjects with both high 1,25(OH)2D (upper tertile) and low 25(OH)D (lower tertile) had the lowest QUS and DXA parameters and the highest β-cTX levels.</p> <p>Conclusions: Serum 1,25(OH)2D is associated with higher bone turnover and poorer bone health despite being positively related to 25(OH)D. A combination of high 1,25(OH)2D and low 25(OH)D is associated with the poorest bone health.</p&gt

    Active vitamin D (1,25-dihydroxyvitamin D) and bone health in middle-aged and elderly men: the European male aging study (EMAS)

    Get PDF
    <p>Context: There is little information on the potential impact of serum 1,25-dihydroxyvitamin D [1,25(OH)2D] on bone health including turnover.</p> <p>Objective: The objective of the study was to determine the influence of 1,25(OH)2D and 25-hydroxyvitamin D [25(OH)D] on bone health in middle-aged and older European men.</p> <p>Design, Setting, and Participants: Men aged 40–79 years were recruited from population registers in 8 European centers. Subjects completed questionnaires that included questions concerning lifestyle and were invited to attend for quantitative ultrasound (QUS) of the heel, assessment of height and weight, and a fasting blood sample from which 1,25(OH)2D, 25(OH)D, and PTH were measured. 1,25(OH)2D was measured using liquid chromatography tandem mass spectrometry. Bone markers serum N-terminal propeptide of type 1 procollagen (P1NP) and crosslinks (β-cTX) were also measured. Dual-energy x-ray absorptiometry (DXA) of the hip and lumbar spine was performed in 2 centers.</p> <p>Main Outcome Measure(s): QUS of the heel, bone markers P1NP and β-cTX, and DXA of the hip and lumbar spine were measured.</p> <p>Results: A total of 2783 men, mean age 60.0 years (SD 11.0) were included in the analysis. After adjustment for age and center, 1,25(OH)2D was positively associated with 25(OH)D but not with PTH. 25(OH)D was negatively associated with PTH. After adjustment for age, center, height, weight, lifestyle factors, and season, 1,25(OH)2D was associated negatively with QUS and DXA parameters and associated positively with β-cTX. 1,25(OH)2D was not correlated with P1NP. 25(OH)D was positively associated with the QUS and DXA parameters but not related to either bone turnover marker. Subjects with both high 1,25(OH)2D (upper tertile) and low 25(OH)D (lower tertile) had the lowest QUS and DXA parameters and the highest β-cTX levels.</p> <p>Conclusions: Serum 1,25(OH)2D is associated with higher bone turnover and poorer bone health despite being positively related to 25(OH)D. A combination of high 1,25(OH)2D and low 25(OH)D is associated with the poorest bone health.</p&gt

    Rupture by damage accumulation in rocks

    Get PDF
    The deformation of rocks is associated with microcracks nucleation and propagation, i.e. damage. The accumulation of damage and its spatial localization lead to the creation of a macroscale discontinuity, so-called "fault" in geological terms, and to the failure of the material, i.e. a dramatic decrease of the mechanical properties as strength and modulus. The damage process can be studied both statically by direct observation of thin sections and dynamically by recording acoustic waves emitted by crack propagation (acoustic emission). Here we first review such observations concerning geological objects over scales ranging from the laboratory sample scale (dm) to seismically active faults (km), including cliffs and rock masses (Dm, hm). These observations reveal complex patterns in both space (fractal properties of damage structures as roughness and gouge), time (clustering, particular trends when the failure approaches) and energy domains (power-law distributions of energy release bursts). We use a numerical model based on progressive damage within an elastic interaction framework which allows us to simulate these observations. This study shows that the failure in rocks can be the result of damage accumulation

    Spreading of slip from a region of low friction

    Full text link
    Recent models of earthquake faults involve heterogeneous slip regions along the faults. Some of this work suggests the following problem: two solids of different material properties are pressed together and sheared. Then, slip propagates asymmetrically from a region of low friction.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/41713/1/707_2005_Article_BF01176501.pd

    Point-Free, Set-Free Concrete Linear Algebra

    Get PDF
    International audienceWe show how a simple variant of Gaussian elimination can be used to model abstract linear algebra directly, using matrices only to represent all categories of objects, with operations such as subspace intersection and sum. We can even provide effective support for direct sums and subalgebras. We have formalized this work in Coq, and used it to develop all of the group representation theory required for the proof of the Odd Order Theorem, including results such as the Jacobson Density Theorem, Clifford's Theorem, the Jordan-Holder Theorem for modules, the Wedderburn Structure Theorem for semisimple rings (the basis for character theory).On présente une formalisation en Coq de l'algèbre linéaire où tous les objets sont représentés par des matrices, y compris les sous-espaces. Ce développement a été utilisé pour élaborer la formalisation des éléments de théorie de la représentation nécessaires à la prévue du théorème de Feit-Thompson

    Neuromuscular Electrical Stimulation as a Method to Maximize the Beneficial Effects of Muscle Stem Cells Transplanted into Dystrophic Skeletal Muscle

    Get PDF
    Cellular therapy is a potential approach to improve the regenerative capacity of damaged or diseased skeletal muscle. However, its clinical use has often been limited by impaired donor cell survival, proliferation and differentiation following transplantation. Additionally, functional improvements after transplantation are all-too-often negligible. Because the host microenvironment plays an important role in the fate of transplanted cells, methods to modulate the microenvironment and guide donor cell behavior are warranted. The purpose of this study was to investigate whether the use of neuromuscular electrical stimulation (NMES) for 1 or 4 weeks following muscle-derived stem cell (MDSC) transplantation into dystrophic skeletal muscle can modulate the fate of donor cells and enhance their contribution to muscle regeneration and functional improvements. Animals submitted to 4 weeks of NMES after transplantation demonstrated a 2-fold increase in the number of dystrophin+ myofibers as compared to control transplanted muscles. These findings were concomitant with an increased vascularity in the MDSC+NMES group when compared to non-stimulated counterparts. Additionally, animals subjected to NMES (with or without MDSC transplantation) presented an increased maximal specific tetanic force when compared to controls. Although cell transplantation and/or the use of NMES resulted in no changes in fatigue resistance, the combination of both MDSC transplantation and NMES resulted in a faster recovery from fatigue, when compared to non-injected and non-stimulated counterparts. We conclude that NMES is a viable method to improve MDSC engraftment, enhance dystrophic muscle strength, and, in combination with MDSC transplantation, improve recovery from fatigue. These findings suggest that NMES may be a clinically-relevant adjunct approach for cell transplantation into skeletal muscle. © 2013 Distefano et al
    corecore