Time trends in reported prevalence of kidney stones in the United States: 1976–199411.See Editorial by Goldfarb, p. 1951.

Time trends in reported prevalence of kidney stones in the United States: 1976–1994.BackgroundA body of evidence establishes that the occurrence of kidney stone disease has increased in some communities of industrialized countries. Information on recent temporal trends in the United States is lacking and population-based data on epidemiologic patterns are limited.Study objective was to determine whether kidney stone disease prevalence increased in the United States over a 20-year period and the influence of region, race/ethnicity, and gender on stone disease risk.MethodsWe measured the prevalence of kidney stone disease history from the United States National Health and Nutrition Examination Survey (II and III), population-based, cross-sectional studies, involving 15,364 adult United States residents in 1976 to 1980 and 16,115 adult United States residents in 1988 to 1994.ResultsDisease prevalence among 20- to 74-year-old United States residents was greater in 1988 to 1994 than in 1976 to 1980 (5.2% vs. 3.8%, P < 0.05), greater in males than females, and increased with age in each time period. Among 1988 to 1994 adults, non-Hispanic African Americans had reduced risk of disease compared to non-Hispanic Caucasians (1.7% vs. 5.9%, P < 0.05), and Mexican Americans (1.7% vs. 2.6%, P < 0.05). Also, age-adjusted prevalence was highest in the South (6.6%) and lowest in the West (3.3%). Findings were consistent across gender and multivariate adjusted odds ratios for stone disease history, including all demographic variables, as well as diuretic use, tea or coffee consumption, and dietary intake of calcium, protein, and fat did not materially change the results.ConclusionPrevalence of kidney stone disease history in the United States population increased between 1980 and 1994. A history of stone disease was strongly associated with race/ethnicity and region of residence

Prospective Evaluation of Patient Satisfaction, and Surgeon and Patient Trainer Assessment of the Coloplast Titan One Touch Release Three‐Piece Inflatable Penile Prosthesis

Introduction.  A single‐armed, prospective, multicenter international study evaluated the redesigned Coloplast Titan One Touch Release (OTR) pump inflatable penile prosthesis. The OTR pump has a unique release valve that permits deflation of the implant with one squeeze of opposing touch pads. Aims.  To assess the impact of a new penile prosthesis design, the Titan OTR, on patient ease of operation. Furthermore, to assess patient satisfaction, surgeon acceptance, and the ease with which patients were trained in device operation in the clinic setting. Methods.  A total of 113 eligible patients from eight centers were recruited from men presenting with erectile dysfunction without prior prosthetic implantation. The subjects had a mean age of 61 years, and had a number of comorbidities, including diabetes (31.9%), hypertension (34.5%), and Peyronie's disease (23.9%). All underwent implantation of the study device. Main Outcome Measures.  Questionnaires were used to capture patient satisfaction as well as physician feedback on ease of implantation and patient education. A paired analysis was completed for patient satisfaction at 6 (N = 96) and 12 (N = 90) months. Results.  Overall satisfaction with the device was 90.6% and 90.0% at 6 and 12 months, respectively. The primary end point, ease of deflation, was seen in 70.8% and 73.3% at these two time points, with the 12‐month value statistically better than historical controls. Physicians overwhelmingly reported straightforward/simple intraoperative product preparation (97.3%) and equivalent or easier training compared with their previous pump of choice (96.4%). Adverse events for all subjects (N = 113) included removal of the device in four cases (3.5%) for infection and one case for chronic pain (0.8%). Conclusions.  The Titan OTR represents an advance in penile prosthetic technology that is well accepted by patients and physicians. The study design allowed for realistic evaluation of the new technology aimed at enhancing clinical outcomes. Ohl DA, Brock G, Ralph D, Bogache W, Jones L, Munarriz R, Levine L, and Ritenour C. Prospective evaluation of patient satisfaction, and surgeon and patient trainer assessment of the Coloplast Titan One Touch Release three‐piece inflatable penile prosthesis. J Sex Med 2012;9:2467–2474.Peer Reviewedhttp://deepblue.lib.umich.edu/bitstream/2027.42/93661/1/j.1743-6109.2012.02819.x.pd

A Model for the Analysis of Caries Occurrence in Primary Molar Tooth Surfaces

Recently methods of caries quantification in the primary dentition have moved away from summary ‘whole mouth’ measures at the individual level to methods based on generalised linear modelling (GLM) approaches or survival analysis approaches. However, GLM approaches based on logistic transformation fail to take into account the time-dependent process of tooth/surface survival to caries. There may also be practical difficulties associated with casting parametric survival-based approaches in a complex multilevel hierarchy and the selection of an optimal survival distribution, while non-parametric survival methods are not generally suitable for the assessment of supplementary information recorded on study participants. In the current investigation, a hybrid semi-parametric approach comprising elements of survival-based and GLM methodologies suitable for modelling of caries occurrence within fixed time periods is assessed, using an illustrative multilevel data set of caries occurrence in primary molars from a cohort study, with clustering of data assumed to occur at surface and tooth levels. Inferences of parameter significance were found to be consistent with previous parametric survival-based analyses of the same data set, with gender, socio-economic status, fluoridation status, tooth location, surface type and fluoridation status-surface type interaction significantly associated with caries occurrence. The appropriateness of the hierarchical structure facilitated by the hybrid approach was also confirmed. Hence the hybrid approach is proposed as a more appropriate alternative to primary caries modelling than non-parametric survival methods or other GLM-based models, and as a practical alternative to more rigorous survival-based methods unlikely to be fully accessible to most researchers

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Infrared Dark Clouds in the Small Magellanic Cloud?

We have applied the unsharp-masking technique to the 24 $\mu$m image of the Small Magellanic Cloud (SMC), obtained with the Spitzer Space Telescope, to search for high-extinction regions. This technique has been used to locate very dense and cold interstellar clouds in the Galaxy, particularly infrared dark clouds (IRDCs). Fifty five candidate regions of high-extinction, namely high-contrast regions (HCRs), have been identified from the generated decremental contrast image of the SMC. Most HCRs are located in the southern bar region and mainly distributed in the outskirts of CO clouds, but most likely contain a significant amount of H2. HCRs have a peak-contrast at 24 $\mu$m of 2 - 2.5 % and a size of 8 - 14 pc. This corresponds to the size of typical and large Galactic IRDCs, but Galactic IRDCs are 2 - 3 times darker at 24 $\mu$m than our HCRs. To constrain the physical properties of the HCRs, we have performed NH3, N2H+, HNC, HCO+, and HCN observations toward one of the HCRs, HCR LIRS36-EAST, using the Australia Telescope Compact Array and the Mopra single-dish radio telescope. We did not detect any molecular line emission, however, our upper limits to the column densities of molecular species suggest that HCRs are most likely moderately dense with n ~ 10^{3} cm-3. This volume density is in agreement with predictions for the cool atomic phase in low metallicity environments. We suggest that HCRs may be tracing clouds at the transition from atomic to molecule-dominated medium, and could be a powerful way to study early stages of gas condensation in low metallicity galaxies. Alternatively, if made up of dense molecular clumps < 0.5 pc in size, HCRs could be counterparts of Galactic IRDCs, and/or regions with highly unusual abundance of very small dust grains.Comment: accepted for publication in the Astronomical Journa

Determinants of the voltage dependence of G protein modulation within calcium channel β subunits

CaVβ subunits of voltage-gated calcium channels contain two conserved domains, a src-homology-3 (SH3) domain and a guanylate kinase-like (GK) domain with an intervening HOOK domain. We have shown in a previous study that, although Gβγ-mediated inhibitory modulation of CaV2.2 channels did not require the interaction of a CaVβ subunit with the CaVα1 subunit, when such interaction was prevented by a mutation in the α1 subunit, G protein modulation could not be removed by a large depolarization and showed voltage-independent properties (Leroy et al., J Neurosci 25:6984–6996, 2005). In this study, we have investigated the ability of mutant and truncated CaVβ subunits to support voltage-dependent G protein modulation in order to determine the minimal domain of the CaVβ subunit that is required for this process. We have coexpressed the CaVβ subunit constructs with CaV2.2 and α2δ-2, studied modulation by the activation of the dopamine D2 receptor, and also examined basal tonic modulation. Our main finding is that the CaVβ subunit GK domains, from either β1b or β2, are sufficient to restore voltage dependence to G protein modulation. We also found that the removal of the variable HOOK region from β2a promotes tonic voltage-dependent G protein modulation. We propose that the absence of the HOOK region enhances Gβγ binding affinity, leading to greater tonic modulation by basal levels of Gβγ. This tonic modulation requires the presence of an SH3 domain, as tonic modulation is not supported by any of the CaVβ subunit GK domains alone

A Compiled Implementation of Strong Reduction

International audienceMotivated by applications to proof assistants based on dependent types, we develop and prove correct a strong reducer and β-equivalence checker for the λ-calculus with products, sums, and guarded fixpoints. Our approach is based on compilation to the bytecode of an abstract machine performing weak reductions on non-closed terms, derived with minimal modifications from the ZAM machine used in the Objective Caml bytecode interpreter, and complemented by a recursive "read back" procedure. An implementation in the Coq proof assistant demonstrates important speed-ups compared with the original interpreter-based implementation of strong reduction in Coq

Zoonosis emergence linked to agricultural intensification and environmental change

A systematic review was conducted by a multidisciplinary team to analyze qualitatively best available scientific evidence on the effect of agricultural intensification and environmental changes on the risk of zoonoses for which there are epidemiological interactions between wildlife and livestock. The study found several examples in which agricultural intensification and/or environmental change were associated with an increased risk of zoonotic disease emergence, driven by the impact of an expanding human population and changing human behavior on the environment. We conclude that the rate of future zoonotic disease emergence or reemergence will be closely linked to the evolution of the agriculture–environment nexus. However, available research inadequately addresses the complexity and interrelatedness of environmental, biological, economic, and social dimensions of zoonotic pathogen emergence, which significantly limits our ability to predict, prevent, and respond to zoonotic disease emergence

Calculations of collisions between cold alkaline earth atoms in a weak laser field

We calculate the light-induced collisional loss of laser-cooled and trapped magnesium atoms for detunings up to 50 atomic linewidths to the red of the ^1S_0-^1P_1 cooling transition. We evaluate loss rate coefficients due to both radiative and nonradiative state-changing mechanisms for temperatures at and below the Doppler cooling temperature. We solve the Schrodinger equation with a complex potential to represent spontaneous decay, but also give analytic models for various limits. Vibrational structure due to molecular photoassociation is present in the trap loss spectrum. Relatively broad structure due to absorption to the Mg_2 ^1Sigma_u state occurs for detunings larger than about 10 atomic linewidths. Much sharper structure, especially evident at low temperature, occurs even at smaller detunings due to of Mg_2 ^1Pi_g absorption, which is weakly allowed due to relativistic retardation corrections to the forbidden dipole transition strength. We also perform model studies for the other alkaline earth species Ca, Sr, and Ba and for Yb, and find similar qualitative behavior as for Mg.Comment: 20 pages, RevTex, 13 eps figures embedde

Mapping the cold dust temperatures and masses of nearby Kingfish galaxies with Herschel

Taking advantage of the sensitivity and angular resolution of the Herschel Space Observatory at far-infrared and submm wavelengths, we aim to characterize the physical properties of cold dust within nearby galaxies and study the robustness of the parameters we derive using different modified blackbody models. For a pilot subsample of the KINGFISH program, we perform 2 temperature fits of the Spitzer and Herschel photometric data (24 to 500um), with a warm and a cold component, globally and in each resolution element.At global scales, we observe ranges of values for beta_c(0.8 to 2.5) and Tc(19.1 to 25.1K).We compute maps of our parameters with beta fixed or free to test the robustness of the temperature and dust surface density maps we deduce. When the emissivity is fixed, we observe temperature gradients as a function of radius.When the emissivity is fitted as a free parameter, barred galaxies tend to have uniform fitted emissivities.Gathering resolved elements in a Tc-beta_c diagram underlines an anti-correlation between the two parameters.It remains difficult to assess whether the dominant effect is the physics of dust grains, noise, or mixing along the line of sight and in the beam. We finally observe in both cases that the dust column density peaks in central regions of galaxies and bar ends (coinciding with molecular gas density enhancements usually found in these locations).We also quantify how the total dust mass varies with our assumptions about the emissivity index as well as the influence of the wavelength coverage used in the fits. We show that modified blackbody fits using a shallow emissivity (beta_c < 2.0) lead to significantly lower dust masses compared to the beta_c < 2.0 case, with dust masses lower by up to 50% if beta_c=1.5 for instance.The working resolution affects our total dust mass estimates: masses increase from global fits to spatially-resolved fits.Comment: 26 pages, 12 figures, 4 tables, accepted for publication in MNRAS, 2012 June 2