Filters (5)
Download Results
1,825 research outcomes, page 1 of 183
  • publication . Part of book or chapter of book . Conference object . Preprint . 2019
    Open Access English
    Authors:
    Luca Canalini; Jan Klein; Dorothea Miller; Ron Kikinis;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: NIH | IMAGE GUIDED THERAPY CENT... (8P41EB015898-08), NIH | Neuroimaging Analysis Cen... (5P41EB015902-20), NIH | Quantitative Image Inform... (5U24CA180918-02), EC | TRABIT (765148)

    During neurosurgical operations, surgeons can decide to acquire intraoperative data to better proceed with the removal of a tumor. A valid option is given by ultrasound (US) imaging, which can be easily obtained at subsequent surgical stages, giving therefore multiple u...

    Add to ORCIDorcid
  • publication . Preprint . Part of book or chapter of book . 2020
    Open Access English
    Authors:
    Jesko Hecking-Harbusch; Niklas O. Metzger;
    Persistent Identifiers
    Project: EC | OSARES (683300)

    The manual implementation of distributed systems is an error-prone task because of the asynchronous interplay of components and the environment. Bounded synthesis automatically generates an implementation for the specification of the distributed system if one exists. So...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2017
    Open Access English
    Authors:
    Arturo Cruz-Maya; Roxana Agrigoroaie; Adriana Tapus;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | ENRICHME (643691)

    The presence of a robot in our everyday life can generate both positive and negative effects on us. While performing a difficult task, the presence of a robot can generate a negative effect on the performance and it can also increase the stress and anxiety levels. In or...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2018
    Open Access
    Authors:
    Barenghi, Alessandro; Mainardi, Nicholas; Pelosi, Gerardo;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | M2DC (688201)

    Homomorphic Encryption provides one of the most promising means to delegate computation to the cloud while retaining data confidentiality. We present a plaintext recovery attack against fully homomorphic schemes which have a polynomial time distinguisher for a given fix...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Contribution for newspaper or weekly magazine . 2017
    Open Access
    Authors:
    Helene Haagh; Yue Ji; Chenxing Li; Claudio Orlandi; Yifan Song;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: EC | SODA (731583)

    We generalize the cryptographic notion of Order Revealing Encryption (ORE) to arbitrary functions and we present a construction that allows to determine the (partial) ordering of two vectors i.e., given \(E(\varvec{x})\) and \(E(\varvec{y})\) it is possible to learn whe...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Article . Preprint . 2021
    Open Access
    Authors:
    Bartocci, Ezio; Kovács, Laura; Stankovič, Miroslav;
    Persistent Identifiers
    Publisher: Springer International Publishing
    Project: FWF | Vollantrag zu Logical Met... (W 1255), EC | SYMCAR (639270)

    We introduce MORA, an automated tool for generating invariants of probabilistic programs. Inputs to MORA are so-called Prob-solvable loops, that is probabilistic programs with polynomial assignments over random variables and parametrized distributions. Combining methods...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Na Li; Zied Bouraoui; Steven Schockaert;
    Persistent Identifiers
    Publisher: HAL CCSD
    Project: EC | FLEXILOG (637277)

    Many methods have been proposed to automatically extend knowledge bases, but the vast majority of these methods focus on finding plausible missing facts, and knowledge graph triples in particular. In this paper, we instead focus on automatically extending ontologies tha...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Groen, D.; Richardson, R.A.; Wright, D.W.; Jancauskas, V.; Sinclair, R.; Karlshoefer, P.; Vassaux, M.; Arabnejad, H.; Piontek, T.; Kopta, P.; ...
    Project: EC | VECMA (800925)

    Multiscale simulations are an essential computational method in a range of research disciplines, and provide unprecedented levels of scientific insight at a tractable cost in terms of effort and compute resources. To provide this, we need such simulations to produce res...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2019
    Open Access English
    Authors:
    Aristeidis Farao; Juan E. Rubio; Cristina Alcaraz; Christoforos Ntantogian; Christos Xenakis; Javier Lopez;
    Persistent Identifiers
    Project: EC | SealedGRID (777996)

    In recent years, the Smart Grid has increasingly integrated cutting-edge technologies that generate several benefits for all the stakeholders involved, such as a more accurate billing system and enhanced Demand Response procedures. However, this modernization also bring...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . Article . 2015
    Open Access English
    Authors:
    Willem Schroé; Bart Mennink; Elena Andreeva; Bart Preneel;
    Publisher: Springer International Publishing
    Project: EC | HECTOR (644052), EC | ECRYPT-CSA (645421)

    H2020 644052 / HECTOR

    Add to ORCIDorcid
1,825 research outcomes, page 1 of 183