The Meaning of Memory Safety

We give a rigorous characterization of what it means for a programming language to be memory safe, capturing the intuition that memory safety supports local reasoning about state. We formalize this principle in two ways. First, we show how a small memory-safe language validates a noninterference property: a program can neither affect nor be affected by unreachable parts of the state. Second, we extend separation logic, a proof system for heap-manipulating programs, with a memory-safe variant of its frame rule. The new rule is stronger because it applies even when parts of the program are buggy or malicious, but also weaker because it demands a stricter form of separation between parts of the program state. We also consider a number of pragmatically motivated variations on memory safety and the reasoning principles they support. As an application of our characterization, we evaluate the security of a previously proposed dynamic monitor for memory safety of heap-allocated data.Comment: POST'18 final versio

Extraction and sensitive detection of toxins A and B from the human pathogen Clostridium difficile in 40 seconds using microwave-accelerated metal-enhanced fluorescence.

Clostridium difficile is the primary cause of antibiotic associated diarrhea in humans and is a significant cause of morbidity and mortality. Thus the rapid and accurate identification of this pathogen in clinical samples, such as feces, is a key step in reducing the devastating impact of this disease. The bacterium produces two toxins, A and B, which are thought to be responsible for the majority of the pathology associated with the disease, although the relative contribution of each is currently a subject of debate. For this reason we have developed a rapid detection assay based on microwave-accelerated metal-enhanced fluorescence which is capable of detecting the presence of 10 bacteria in unprocessed human feces within 40 seconds. These promising results suggest that this prototype biosensor has the potential to be developed into a rapid, point of care, real time diagnostic assay for C. difficile

Anti-Inflammatory properties of Salograviolide A purified from Lebanese plant Centaurea ainetensis

This is an Open Access article distributed under the terms of the Creative Commons Attribution Licens

Useful pharmacodynamic endpoints in children: selection, measurement, and next steps.

Pharmacodynamic (PD) endpoints are essential for establishing the benefit-to-risk ratio for therapeutic interventions in children and neonates. This article discusses the selection of an appropriate measure of response, the PD endpoint, which is a critical methodological step in designing pediatric efficacy and safety studies. We provide an overview of existing guidance on the choice of PD endpoints in pediatric clinical research. We identified several considerations relevant to the selection and measurement of PD endpoints in pediatric clinical trials, including the use of biomarkers, modeling, compliance, scoring systems, and validated measurement tools. To be useful, PD endpoints in children need to be clinically relevant, responsive to both treatment and/or disease progression, reproducible, and reliable. In most pediatric disease areas, this requires significant validation efforts. We propose a minimal set of criteria for useful PD endpoint selection and measurement. We conclude that, given the current heterogeneity of pediatric PD endpoint definitions and measurements, both across and within defined disease areas, there is an acute need for internationally agreed, validated, and condition-specific pediatric PD endpoints that consider the needs of all stakeholders, including healthcare providers, policy makers, patients, and families.Pediatric Research advance online publication, 11 April 2018; doi:10.1038/pr.2018.38

The neurogenic bladder: medical treatment

Neurogenic bladder sphincter dysfunction (NBSD) can cause severe and irreversible renal damage and bladder-wall destruction years before incontinence becomes an issue. Therefore, the first step in adequate management is to recognize early the bladder at risk for upper- and lower-tract deterioration and to start adequate medical treatment proactively. Clean intermittent catheterization combined with anticholinergics (oral or intravesical) is the standard therapy for NBSD. Early institution of such treatment can prevent both renal damage and secondary bladder-wall changes, thereby potentially improving long-term outcomes. In children with severe side effects or with insufficient suppression of detrusor overactivity despite maximal dosage of oral oxybutynin, intravesical instillation is an effective alternative. Intravesical instillation eliminates systemic side effects by reducing the first-pass metabolism and, compared with oral oxybutynin, intravesical oxybutynin is a more potent and long-acting detrusor suppressor. There is growing evidence that with early adequate treatment, kidneys are saved and normal bladder growth can be achieved in children so they will no longer need surgical bladder augmentation to achieve safe urinary continence in adolescence and adulthood

Averages of b-hadron, c-hadron, and tau-lepton properties as of 2018 Heavy Flavor Averaging Group (HFLAV)

This paper reports world averages of measurements of b-hadron, c-hadron, and τ -lepton properties obtained by the Heavy Flavour Averaging Group using results available through September 2018. In rare cases, significant results obtained several months later are also used. For the averaging, common input parameters used in the various analyses are adjusted (rescaled) to common values, and known correlations are taken into account. The averages include branching fractions, lifetimes, neutral meson mixing parameters, C P violation parameters, parameters of semileptonic decays, and Cabibbo–Kobayashi–Maskawa matrix elements

Mortality from gastrointestinal congenital anomalies at 264 hospitals in 74 low-income, middle-income, and high-income countries: a multicentre, international, prospective cohort study

Background: Congenital anomalies are the fifth leading cause of mortality in children younger than 5 years globally. Many gastrointestinal congenital anomalies are fatal without timely access to neonatal surgical care, but few studies have been done on these conditions in low-income and middle-income countries (LMICs). We compared outcomes of the seven most common gastrointestinal congenital anomalies in low-income, middle-income, and high-income countries globally, and identified factors associated with mortality. // Methods: We did a multicentre, international prospective cohort study of patients younger than 16 years, presenting to hospital for the first time with oesophageal atresia, congenital diaphragmatic hernia, intestinal atresia, gastroschisis, exomphalos, anorectal malformation, and Hirschsprung's disease. Recruitment was of consecutive patients for a minimum of 1 month between October, 2018, and April, 2019. We collected data on patient demographics, clinical status, interventions, and outcomes using the REDCap platform. Patients were followed up for 30 days after primary intervention, or 30 days after admission if they did not receive an intervention. The primary outcome was all-cause, in-hospital mortality for all conditions combined and each condition individually, stratified by country income status. We did a complete case analysis. // Findings: We included 3849 patients with 3975 study conditions (560 with oesophageal atresia, 448 with congenital diaphragmatic hernia, 681 with intestinal atresia, 453 with gastroschisis, 325 with exomphalos, 991 with anorectal malformation, and 517 with Hirschsprung's disease) from 264 hospitals (89 in high-income countries, 166 in middle-income countries, and nine in low-income countries) in 74 countries. Of the 3849 patients, 2231 (58·0%) were male. Median gestational age at birth was 38 weeks (IQR 36–39) and median bodyweight at presentation was 2·8 kg (2·3–3·3). Mortality among all patients was 37 (39·8%) of 93 in low-income countries, 583 (20·4%) of 2860 in middle-income countries, and 50 (5·6%) of 896 in high-income countries (p<0·0001 between all country income groups). Gastroschisis had the greatest difference in mortality between country income strata (nine [90·0%] of ten in low-income countries, 97 [31·9%] of 304 in middle-income countries, and two [1·4%] of 139 in high-income countries; p≤0·0001 between all country income groups). Factors significantly associated with higher mortality for all patients combined included country income status (low-income vs high-income countries, risk ratio 2·78 [95% CI 1·88–4·11], p<0·0001; middle-income vs high-income countries, 2·11 [1·59–2·79], p<0·0001), sepsis at presentation (1·20 [1·04–1·40], p=0·016), higher American Society of Anesthesiologists (ASA) score at primary intervention (ASA 4–5 vs ASA 1–2, 1·82 [1·40–2·35], p<0·0001; ASA 3 vs ASA 1–2, 1·58, [1·30–1·92], p<0·0001]), surgical safety checklist not used (1·39 [1·02–1·90], p=0·035), and ventilation or parenteral nutrition unavailable when needed (ventilation 1·96, [1·41–2·71], p=0·0001; parenteral nutrition 1·35, [1·05–1·74], p=0·018). Administration of parenteral nutrition (0·61, [0·47–0·79], p=0·0002) and use of a peripherally inserted central catheter (0·65 [0·50–0·86], p=0·0024) or percutaneous central line (0·69 [0·48–1·00], p=0·049) were associated with lower mortality. // Interpretation: Unacceptable differences in mortality exist for gastrointestinal congenital anomalies between low-income, middle-income, and high-income countries. Improving access to quality neonatal surgical care in LMICs will be vital to achieve Sustainable Development Goal 3.2 of ending preventable deaths in neonates and children younger than 5 years by 2030

Anisotropic nanomaterials: structure, growth, assembly, and functions

Comprehensive knowledge over the shape of nanomaterials is a critical factor in designing devices with desired functions. Due to this reason, systematic efforts have been made to synthesize materials of diverse shape in the nanoscale regime. Anisotropic nanomaterials are a class of materials in which their properties are direction-dependent and more than one structural parameter is needed to describe them. Their unique and fine-tuned physical and chemical properties make them ideal candidates for devising new applications. In addition, the assembly of ordered one-dimensional (1D), two-dimensional (2D), and three-dimensional (3D) arrays of anisotropic nanoparticles brings novel properties into the resulting system, which would be entirely different from the properties of individual nanoparticles. This review presents an overview of current research in the area of anisotropic nanomaterials in general and noble metal nanoparticles in particular. We begin with an introduction to the advancements in this area followed by general aspects of the growth of anisotropic nanoparticles. Then we describe several important synthetic protocols for making anisotropic nanomaterials, followed by a summary of their assemblies, and conclude with major applications