214 research outputs found
Measurement of atmospheric precipitable water using a solar radiometer
A technique is described and tested that allows the determination of atmospheric precipitable water from two measurements of solar intensity: one in a water-vapor absorption band and another in a nearby spectral region unaffected by water vapor
Balanced Allocations and Double Hashing
Double hashing has recently found more common usage in schemes that use
multiple hash functions. In double hashing, for an item , one generates two
hash values and , and then uses combinations for to generate multiple hash values from the initial two. We
first perform an empirical study showing that, surprisingly, the performance
difference between double hashing and fully random hashing appears negligible
in the standard balanced allocation paradigm, where each item is placed in the
least loaded of choices, as well as several related variants. We then
provide theoretical results that explain the behavior of double hashing in this
context.Comment: Further updated, small improvements/typos fixe
Atmospheric transmission computer program CP
A computer program is described which allows for calculation of the effects of carbon dioxide, water vapor, methane, ozone, carbon monoxide, and nitrous oxide on earth resources remote sensing techniques. A flow chart of the program and operating instructions are provided. Comparisons are made between the atmospheric transmission obtained from laboratory and spacecraft spectrometer data and that obtained from a computer prediction using a model atmosphere and radiosonde data. Limitations of the model atmosphere are discussed. The computer program listings, input card formats, and sample runs for both radiosonde data and laboratory data are included
Cryo infrared spectroscopy of N-2 adsorption onto bimetallic rhodium-iron clusters in isolation
The Role of Critical Case Analysis in Interprofessional Education
Goals for interprofessional education include preparing students to work in collaborative practice, teaching them how to work in teams and to asses and improve the quality of patient care. (Barr, 2007, Thibault, 2013). Four core competency domains have been established to inform interprofessional education (Interprofessional Education Collaborative Expert Panel, 2011). These are ethics/values, roles/responsibilities, interprofessional communication and teams/teamwork. Various pedagogical approaches have been used to help students meet these competencies. The Josiah Macy, Jr. Foundation (2013) recommends development and implementation of innovative models to link interprofessional education and practice. Thibault (2013) recommends students engage in “real work” as part of their interprofessional education experience
Insolation-paced sea level and sediment flux during the early Pleistocene in Southeast Asia
Global marine archives from the early Pleistocene indicate that glacial-interglacial cycles, and their corresponding sea-level cycles, have predominantly a periodicity of ~ 41 kyrs driven by Earth’s obliquity. Here, we present a clastic shallow-marine record from the early Pleistocene in Southeast Asia (Cholan Formation, Taiwan). The studied strata comprise stacked cyclic successions deposited in offshore to nearshore environments in the paleo-Taiwan Strait. The stratigraphy was compared to both a δ18O isotope record of benthic foraminifera and orbital parameters driving insolation at the time of deposition. Analyses indicate a strong correlation between depositional cycles and Northern Hemisphere summer insolation, which is precession-dominated with an obliquity component. Our results represent geological evidence of precession-dominated sea-level fluctuations during the early Pleistocene, independent of a global ice-volume proxy. Preservation of this signal is possible due to the high-accommodation creation and high-sedimentation rate in the basin enhancing the completeness of the stratigraphic record
Thromboembolism and bleeding in systemic amyloidosis: a review
The assessment of both thromboembolic and haemorrhagic risks and their management in systemic amyloidosis have been poorly emphasized so far. This narrative review summarizes main evidence from literature with clinical perspective. The rate of thromboembolic events is as high as 5–10% amyloidosis patients, at least in patients with cardiac involvement, with deleterious impact on prognosis. The most known pro-thrombotic factors are heart failure, atrial fibrillation, and atrial myopathy. Atrial fibrillation could occur in 20% to 75% of systemic amyloidosis patients. Cardiac thrombi are frequently observed in patients, particularly in immunoglobulin light chains (AL) amyloidosis, up to 30%, and it is advised to look for them systematically before cardioversion. In AL amyloidosis, nephrotic syndrome and the use of immunomodulatory drugs also favour thrombosis. On the other hand, the bleeding risk increases because of frequent amyloid digestive involvement as well as factor X deficiency, renal failure, and increased risk of dysautonomia-related fall
CCN2/CTGF tip the balance of growth factors towards TGF-β2 in primary open-angle glaucoma
TGF-β2 is the predominant TGF-β isoform within the eye. One function of TGF-β2 is to provide the eye with immune protection against intraocular inflammation. The beneficial function of TGF-β2 within the eye must be under tight control of a network of different factors. A disbalance of the network can result in different eye diseases. In Primary Open-Angle Glaucoma (POAG), one of the leading causes of irreversible blindness worldwide, TGF-β2 is significantly elevated in the aqueous humor and antagonistic molecules like BMPs are reduced. The changes provoke an altering of the quantity and quality of the extracellular matrix and the actin cytoskeleton in the outflow tissues, leading to an increased outflow resistance and thereby to an increased intraocular pressure (IOP), the major risk factor for primary open-angle glaucoma. The pathologic effect of TGF-β2 in primary open-angle glaucoma is mainly meditated by CCN2/CTGF. CCN2/CTGF can modulate TGF-β and BMP signaling by direct binding. The eye specific overexpression of CCN2/CTGF caused an increase in IOP and led to a loss of axons, the hallmark of primary open-angle glaucoma. CCN2/CTGF appears to play a critical role in the homeostatic balance of the eye, so we investigated if CCN2/CTGF can modulate BMP and TGF-β signaling pathways in the outflow tissues. To this end, we analyzed the direct effect of CCN2/CTGF on both signaling pathways in two transgenic mouse models with a moderate (βB1-CTGF1) and a high CCN2/CTGF (βB1-CTGF6) overexpression and in immortalized human trabecular meshwork (HTM) cells. Additionally, we investigate whether CCN2/CTGF mediates TGF-β effects via different pathways. We observed developmental malformations in the ciliary body in βB1-CTGF6 caused by an inhibition of the BMP signaling pathway. In βB1-CTGF1, we detected a dysregulation of the BMP and TGF-β signaling pathways, with reduced BMP activity and increased TGF-β signaling. A direct CCN2/CTGF effect on BMP and TGF-β signaling was shown in immortalized HTM cells. Finally, CCN2/CTGF mediated its effects on TGF-β via the RhoA/ROCK and ERK signaling in immortalized HTM cells. We conclude that CCN2/CTGF functions as a modulator of the homeostatic balance of BMP and TGF-β signaling pathways, which is shifted in primary open-angle glaucoma
Interactive Termination Proofs Using Termination Cores
Abstract. Recent advances in termination analysis have yielded new methods and tools that are highly automatic. However, when they fail, even experts have difficulty understanding why and determining how to proceed. In this paper, we address the issue of building termination analysis engines that are both highly automatic and easy to use in an interactive setting. We consider the problem in the context of ACL2, which has a first-order, functional programming language. We introduce the notion of a termination core, a simplification of the program under consideration which consists of a single loop that the termination engine cannot handle. We show how to extend the Size Change Termination (SCT) algorithm so that it generates termination cores when it fails to prove termination, with no increase to its complexity. We show how to integrate this into the Calling Context Graph (CCG) termination analysis, a powerful SCT-based automatic termination analysis that is part of the ACL2 Sedan. We also present several new, convenient ways of allowing users to interface with the CCG analysis, in order to guide it to a termination proof.
- …