26,818 research outputs found

    A Nice Labelling for Tree-Like Event Structures of Degree 3

    Full text link
    We address the problem of finding nice labellings for event structures of degree 3. We develop a minimum theory by which we prove that the labelling number of an event structure of degree 3 is bounded by a linear function of the height. The main theorem we present in this paper states that event structures of degree 3 whose causality order is a tree have a nice labelling with 3 colors. Finally, we exemplify how to use this theorem to construct upper bounds for the labelling number of other event structures of degree 3

    A Nice Labelling for Tree-Like Event Structures of Degree 3 (Extended Version)

    Get PDF
    We address the problem of finding nice labellings for event structures of degree 3. We develop a minimum theory by which we prove that the labelling number of an event structure of degree 3 is bounded by a linear function of the height. The main theorem we present in this paper states that event structures of degree 3 whose causality order is a tree have a nice labelling with 3 colors. Finally, we exemplify how to use this theorem to construct upper bounds for the labelling number of other event structures of degree 3

    Identification of activity peaks in time-tagged data with a scan-statistics driven clustering method and its application to gamma-ray data samples

    Get PDF
    The investigation of activity periods in time-tagged data-samples is a topic of large interest. Among Astrophysical samples, gamma-ray sources are widely studied, due to the huge quasi-continuum data set available today from the FERMI-LAT and AGILE-GRID gamma-ray telescopes. To reveal flaring episodes of a given gamma-ray source, researchers make use of binned light-curves. This method suffers several drawbacks: the results depends on time-binning, the identification of activity periods is difficult for bins with low signal to noise ratio. I developed a general temporal-unbinned method to identify flaring periods in time-tagged data and discriminate statistically-significant flares: I propose an event clustering method in one-dimension to identify flaring episodes, and Scan-statistics to evaluate the flare significance within the whole data sample. This is a photometric algorithm. The comparison of the photometric results (e.g., photometric flux, gamma-ray spatial distribution) for the identified peaks with the standard likelihood analysis for the same period is mandatory to establish if source-confusion is spoiling results. The procedure can be applied to reveal flares in any time-tagged data sample. The study of the gamma ray activity of 3C 454.3 and of the fast variability of the Crab Nebula are shown as examples. The result of the proposed method is similar to a photometric light curve, but peaks are resolved, they are statistically significant within the whole period of investigation, and peak detection capability does not suffer time-binning related issues. The method can be applied for gamma-ray sources of known celestial position. Furthermore the method can be used when it is necessary to assess the statistical significance within the whole period of investigation of a flare from an unknown gamma-ray source.Comment: 17 pages, 10 figures Accepted for publication in A&

    The equational theory of the natural join and inner union is decidable

    Full text link
    The natural join and the inner union operations combine relations of a database. Tropashko and Spight [24] realized that these two operations are the meet and join operations in a class of lattices, known by now as the relational lattices. They proposed then lattice theory as an algebraic approach to the theory of databases, alternative to the relational algebra. Previous works [17, 22] proved that the quasiequational theory of these lattices-that is, the set of definite Horn sentences valid in all the relational lattices-is undecidable, even when the signature is restricted to the pure lattice signature. We prove here that the equational theory of relational lattices is decidable. That, is we provide an algorithm to decide if two lattice theoretic terms t, s are made equal under all intepretations in some relational lattice. We achieve this goal by showing that if an inclusion t ≤\le s fails in any of these lattices, then it fails in a relational lattice whose size is bound by a triple exponential function of the sizes of t and s.Comment: arXiv admin note: text overlap with arXiv:1607.0298

    Cultural Biases in Economic Exchange?

    Get PDF
    How much do cultural biases affect economic exchange? We try to answer this question by using the relative trust European citizens have for citizens of other countries. First, we document that this trust is affected not only by objective characteristics of the country being trusted, but also by cultural aspects of the match between trusting country and trusted country, such as religion, history of conflicts, and genetic and somatic similarities. We then find that lower relative levels of trust toward citizens of a country lead to less trade with that country, less portfolio investment, and less direct investment in that country, even after controlling for the objective characteristics of that country. This effect is stronger for goods that are more trust intensive and doubles or triples when trust is instrumented with its cultural determinants. Our results suggest that perceptions rooted in culture are important (and generally omitted) determinants of economic exchange.Culture, beliefs, trade, trust

    On capabilities and limitations of current fast neutron-flux monitoring instrumentation for the DEMO LFR ALFRED

    Get PDF
    Among Gen IV projects for future nuclear power plants, Lead cooled Fast Reactors (LFR) seem to be a very interesting solution due to its benefits in terms of fuel cycle, coolant-safety and waste management. The novelty of the matter causes some open issues about coolant chemical aspect, structural aspects, monitoring instrumentation, etc. Particularly hard neutron flux spectra would make traditional neutron instrumentation unfit to all reactor conditions, i.e. source, intermediate, and power range. Identification of new models of nuclear instrumentation specialized for LFR neutron flux monitoring asks for an accurate evaluation of the environment the sensor will work in. In this study, thermal-hydraulics and chemical conditions for LFR core environment will be assumed, as the neutron flux will be studied extensively by means of the Monte Carlo transport code MCNPX. The core coolant’s high temperature drastically reduces the candidate instrumentation, because only some kind of fission chambers and Self Powered Neutron Detectors can be operated in such an environment. This work aims at evaluating the capabilities of the available instrumentation (usually designed and tailored for Sodium cooled Fast Reactors, SFRs) when exposed to the neutron spectrum derived from ALFRED, a pool-type LFR project to demonstrate the feasibility of this technology into the European framework. This paper shows that such class of instrumentation does follow the power evolution, but is not completely suitable to detect the whole range of reactor power, due to excessive burn-up, damages or gamma interferences. Some improvements are possible in order to increase the signal-to-noise ratio, by optimizing each instrument in the range of reactor power, such to get the best solution. The design of some new detectors are here proposed, together with a possible approach for prototyping and testing them by means of a fast reactor

    A trust-driven financial crisis. Implications for the future of financial markets

    Get PDF
    The financial crisis has brought to light diffuse opportunistic behaviour and some serious frauds.Because of this trust towards banks, bankers, brokers and the stock market has collapsed to unprecedented levels and there are so far no signs of recovery. This paper uses survey-based information to document the collapse of trust, show its link to the emergence of frauds in the financial industry and discuss its consequences for the demand of financial instruments, investors portfolios and more generally investors reliance on financial markets. It argues that unless serious changes happen in the behaviour of the financial industry, the move towards safer portfolios and away from ambiguous securities that lack of trust entails, will have adverse effects on the availability and cost of equity financing. Accordingly a number of proposals to restore trust are discussed. Their common feature is to restore trust – a belief – by limiting the scope for opportunistic behaviour through a transfer of power from financial intermediaries to investors.
    • …
    corecore