Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (5)
Download Results
1,412 research outcomes, page 1 of 142
  • 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
    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...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Preprint . Conference object . 2018
    Open Access English
    Authors:
    Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; Petrou, Loukas; Pitsillides, Andreas; Kouvaros, Panagiotis; Kouzapas, Dimitrios; Philippou, Anna; Georgiou, Julius; ...
    Persistent Identifiers
    Publisher: Springer International Publishing
    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...

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

    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...

    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.; ...
    Publisher: Springer Verlag
    Countries: France, United Kingdom, Netherlands, France
    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 . Part of book or chapter of book . Preprint . Conference object . 2019
    Open Access
    Authors:
    Luca Canalini; Jan Klein; Dorothea Miller; Ron Kikinis;
    Persistent Identifiers
    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...

    Add to ORCIDorcid
  • 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;
    Persistent Identifiers
    Publisher: HAL CCSD
    Country: France
    Project: EC | AlmaCrypt (669891), EC | PROMETHEUS (780701)

    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 ...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2020
    Open Access English
    Authors:
    Elia Van Wolputte; Hendrik Blockeel;
    Persistent Identifiers
    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...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2017
    Open Access English
    Authors:
    Tomer Ashur; Jeroen Delvaux; Sanghan Lee; Pieter Maene; Eduard Marin; Svetla Nikova; Oscar Reparaz; Vladimir Rožić; Dave Singelée; Bohan Yang; ...
    Persistent Identifiers
    Publisher: Springer-Verlag
    Country: Belgium
    Project: EC | Cathedral (695305)

    © Springer Nature Switzerland AG 2018. This paper presents the design and implementation of a low-power privacy-preserving device tracking system based on Internet of Things (IOT) technology. The system consists of low-power nodes and a set of dedicated beacons. Each tr...

    Add to ORCIDorcid
  • 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;
    Persistent Identifiers
    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...

    Add to ORCIDorcid
  • publication . Conference object . 2020
    Closed Access English
    Authors:
    Jorge, Torres; Roberto Garay Martinez, Dr.; Ignacio Torrens-Galdiz, J.; Amaia, Uriarte; Pracucci, Alessandro; Oscar, Casadei; Sara, Magnani; Noemi, Arroyo; Cea, Angel M.;
    Publisher: Architectural Science Association
    Country: Italy
    Project: EC | RenoZEB (768718)
1,412 research outcomes, page 1 of 142