Filters (4)
Download Results
123 research outcomes, page 1 of 13
  • publication . Article . Report . Research . Preprint . 2019
    Open Access
    Authors:
    J. Blümlein; A. De Freitas; C.G. Raab; K. Schönwald;
    Publisher: (:unav)
    Project: FWF | Algebra and algorithms fo... (P 27229), FWF | Algorithmic integro-diffe... (P 31952), EC | SAGEX (764850)

    We calculate the non-singlet, the pure singlet contribution, and their interference term, at $O(\alpha^2)$ due to electron-pair initial state radiation to $e^+ e^-$ annihilation into a neutral vector boson in a direct analytic computation without any approximation. The ...

    Add to ORCIDorcid
  • publication . Other literature type . Report . Project deliverable . 2017
    Open Access English
    Authors:
    Tamke, Martin; Stefanescu, Dimitrie; Chronis, Angelos; Svilans, Tom;
    Project: EC | InnoChain (642877)

    The premise of Innochain is to publish all research results. The Grant Agreement §29 DISSEMINATION OF RESULTS — OPEN ACCESS — VISIBILITY OF EU FUNDING describes in detail this general obligation to disseminate scientific results. This attention applies to the publishing...

    Add to ORCIDorcid
  • publication . Article . Report . Conference object . Other literature type . Preprint . 2014
    Open Access
    Authors:
    Ittai Abraham; Cyril Gavoille; Anupam Gupta; Ofer Neiman; Kunal Talwar;
    Publisher: Society for Industrial & Applied Mathematics (SIAM)
    Project: NSF | AF: Small: Approximation ... (1319811), EC | DIMENSION (303809), NSF | AF: Small: Future Directi... (1016799)

    We prove that any graph excluding Kr as a minor has can be partitioned into clusters of diameter at most Δ while removing at most O(r/Δ) fraction of the edges. This improves over the results of Fakcharoenphol and Talwar, who building on the work of Klein, Plotkin and Ra...

    Add to ORCIDorcid
  • publication . Report . 2014
    English
    Authors:
    Brandner, Florian; Jordan, Alexander;
    Publisher: HAL CCSD
    Project: EC | T-CREST (288008), FWF | Optimal Code Generation f... (P 21842)

    As real-time systems increase in complexity to provide more and more functionality and perform more demanding computations, the problem of statically analyzing the Worst-Case Execution Time bound (WCET) of real-time programs is becoming more and more time-consuming and ...

  • publication . Report . 2019
    English
    Authors:
    Szprot, Jakub; Arpagaus, Brigitte; Ciula, Arianna; Clivaz, Claire; Gabay, Simon; Honegger, Matthieu; Hughes, Lorna; Immenhauser, Beat; Jakeman, Neil; Lhotak, Martin; ...
    Publisher: HAL CCSD
    Project: EC | DESIR (731081)

    This report provides information about activities and progress towards establishing DARIAH membership in six countries: the Czech Republic, Finland, Israel, Spain, Switzerland, and the UK, which took place between July and December 2019. Previous activities were describ...

  • publication . Article . Preprint . Report . Research . Other literature type . 2016
    Open Access English
    Authors:
    Aaboud, M.; Aad, G.; Abbott, B.; Abdallah, J.; Abdinov, O.; Abeloos, B.; Aben, R.; AbouZeid, O.; Abraham, N.; Abramowicz, H.; ...
    Publisher: Springer Verlag (Germany)
    Project: SNSF | Teilchenphysik-Experiment... (200020_163402), EC | EPLANET (246806)

    Published by Springer, Berlin

    Add to ORCIDorcid
  • publication . Report . Article . 2012
    Open Access
    Authors:
    Avi Rosenfeld; Inon Zuckerman; Amos Azaria; Sarit Kraus;
    Publisher: Defense Technical Information Center
    Project: EC | CAP (267523)

    Creating agents that proficiently interact with people is critical for many applications. Towards creating these agents, models are needed that effectively pre- dict people's decisions in a variety of problems. To date, two approaches have been suggested to generally de...

    Add to ORCIDorcid
  • publication . Article . Report . 2020
    Open Access English
    Authors:
    Miguel Sanchez-Romero; Ronald Lee; Alexia Prskawetz;
    Publisher: Elsevier
    Project: EC | AGENTA (613247)

    We propose a general analytical framework to model the redistributive features of alternative pension systems when individuals face ex ante differences in mortality. Differences in life expectancy between high and low socioeconomic groups are often large and have widene...

    Add to ORCIDorcid
  • publication . Article . Other literature type . Report . Preprint . 2017
    Open Access English
    Authors:
    Halina Abramowicz; Angel Abusleme; K. Afanaciev; N. Alipour Tehrani; Csaba Balazs; Yan Benhammou; Mathieu Benoit; B. Bilki; J. J. Blaising; Mark Boland; ...
    Publisher: The European Physical Journal C
    Project: EC | HIGGSTOOLS (316704), EC | AIDA-2020 (654168), MESTD | Physics and Detector R&am... (171012)

    The European physical journal / C 77(7), 475 (2017). doi:10.1140/epjc/s10052-017-4968-5

    Add to ORCIDorcid
  • publication . Report . Part of book or chapter of book . Contribution for newspaper or weekly magazine . Conference object . 2018
    Open Access
    Authors:
    Giles Reger; Martin Suda; Andrei Voronkov;
    Publisher: EasyChair
    Project: EC | SYMCAR (639270)

    This paper explores two new inference rules for reasoning with quantifiers and theories in a saturation-based first-order theorem prover. The focus here is on non-ground clauses, complementing our recent work on AVATAR modulo theories for ground theory reasoning. The cu...

    Add to ORCIDorcid
123 research outcomes, page 1 of 13