Computing Distances between Probabilistic Automata

We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs. We give logical characterisations of these notions by choosing suitable logics which differ from the elementary ones, L with negation and L without negation, by the modal operator. Using flow networks, we show how to compute the relations in PTIME. This allows the definition of an efficiently computable non-discounted distance between the states of a PA. A natural modification of this distance is introduced, to obtain a discounted distance, which weakens the influence of long term transitions. We compare our notions of distance to others previously defined and illustrate our approach on various examples. We also show that our distance is not expansive with respect to process algebra operators. Although L without negation is a suitable logic to characterise epsilon-(bi)simulation on deterministic PAs, it is not for general PAs; interestingly, we prove that it does characterise weaker notions, called a priori epsilon-(bi)simulation, which we prove to be NP-difficult to decide.Comment: In Proceedings QAPL 2011, arXiv:1107.074

Mechanism and Uses of a Membrane Peptide that Targets Tumors and Other Acidic Tissues \u3cem\u3eIn Vivo\u3c/em\u3e

The pH-selective insertion and folding of a membrane peptide, pHLIP [pH (low) insertion peptide], can be used to target acidic tissue in vivo, including acidic foci in tumors, kidneys, and inflammatory sites. In a mouse breast adenocarcinoma model, fluorescently labeled pHLIP finds solid acidic tumors with high accuracy and accumulates in them even at a very early stage of tumor development. The fluorescence signal is stable for \u3e4 days and is approximately five times higher in tumors than in healthy counterpart tissue. In a rat antigen-induced arthritis model, pHLIP preferentially accumulates in inflammatory foci. pHLIP also maps the renal cortical interstitium; however, kidney accumulation can be reduced significantly by providing mice with bicarbonate-containing drinking water. The peptide has three states: soluble in water, bound to the surface of a membrane, and inserted across the membrane as an α-helix. At physiological pH, the equilibrium is toward water, which explains its low affinity for cells in healthy tissue; at acidic pH, titration of Asp residues shifts the equilibrium toward membrane insertion and tissue accumulation. The replacement of two key Asp residues located in the transmembrane part of pHLIP by Lys or Asn led to the loss of pH-sensitive insertion into membranes of liposomes, red blood cells, and cancer cells in vivo, as well as to the loss of specific accumulation in tumors. pHLIP nanotechnology introduces a new method of detecting, targeting, and possibly treating acidic diseased tissue by using the selective insertion and folding of membrane peptides

Association of FEV1 in asthmatic children with personal and microenvironmental exposure to airborne particulate matter.

Exposure to particulate matter (PM) air pollution has been shown to exacerbate children's asthma, but the exposure sources and temporal characteristics are still under study. Children's exposure to PM is likely to involve both combustion-related ambient PM and PM related to a child's activity in various indoor and outdoor microenvironments. Among 19 children with asthma, 9-17 years of age, we examined the relationship of temporal changes in percent predicted forced expiratory volume in 1 sec (FEV1) to personal continuous PM exposure and to 24-hr average gravimetric PM mass measured at home and central sites. Subjects were followed for 2 weeks during either the fall of 1999 or the spring of 2000, in a southern California region affected by transported air pollution. FEV(subscript)1(/subscript) was measured by subjects in the morning, afternoon, and evening. Exposure measurements included continuous PM using a passive nephelometer carried by subjects; indoor, outdoor home, and central-site 24-hr gravimetric PM2.5 (PM of aerodynamic diameter < 2.5 microm) and PM10; and central-site hourly PM10, nitrogen dioxide, and ozone. Data were analyzed with linear mixed models controlling for within-subject autocorrelation, FEV1 maneuver time, and exposure period. We found inverse associations of FEV1 with increasing PM exposure during the 24 hr before the FEV1 maneuver and with increasing multiday PM averages. Deficits in percent predicted FEV1 (95% confidence interval) for given PM interquartile ranges measured during the preceding 24-hr were as follows: 128 microg/m3 1-hr maximum personal PM, -6.0% (-10.5 to -1.4); 30 microg/m3 24-hr average personal PM, -5.9% (-10.8 to -1.0); 6.7 microg/m3 indoor home PM2.5, -1.6% (-2.8 to -0.4); 16 microg/m3 indoor home PM10, -2.1% (-3.7 to -0.4); 7.1 microg/m3 outdoor home PM2.5, -1.1% (-2.4 to 0.1); and 7.5 microg/m3 central-site PM2.5, -0.7% (-1.9 to 0.4). Stronger associations were found for multiday moving averages of PM for both personal and stationary-site PM. Stronger associations with personal PM were found in boys allergic to indoor allergens. FEV1 was weakly associated with NO2 but not with O3. Results suggest mixed respiratory effects of PM in asthmatic children from both ambient background exposures and personal exposures in various microenvironments

Basis sets for the calculation of core-electron binding energies

Core-electron binding energies (CEBEs) computed within a !self-consistent field approach require large basis sets to achieve convergence with respect to the basis set limit. It is shown that supplementing a basis set with basis functions from the corresponding basis set for the element with the next highest nuclear charge (Z+1) provides basis sets that give CEBEs close to the basis set limit. This simple procedure provides relatively small basis sets that are well suited for calculations where the description of a core-ionised state is important, such as time-dependent density functional theory calculations of X-ray emission spectroscopy

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

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

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

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

Severe early onset preeclampsia: short and long term clinical, psychosocial and biochemical aspects

Preeclampsia is a pregnancy specific disorder commonly defined as de novo hypertension and proteinuria after 20 weeks gestational age. It occurs in approximately 3-5% of pregnancies and it is still a major cause of both foetal and maternal morbidity and mortality worldwide1. As extensive research has not yet elucidated the aetiology of preeclampsia, there are no rational preventive or therapeutic interventions available. The only rational treatment is delivery, which benefits the mother but is not in the interest of the foetus, if remote from term. Early onset preeclampsia (<32 weeks’ gestational age) occurs in less than 1% of pregnancies. It is, however often associated with maternal morbidity as the risk of progression to severe maternal disease is inversely related with gestational age at onset2. Resulting prematurity is therefore the main cause of neonatal mortality and morbidity in patients with severe preeclampsia3. Although the discussion is ongoing, perinatal survival is suggested to be increased in patients with preterm preeclampsia by expectant, non-interventional management. This temporising treatment option to lengthen pregnancy includes the use of antihypertensive medication to control hypertension, magnesium sulphate to prevent eclampsia and corticosteroids to enhance foetal lung maturity4. With optimal maternal haemodynamic status and reassuring foetal condition this results on average in an extension of 2 weeks. Prolongation of these pregnancies is a great challenge for clinicians to balance between potential maternal risks on one the eve hand and possible foetal benefits on the other. Clinical controversies regarding prolongation of preterm preeclamptic pregnancies still exist – also taking into account that preeclampsia is the leading cause of maternal mortality in the Netherlands5 - a debate which is even more pronounced in very preterm pregnancies with questionable foetal viability6-9. Do maternal risks of prolongation of these very early pregnancies outweigh the chances of neonatal survival? Counselling of women with very early onset preeclampsia not only comprises of knowledge of the outcome of those particular pregnancies, but also knowledge of outcomes of future pregnancies of these women is of major clinical importance. This thesis opens with a review of the literature on identifiable risk factors of preeclampsia

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