The Ecce and Logen Partial Evaluators and their Web Interfaces

We present Ecce and Logen, two partial evaluators for Prolog using the online and offline approach respectively. We briefly present the foundations of these tools and discuss various applications. We also present new implementations of these tools, carried out in Ciao Prolog. In addition to a command-line interface new user-friendly web interfaces were developed. These enable non-expert users to specialise logic programs using a web browser, without the need for a local installation

The Fungal Cell Wall : Structure, Biosynthesis, and Function

N.G. is funded by the Wellcome Trust via a senior investigator award and a strategic award and by the MRC Centre for Medical Mycology. C.M. acknowledges the support of the Wellcome Trust and the MRC. N.G. and C.M. are part of the MRC Centre for Medical Mycology. J.P.L. acknowledges support from ANR, Aviesan, and FRM.Peer reviewedPublisher PD

Recommendations for design and conduct of preclinical in vivo studies of orthopedic device-related infection

Orthopedic device-related infection (ODRI), including both fracture-related infection (FRI) and periprosthetic joint infection (PJI), remain amongst the most challenging complications in orthopedic and musculoskeletal trauma surgery. ODRI has been convincingly shown to delay healing, worsen functional outcome and incur significant socio-economic costs. To address this clinical problem, ever more sophisticated technologies targeting the prevention and/or treatment of ODRI are being developed and tested in vitro and in vivo. Amongst the most commonly described innovations are antimicrobial-coated orthopedic devices, antimicrobial-loaded bone cements and void fillers, and dual osteo-inductive/antimicrobial biomaterials. Unfortunately, translation of these technologies to the clinic has been limited, at least partially due to the challenging and still evolving regulatory environment for antimicrobial drug-device combination products, and a lack of clarity in the burden of proof required in preclinical studies. Preclinical in vivo testing (i.e. animal studies) represents a critical phase of the multidisciplinary effort to design, produce and reliably test both safety and efficacy of any new antimicrobial device. Nonetheless, current in vivo testing protocols, procedures, models and assessments are highly disparate, irregularly conducted and reported, and without standardization and validation. The purpose of the present opinion piece is to discuss best practices in preclinical in vivo testing of antimicrobial interventions targeting ODRI. By sharing these experience-driven views, we aim to aid others in conducting such studies both for fundamental biomedical research, but also for regulatory and clinical evaluation

Recovered memories, satanic abuse, Dissociative Identity Disorder and false memories in the UK: a survey of Clinical Psychologists and Hypnotherapists

An online survey was conducted to examine psychological therapists’ experiences of, and beliefs about, cases of recovered memory, satanic / ritualistic abuse, Multiple Personality Disorder / Dissociative Identity Disorder, and false memory. Chartered Clinical Psychologists (n=183) and Hypnotherapists (n=119) responded. In terms of their experiences, Chartered Clinical Psychologists reported seeing more cases of satanic / ritualistic abuse compared to Hypnotherapists who, in turn, reported encountering more cases of childhood sexual abuse recovered for the first time in therapy, and more cases of suspected false memory. Chartered Clinical Psychologists were more likely to rate the essential accuracy of reports of satanic / ritualistic abuse as higher than Hypnotherapists. Belief in the accuracy of satanic / ritualistic abuse and Multiple Personality Disorder / Dissociative Identity Disorder reports correlated negatively with the belief that false memories were possible

The thalamus and its subnuclei—a gateway to obsessive-compulsive disorder

Larger thalamic volume has been found in children with obsessive-compulsive disorder (OCD) and children with clinical-level symptoms within the general population. Particular thalamic subregions may drive these differences. The ENIGMA-OCD working group conducted mega- and meta-analyses to study thalamic subregional volume in OCD across the lifespan. Structural T-1-weighted brain magnetic resonance imaging (MRI) scans from 2649 OCD patients and 2774 healthy controls across 29 sites (50 datasets) were processed using the FreeSurfer built-in ThalamicNuclei pipeline to extract five thalamic subregions. Volume measures were harmonized for site effects using ComBat before running separate multiple linear regression models for children, adolescents, and adults to estimate volumetric group differences. All analyses were pre-registered (https://osf.io/73dvy) and adjusted for age, sex and intracranial volume. Unmedicated pediatric OCD patients (<12 years) had larger lateral (d = 0.46), pulvinar (d = 0.33), ventral (d = 0.35) and whole thalamus (d = 0.40) volumes at unadjusted p-values <0.05. Adolescent patients showed no volumetric differences. Adult OCD patients compared with controls had smaller volumes across all subregions (anterior, lateral, pulvinar, medial, and ventral) and smaller whole thalamic volume (d = -0.15 to -0.07) after multiple comparisons correction, mostly driven by medicated patients and associated with symptom severity. The anterior thalamus was also significantly smaller in patients after adjusting for thalamus size. Our results suggest that OCD-related thalamic volume differences are global and not driven by particular subregions and that the direction of effects are driven by both age and medication status

Differential cross section measurements for the production of a W boson in association with jets in proton–proton collisions at √s = 7 TeV

Measurements are reported of differential cross sections for the production of a W boson, which decays into a muon and a neutrino, in association with jets, as a function of several variables, including the transverse momenta (pT) and pseudorapidities of the four leading jets, the scalar sum of jet transverse momenta (HT), and the difference in azimuthal angle between the directions of each jet and the muon. The data sample of pp collisions at a centre-of-mass energy of 7 TeV was collected with the CMS detector at the LHC and corresponds to an integrated luminosity of 5.0 fb[superscript −1]. The measured cross sections are compared to predictions from Monte Carlo generators, MadGraph + pythia and sherpa, and to next-to-leading-order calculations from BlackHat + sherpa. The differential cross sections are found to be in agreement with the predictions, apart from the pT distributions of the leading jets at high pT values, the distributions of the HT at high-HT and low jet multiplicity, and the distribution of the difference in azimuthal angle between the leading jet and the muon at low values.United States. Dept. of EnergyNational Science Foundation (U.S.)Alfred P. Sloan Foundatio

Search for stop and higgsino production using diphoton Higgs boson decays

Results are presented of a search for a "natural" supersymmetry scenario with gauge mediated symmetry breaking. It is assumed that only the supersymmetric partners of the top-quark (stop) and the Higgs boson (higgsino) are accessible. Events are examined in which there are two photons forming a Higgs boson candidate, and at least two b-quark jets. In 19.7 inverse femtobarns of proton-proton collision data at sqrt(s) = 8 TeV, recorded in the CMS experiment, no evidence of a signal is found and lower limits at the 95% confidence level are set, excluding the stop mass below 360 to 410 GeV, depending on the higgsino mass

Impacts of the Tropical Pacific/Indian Oceans on the Seasonal Cycle of the West African Monsoon

The current consensus is that drought has developed in the Sahel during the second half of the twentieth century as a result of remote effects of oceanic anomalies amplified by local land–atmosphere interactions. This paper focuses on the impacts of oceanic anomalies upon West African climate and specifically aims to identify those from SST anomalies in the Pacific/Indian Oceans during spring and summer seasons, when they were significant. Idealized sensitivity experiments are performed with four atmospheric general circulation models (AGCMs). The prescribed SST patterns used in the AGCMs are based on the leading mode of covariability between SST anomalies over the Pacific/Indian Oceans and summer rainfall over West Africa. The results show that such oceanic anomalies in the Pacific/Indian Ocean lead to a northward shift of an anomalous dry belt from the Gulf of Guinea to the Sahel as the season advances. In the Sahel, the magnitude of rainfall anomalies is comparable to that obtained by other authors using SST anomalies confined to the proximity of the Atlantic Ocean. The mechanism connecting the Pacific/Indian SST anomalies with West African rainfall has a strong seasonal cycle. In spring (May and June), anomalous subsidence develops over both the Maritime Continent and the equatorial Atlantic in response to the enhanced equatorial heating. Precipitation increases over continental West Africa in association with stronger zonal convergence of moisture. In addition, precipitation decreases over the Gulf of Guinea. During the monsoon peak (July and August), the SST anomalies move westward over the equatorial Pacific and the two regions where subsidence occurred earlier in the seasons merge over West Africa. The monsoon weakens and rainfall decreases over the Sahel, especially in August.Peer reviewe

Optimasi Portofolio Resiko Menggunakan Model Markowitz MVO Dikaitkan dengan Keterbatasan Manusia dalam Memprediksi Masa Depan dalam Perspektif Al-Qur`an

Risk portfolio on modern finance has become increasingly technical, requiring the use of sophisticated mathematical tools in both research and practice. Since companies cannot insure themselves completely against risk, as human incompetence in predicting the future precisely that written in Al-Quran surah Luqman verse 34, they have to manage it to yield an optimal portfolio. The objective here is to minimize the variance among all portfolios, or alternatively, to maximize expected return among all portfolios that has at least a certain expected return. Furthermore, this study focuses on optimizing risk portfolio so called Markowitz MVO (Mean-Variance Optimization). Some theoretical frameworks for analysis are arithmetic mean, geometric mean, variance, covariance, linear programming, and quadratic programming. Moreover, finding a minimum variance portfolio produces a convex quadratic programming, that is minimizing the objective function ðð¥with constraintsð ð 𥠥 ðandð´ð¥ = ð. The outcome of this research is the solution of optimal risk portofolio in some investments that could be finished smoothly using MATLAB R2007b software together with its graphic analysis

Juxtaposing BTE and ATE – on the role of the European insurance industry in funding civil litigation

One of the ways in which legal services are financed, and indeed shaped, is through private insurance arrangement. Two contrasting types of legal expenses insurance contracts (LEI) seem to dominate in Europe: before the event (BTE) and after the event (ATE) legal expenses insurance. Notwithstanding institutional differences between different legal systems, BTE and ATE insurance arrangements may be instrumental if government policy is geared towards strengthening a market-oriented system of financing access to justice for individuals and business. At the same time, emphasizing the role of a private industry as a keeper of the gates to justice raises issues of accountability and transparency, not readily reconcilable with demands of competition. Moreover, multiple actors (clients, lawyers, courts, insurers) are involved, causing behavioural dynamics which are not easily predicted or influenced. Against this background, this paper looks into BTE and ATE arrangements by analysing the particularities of BTE and ATE arrangements currently available in some European jurisdictions and by painting a picture of their respective markets and legal contexts. This allows for some reflection on the performance of BTE and ATE providers as both financiers and keepers. Two issues emerge from the analysis that are worthy of some further reflection. Firstly, there is the problematic long-term sustainability of some ATE products. Secondly, the challenges faced by policymakers that would like to nudge consumers into voluntarily taking out BTE LEI