The Tyranny of the Vital Few: The Pareto Principle in Language Design

Modern high-level programming languages often contain constructs whose semantics are non-trivial. In practice how- ever, software developers generally restrict the use of such constructs to settings in which their semantics is simple (programmers use language constructs in ways they understand and can reason about). As a result, when developing tools for analyzing and manipulating software, a disproportionate amount of effort ends up being spent developing capabilities needed to analyze constructs in settings that are infrequently used. This paper takes the position that such distinctions between theory and practice are an important measure o f the analyzability of a language

Feasibility of a Clutchless Dual-Shaft Hybrid Transmission System for Performance Applications

A novel hybrid-electric transmission concept was sought that yields higher acceleration and smoother gear-shifts compared to existing dual-clutch systems while improving the energy efficiency of the vehicle. After evaluating a range of strategies, the elimination of the clutch was identified as a viable method for reducing the vehicle's effective inertia and viscous losses. The proposed architecture implements a single electric motor, and two separate shafts for odd and even gears, to replace the functions of a clutch. High acceleration rates can be achieved using the electric motor when launching the vehicle. Furthermore, the torque from the electric motor (EM) and internal combustion engine (ICE) can be simultaneously delivered through the two shafts to sustain this high acceleration. A 0 to 100 km/hr time of 3.18 s was simulated for a 1600 kg vehicle using a 180 kW EM and 425 kW ICE. In addition, the EM can be used to match the speeds of consecutive gears on the two shafts to reduce jerk while shifting. Shift durations were found to vary between 0.2 and 0.9 s using this strategy. Other benefits include regenerative braking and the removal of the reverse gear since the EM can rotate in either direction. It was also found that the vehicle can be operated on only electric power in urban settings - represented by the NEDC driving cycle - if the battery is recharged through regenerative braking, and by the ICE the vehicle is stopped.Massachusetts Institute of Technology. Tata Center for Technology and Desig

Metal-substituted protein MRI contrast agents engineered for enhanced relaxivity and ligand sensitivity

Engineered metalloproteins constitute a flexible new class of analyte-sensitive molecular imaging agents detectable by magnetic resonance imaging (MRI), but their contrast effects are generally weaker than synthetic agents. To augment the proton relaxivity of agents derived from the heme domain of cytochrome P450 BM3 (BM3h), we formed manganese(III)-containing proteins that have higher electron spin than their native ferric iron counterparts. Metal substitution was achieved by coexpressing BM3h variants with the bacterial heme transporter ChuA in Escherichia coli and supplementing the growth medium with Mn3+-protoporphyrin IX. Manganic BM3h variants exhibited up to 2.6-fold higher T1 relaxivities relative to native BM3h at 4.7 T. Application of ChuA-mediated porphyrin substitution to a collection of thermostable chimeric P450 domains resulted in a stable, high-relaxivity BM3h derivative displaying a 63% relaxivity change upon binding of arachidonic acid, a natural ligand for the P450 enzyme and an important component of biological signaling pathways. This work demonstrates that protein-based MRI sensors with robust ligand sensitivity may be created with ease by including metal substitution among the toolkit of methods available to the protein engineer.National Institutes of Health (U.S.) (NIH Grant R01-DA28299 )National Institutes of Health (U.S.) (NIH NRSA Fellowship (Award F32-GM087102))California Institute of Technology (Caltech Jacobs Grant

Real-Time Detection of Overloads on the Plasma-Facing Components of Wendelstein 7-X

Wendelstein 7-X (W7-X) is the leading experiment on the path of demonstrating that stellarators are a feasible concept for a future power plant. One of its major goals is to prove quasi-steady-state operation in a reactor-relevant parameter regime. The surveillance and protection of the water-cooled plasma-facing components (PFCs) against overheating is fundamental to guarantee a safe steady-state high-heat-flux operation. The system has to detect thermal events in real-time and timely interrupt operation if it detects a critical event. The fast reaction times required to prevent damage to the device make it imperative to automate fully the image analysis algorithms. During the past operational phases, W7-X was equipped with inertially cooled test divertor units and the system still required manual supervision. With the experience gained, we have designed a new real-time PFC protection system based on image processing techniques. It uses a precise registration of the entire field of view against the CAD model to determine the temperature limits and thermal properties of the different PFCs. Instead of reacting when the temperature limits are breached in certain regions of interest, the system predicts when an overload will occur based on a heat flux estimation, triggering the interlock system in advance to compensate for the system delay. To conclude, we present our research roadmap towards a feedback control system of thermal loads to prevent unnecessary plasma interruptions in long high-performance plasmas

Challenges in QCD matter physics - The Compressed Baryonic Matter experiment at FAIR

Substantial experimental and theoretical efforts worldwide are devoted to explore the phase diagram of strongly interacting matter. At LHC and top RHIC energies, QCD matter is studied at very high temperatures and nearly vanishing net-baryon densities. There is evidence that a Quark-Gluon-Plasma (QGP) was created at experiments at RHIC and LHC. The transition from the QGP back to the hadron gas is found to be a smooth cross over. For larger net-baryon densities and lower temperatures, it is expected that the QCD phase diagram exhibits a rich structure, such as a first-order phase transition between hadronic and partonic matter which terminates in a critical point, or exotic phases like quarkyonic matter. The discovery of these landmarks would be a breakthrough in our understanding of the strong interaction and is therefore in the focus of various high-energy heavy-ion research programs. The Compressed Baryonic Matter (CBM) experiment at FAIR will play a unique role in the exploration of the QCD phase diagram in the region of high net-baryon densities, because it is designed to run at unprecedented interaction rates. High-rate operation is the key prerequisite for high-precision measurements of multi-differential observables and of rare diagnostic probes which are sensitive to the dense phase of the nuclear fireball. The goal of the CBM experiment at SIS100 (sqrt(s_NN) = 2.7 - 4.9 GeV) is to discover fundamental properties of QCD matter: the phase structure at large baryon-chemical potentials (mu_B > 500 MeV), effects of chiral symmetry, and the equation-of-state at high density as it is expected to occur in the core of neutron stars. In this article, we review the motivation for and the physics programme of CBM, including activities before the start of data taking in 2022, in the context of the worldwide efforts to explore high-density QCD matter.Comment: 15 pages, 11 figures. Published in European Physical Journal

A Membrane Fusion Protein αSNAP Is a Novel Regulator of Epithelial Apical Junctions

Tight junctions (TJs) and adherens junctions (AJs) are key determinants of the structure and permeability of epithelial barriers. Although exocytic delivery to the cell surface is crucial for junctional assembly, little is known about the mechanisms controlling TJ and AJ exocytosis. This study was aimed at investigating whether a key mediator of exocytosis, soluble N-ethylmaleimide sensitive factor (NSF) attachment protein alpha (αSNAP), regulates epithelial junctions. αSNAP was enriched at apical junctions in SK-CO15 and T84 colonic epithelial cells and in normal human intestinal mucosa. siRNA-mediated knockdown of αSNAP inhibited AJ/TJ assembly and establishment of the paracellular barrier in SK-CO15 cells, which was accompanied by a significant down-regulation of p120-catenin and E-cadherin expression. A selective depletion of p120 catenin effectively disrupted AJ and TJ structure and compromised the epithelial barrier. However, overexpression of p120 catenin did not rescue the defects of junctional structure and permeability caused by αSNAP knockdown thereby suggesting the involvement of additional mechanisms. Such mechanisms did not depend on NSF functions or induction of cell death, but were associated with disruption of the Golgi complex and down-regulation of a Golgi-associated guanidine nucleotide exchange factor, GBF1. These findings suggest novel roles for αSNAP in promoting the formation of epithelial AJs and TJs by controlling Golgi-dependent expression and trafficking of junctional proteins

Mitochondrial dysfunction and biogenesis: do ICU patients die from mitochondrial failure?

Mitochondrial functions include production of energy, activation of programmed cell death, and a number of cell specific tasks, e.g., cell signaling, control of Ca2+ metabolism, and synthesis of a number of important biomolecules. As proper mitochondrial function is critical for normal performance and survival of cells, mitochondrial dysfunction often leads to pathological conditions resulting in various human diseases. Recently mitochondrial dysfunction has been linked to multiple organ failure (MOF) often leading to the death of critical care patients. However, there are two main reasons why this insight did not generate an adequate resonance in clinical settings. First, most data regarding mitochondrial dysfunction in organs susceptible to failure in critical care diseases (liver, kidney, heart, lung, intestine, brain) were collected using animal models. Second, there is no clear therapeutic strategy how acquired mitochondrial dysfunction can be improved. Only the benefit of such therapies will confirm the critical role of mitochondrial dysfunction in clinical settings. Here we summarized data on mitochondrial dysfunction obtained in diverse experimental systems, which are related to conditions seen in intensive care unit (ICU) patients. Particular attention is given to mechanisms that cause cell death and organ dysfunction and to prospective therapeutic strategies, directed to recover mitochondrial function. Collectively the data discussed in this review suggest that appropriate diagnosis and specific treatment of mitochondrial dysfunction in ICU patients may significantly improve the clinical outcome

Electric dipole moments and the search for new physics

Static electric dipole moments of nondegenerate systems probe mass scales for physics beyond the Standard Model well beyond those reached directly at high energy colliders. Discrimination between different physics models, however, requires complementary searches in atomic-molecular-and-optical, nuclear and particle physics. In this report, we discuss the current status and prospects in the near future for a compelling suite of such experiments, along with developments needed in the encompassing theoretical framework.Comment: Contribution to Snowmass 2021; updated with community edits and endorsement

The development and validation of a scoring tool to predict the operative duration of elective laparoscopic cholecystectomy

Background: The ability to accurately predict operative duration has the potential to optimise theatre efficiency and utilisation, thus reducing costs and increasing staff and patient satisfaction. With laparoscopic cholecystectomy being one of the most commonly performed procedures worldwide, a tool to predict operative duration could be extremely beneficial to healthcare organisations. Methods: Data collected from the CholeS study on patients undergoing cholecystectomy in UK and Irish hospitals between 04/2014 and 05/2014 were used to study operative duration. A multivariable binary logistic regression model was produced in order to identify significant independent predictors of long (> 90 min) operations. The resulting model was converted to a risk score, which was subsequently validated on second cohort of patients using ROC curves. Results: After exclusions, data were available for 7227 patients in the derivation (CholeS) cohort. The median operative duration was 60 min (interquartile range 45–85), with 17.7% of operations lasting longer than 90 min. Ten factors were found to be significant independent predictors of operative durations > 90 min, including ASA, age, previous surgical admissions, BMI, gallbladder wall thickness and CBD diameter. A risk score was then produced from these factors, and applied to a cohort of 2405 patients from a tertiary centre for external validation. This returned an area under the ROC curve of 0.708 (SE = 0.013, p  90 min increasing more than eightfold from 5.1 to 41.8% in the extremes of the score. Conclusion: The scoring tool produced in this study was found to be significantly predictive of long operative durations on validation in an external cohort. As such, the tool may have the potential to enable organisations to better organise theatre lists and deliver greater efficiencies in care