Formal Analysis of Trust Dynamics in Human and Software Agent Experiments

Item does not contain fulltextRecognizing that trust states are mental states, this paper presents a formal analysis of the dynamics of trust in terms of the functional roles and representation relations for trust states. This formal analysis is done both in a logical framework and in a mathematical framework based on integral and differential equations. Furthermore, the paper presents formal specifications of a number of relevant dynamic properties of trust. The specifications provided were used to perform automated formal analysis of empirical and simulated data from two case studies, one involving two experiments with humans, and one involving simulation experiments in the context of an economic game.11th International Workshop on Cooperative Information Agents, CIA 2007, Delft, The Netherlands, September 19-21, 200

Mechanisms of proton-proton inelastic cross-section growth in multi-peripheral model within the framework of perturbation theory. Part 2

We demonstrate a new technique for calculating proton-proton inelastic cross-section, which allows one by application of the Laplace' method replace the integrand in the integral for the scattering amplitude in the vicinity of the maximum point by expression of Gaussian type. This in turn, allows one to overcome the computational difficulties for the calculation of the integrals expressing the cross section to sufficiently large numbers of particles. We have managed to overcome these problems in calculating the proton-proton inelastic cross-section for production (n \le 8) number of secondary particles in within the framework of \phi^3 model. As the result the obtained dependence of inelastic cross-section and total scattering cross-section on the energy \sqrt{s} are qualitative agrees with the experimental data. Such description of total cross-section behavior differs considerably from existing now description, where reggeons exchange with the intercept greater than unity is considered.Comment: 11 pages, 10 figures (v3: some inaccuracies corrected

Penetrating particle ANalyzer (PAN)

PAN is a scientific instrument suitable for deep space and interplanetary missions. It can precisely measure and monitor the flux, composition, and direction of highly penetrating particles ($> \sim$100 MeV/nucleon) in deep space, over at least one full solar cycle (~11 years). The science program of PAN is multi- and cross-disciplinary, covering cosmic ray physics, solar physics, space weather and space travel. PAN will fill an observation gap of galactic cosmic rays in the GeV region, and provide precise information of the spectrum, composition and emission time of energetic particle originated from the Sun. The precise measurement and monitoring of the energetic particles is also a unique contribution to space weather studies. PAN will map the flux and composition of penetrating particles, which cannot be shielded effectively, precisely and continuously, providing valuable input for the assessment of the related health risk, and for the development of an adequate mitigation strategy. PAN has the potential to become a standard on-board instrument for deep space human travel. PAN is based on the proven detection principle of a magnetic spectrometer, but with novel layout and detection concept. It will adopt advanced particle detection technologies and industrial processes optimized for deep space application. The device will require limited mass (~20 kg) and power (~20 W) budget. Dipole magnet sectors built from high field permanent magnet Halbach arrays, instrumented in a modular fashion with high resolution silicon strip detectors, allow to reach an energy resolution better than 10\% for nuclei from H to Fe at 1 GeV/n

TugaTAC Broker: A Fuzzy Logic Adaptive Reasoning Agent for Energy Trading

Smart Grid technologies are changing the way energy is generated, distributed and consumed. With the increasing spread of renewable power sources, new market strategies are needed to guarantee a more sustainable participation and less dependency of bulk generation. In PowerTAC (Power Trading Agent Competition), different software agents compete in a simulated energy market, impersonating broker companies to create and manage attractive tariffs for customers while aiming to profit. In this paper, we present TugaTAC Broker, a PowerTAC agent that uses a fuzzy logic mechanism to compose tariffs based on its customers portfolio. Fuzzy sets allow adaptive configurations for brokers in different scenarios. To validate and compare the performance of TugaTAC, we have run a local version of the PowerTAC competition. The experiments comprise TugaTAC competing against other simple agents and a more realistic configuration, with instances of the winners of previous editions of the competition. Preliminary results show a promising dynamic: our approach was able to manage imbalances and win the competition in the simple case, but need refinements to compete with more sophisticated market. (c) Springer International Publishing Switzerland 2016

Internal alignment and position resolution of the silicon tracker of DAMPE determined with orbit data

The DArk Matter Particle Explorer (DAMPE) is a space-borne particle detector designed to probe electrons and gamma-rays in the few GeV to 10 TeV energy range, as well as cosmic-ray proton and nuclei components between 10 GeV and 100 TeV. The silicon-tungsten tracker-converter is a crucial component of DAMPE. It allows the direction of incoming photons converting into electron-positron pairs to be estimated, and the trajectory and charge (Z) of cosmic-ray particles to be identified. It consists of 768 silicon micro-strip sensors assembled in 6 double layers with a total active area of 6.6 m$^2$. Silicon planes are interleaved with three layers of tungsten plates, resulting in about one radiation length of material in the tracker. Internal alignment parameters of the tracker have been determined on orbit, with non-showering protons and helium nuclei. We describe the alignment procedure and present the position resolution and alignment stability measurements

Direct detection of a break in the teraelectronvolt cosmic-ray spectrum of electrons and positrons

High energy cosmic ray electrons plus positrons (CREs), which lose energy quickly during their propagation, provide an ideal probe of Galactic high-energy processes and may enable the observation of phenomena such as dark-matter particle annihilation or decay. The CRE spectrum has been directly measured up to $\sim 2$ TeV in previous balloon- or space-borne experiments, and indirectly up to $\sim 5$ TeV by ground-based Cherenkov $\gamma$-ray telescope arrays. Evidence for a spectral break in the TeV energy range has been provided by indirect measurements of H.E.S.S., although the results were qualified by sizeable systematic uncertainties. Here we report a direct measurement of CREs in the energy range $25~{\rm GeV}-4.6~{\rm TeV}$ by the DArk Matter Particle Explorer (DAMPE) with unprecedentedly high energy resolution and low background. The majority of the spectrum can be properly fitted by a smoothly broken power-law model rather than a single power-law model. The direct detection of a spectral break at $E \sim0.9$ TeV confirms the evidence found by H.E.S.S., clarifies the behavior of the CRE spectrum at energies above 1 TeV and sheds light on the physical origin of the sub-TeV CREs.Comment: 18 pages, 6 figures, Nature in press, doi:10.1038/nature2447

Measurement of the production of a W boson in association with a charm quark in pp collisions at √s = 7 TeV with the ATLAS detector

The production of a W boson in association with a single charm quark is studied using 4.6 fb−1 of pp collision data at s√ = 7 TeV collected with the ATLAS detector at the Large Hadron Collider. In events in which a W boson decays to an electron or muon, the charm quark is tagged either by its semileptonic decay to a muon or by the presence of a charmed meson. The integrated and differential cross sections as a function of the pseudorapidity of the lepton from the W-boson decay are measured. Results are compared to the predictions of next-to-leading-order QCD calculations obtained from various parton distribution function parameterisations. The ratio of the strange-to-down sea-quark distributions is determined to be 0.96+0.26−0.30 at Q 2 = 1.9 GeV2, which supports the hypothesis of an SU(3)-symmetric composition of the light-quark sea. Additionally, the cross-section ratio σ(W + +c¯¯)/σ(W − + c) is compared to the predictions obtained using parton distribution function parameterisations with different assumptions about the s−s¯¯¯ quark asymmetry

Search for squarks and gluinos with the ATLAS detector in final states with jets and missing transverse momentum using √s=8 TeV proton-proton collision data

A search for squarks and gluinos in final states containing high-p T jets, missing transverse momentum and no electrons or muons is presented. The data were recorded in 2012 by the ATLAS experiment in s√=8 TeV proton-proton collisions at the Large Hadron Collider, with a total integrated luminosity of 20.3 fb−1. Results are interpreted in a variety of simplified and specific supersymmetry-breaking models assuming that R-parity is conserved and that the lightest neutralino is the lightest supersymmetric particle. An exclusion limit at the 95% confidence level on the mass of the gluino is set at 1330 GeV for a simplified model incorporating only a gluino and the lightest neutralino. For a simplified model involving the strong production of first- and second-generation squarks, squark masses below 850 GeV (440 GeV) are excluded for a massless lightest neutralino, assuming mass degenerate (single light-flavour) squarks. In mSUGRA/CMSSM models with tan β = 30, A 0 = −2m 0 and μ > 0, squarks and gluinos of equal mass are excluded for masses below 1700 GeV. Additional limits are set for non-universal Higgs mass models with gaugino mediation and for simplified models involving the pair production of gluinos, each decaying to a top squark and a top quark, with the top squark decaying to a charm quark and a neutralino. These limits extend the region of supersymmetric parameter space excluded by previous searches with the ATLAS detector