Supply Response of Commercial Fishermen and Implications for Management of Invasive Asian Carp

Resource /Energy Economics and Policy,

Combinatorial development and high throughput materials characterisation of steels

A series of small iron specimens with minor additions of C, Si and Mn were manufactured via induction melting and characterised using a high throughput methodology. The aim was to analyse the high throughput approach itself, not the effects of minor additions to steel. Despite their small size, the trends in measured standard mechanical properties were consistent with published data, and target alloy compositions were achieved to a sufficient degree of accuracy. This is most encouraging as the experimental approaches described here delivered results in a very short time frame, with time per composition estimated to be < 2 h per sample. Such an approach would appear to be an excellent precursor to more traditional, expensive and time consuming alloy development methods used by industry. Limitations of the methodology are described, and key bottlenecks are identified. However, the use of small specimens to quantify trends in properties of steels and identify possible new alloys is potentially a valuable addition to the development of new steels

Shaped nozzles for cryogenic buffer gas beam sources

Cryogenic buffer gas beams are important sources of cold molecules. In this work we explore the use of a converging-diverging nozzle with a buffer-gas beam. We find that, under appropriate circumstances, the use of a nozzle can produce a beam with improved collimation, lower transverse temperatures, and higher fluxes per solid angle

Encoding Featherweight Java with Assignment and Immutability using The Coq Proof Assistant

We develop a mechanized proof of Featherweight Java with Assignment and Immutability in the Coq proof assistant. This is a step towards more machine-checked proofs of a non-trivial type system. We used object immutability close to that of IGJ [8]. We describe the challenges of the mechanization and the encoding we used inside of Coq. prover. Our Coq sources are publically available 1. Example. We define a parametrized class Cell, where the mutable instantiation can get and set the interned object, whereas the immutable instantiation can only get the interned object, provided initially in the constructor. We chose to use transitive mutability in this example. 1

Risk factors for stress fracture in female endurance athletes : a cross-sectional study

Objective To identify psychological and physiological correlates of stress fracture in female endurance athletes. Design A cross-sectional design was used with a history of stress fractures and potential risk factors assessed at one visit. Methods Female-endurance athletes (58 runners and 12 triathletes) aged 26.0±7.4 years completed questionnaires on stress fracture history, menstrual history, athletic training, eating psychopathology and exercise cognitions. Bone mineral density, body fat content and lower leg lean tissue mass (LLLTM) were assessed using dual-x-ray absorptiometry. Variables were compared between athletes with a history of stress fracture (SF) and those without (controls; C) using χ², analysis of variance and Mann-Whitney U tests. Results Nineteen (27%) athletes had previously been clinically diagnosed with SFs. The prevalence of current a/oligomenorrhoea and past amenorrhoea was higher in SF than C (p=0.008 and p=0.035, respectively). SF recorded higher global scores on the eating disorder examination questionnaire (p=0.049) and compulsive exercise test (p=0.006) and had higher LLLTM (p=0.029) compared to C. These findings persisted with weight and height as covariates. In multivariate logistic regression, compulsive exercise, amenorrhoea and LLLTM were significant independent predictors of SF history (p=0.006, 0.009 and 0.035, respectively). Conclusions Eating psychopathology was associated with increased risk of SF in endurance athletes, but this may be mediated by menstrual dysfunction and compulsive exercise. Compulsive exercise, as well as amenorrhoea, is independently related to SF risk

Post-Pancreatoduodenectomy Outcomes and Epidural Analgesia: A 5-Year Single Institution Experience

Introduction Optimal pain control post-pancreatoduodenectomy is a challenge. Epidural analgesia (EDA) is increasingly utilized despite inherent risks and unclear effects on outcomes. Methods All pancreatoduodenectomies (PD) performed from 1/2013-12/2017 were included. Clinical parameters were obtained from retrospective review of a prospective clinical database, the ACS NSQIP prospective institutional database and medical record review. Chi-Square/Fisher’s Exact and Independent-Samples t-Tests were used for univariable analyses; multivariable regression (MVR) was performed. Results 671 consecutive PD from a single institution were included (429 EDA, 242 non-EDA). On univariable analysis, EDA patients experienced significantly less wound disruption (0.2% vs. 2.1%), unplanned intubation (3.0% vs. 7.9%), pulmonary embolism (0.5% vs. 2.5%), mechanical-ventilation >48hrs (2.1% vs. 7.9%), septic shock (2.6% vs. 5.8%), and lower pain scores. On MVR accounting for baseline group differences (gender, hypertension, pre-operative transfusion, labs, approach, pancreatic duct size), EDA was associated with less superficial wound infections (OR 0.34; CI 0.14-0.83; P=0.017), unplanned intubations (OR 0.36; CI 0.14-0.88; P=0.024), mechanical ventilation >48 hrs (OR 0.22; CI 0.08-0.62; P=0.004), and septic shock (OR 0.39; CI 0.15-1.00; P=0.050). EDA improved pain scores post-PD days 1-3 (P<0.001). No differences were seen in cardiac or renal complications; pancreatic fistula (B+C) or delayed gastric emptying; 30/90-day mortality; length of stay, readmission, discharge destination, or unplanned reoperation. Conclusion Based on the largest single institution series published to date, our data support the use of EDA for optimization of pain control. More importantly, our data document that EDA significantly improved infectious and pulmonary complications