search
Include:
1,086 Research products, page 1 of 109

  • Publications
  • 2017-2021
  • Open Access
  • Conference object
  • European Commission
  • EU
  • 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...

  • 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 . Conference object . Part of book or chapter of book . 2018
    Open Access English
    Authors: 
    Barthe, Gilles; Belaïd, Sonia; Espitau, Thomas; Fouque, Pierre-Alain; Grégoire, Benjamin; Rossi, Mélissa; Tibouchi, Mehdi;
    Publisher: HAL CCSD
    Country: France
    Project: EC | PROMETHEUS (780701), EC | AlmaCrypt (669891)

    International audience; Recently, numerous physical attacks have been demonstrated against lattice-based schemes, often exploiting their unique properties such as the reliance on Gaussian distributions, rejection sampling and FFT-based polynomial multiplication. As the ...

  • Publication . Conference object . Part of book or chapter of book . 2020
    Open Access
    Authors: 
    Van Wolputte, Elia; Blockeel, Hendrik;
    Publisher: Springer International Publishing
    Country: Belgium
    Project: EC | Synth (694980)

    Fundamentally, many problems in Machine Learning are understood as some form of function approximation; given a dataset \(\mathcal {D}\), learn a function \(\mathop {} f_{\textit{\textbf{X}} \rightarrow \textit{\textbf{Y}}}\). However, this overlooks the ubiquitous prob...

  • Open Access
    Authors: 
    Groen, D.; Richardson, R.A.; Wright, D.W.; Jancauskas, V.; Sinclair, R.; Karlshoefer, P.; Vassaux, M.; Arabnejad, H.; Piontek, T.; Kopta, P.; +16 more
    Countries: France, Netherlands, United Kingdom
    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...