bluuebunny/crossref_metadata_2025_split huggingface dataset:
Association between alcohol and drug use and arrest for driving under the influence after crash involvement in a rural area of Norway: a case–control study
Authors: Jamt Ragnhild Elén Gjulem , Gjerde Hallvard , Romeo Giovanni , Bogstrand Stig Tore 
Published: January 2019

ObjectivesThe rate of deaths caused by road traffic crashes is particularly high in rural areas. It has been hypothesised that one factor that may contribute is differences in patterns of alcohol use. The aim was to compare the prevalence of psychoactive substances among crash-involved drivers arrested for suspicion of driving under the influence (DUI) who are tested for alcohol and drugs and recent random drivers in a rural area. Furthermore, we investigated the association between traffic crashes and driving after using alcohol, illicit or medicinal drugs either alone or in combination.MethodsA case–control study was carried out in which the case group consisted of crash-involved drivers arrested for suspicion of DUI from 2000 to 2015. This group was compared with a control group of randomly selected drivers recruited to a roadside survey in normal traffic from 2014 to 2015. The case group consisted of 612 individuals (542 men and 70 women) and the control group of 3027 individuals (2099 men and 927 women). Drug and alcohol screening was performed on blood samples from the cases and samples of oral fluid from the controls.ResultsThe proportion of psychoactive substances was 81.7% among cases and 1.6% among the controls. The prevalence of combinations of psychoactive substances was 18% among the cases and 0.3% among the controls. The multivariate regression model analysis identified significant drug interactions.ConclusionThe prevalence of alcohol and drugs was high among the crash-involved drivers arrested for suspicion of DUI by the police. In contrast to earlier published research combinations of different psychoactive substances did not increase the OR for traffic crash involvement more than the single drug with highest OR. The statistical methodology presented in this study should be allied in future studies with greater statistical power to confirm these findings.
Diabetes mellitus and the risk of fractures at specific sites: a meta-analysis
Authors: Wang Hao , Ba Ying , Xing Qian , Du Jian-Ling 
Published: January 2019

ObjectiveDiabetes mellitus (DM) is associated with an increased fracture risk; however, the impact of DM and subsequent fracture at different sites and the associations according to patient characteristics remain unknown.DesignMeta-analysisData sourcesThe PubMed, EMBASE and Cochrane Library databases were searched from inception to March 2018.Eligibility criteriaWe included prospective and retrospective cohort studies on the associations of DM and subsequent fracture risk at different sites.Data extraction and synthesisTwo authors independently extracted data and assessed the study quality. Relative risks (RRs) with 95% CIs were calculated using a random-effects model, and the heterogeneity across the included studies was evaluated using I2and Q statistics.ResultsOverall, DM was associated with an increased risk of total (RR: 1.32; 95% CI 1.17 to 1.48; p<0.001), hip (RR: 1.77; 95% CI 1.56 to 2.02; p<0.001), upper arm (RR: 1.47; 95% CI 1.02 to 2.10; p=0.037) and ankle fractures (RR: 1.24; 95% CI 1.10 to 1.40; p<0.001), whereas DM had no significant impact on the incidence of distal forearm (RR: 1.02; 95% CI 0.88 to 1.19; p=0.809) and vertebral fractures (RR: 1.56; 95% CI 0.78 to 3.12; p=0.209). RR ratios suggested that compared with patients with type 2 DM (T2DM), patients with type 1 DM (T1DM) had greater risk of total (RR: 1.24; 95% CI 1.08 to 1.41; p=0.002), hip (RR: 3.43; 95% CI 2.27 to 5.17; p<0.001) and ankle fractures (RR: 1.71; 95% CI 1.06 to 2.78; p=0.029). Although no other significant differences were observed between subgroups, the association of DM with upper arm or ankle, vertebrae and total fracture differed according to sex, study design and country, respectively.ConclusionsPatients with DM had greater risks of total, hip, upper arm and ankle fractures, with T1DM having a more harmful effect than T2DM.
Oral nutrition supplements and between-meal snacks for nutrition therapy in patients with COPD identified as at nutritional risk: a randomised feasibility trial
Authors: Ingadottir Arora Ros , Beck Anne Marie , Baldwin Christine , Weekes Christine Elizabeth , Geirsdottir Olof Gudny , Ramel Alfons , Gislason Thorarinn , Gunnarsdottir Ingibjorg 
Published: January 2019

IntroductionIntervention studies have mainly used oral nutritional supplements (ONS) for the management of patients with chronic obstructive pulmonary disease (COPD) identified as at nutritional risk. In this 12-month randomised feasibility trial, we assessed the (1) feasibility of the recruitment, retention and provision of two interventions: ONS and between-meal snacks (snacks) and (2) the potential impact of the provision of snacks and ONS on body weight and quality of life in patients with COPD.Methods Hospitalised patients with COPD, at nutritional risk, were randomised to ONS (n=19) or snacks (n=15) providing 600 kcal and 22 g protein a day in addition to regular daily diet. The intervention started in hospital and was continued for 12 months after discharge from the hospital.Results Study recruitment rate was n=34 (45%) and retention rate at 12 months was similar for both groups: n=13 (68%) in the ONS group and n=10 (67%) in the Snacks group. Both groups gained weight from baseline to 12 months (2.3±4.6 kg (p=0.060) in the ONS group and 4.4±6.4 kg (p=0.030) in the Snacks group). The St George’s Respiratory Questionnaire total score improved from baseline to 12 months in both groups (score 3.9±11.0 (p=0.176) in the ONS group and score 8.9±14.1 (p=0.041) in the Snacks group).Discussion In patients with COPD who are at nutritional risk snacks are at least as feasible and effective as ONS, however, adequately powered trials that take account of the difficulties in recruiting this patient group are required to confirm this effect.
Trends of drowning mortality in Vietnam: evidence from the national injury mortality surveillance system
Authors: Nguyen Ha , Ivers Rebecca Q , Pham Cuong , Jagnoor Jagnoor 
Published: January 2019

ObjectiveTo describe the trends of drowning mortality in Vietnam over time and to identify socioeconomic characteristics associated with higher drowning mortality at the provincial level.MethodsWe analysed data from the Ministry of Health injury mortality surveillance system from 1 January 2009 to 31 December 2013. The surveillance covers more than 11 000 commune health centres in all provinces of Vietnam. For provincial population and socioeconomic characteristics, we extracted data from the National census 2009, the Population change and family planning surveys in 2011 and 2013. Multilevel linear models were used to identify provincial characteristics associated with higher mortality rates.ResultsOver the 5-year period between 2009 and 2013, 31 232 drowning deaths were reported, equivalent to a 5-year average of 6246 drowning deaths. During this period, drowning mortality rate decreased 7.2/100 000 to 6.9/100 000 (p=0.035). Of six major geographical regions, Northern midland, Central highland and Mekong delta were those with highest mortality rates. In all regions, children aged 1–4 years had the highest mortality rates, followed by those aged 5–9 and 10–14 years. At provincial level, having a coastline was not associated with higher mortality rate. Provinces with larger population size and greater proportion of poor households were statistically significantly associated with higher mortality rates (p=0.042 and 0.006, respectively).ConclusionWhile some gains have been made in reducing drowning mortality, child deaths due to drowning in Vietnam remain alarmingly high. Targeted scale-up of known effective interventions such as child supervision and basic survival skills are needed for reducing child mortality due to drowning, particularly in socioeconomically disadvantaged provinces.
Efficacy of ‘drive and retrieve’ as a cooperative method for prompt endovascular treatment for acute ischemic stroke
Authors: Osanai Toshiya , Ito Yasuhiro , Ushikoshi Satoshi , Aoki Takeshi , Kawabori Masahito , Fujiwara Kensuke , Ogasawara Katsuhiko , Tokairin Kikutaro , Maruichi Katsuhiko , Nakayama Naoki , Kazumata Ken , Ono Kota , Houkin Kiyohiro 
Published: January 2019

BackgroundOutcomes of endovascular treatment for acute ischemic stroke depend on the time interval from onset to reperfusion. Although the centralized ‘mothership’ method is considered preferable, the required transportation time increases the risk that a patient with a stroke may not receive intravenous or endovascular therapy. In contrast, ‘drive and retrieve’ describes a system wherein doctors from comprehensive stroke centers travel to primary stroke centers and provide endovascular treatment for acute ischemic stroke.ObjectiveTo describe the drive and retrieve system and verify the effects of this new collaboration on outcomes in patients with acute ischemic stroke among facilities.MethodsThis non-randomized, single-arm study retrospectively analyzed patients who met the inclusion criteria for endovascular treatment provided through a drive and retrieve system. Among the 122 patients treated by this system, we analyzed the time of onset to recanalization as the primary outcome. We also analyzed the efficacy of the drive and retrieve system using geographic information system analysis.ResultsThe median time from onset to recanalization was 229 min (IQR 170–307 min, 95% CI 201 to 252 min). The upper limit of the 95% CI for the time from onset to recanalization was shorter than the median times reported in two previous trials. Geographic information system analysis revealed an upward trend in the population coverage rate in each secondary medical area after the drive and retrieve method was introduced.ConclusionThe drive and retrieve method may be an effective form of cooperation between facilities located within 1 hour of a comprehensive stroke center.
Randomised, double-blind, placebo-controlled pilot trial of omeprazole in idiopathic pulmonary fibrosis
Authors: Dutta Prosenjit , Funston Wendy , Mossop Helen , Ryan Vicky , Jones Rhys , Forbes Rebecca , Sen Shilpi , Pearson Jeffrey , Griffin S Michael , Smith Jaclyn A , Ward Christopher , Forrest Ian A , Simpson A John 
Published: January 2019

BackgroundCough is a common, disabling symptom of idiopathic pulmonary fibrosis (IPF), which may be exacerbated by acid reflux. Inhibiting gastric acid secretion could potentially reduce cough. This study aimed to determine the feasibility of a larger, multicentre trial of omeprazole for cough in IPF, to assess safety and to quantify cough.MethodsSingle-centre, double-blind, randomised, placebo-controlled pilot trial of the proton pump inhibitor (PPI) omeprazole (20 mg twice daily for 3 months) in patients with IPF. Primary objectives were to assess feasibility and acceptability of trial procedures. The primary clinical outcome was cough frequency.ResultsForty-five participants were randomised (23 to omeprazole, 22 to placebo), with 40 (20 in each group) having cough monitoring before and after treatment. 280 patients were screened to yield these numbers, with barriers to discontinuing antacids the single biggest reason for non-recruitment. Recruitment averaged 1.5 participants per month. Geometric mean cough frequency at the end of treatment, adjusted for baseline, was 39.1% lower (95% CI 66.0% lower to 9.3% higher) in the omeprazole group compared with placebo. Omeprazole was well tolerated and adverse event profiles were similar in both groups, although there was a small excess of lower respiratory tract infection and a small fall in forced expiratory volume and forced vital capacity associated with omeprazole.ConclusionsA large randomised controlled trial of PPIs for cough in IPF appears feasible and justified but should address barriers to randomisation and incorporate safety assessments in relation to respiratory infection and changes in lung function.
Pictorial health warnings and wear-out effects: evidence from a web experiment in 10 European countries
Authors: Woelbert Eva , d’Hombres Béatrice 
Published: January 2019

ObjectiveThis paper examines whether there are possible wear-out effects associated with repeated exposure to pictorial health warnings on tobacco products. Wear-out effects can begeneral, that is, people get used to the presence of pictorial warnings in general, orspecificto the content of the warnings (ie, the images used). Distinguishing between these two types of wear-out is important for understanding how to maintain the effectiveness of health warnings over time.MethodsThis study used data from two surveys carried out in 10 European countries. Participants (n=12 600) were exposed in a random order to a series of health warnings and assessed the salience of the warnings as well as their effects on smoking intentions. Using these data and country variations in health warning legislation, we tested whether warning pictures are subject to general and/or specific wear-out effects.ResultsResponses were stronger to combined text+picture warnings than to text-only warnings. This effect was lower for smokers living in countries where combined warnings were already in place at the time of the data collection, compared with smokers residing in countries where text-only warnings were in use. This result, observed for combined warnings with new pictures, is in line with the presence of general wear-out effects. Combined warnings with an unknown pictorial content were more effective than those including pictorial warnings already in use, suggesting that specific wear-out effects are also at play.ConclusionsThese findings strengthen the evidence that pictorial health warnings are an effective tool for tobacco control policies and suggest that, even in the presence of a general wear-out effect among smokers, periodically introducing new pictures helps to maintain warning effectiveness over time.
Impact of tobacco use on health and work productivity in Malaysia
Authors: Tan Qian Ying , Zomer Ella , Owen Alice J , Chin Ken Lee , Liew Danny 
Published: January 2019

BackgroundThe loss of productivity arising from tobacco use in low/middle-income countries has not been well described. We sought to examine the impact of cigarette smoking on population health and work productivity in Malaysia using a recently published measure, the productivity-adjusted life year (PALY).MethodsA life table model was constructed using published Malaysian demographic and mortality data. Our analysis was limited to male smokers due to the low smoking prevalence in females (1.1%). Male smokers aged 15–64 years were followed up until 65 years or until death. The population attributable risk, health-related quality of life decrements and relative reduction in productivity due to smoking were sourced from published data. The analysis was repeated assuming the cohorts were never smokers, and the differences in outcomes represented the health and productivity burden conferred by smoking. The cost of productivity loss was estimated based on the gross domestic product per equivalent full-time worker in Malaysia.ResultsTobacco use is highly prevalent among working-age males in Malaysia, with 4.2 million (37.5%) daily smokers among men aged between 15 and 64 years. Overall, our model estimated that smoking resulted in the loss of over 2.1 million life years (2.9%), 5.5 million (8.2%) quality-adjusted life years (QALYs) and 3.0 million (4.8%) PALYs. Smoking was estimated to incur RM275.3 billion (US$69.4 billion) in loss of productivity.ConclusionTobacco use imposes a significant public health and economic burden among working-age males in Malaysia. This study highlights the need of effective public health interventions to reduce tobacco use.
The Himalayan Foreland Basin from collision onset to the present: a sedimentary–petrology perspective
Authors: Garzanti Eduardo 
Published: January 2019

Abstract

This chapter summarizes the available stratigraphic, petrographical and mineralogical evidence from sediments and sedimentary rocks on the evolution of the Himalayan belt and its associated foreland basin. The use of compositional signatures of modern sediments to unravel provenance changes and palaeodrainage evolution through time is hampered by a poor match with detrital modes of ancient strata markedly affected by selective chemical dissolution of unstable minerals during diagenesis. Only semi-quantitative diagnoses can thus be attempted. Volcanic detritus derived from Transhimalayan arcs since India–Asia collision onset at
c.
60 Ma was deposited onto the Indian lower plate throughout the Protohimalayan stage, with the exception of the Tansen region of Nepal that is characterized by quartz-arenites yielding orogen-derived zircon grains. During the Eohimalayan stage, begun in the late Eocene when most sedimentation ceased in the Tethys Himalayan domain, low-rank metasedimentary detritus was overwhelming in the central foreland basin, where a widespread unconformity developed spanning locally as much as 20 myr. Volcanic detritus from Transhimalayan arcs remained significant in northern Pakistan. Arrival of higher-rank metamorphic detritus since the earliest Miocene, and the successive occurrence of garnet, staurolite, kyanite and finally sillimanite, characterized the Neohimalayan stage, when repeated compositional changes in the foreland-basin succession document the stepwise propagation of crustal deformation across the Indian Plate margin and widening of the thrust belt with exhumation of progressively more external tectonic units. The correspondence in time between the activity of major thrusts and petrofacies changes indicates a promising approach to accurately reconstruct the geological evolution of the coupled orogen–basin system. Conversely, a poor conceptual framework and the general reliance on ad hoc mechanisms to explain phenomena unpredicted by simplified models represent major factors limiting the robustness of palaeotectonic interpretations. Improved knowledge requires taking into full account the dynamic role played by still poorly understood subduction processes – rather than exclusively the effect of passive loading – as well as the role played by the presence of inherited structures on the downgoing Indian Plate, which control both lateral variability of orogenic deformation and the location of depocentres in the foreland basin.
Live functional programming with typed holes
Authors: Omar Cyrus , Voysey Ian , Chugh Ravi , Hammer Matthew A. 
Published: January 2019

Live programming environments aim to provide programmers (and sometimes audiences) with continuous feedback about a program's dynamic behavior as it is being edited. The problem is that programming languages typically assign dynamic meaning only to programs that are complete, i.e. syntactically well-formed and free of type errors. Consequently, live feedback presented to the programmer exhibits temporal or perceptive gaps.
This paper confronts this "gap problem" from type-theoretic first principles by developing a dynamic semantics for incomplete functional programs, starting from the static semantics for incomplete functional programs developed in recent work on Hazelnut. We model incomplete functional programs as expressions with holes, with empty holes standing for missing expressions or types, and non-empty holes operating as membranes around static and dynamic type inconsistencies. Rather than aborting when evaluation encounters any of these holes as in some existing systems, evaluation proceeds around holes, tracking the closure around each hole instance as it flows through the remainder of the program. Editor services can use the information in these hole closures to help the programmer develop and confirm their mental model of the behavior of the complete portions of the program as they decide how to fill the remaining holes. Hole closures also enable a fill-and-resume operation that avoids the need to restart evaluation after edits that amount to hole filling. Formally, the semantics borrows machinery from both gradual type theory (which supplies the basis for handling unfilled type holes) and contextual modal type theory (which supplies a logical basis for hole closures), combining these and developing additional machinery necessary to continue evaluation past holes while maintaining type safety. We have mechanized the metatheory of the core calculus, called Hazelnut Live, using the Agda proof assistant.
We have also implemented these ideas into the Hazel programming environment. The implementation inserts holes automatically, following the Hazelnut edit action calculus, to guarantee that every editor state has some (possibly incomplete) type. Taken together with this paper's type safety property, the result is a proof-of-concept live programming environment where rich dynamic feedback is truly available without gaps, i.e. for every reachable editor state.
Gradual type theory
Authors: New Max S. , Licata Daniel R. , Ahmed Amal 
Published: January 2019

Gradually typed languages are designed to support both dynamically typed and statically typed programming styles while preserving the benefits of each. While existing gradual type soundness theorems for these languages aim to show that type-based reasoning is preserved when moving from the fully static setting to a gradual one, these theorems do not imply that correctness of type-based refactorings and optimizations is preserved. Establishing correctness of program transformations is technically difficult, because it requires reasoning about program equivalence, and is often neglected in the metatheory of gradual languages.
In this paper, we propose an axiomatic account of program equivalence in a gradual cast calculus, which we formalize in a logic we call gradual type theory (GTT). Based on Levy’s call-by-push-value, GTT gives an axiomatic account of both call-by-value and call-by-name gradual languages. Based on our axiomatic account we prove many theorems that justify optimizations and refactorings in gradually typed languages. For example, uniqueness principles for gradual type connectives show that if the βη laws hold for a connective, then casts between that connective must be equivalent to the so-called “lazy” cast semantics. Contrapositively, this shows that “eager” cast semantics violates the extensionality of function types. As another example, we show that gradual upcasts are pure functions and, dually, gradual downcasts are strict functions. We show the consistency and applicability of our axiomatic theory by proving that a contract-based implementation using the lazy cast semantics gives a logical relations model of our type theory, where equivalence in GTT implies contextual equivalence of the programs. Since GTT also axiomatizes the dynamic gradual guarantee, our model also establishes this central theorem of gradual typing. The model is parametrized by the implementation of the dynamic types, and so gives a family of implementations that validate type-based optimization and the gradual guarantee.