pinecone/core-2020-05-10-deduplication huggingface dataset:
Towards  a Formal Specification of SLAs with  Compensations

In Cooperative Information Systems, service level agreements (SLA) can be used to describe the rights and obligations of parties involved in the transaction (typically the service consumer and the service provider); amongst other information, SLA could define guarantees associated with the idea of service level objectives (SLOs) that normally represent key performance indicators of either the consumer or the provider. in case the guarantee is under-fulfilled or over-fulfilled SLAs could also define some compensations (i.e. penalties or rewards). in such a context, during the last years there have been important steps towards the automation of the management of SLAs, however the formalization of compensations in SLAs still remains as an important challenge. in this paper we aim to provide a characterization model to create SLAs with compensations; specifically, the main contributions are twofold: (i) the conceptualization of the Compensation Function to express consistently penalties and rewards and (ii) a model for Compensable Guarantees that associate SLOs with Compensation Functions. This formalization models aims to establish a foundation to elaborate tools that could provide an automated support to the modeling and analysis of SLAs with compensations. Additionally, in order to validate our approach, we model and analyze a set of guarantee terms from three real world examples of SLAs and our formalization proves to be useful for detecting mistakes that are typically derived from the manual specification of SLAs in natural language.Junta de Andalucía P12-TIC-1867Ministerio de Economía y Competitividad TIN2012-32273Junta de Andalucía TIC-5906Ministerio de Economía y Competitividad  IPT-2013-0890-
Cell penetration properties of maurocalcine, a natural venom peptide active on the intracellular ryanodine receptor.

International audienceMaurocalcine (MCa) is a 33-amino acid residue peptide toxin initially isolated from the scorpion Scorpio maurus maurus. Its structural and functional features make it resembling many Cell Penetrating Peptides. In particular, MCa exhibits a characteristic positively charged face that may interact with membrane lipids. External application of MCa is known to produce Ca2+-release from intracellular stores within seconds. MCa binds directly to the skeletal muscle isoform of the ryanodine receptor, an intracellular channel target of the endoplasmic reticulum, and induces long-lasting channel openings in a mode of smaller conductance. The binding sites for MCa have been mapped within the cytoplasmic domain of the ryanodine receptor. In this manuscript, we further investigated how MCa proceeds to cross biological membranes in order to reach its target. A biotinylated derivative of MCa (MCab) was chemically synthesized, coupled to a fluorescent streptavidin indicator (Cy3 or Cy5) and the cell penetration of the entire complex followed by confocal microscopy and FACS analysis. The data provide evidence that MCa allows the penetration of the macro proteic complex and therefore may be used as a vector for the delivery of proteins in the cytoplasm as well as in the nucleus. Using both FACS and confocal analysis, we show that the cell penetration of the fluorescent complex is observed at concentrations as low as 10 nM, is sensitive to membrane potential and is partly inhibited by heparin. We also show that MCa interacts with the disialoganglioside GD3, the most abundant charged lipid in natural membranes. Despite its action on ryanodine receptor, MCa showed no sign of cell toxicity on HEK293 cells suggesting that it may have a wider application range. These data indicate that MCa may cross the plasma membrane directly by cell translocation and has a promising future as a carrier of various drugs and agents of therapeutic, diagnostic and technological value
Young [α/Fe]-enhanced stars discovered by CoRoT and APOGEE: What is their origin?

International audienceWe report the discovery of a group of apparently young CoRoT red-giant stars exhibiting enhanced [α/Fe] abundance ratios (as determined from APOGEE spectra) with respect to solar values. Their existence is not explained bystandard chemical evolution models of the Milky Way, and shows that the chemical-enrichment history of the Galactic disc is more complex. We find similar stars in previously published samples for which isochrone-ages could be reliably obtained, although in smaller relative numbers. This might explain why these stars have not previously received attention. The young [α/Fe]-rich stars are much more numerous in the CoRoT-APOGEE (CoRoGEE) inner-field sample than in any other high-resolution sample available at present because only CoRoGEE can explore the inner-disc regions and provide ages for its field stars. The kinematic properties of the young [α/Fe]-rich stars are not clearly thick-disc like, despite their rather large distances from the Galactic mid-plane. Our tentative interpretation of these and previous intriguing observations in the Milky Way is that these stars were formed close to the end of the Galactic bar, near corotation – a region where gas can be kept inert for longer times than in other regions that are more frequently shocked by the passage of spiral arms. Moreover, this is where the mass return from older inner-disc stellar generations is expected to be highest (according to an inside-out disc-formation scenario), which additionally dilutes the in-situ gas. Other possibilities to explain these observations (e.g., a recent gas-accretion event) are also discussed
Trust in World Politics: Converting "Identity" into a Source of Security through Trust-Learning

Cataloged from PDF version of article.In the discipline of international relations, the concept of trust has been theorised in two ways: the 'rationalist' approach and the 'normative' approach. This article aims to show that these approaches do not adequately reflect how trust operates in world politics and that trust provides a new way of understanding the identity-security nexus in international relations. It is argued that as actors learn to trust each other, this trust-learning process has a transformative effect on their definition of self-interests and identities. The elaborated understanding of trust in the security dilemma is operationalised in terms of the immigration security dilemma. © 2013 Australian Institute of International Affairs
Development of new instrumentation for epithermal neutron\ud
scattering at very low angles

New perspectives for epithermal neutron spectroscopy are opened up by the recent developments of Resonance\ud
Detectors (RD) for inverse geometry time-of-flight spectrometers at pulsed neutron sources. The RD is based on the combination of an analyser foil used as neutron-to-gamma converter and a suitable photon detector. Here, we report on the state of the RD which is based on a YAP scintillator viewing a natural uranium analyser foil. The response of the YAP detector to the radiative capture g emission from the uranium analyser foil has been characterized with a biparametric measurement of a reference Pb sample, which allowed simultaneous measurements of both neutron time-offlight and gamma pulse height (energy) spectra. The analysis of the gamma pulse height and neutron time-of-flight spectra permitted\ud
to identify the signal and background components. These measurements showed that a significant improvement in the signal-to-background ratio can be achieved by setting a lower level discrimination on the photon energy at about\ud
600 keV. The first application of RD is the Very Low Angle Detector Bank (VLAD) which is planned to be installed in\ud
the next three years as an upgrade of the VESUVIO spectrometer, at the ISIS pulsed neutron source. VLAD will extend the (q,o) kinematical to low wave vector transfers (q<10 A ^-1) coupled to high-energy transfers (hw >1eV), which is\ud
still unexplored by neutron scattering experiments. The first measurements obtained on an ice sample with a VLAD prototype consisting of four RD units are presented here
Cleanup of industrial effluents containing heavy metals : a new opportunity of valorising the biomass produced by brewing industry

Heavy metal pollution is a matter of concern in industrialised countries. Contrary to organic pollutants, heavy metals are not metabolically degraded. This fact has two main consequences: its bioremediation requires another strategy and heavy metals can be indefinitely recycled. Yeast cells of Saccharomyces cerevisiae are produced at high amounts as a by-product of brewing industry constituting a cheap raw material. In the present work, the possibility of valorising this type of biomass in the bioremediation of real industrial effluents containing heavy metals is reviewed. Given the auto-aggregation capacity (flocculation) of brewing yeast cells, a fast and off-cost yeast separation is achieved after the treatment of metal-laden effluent, which reduces the costs associated with the process. This is a critical issue when we are looking for an effective, eco-friendly, and low-cost technology. The possibility of the bioremediation of industrial effluents linked with the selective recovery of metals, in a strategy of simultaneous minimisation of environmental hazard of industrial wastes with financial benefits from reselling or recycling the metals, is discussed
Feature- versus rule-based generalization in rats, pigeons and humans

Humans can spontaneously create rules that allow them to efficiently generalize what they have learned to novel situations. An enduring question is whether rule-based generalization is uniquely human or whether other animals can also abstract rules and apply them to novel situations. In recent years, there have been a number of high-profile claims that animals such as rats can learn rules. Most of those claims are quite weak because it is possible to demonstrate that simple associative systems (which do not learn rules) can account for the behavior in those tasks. Using a procedure that allows us to clearly distinguish feature-based from rule-based generalization (the Shanks-Darby procedure), we demonstrate that adult humans show rule-based generalization in this task, while generalization in rats and pigeons was based on featural overlap between stimuli. In brief, when learning that a stimulus made of two components ("AB") predicts a different outcome than its elements ("A" and "B"), people spontaneously abstract an opposites rule and apply it to new stimuli (e.g., knowing that "C" and "D" predict one outcome, they will predict that "CD" predicts the opposite outcome). Rats and pigeons show the reverse behavior-they generalize what they have learned, but on the basis of similarity (e.g., "CD" is similar to "C" and "D", so the same outcome is predicted for the compound stimulus as for the components). Genuinely rule-based behavior is observed in humans, but not in rats and pigeons, in the current procedure
Search for supersymmetry with jets, missing transverse momentum and at least one hadronically decaying τ lepton in proton-proton collisions at s=7TeV with the ATLAS detector

Artículo escrito por un elevado número de autores, solo se referencian el que aparece en primer lugar, el nombre del grupo de colaboración, si le hubiere, y los autores pertenecientes a la UAMA search for production of supersymmetric particles in final states containing jets, missing transverse momentum, and at least one hadronically decaying τ lepton is presented. The data were recorded by the ATLAS experiment in √ s = 7 TeV proton–proton collisions at the Large Hadron Collider. No excess above the Standard Model background expectation was observed in 2.05 fb−1 of data. The results are interpreted in the context of gauge mediated supersymmetry breaking models with Mmess = 250 TeV, N5 = 3, μ > 0, and Cgrav = 1. The production of supersymmetric particles is excluded at 95% C.L. up to a supersymmetry breaking scale Λ = 30 TeV, independent of tanβ, and up to Λ = 43 TeV for large tanβWe acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWF, Austria; ANAS, Azerbaijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF, DNSRC and Lundbeck Foundation, Denmark; EPLANET and ERC, European Union; IN2P3-CNRS, CEA-DSM/IRFU, France; GNAS, Georgia; BMBF, DFG, HGF, MPG and AvH Foundation, Germany; GSRT, Gerece; ISF, MINERVA, GIF, DIP and Benoziyo Center, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; FOM and NWO, Netherlands; RCN, Norway; MNiSW, Poland; GRICES and FCT, Portugal; MERYS (MECTS), Romania; MES of Russia and ROSATOM, Russian Federation; JINR; MSTD, Serbia; MSSR, Slovakia; ARRS and MVZT, Slovenia; DST/NRF, South Africa; MICINN, Spain; SRC and Wallenberg Foundation, Sweden; SER, SNSF and Cantons of Bern and Geneva, Switzerland; NSC, Taiwan; TAEK, Turkey; STFC, the Royal Society and Leverhulme Trust, United Kingdom; DOE and NSF, United States of Americ
Search for heavy Majorana neutrinos in μ±μ± +jets and e±e± + jets events in pp collisions at √s = 7 TeV

Artículo escrito por un elevado número de autores, solo se referencian el que aparece en primer lugar, el nombre del grupo de colaboración, si le hubiere, y los autores pertenecientes a la UAMA search is performed for heavy Majorana neutrinos (N) using an event signature defined by two samesign charged leptons of the same flavour and two jets. The data correspond to an integrated luminosity of 4.98 fb−1 of pp collisions at a centre-of-mass energy of 7 TeV collected with the CMS detector at the Large Hadron Collider. No excess of events is observed beyond the expected standard model background and therefore upper limits are set on the square of the mixing parameter, |V ℓN|2, for ℓ= e,μ, as a function of heavy Majorana-neutrino mass. These are the first direct upper limits on the heavy Majorana-neutrino mixing for mN > 90 GeVWe congratulate our colleagues in the CERN accelerator departments for the excellent performance of the LHC machine. We thank the technical and administrative staffs at CERN and other CMS institutes, and acknowledge support from: FMSR (Austria); FNRS and FWO (Belgium); CNPq, CAPES, FAPERJ, and FAPESP (Brazil); MES (Bulgaria); CERN; CAS, MoST, and NSFC (China); COLCIENCIAS (Colombia); MSES (Croatia); RPF (Cyprus); MoER, SF0690030s09 and ERDF (Estonia); Academy of Finland, MEC, and HIP (Finland); CEA and CNRS/IN2P3 (France); BMBF, DFG, and HGF (Germany); GSRT (Greece); OTKA and NKTH (Hungary); DAE and DST (India); IPM (Iran); SFI (Ireland); INFN (Italy); NRF and WCU (Korea); LAS (Lithuania); CINVESTAV, CONACYT, SEP, and UASLP-FAI (Mexico); MSI (New Zealand); PAEC (Pakistan); MSHE and NSC (Poland); FCT (Portugal); JINR (Armenia, Belarus, Georgia, Ukraine, Uzbekistan); MON, RosAtom, RAS and RFBR (Russia); MSTD (Serbia); SEIDI and CPAN (Spain); Swiss Funding Agencies (Switzerland); NSC (Taipei); TUBITAK and TAEK (Turkey); STFC (United Kingdom); DOE and NSF (USA
Imidazole Chloramine-B Oxidation kinetics Mechanism Activation parameters Structure reactivity Int

2-(20\ud
-Pyridyl)benzimidazole (PBIMH) was\ud
functionalized onto chloromethylated polystyrene beads\ud
crosslinked with 6.5 % divinylbenzene, and this solid\ud
support was then reacted with Na2PdCl4 in methanol. The\ud
functionalized beads were then activated using sodium\ud
borohydride. The resultant polymer-supported [2-(20\ud
-\ud
pyridyl)benzimidazole]palladium complex (PSDVB–\ud
PBIM–PdCl2) and its activated form were characterized by\ud
various physicochemical techniques. XPS studies con-\ud
firmed the ?2 oxidation state of palladium in the supported\ud
complex. The activated complex was found to catalyse the\ud
hydrogenation of various organic substrates including\ud
olefins, nitro and Schiff base compounds. Kinetic measurements\ud
for the hydrogenation of cyclopentene, cyclohexene\ud
and cyclooctene were carried out by varying\ud
temperature, catalyst and substrate concentration. The\ud
energy and entropy of activation were evaluated from the\ud
kinetic data. The catalyst showed an excellent recycling\ud
efficiency over six cycles without leaching of metal from\ud
the polymer support, whereas the unsupported complex\ud
was unstable as metal leached out into the solution during\ud
the first run
Neutral and non-neutral collisionless plasma equilibria for twisted flux tubes : the Gold-Hoyle model in a background field

The authors gratefully acknowledge the support of the Science and Technology Facilities Council Consolidated Grants ST/K000950/1 and ST/N000609/1, as well as Doctoral Training Grant ST/K502327/1. We also gratefully acknowledge funding from Leverhulme Trust Research Project Grant F/00268/BB.We calculate exact one-dimensional collisionless plasma equilibria for a continuum of flux tube models, for which the total magnetic field is made up of the `force-free' Gold-Hoyle magnetic flux tube embedded in a uniform and anti-parallel background magnetic field. For a sufficiently weak background magnetic field, the axial component of the total magnetic field reverses at some finite radius. The presence of the background magnetic field means that the total system is not exactly force-free, but by reducing its magnitude the departure from force-free can be made as small as desired. The distribution function for each species is a function of the three constants of motion; namely the Hamiltonian and the canonical momenta in the axial and azimuthal directions. Poisson's Equation and Amp ere's Law are solved exactly, and the solution allows either electrically neutral or non-neutral configurations, depending on the values of the bulk ion and electron flows. These equilibria have possible applications in various solar, space and astrophysical contexts, as well as in the laboratory.Publisher PDFPeer reviewe
Search for high-mass new phenomena in the dilepton final state using proton–proton collisions at s=13TeV with the ATLAS detector

A search is conducted for both resonant and non-resonant high-mass new phenomena in dielectron and dimuon final states. The search uses View the MathML source3.2fb−1 of proton–proton collision data, collected at View the MathML sources=13TeV by the ATLAS experiment at the LHC in 2015. The dilepton invariant mass is used as the discriminating variable. No significant deviation from the Standard Model prediction is observed; therefore limits are set on the signal model parameters of interest at 95% credibility level. Upper limits are set on the cross-section times branching ratio for resonances decaying to dileptons, and the limits are converted into lower limits on the resonance mass, ranging between 2.74 TeV and 3.36 TeV, depending on the model. Lower limits on the ℓℓqqℓℓqq contact interaction scale are set between 16.7 TeV and 25.2 TeV, also depending on the model.We acknowledge the support of ANPCyT, Argentina; YerPhI, Armenia; ARC, Australia; BMWFW and FWF, Austria; ANAS, Azerbaijan; SSTC, Belarus; CNPq and FAPESP, Brazil; NSERC, NRC and CFI, Canada; CERN; CONICYT, Chile; CAS, MOST and NSFC, China; COLCIENCIAS, Colombia; MSMT CR, MPO CR and VSC CR, Czech Republic; DNRF and DNSRC, Denmark; IN2P3-CNRS, CEA-DSM/IRFU, France; GNSF, Georgia; BMBF, HGF, and MPG, Germany; GSRT, Greece; RGC, Hong Kong SAR, China; ISF, I-CORE and Benoziyo Center, Israel; INFN, Italy; MEXT and JSPS, Japan; CNRST, Morocco; FOM and NWO, Netherlands; RCN, Norway; MNiSW and NCN, Poland; FCT, Portugal; MNE/IFA, Romania; MES of Russia and NRC KI, Russian Federation; JINR; MESTD, Serbia; MSSR, Slovakia; ARRS and MIZS, Slovenia; DST/NRF, South Africa; MINECO, Spain; SRC and Knut and Alice Wallenberg Foundation, Sweden; SERI, SNSF and Cantons of Bern and Geneva, Switzerland; MOST, Taiwan; TAEK, Turkey; STFC, United Kingdom; DOE and NSF, United States. In addition, individual groups and members have received support from BCKDF, the Canada Council, CANARIE, CRC, Compute Canada, FQRNT, and the Ontario Innovation Trust, Canada; EPLANET, ERC, FP7, Horizon 2020 and Marie Sklodowska-Curie Actions, European Union; Investissements d'Avenir Labex and Idex, ANR, Region Auvergne and Fondation Partager le Savoir, France; DFG and AvH Foundation, Germany; Herakleitos, Thales and Aristeia programmes co-financed by EU-ESF and the Greek NSRF; BSF, GIF and Minerva, Israel; BRF, Norway; Generalitat de Catalunya, Generalitat Valenciana, Spain; the Royal Society and Leverhulme Trust, United Kingdom
Anticlockwise or clockwise?:a dynamic perception-action-laterality model for directionality bias in visuospatial functioning

Reviewing the relevant literature in visual psychophysics and visual neuroscience we propose a three-stage model of directionality bias in visuospatial functioning. We call this model the 'Perception-Action-Laterality' (PAL) hypothesis. We analyzed the research findings for a wide range of visuospatial tasks, showing that there are two major directionality trends: clockwise versus anticlockwise. It appears these preferences are combinatorial, such that a majority of people fall in the first category demonstrating a preference for stimuli/objects arranged from left-to-right rather than from right-to-left, while people in the second category show an opposite trend. These perceptual biases can guide sensorimotor integration and action, creating two corresponding turner groups in the population. In support of PAL, we propose another model explaining the origins of the biases- how the neurogenetic factors and the cultural factors interact in a biased competition framework to determine the direction and extent of biases. This dynamic model can explain not only the two major categories of biases, but also the unbiased, unreliably biased or mildly biased cases in visuosptial functioning
Mechanisms of Myocardial Ischemia in Hypertrophic Cardiomyopathy : Insights From Wave Intensity Analysis and Magnetic Resonance

Background: Angina is common in hypertrophic cardiomyopathy (HCM) and is associated with abnormal myocardial perfusion. Wave intensity analysis improves the understanding of the mechanics of myocardial ischemia. Objectives: Wave intensity analysis was used to describe the mechanisms underlying perfusion abnormalities in patients with HCM. Methods: Simultaneous pressure and flow were measured in the proximal left anterior descending artery in 33 patients with HCM and 20 control patients at rest and during hyperemia, allowing calculation of wave intensity. Patients also underwent quantitative first-pass perfusion cardiac magnetic resonance to measure myocardial perfusion reserve. Results: Patients with HCM had a lower coronary flow reserve than control subjects (1.9 ± 0.8 vs. 2.7 ± 0.9; p = 0.01). Coronary hemodynamics in HCM were characterized by a very large backward compression wave during systole (38 ± 11% vs. 21 ± 6%; p < 0.001) and a proportionately smaller backward expansion wave (27% ± 8% vs. 33 ± 6%; p = 0.006) compared with control subjects. Patients with severe left ventricular outflow tract obstruction had a bisferiens pressure waveform resulting in an additional proximally originating deceleration wave during systole. The proportion of waves acting to accelerate coronary flow increased with hyperemia, and the magnitude of change was proportional to the myocardial perfusion reserve (rho = 0.53; p < 0.01). Conclusions: Coronary flow in patients with HCM is deranged. Distally, compressive deformation of intramyocardial blood vessels during systole results in an abnormally large backward compression wave, whereas proximally, severe left ventricular outflow tract obstruction is associated with an additional deceleration wave. Perfusion abnormalities in HCM are not simply a consequence of supply/demand mismatch or remodeling of the intramyocardial blood vessels; they represent a dynamic interaction with the mechanics of myocardial ischemia that may be amenable to treatment