Separable graphs, planar graphs and web grammars

This paper is concerned with the class of “web grammars,≓ introduced by Pfaltz and Rosenfeld, whose languages are sets of labelled graphs. A slightly modified definition of web grammar is given, in which the rewriting rules can have an applicability condition, and it is proved that, in general, this extension does not increase the generative power of the grammar. This extension is useful, however, for otherwise it is not possible to incorporate negative contextual conditions into the rules, since the context of a given vertex can be unbounded. A number of web grammars are presented which define interesting classes of graphs, including unseparable graphs, unseparable planar graphs and planar graphs. All the grammars in this paper use “normal embeddings≓ in which the connections between the web that is written and the host web are conserved, so that any rewriting rule affects the web only locally

Soft Concurrent Constraint Programming

Soft constraints extend classical constraints to represent multiple consistency levels, and thus provide a way to express preferences, fuzziness, and uncertainty. While there are many soft constraint solving formalisms, even distributed ones, by now there seems to be no concurrent programming framework where soft constraints can be handled. In this paper we show how the classical concurrent constraint (cc) programming framework can work with soft constraints, and we also propose an extension of cc languages which can use soft constraints to prune and direct the search for a solution. We believe that this new programming paradigm, called soft cc (scc), can be also very useful in many web-related scenarios. In fact, the language level allows web agents to express their interaction and negotiation protocols, and also to post their requests in terms of preferences, and the underlying soft constraint solver can find an agreement among the agents even if their requests are incompatible.Comment: 25 pages, 4 figures, submitted to the ACM Transactions on Computational Logic (TOCL), zipped file

Diagnosis of prostate cancer with magnetic resonance imaging in men treated with 5-alpha-reductase inhibitors

Purpose The primary aim of this study was to evaluate if exposure to 5-alpha-reductase inhibitors (5-ARIs) modifies the effect of MRI for the diagnosis of clinically significant Prostate Cancer (csPCa) (ISUP Gleason grade >= 2).Methods This study is a multicenter cohort study including patients undergoing prostate biopsy and MRI at 24 institutions between 2013 and 2022. Multivariable analysis predicting csPCa with an interaction term between 5-ARIs and PIRADS score was performed. Sensitivity, specificity, and negative (NPV) and positive (PPV) predictive values of MRI were compared in treated and untreated patients.Results 705 patients (9%) were treated with 5-ARIs [median age 69 years, Interquartile range (IQR): 65, 73; median PSA 6.3 ng/ml, IQR 4.0, 9.0; median prostate volume 53 ml, IQR 40, 72] and 6913 were 5-ARIs naive (age 66 years, IQR 60, 71; PSA 6.5 ng/ml, IQR 4.8, 9.0; prostate volume 50 ml, IQR 37, 65). MRI showed PIRADS 1-2, 3, 4, and 5 lesions in 141 (20%), 158 (22%), 258 (37%), and 148 (21%) patients treated with 5-ARIs, and 878 (13%), 1764 (25%), 2948 (43%), and 1323 (19%) of untreated patients (p < 0.0001). No difference was found in csPCa detection rates, but diagnosis of high-grade PCa (ISUP GG >= 3) was higher in treated patients (23% vs 19%, p = 0.013). We did not find any evidence of interaction between PIRADS score and 5-ARIs exposure in predicting csPCa. Sensitivity, specificity, PPV, and NPV of PIRADS >= 3 were 94%, 29%, 46%, and 88% in treated patients and 96%, 18%, 43%, and 88% in untreated patients, respectively.Conclusions Exposure to 5-ARIs does not affect the association of PIRADS score with csPCa. Higher rates of high-grade PCa were detected in treated patients, but most were clearly visible on MRI as PIRADS 4 and 5 lesions.Trial registration The present study was registered at ClinicalTrials.gov number: NCT05078359

Search for standard model production of four top quarks in the lepton + jets channel in pp collisions at √s = 8 TeV

Open Access, Copyright CERN, for the benefit of the CMS Collaboration. Article funded by SCOAP3.Abstract: A search is presented for standard model (SM) production of four top quarks (Formula presented.) in pp collisions in the lepton + jets channel. The data correspond to an integrated luminosity of 19.6 fb−1 recorded at a centre-of-mass energy of 8 TeV with the CMS detector at the CERN LHC. The expected cross section for SM (Formula presented.) production is (Formula presented.). A combination of kinematic reconstruction and multivariate techniques is used to distinguish between the small signal and large background. The data are consistent with expectations of the SM, and an upper limit of 32 fb is set at a 95% confidence level on the cross section for producing four top quarks in the SM, where a limit of 32 ± 17 fb is expected

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

Penilaian Kinerja Keuangan Koperasi di Kabupaten Pelalawan

This paper describe development and financial performance of cooperative in District Pelalawan among 2007 - 2008. Studies on primary and secondary cooperative in 12 sub-districts. Method in this stady use performance measuring of productivity, efficiency, growth, liquidity, and solvability of cooperative. Productivity of cooperative in Pelalawan was highly but efficiency still low. Profit and income were highly, even liquidity of cooperative very high, and solvability was good

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

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