Brighter but not clearer: Entertainment-dependent destinations dealing with long COVID

At the onset of the COVID-19 pandemic, we explored a range of very different possible outcomes for destinations that rely heavily on their entertainment sector (Dubois & Dimanche, 2021). Several months later, this article seeks to revisit those outcomes, while also highlighting the ongoing recovery efforts and evolving strategies of entertainment-dependent destinations (EDDs). To do so, we reconnected with the panel of respondents from various destinations (i.e., Las Vegas, Nashville, New Orleans etc.) to take stock of both new challenges and opportunities, as well as emerging factors impacting their respective markets. Our results show that while EDDs are facing a brighter situation, the overall recovery trajectories, permanent effects, and future outlooks remain still very much uncertain

The role of entrepreneurial structures when determining the average price in the market of innovative medical servic

The article provides a solution to one of the major tasks in economic theory is the definition of average prices on the market innovative medical services in healthcare. The situation, when the market there are several agents - producers, buyers and entrepreneurs

Galactic star formation in parsec-scale resolution simulations

The interstellar medium (ISM) in galaxies is multiphase and cloudy, with stars forming in the very dense, cold gas found in Giant Molecular Clouds (GMCs). Simulating the evolution of an entire galaxy, however, is a computational problem which covers many orders of magnitude, so many simulations cannot reach densities high enough or temperatures low enough to resolve this multiphase nature. Therefore, the formation of GMCs is not captured and the resulting gas distribution is smooth, contrary to observations. We investigate how star formation (SF) proceeds in simulated galaxies when we obtain parsec-scale resolution and more successfully capture the multiphase ISM. Both major mergers and the accretion of cold gas via filaments are dominant contributors to a galaxy's total stellar budget and we examine SF at high resolution in both of these contexts.Comment: 4 pages, 4 figures. To appear in the proceedings for IAU Symposium 270: Computational Star Formation (eds. Alves, Elmegreen, Girart, Trimble

The impact of ISM turbulence, clustered star formation and feedback on galaxy mass assembly through cold flows and mergers

Two of the dominant channels for galaxy mass assembly are cold flows (cold gas supplied via the filaments of the cosmic web) and mergers. How these processes combine in a cosmological setting, at both low and high redshift, to produce the whole zoo of galaxies we observe is largely unknown. Indeed there is still much to understand about the detailed physics of each process in isolation. While these formation channels have been studied using hydrodynamical simulations, here we study their impact on gas properties and star formation (SF) with some of the first simulations that capture the multiphase, cloudy nature of the interstellar medium (ISM), by virtue of their high spatial resolution (and corresponding low temperature threshold). In this regime, we examine the competition between cold flows and a supernovae(SNe)-driven outflow in a very high-redshift galaxy (z {\approx} 9) and study the evolution of equal-mass galaxy mergers at low and high redshift, focusing on the induced SF. We find that SNe-driven outflows cannot reduce the cold accretion at z {\approx} 9 and that SF is actually enhanced due to the ensuing metal enrichment. We demonstrate how several recent observational results on galaxy populations (e.g. enhanced HCN/CO ratios in ULIRGs, a separate Kennicutt Schmidt (KS) sequence for starbursts and the population of compact early type galaxies (ETGs) at high redshift) can be explained with mechanisms captured in galaxy merger simulations, provided that the multiphase nature of the ISM is resolved.Comment: To appear in the proceedings of IAUS 277, 'Tracing the ancestry of galaxies', eds Carignan, Freeman & Combes. 4 pages, 2 figure

Nlrp3 inflammasome activation and Gasdermin D-driven pyroptosis are immunopathogenic upon gastrointestinal norovirus infection.

Norovirus infection is the leading cause of food-borne gastroenteritis worldwide, being responsible for over 200,000 deaths annually. Studies with murine norovirus (MNV) showed that protective STAT1 signaling controls viral replication and pathogenesis, but the immune mechanisms that noroviruses exploit to induce pathology are elusive. Here, we show that gastrointestinal MNV infection leads to widespread IL-1β maturation in MNV-susceptible STAT1-deficient mice. MNV activates the canonical Nlrp3 inflammasome in macrophages, leading to maturation of IL-1β and to Gasdermin D (GSDMD)-dependent pyroptosis. STAT1-deficient macrophages displayed increased MAVS-mediated expression of pro-IL-1β, facilitating elevated Nlrp3-dependent release of mature IL-1β upon MNV infection. Accordingly, MNV-infected Stat1-/- mice showed Nlrp3-dependent maturation of IL-1β as well as Nlrp3-dependent pyroptosis as assessed by in vivo cleavage of GSDMD to its active N-terminal fragment. While MNV-induced diarrheic responses were not affected, Stat1-/- mice additionally lacking either Nlrp3 or GSDMD displayed lower levels of the fecal inflammatory marker Lipocalin-2 as well as delayed lethality after gastrointestinal MNV infection. Together, these results uncover new insights into the mechanisms of norovirus-induced inflammation and cell death, thereby revealing Nlrp3 inflammasome activation and ensuing GSDMD-driven pyroptosis as contributors to MNV-induced immunopathology in susceptible STAT1-deficient mice.Wellcome Trust BBSR

The common-866G > A variant in the promoter of UCP2 is associated with decreased risk of coronary artery disease in type 2 diabetic men

OBJECTIVE-Uncoupling protein 2 (UCP2) is a physiological downregulator of reactive oxygen species generation and plays an antiatherogenic role in the vascular wall. A common variant in the UCP2 promoter (-866G>A) modulates mRNA expression, with increased expression associated with the A allele. We investigated association of this variant with coronary artery disease (CAD) in two cohorts of type 2 diabetic subjects.RESEARCH DESIGN and METHODS-We studied 3,122 subjects from the 6-year prospective Non-Insulin-Dependent Diabetes, Hypertension, Microalbuminuria, Cardiovascular Events, and Ramipril (DIABHYCAR) Study (14.9% of CAD incidence at follow-up). An independent, hospital-based cohort of 335 men, 52% of whom had CAD, was also studied.RESULTS-We observed an inverse association of the A allele with incident cases of CAD in a dominant model (hazard risk 0.88 [95% CI 0.80-0.96]; P = 0.006). Similar results were observed for baseline cases of CAD. Stratification by sex confirmed an allelic association with CAD in men, whereas no association was observed in women. All CAD phenotypes considered-myocardial infarction, angina pectoris, coronary artery bypass graft (CABG), and sudden death-contributed significantly to the association. Results were replicated in a cross-sectional study of an independent cohort (odds ratio 0.47 [95% CI 0.25-0.89]; P = 0.02 for a recessive model).CONCLUSIONS-The A allele of the -866G>A variant of UCP2 was associated with reduced risk of CAD in men with type 2 diabetes in a 6-year prospective study. Decreased risk of myocardial infarction, angina pectoris, CABG, and sudden death contributed individually and significantly to the reduction of CAD risk. This association was independent of other common CAD risk factors.INSERM, Fac Med Xavier Bichat, U695, F-75018 Paris, FranceCochin Hosp, AP HP, Dept Immunol & Diabetol, Paris, FranceUniv São Paulo, Lab Cellular & Mol Endocrinol, São Paulo, BrazilUniversidade Federal de São Paulo, Mol Endocrinol Lab, São Paulo, BrazilFed Fac Fdn Med Sci Porto Alegre, Post Grad Program Med Sci, Porto Alegre, RS, BrazilHop La Pitie Salpetriere, Dept Cardiol, AP HP, Paris, FranceUniv Paris 07, Paris, FranceUniv Paris 05, Paris, FranceUniversidade Federal de São Paulo, Mol Endocrinol Lab, São Paulo, BrazilWeb of Scienc

Decreased insulin secretion and increased risk of type 2 diabetes associated with allelic variations of the WFS1 gene: the Data from Epidemiological Study on the Insulin Resistance Syndrome (DESIR) prospective study

We investigated associations of allelic variations in the WFS1 gene with insulin secretion and risk of type 2 diabetes in a general population prospective study.We studied 5,110 unrelated French men and women who participated in the prospective Data from Epidemiological Study on the Insulin Resistance Syndrome (DESIR) study. Additional cross-sectional analyses were performed on 4,472 French individuals with type 2 diabetes and 3,065 controls. Three single nucleotide polymorphisms (SNPs) were genotyped: rs10010131, rs1801213/rs7672995 and rs734312.We observed statistically significant associations between the major alleles of the three variants and prevalent type 2 diabetes in the DESIR cohort at baseline. Cox analyses showed an association between the G-allele of rs10010131 and incident type 2 diabetes (HR 1.34, 95% CI 1.08-1.70, p = 0.007). Similar results were observed for the G-allele of rs1801213 and the A-allele of rs734312. the GGA haplotype was associated with an increased risk of diabetes as compared with the ACG haplotype (HR 1.26, 95% CI 1.04-1.42, p = 0.02). We also observed statistically significant associations of the three SNPs with plasma glucose, HbA(1c) levels and insulin secretion at baseline and throughout the study in individuals with type 2 diabetes or at risk of developing diabetes. However, no association was observed in those who remained normoglycaemic at the end of the follow-up. Associations between the three variants and type 2 diabetes were replicated in cross-sectional studies of type 2 diabetic patients in comparison with a non-diabetic control group.The most frequent haplotype at the haplotype block containing the WFS1 gene modulated insulin secretion and was associated with an increased risk of type 2 diabetes.Societe Francophone du Diabete (SFD - Alfediam)Association Diabete Risque Vasculaire (ADRV), FranceCoordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)INSERMCNAMTSLillyNovartis PharmaSanofi-AventisINSERM (Reseaux en Sante Publique, Interactions entre les determinants de la sante)Association Diabete Risque VasculaireFederation Francaise de CardiologieLa Fondation de FranceALFEDIAMONIVINSArdix MedicalBayer DiagnosticsBecton DickinsonCardionicsMerck SanteNovo NordiskPierre FabreRocheTopconUniv Paris 07, INSERM, Res Unit 695, F-75018 Paris, FranceFed Univ Hlth Sci Porto Alegre, Postgradut Program Hlth Sci, Porto Alegre, RS, BrazilUniversidade Federal de São Paulo, Mol Endocrinol Lab, São Paulo, BrazilAssistance Publ Hop Paris Cochin Hosp, Dept Immunol & Diabetol, Paris, FranceUniv Paris 05, UFR Med, Paris, FranceUniv Paris 07, UFR Med, Paris, FranceAssistance Publ Hop Paris Bichat Hosp, Dept Endocrinol Diabetol & Nutr, Paris, FranceInst Inter Reg Sante IRSA, La Riche, FranceINSERM, U1018, CESP, Ctr Res Epidemiol & Populat Hlth, Villejuif, FranceUniv Paris 11, UMRS 1018, Villejuif, FranceUniversidade Federal de São Paulo, Mol Endocrinol Lab, São Paulo, BrazilCAPES: 1798-09-0Web of Scienc

A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints

We present formalized proofs verifying that the first-order unification algorithm defined over lists of satisfiable constraints generates a most general unifier (MGU), which also happens to be idempotent. All of our proofs have been formalized in the Coq theorem prover. Our proofs show that finite maps produced by the unification algorithm provide a model of the axioms characterizing idempotent MGUs of lists of constraints. The axioms that serve as the basis for our verification are derived from a standard set by extending them to lists of constraints. For us, constraints are equalities between terms in the language of simple types. Substitutions are formally modeled as finite maps using the Coq library Coq.FSets.FMapInterface. Coq's method of functional induction is the main proof technique used in proving many of the axioms.Comment: In Proceedings UNIF 2010, arXiv:1012.455

Measuring ocean surface velocities with the KuROS and KaRADOC airborne near-nadir Doppler radars: a multi-scale analysis in preparation of the SKIM mission, Submitted to Ocean SCience, July 2019

Surface currents are poorly known over most of the oceans. Satellite-borne Doppler Waves and Current Scatterom-eters (DWCS) can be used to fill this observation gap. The Sea surface KInematics Multiscale (SKIM) proposal, is the first satellite concept built on a DWCS design at near-nadir angles, and now one of the two candidates to become the 9th mission of the European Space Agency Earth Explorer program. As part of the detailed design and feasibility studies (phase A) funded by ESA, airborne measurements were carried out with both a Ku-Band and a Ka-Band Doppler radars looking at the sea surface at 5 near nadir-incidence in a real-aperture mode, i.e. in a geometry and mode similar to that of SKIM. The airborne radar KuROS was deployed to provide simultaneous measurements of the radar backscatter and Doppler velocity, in a side-looking configuration , with an horizontal resolution of about 5 to 10 m along the line of sight and integrated in the perpendicular direction over the real-aperture 3-dB footprint diameter (about 580 m). The KaRADOC system has a much narrower beam, with a circular footprint only 45 m in diameter. 10 The experiment took place in November 2018 off the French Atlantic coast, with sea states representative of the open ocean and a well known tide-dominated current regime. The data set is analyzed to explore the contribution of non-geophysical velocities to the measurement and how the geophysical part of the measured velocity combines wave-resolved and wave-averaged scales. We find that the measured Doppler velocity contains a characteristic wave phase speed, called here C 0 that is analogous to the Bragg phase speed of coastal High Frequency radars that use a grazing measurement geometry, with little 15 variations ∆ C associated to changes in sea state. The Ka-band measurements at an incidence of 12 • are 10% lower than the theoretical estimate C 0 2.4 m/s for typical oceanic conditions defined by a wind speed of 7 m/s and a significant wave height of 2 m. For Ku-band the measured data is 1 https://doi. 30% lower than the theoretical estimate 2.8 m/s. ∆ C is of the order of 0.2 m/s for a 1 m change in wave height, and cannot be confused with a 1 m/s change in tidal current. The actual measurement of the current velocity from an aircraft at 4 to 18 • incidence angle is, however, made difficult by uncertainties on the measurement geometry, which are much reduced in satellite measurements