Advanced search in
Research products
arrow_drop_down
Searching FieldsTerms
Any field
arrow_drop_down
includes
arrow_drop_down
Include:
1,714 Research products, page 1 of 172

  • 2012-2021
  • Conference object
  • EU
  • IT
  • Lecture Notes in Computer Science

10
arrow_drop_down
Relevance
arrow_drop_down
  • Publication . Part of book or chapter of book . Preprint . Conference object . 2019
    Open Access English
    Authors: 
    Luca Canalini; Jan Klein; Dorothea Miller; Ron Kikinis;
    Publisher: Springer International Publishing
    Country: Germany
    Project: NIH | Neuroimaging Analysis Cen... (5P41EB015902-20), NIH | IMAGE GUIDED THERAPY CENT... (8P41EB015898-08), 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...

  • Publication . Conference object . Part of book or chapter of book . 2019
    Open Access English
    Authors: 
    Na Li; Zied Bouraoui; Steven Schockaert;
    Publisher: HAL CCSD
    Country: France
    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...

  • Open Access English
    Authors: 
    Arturo Cruz-Maya; Roxana Agrigoroaie; Adriana Tapus;
    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...

  • Publication . Part of book or chapter of book . Preprint . Conference object . 2018
    Open Access
    Authors: 
    Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; Petrou, Loukas; Pitsillides, Andreas; Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; +2 more
    Country: Cyprus
    Project: EC | VISORSURF (736876)

    A metasurface is a surface that consists of artificial material, called metamaterial, with configurable electromagnetic properties. This paper presents work in progress on the design and formal verification of a programmable metasurface, the Hypersurface, as part of the...

  • Publication . Conference object . Part of book or chapter of book . 2018
    Open Access
    Authors: 
    Snook, Colin; Hoang, Thai Son; Dghyam, Dana; Butler, Michael; Fischer, Tomas; Schlick, Rupert; Wang, Keming;
    Publisher: Springer International Publishing
    Country: United Kingdom
    Project: EC | ENABLE-S3 (692455)

    Formal systems modelling offers a rigorous system-level analysis resulting in a precise and reliable specification. However, some issues remain: Modellers need to understand the requirements in order to formulate the models, formal verification may focus on safety prope...

  • Closed Access English
    Authors: 
    Joppe W. Bos; Wouter Castryck; Ilia Iliashenko; Frederik Vercauteren;
    Publisher: Springer International Publishing
    Project: EC | HEAT (644209)

    While the smart grid has the potential to have a positive impact on the sustainability and efficiency of the electricity market, it also poses some serious challenges with respect to the privacy of the consumer. One of the traditional use-cases of this privacy sensitive...

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

    © Springer International Publishing Switzerland 2016. iFeed is a blockcipher-based authenticated encryption design by Zhang, Wu, Sui, and Wang and a first round candidate to the CAESAR competition. iFeed is claimed to achieve confidentiality and authenticity in the nonc...

  • Publication . Part of book or chapter of book . Preprint . 2019
    Open Access English
    Authors: 
    Francis Engelmann; Theodora Kontogianni; Jonas Schult; Bastian Leibe;
    Project: EC | DeeViSe (773161)

    In this paper, we present a deep learning architecture which addresses the problem of 3D semantic segmentation of unstructured point clouds (Fig. 1). Compared to previous work, we introduce grouping techniques which define point neighborhoods in the initial world space ...

  • Publication . Conference object . Part of book or chapter of book . 2018
    Open Access
    Authors: 
    Kallia Chronaki; Marc Casas; Miquel Moreto; Jaume Bosch; Rosa M. Badia;
    Publisher: Springer
    Country: Spain
    Project: EC | ROMOL (321253), EC | Mont-Blanc 2020 (779877), EC | Mont-Blanc 3 (671697)

    As chip multi-processors (CMPs) are becoming more and more complex, software solutions such as parallel programming models are attracting a lot of attention. Task-based parallel programming models offer an appealing approach to utilize complex CMPs. However, the increas...

  • Publication . Preprint . Part of book or chapter of book . Conference object . 2016
    Open Access English
    Authors: 
    Kaplan, Marc; Leurent, Gaëtan; Leverrier, Anthony; Naya-Plasencia, María;
    Country: France
    Project: UKRI | Verification of Quantum T... (EP/N003829/1), EC | PQCRYPTO (645622), ANR | NLQCC (ANR-12-PDOC-0022)

    Due to Shor's algorithm, quantum computers are a severe threat for public key cryptography. This motivated the cryptographic community to search for quantum-safe solutions. On the other hand, the impact of quantum computing on secret key cryptography is much less unders...