Density profiles and surface tensions of polymers near colloidal surfaces

The surface tension of interacting polymers in a good solvent is calculated theoretically and by computer simulations for a planar wall geometry and for the insertion of a single colloidal hard-sphere. This is achieved for the planar wall and for the larger spheres by an adsorption method, and for smaller spheres by a direct insertion technique. Results for the dilute and semi-dilute regimes are compared to results for ideal polymers, the Asakura-Oosawa penetrable-sphere model, and to integral equations, scaling and renormalization group theories. The largest relative changes with density are found in the dilute regime, so that theories based on non-interacting polymers rapidly break down. A recently developed ``soft colloid'' approach to polymer-colloid mixtures is shown to correctly describe the one-body insertion free-energy and the related surface tension

Direct measurement of the radiative lifetime of vibrationally excited OH radicals

Neutral molecules, isolated in the gas-phase, can be prepared in a long-lived excited state and stored in a trap. The long observation time afforded by the trap can then be exploited to measure the radiative lifetime of this state by monitoring the temporal decay of the population in the trap. This method is demonstrated here and used to benchmark the Einstein $A$-coefficients in the Meinel system of OH. A pulsed beam of vibrationally excited OH radicals is Stark decelerated and loaded into an electrostatic quadrupole trap. The radiative lifetime of the upper $\Lambda$-doublet component of the $X ^2\Pi_{3/2}, v=1, J=3/2$ level is determined as $59.0 \pm 2.0$ ms, in good agreement with the calculated value of $57.7 \pm 1.0$ ms.Comment: 4 pages, 3 figures, submitted to Phys. Rev. Let

Symbolic Reachability Analysis of B through ProB and LTSmin

We present a symbolic reachability analysis approach for B that can provide a significant speedup over traditional explicit state model checking. The symbolic analysis is implemented by linking ProB to LTSmin, a high-performance language independent model checker. The link is achieved via LTSmin's PINS interface, allowing ProB to benefit from LTSmin's analysis algorithms, while only writing a few hundred lines of glue-code, along with a bridge between ProB and C using ZeroMQ. ProB supports model checking of several formal specification languages such as B, Event-B, Z and TLA. Our experiments are based on a wide variety of B-Method and Event-B models to demonstrate the efficiency of the new link. Among the tested categories are state space generation and deadlock detection; but action detection and invariant checking are also feasible in principle. In many cases we observe speedups of several orders of magnitude. We also compare the results with other approaches for improving model checking, such as partial order reduction or symmetry reduction. We thus provide a new scalable, symbolic analysis algorithm for the B-Method and Event-B, along with a platform to integrate other model checking improvements via LTSmin in the future

Scoping review of clinical practice guidelines on the management of benign liver tumours

OBJECTIVE: Benign liver tumours (BLT) are increasingly diagnosed as incidentalomas. Clinical implications and management vary across and within the different types of BLT. High-quality clinical practice guidelines are needed, because of the many nuances in tumour types, diagnostic modalities, and conservative and invasive management strategies. Yet, available observational evidence is subject to interpretation which may lead to practice variation. Therefore, we aimed to systematically search for available clinical practice guidelines on BLT, to critically appraise them, and to compare management recommendations. DESIGN: A scoping review was performed within MEDLINE, EMBASE, and Web of Science. All BLT guidelines published in peer-reviewed, and English language journals were eligible for inclusion. Clinical practice guidelines on BLT were analysed, compared, and critically appraised using the Appraisal of Guidelines, Research and Evaluation (AGREE II) checklist regarding hepatic haemangioma, focal nodular hyperplasia (FNH), and hepatocellular adenoma (HCA). Preferred Reporting Items for Systematic Reviews and Meta-Analyses recommendations (PRISMA) for scoping reviews were adhered to. RESULTS: The literature search yielded unique 367 papers, 348 were excluded after screening of title/abstract, and 16 after full-text screening. Three guidelines were included: the American College of Gastroenterology (ACG; 2014), Brazilian Society of Hepatology (SBH; 2015), and European Association for the Study of the Liver (EASL; 2016). There was no uniformity in the assessment methods for grading and gravity of recommendations between guidelines. Among observed differences were: (1) indications for biopsy in all three tumours; (2) advices on contraceptive pills and follow-up in FNH and HCA; (3) use of an individualised approach to HCA; (4) absence of recommendations for treatment of HCA in men; and (5) approaches to HCA subtype identification on magnetic resonance imaging. CONCLUSION: Recognising differences in recommendations can assist in harmonisation of practice standards and identify unmet needs in research. This may ultimately contribute to improved global patient care

Behavior and complications of hepatocellular adenoma during pregnancy and puerperium:a retrospective study and systematic review

BACKGROUND: Hepatocellular adenomas (HCA) are benign liver tumors at risk of hemorrhage. The influence of pregnancy on HCA growth and potential bleeding remains unclear. This study investigates HCA-associated behavior and bleeding complications during or shortly after pregnancy. METHODS: (I) Single center retrospective cohort study of HCA during and after pregnancy (II) Systematic literature review. RESULTS: The retrospective study included 11 patients, of which 4 with HCA ≥5 cm. In only two patients HCA showed growth during pregnancy. In this local cohort, no HCA-related hemorrhages occurred during median follow-up of 34 months (interquartile range 19-58 months). The systematic review yielded 33 studies, totaling 90 patients with 99 pregnancies. Of 73 pregnancies without prior HCA-related intervention, 39 HCA remained stable (53.4%), 11 regressed (15.1%), and 23 (31.5%) progressed. Fifteen HCA-related hemorrhages occurred in HCA measuring 6.5-17.0 cm. Eight patients experienced bleeding during pregnancy, two during labor and five postpartum. CONCLUSION: Although hemorrhage of HCA during or shortly after pregnancy is rare and only reported in HCA ≥6.5 cm, it can be fatal. Pregnancy in women with HCA, regardless of size, warrant a close surveillance strategy. Observational studies on behavior and management of HCA ≥5 cm during and immediately after pregnancy are needed

Constraints on the delta H-2 diffusion rate in firn from field measurements at Summit, Greenland

We performed detailed 2H isotope diffusion measurements in the upper 3 m of firn at Summit, Greenland. Using a small snow gun, a thin snow layer was formed from 2H-enriched water over a 6 × 6 m2 area. We followed the diffusion process, quantified as the increase of the δ2H diffusion length, over a 4-year period, by retrieving the layer once per year by drilling a firn core and slicing it into 1 cm layers and measuring the δ2H signal of these layers. We compared our experimental findings to calculations based on the model by Johnsen et al. (2000) and found substantial differences. The diffusion length in our experiments increased much less over the years than in the model. We discuss the possible causes for this discrepancy and conclude that several aspects of the diffusion process in firn are still poorly constrained, in particular the tortuosity

Interfacial tension and nucleation in mixtures of colloids and long ideal polymer coils

Mixtures of ideal polymers with hard spheres whose diameters are smaller than the radius of gyration of the polymer, exhibit extensive immiscibility. The interfacial tension between demixed phases of these mixtures is estimated, as is the barrier to nucleation. The barrier is found to scale linearly with the radius of the polymer, causing it to become large for large polymers. Thus for large polymers nucleation is suppressed and phase separation proceeds via spinodal decomposition, as it does in polymer blends.Comment: 4 pages (v2 includes discussion of the scaling of the interfacial tension along the coexistence curve and its relation to the Ginzburg criterion

Optimizing the Stark-decelerator beamline for the trapping of cold molecules using evolutionary strategies

We demonstrate feedback control optimization for the Stark deceleration and trapping of neutral polar molecules using evolutionary strategies. In a Stark-decelerator beamline pulsed electric fields are used to decelerate OH radicals and subsequently store them in an electrostatic trap. The efficiency of the deceleration and trapping process is determined by the exact timings of the applied electric field pulses. Automated optimization of these timings yields an increase of 40 % of the number of trapped OH radicals.Comment: 7 pages, 4 figures (RevTeX) (v2) minor corrections (v3) no changes to manuscript, but fix author list in arXiv abstrac