Atomizer for thermal management system

An atomizer for thermal management system for efficiently thermally managing one or more heat producing devices. The atomizer for thermal management system includes a housing having a coolant passage and a dispensing end, an orifice within the dispensing end, and an actuator manipulating a plunger within the housing. The plunger includes a head that is sealable within a recessed portion of the orifice to open or close the orifice. The coolant passes through the coolant passage into the orifice for spraying upon a heat producing device. The actuator may reciprocate so that the coolant spray emitted through the orifice is pulsating. The pulsing frequency may be increased to increase cooling or decreased to decrease cooling of the heat producing device

Machine-Checked Semantic Session Typing

Session types- A family of type systems for message-passing concurrency-have been subject to many extensions, where each extension comes with a separate proof of type safety. These extensions cannot be readily combined, and their proofs of type safety are generally not machine checked, making their correctness less trustworthy. We overcome these shortcomings with a semantic approach to binary asynchronous affine session types, by developing a logical relations model in Coq using the Iris program logic. We demonstrate the power of our approach by combining various forms of polymorphism and recursion, asynchronous subtyping, references, and locks/mutexes. As an additional benefit of the semantic approach, we demonstrate how to manually prove typing judgements of racy, but safe, programs that cannot be type checked using only the rules of the type system. Programming Language

Effects of bardoxolone methyl on body weight, waist circumference and glycemic control in obese patients with type 2 diabetes mellitus and stage 4 chronic kidney disease

AimsObesity is associated with progression of chronic kidney disease (CKD). Treatment with bardoxolone methyl in a multinational phase 3 trial, Bardoxolone Methyl Evaluation in Patients with Chronic Kidney Disease and Type 2 Diabetes (BEACON), resulted in increases in estimated glomerular filtration rate (eGFR) with concurrent reductions in body weight. We performed post-hoc analyses to further characterize reductions in body weight with bardoxolone methyl.MethodsEligible patients with type 2 diabetes (T2DM) and CKD stage 4 (eGFR 15 to <30 mL/min/1.73 m2) were randomized 1:1 to receive once-daily oral dose of bardoxolone methyl (20 mg) or placebo.ResultsBEACON enrolled 2185 patients. Patients randomized to bardoxolone methyl experienced significant reductions in body weight from baseline relative to patients randomized to placebo (-5.7 kg; 95% CI: -6.0 to -5.3 kg; p < 0.001). In patients randomized to bardoxolone methyl, rate and magnitude of body weight loss were proportional to baseline BMI. Bardoxolone methyl resulted in significant reductions in waist circumference and improved glycemic control.ConclusionsBardoxolone methyl resulted in significant weight loss in a generally obese patient population with T2DM and stage 4 CKD, with the magnitude and rate dependent on baseline BMI

Genome-wide Analyses Identify KIF5A as a Novel ALS Gene

To identify novel genes associated with ALS, we undertook two lines of investigation. We carried out a genome-wide association study comparing 20,806 ALS cases and 59,804 controls. Independently, we performed a rare variant burden analysis comparing 1,138 index familial ALS cases and 19,494 controls. Through both approaches, we identified kinesin family member 5A (KIF5A) as a novel gene associated with ALS. Interestingly, mutations predominantly in the N-terminal motor domain of KIF5A are causative for two neurodegenerative diseases: hereditary spastic paraplegia (SPG10) and Charcot-Marie-Tooth type 2 (CMT2). In contrast, ALS-associated mutations are primarily located at the C-terminal cargo-binding tail domain and patients harboring loss-of-function mutations displayed an extended survival relative to typical ALS cases. Taken together, these results broaden the phenotype spectrum resulting from mutations in KIF5A and strengthen the role of cytoskeletal defects in the pathogenesis of ALS.Peer reviewe

Mammal responses to global changes in human activity vary by trophic group and landscape

Wildlife must adapt to human presence to survive in the Anthropocene, so it is critical to understand species responses to humans in different contexts. We used camera trapping as a lens to view mammal responses to changes in human activity during the COVID-19 pandemic. Across 163 species sampled in 102 projects around the world, changes in the amount and timing of animal activity varied widely. Under higher human activity, mammals were less active in undeveloped areas but unexpectedly more active in developed areas while exhibiting greater nocturnality. Carnivores were most sensitive, showing the strongest decreases in activity and greatest increases in nocturnality. Wildlife managers must consider how habituation and uneven sensitivity across species may cause fundamental differences in human–wildlife interactions along gradients of human influence.Peer reviewe

Evacetrapib and Cardiovascular Outcomes in High-Risk Vascular Disease

BACKGROUND: The cholesteryl ester transfer protein inhibitor evacetrapib substantially raises the high-density lipoprotein (HDL) cholesterol level, reduces the low-density lipoprotein (LDL) cholesterol level, and enhances cellular cholesterol efflux capacity. We sought to determine the effect of evacetrapib on major adverse cardiovascular outcomes in patients with high-risk vascular disease. METHODS: In a multicenter, randomized, double-blind, placebo-controlled phase 3 trial, we enrolled 12,092 patients who had at least one of the following conditions: an acute coronary syndrome within the previous 30 to 365 days, cerebrovascular atherosclerotic disease, peripheral vascular arterial disease, or diabetes mellitus with coronary artery disease. Patients were randomly assigned to receive either evacetrapib at a dose of 130 mg or matching placebo, administered daily, in addition to standard medical therapy. The primary efficacy end point was the first occurrence of any component of the composite of death from cardiovascular causes, myocardial infarction, stroke, coronary revascularization, or hospitalization for unstable angina. RESULTS: At 3 months, a 31.1% decrease in the mean LDL cholesterol level was observed with evacetrapib versus a 6.0% increase with placebo, and a 133.2% increase in the mean HDL cholesterol level was seen with evacetrapib versus a 1.6% increase with placebo. After 1363 of the planned 1670 primary end-point events had occurred, the data and safety monitoring board recommended that the trial be terminated early because of a lack of efficacy. After a median of 26 months of evacetrapib or placebo, a primary end-point event occurred in 12.9% of the patients in the evacetrapib group and in 12.8% of those in the placebo group (hazard ratio, 1.01; 95% confidence interval, 0.91 to 1.11; P=0.91). CONCLUSIONS: Although the cholesteryl ester transfer protein inhibitor evacetrapib had favorable effects on established lipid biomarkers, treatment with evacetrapib did not result in a lower rate of cardiovascular events than placebo among patients with high-risk vascular disease. (Funded by Eli Lilly; ACCELERATE ClinicalTrials.gov number, NCT01687998 .)

Effects of Once-Weekly Exenatide on Cardiovascular Outcomes in Type 2 Diabetes.

Abstract BACKGROUND: The cardiovascular effects of adding once-weekly treatment with exenatide to usual care in patients with type 2 diabetes are unknown. METHODS: We randomly assigned patients with type 2 diabetes, with or without previous cardiovascular disease, to receive subcutaneous injections of extended-release exenatide at a dose of 2 mg or matching placebo once weekly. The primary composite outcome was the first occurrence of death from cardiovascular causes, nonfatal myocardial infarction, or nonfatal stroke. The coprimary hypotheses were that exenatide, administered once weekly, would be noninferior to placebo with respect to safety and superior to placebo with respect to efficacy. RESULTS: In all, 14,752 patients (of whom 10,782 [73.1%] had previous cardiovascular disease) were followed for a median of 3.2 years (interquartile range, 2.2 to 4.4). A primary composite outcome event occurred in 839 of 7356 patients (11.4%; 3.7 events per 100 person-years) in the exenatide group and in 905 of 7396 patients (12.2%; 4.0 events per 100 person-years) in the placebo group (hazard ratio, 0.91; 95% confidence interval [CI], 0.83 to 1.00), with the intention-to-treat analysis indicating that exenatide, administered once weekly, was noninferior to placebo with respect to safety (P<0.001 for noninferiority) but was not superior to placebo with respect to efficacy (P=0.06 for superiority). The rates of death from cardiovascular causes, fatal or nonfatal myocardial infarction, fatal or nonfatal stroke, hospitalization for heart failure, and hospitalization for acute coronary syndrome, and the incidence of acute pancreatitis, pancreatic cancer, medullary thyroid carcinoma, and serious adverse events did not differ significantly between the two groups. CONCLUSIONS: Among patients with type 2 diabetes with or without previous cardiovascular disease, the incidence of major adverse cardiovascular events did not differ significantly between patients who received exenatide and those who received placebo. (Funded by Amylin Pharmaceuticals; EXSCEL ClinicalTrials.gov number, NCT01144338 .)

Ballot-Marking Devices Cannot Ensure the Will of the Voters

The complexity of U.S. elections usually requires computers to count ballots—but computers can be hacked, so election integrity requires a voting system in which paper ballots can be recounted by hand. However, paper ballots provide no assurance unless they accurately record the votes as expressed by the voters. Voters can express their intent by indelibly hand-marking ballots or using computers called ballot-marking devices (BMDs). Voters can make mistakes in expressing their intent in either technology, but only BMDs are also subject to hacking, bugs, and misconfiguration of the software that prints the marked ballots. Most voters do not review BMD-printed ballots, and those who do often fail to notice when the printed vote is not what they expressed on the touchscreen. Furthermore, there is no action a voter can take to demonstrate to election officials that a BMD altered their expressed votes, nor is there a corrective action that election officials can take if notified by voters—there is no way to deter, contain, or correct computer hacking in BMDs. These are the essential security flaws of BMDs. Risk-limiting audits can ensure that the votes recorded on paper ballots are tabulated correctly, but no audit can ensure that the votes on paper are the ones expressed by the voter on a touchscreen: Elections conducted on current BMDs cannot be confirmed by audits. We identify two properties of voting systems, contestability and defensibility, necessary for audits to confirm election outcomes. No available BMD certified by the Election Assistance Commission is contestable or defensible