Advanced search
Filters (6)
Filters
Clear All

Publications Open Access Conference object European Commission EU IT Lecture Notes in Computer Science

Filters
Clear All

Publications Open Access Conference object European Commission EU IT Lecture Notes in Computer Science

Download Results
1,340 research outcomes, page 1 of 134
  • publication . Conference object . Part of book or chapter of book . 2019
    Ontology Completion Using Graph Convolutional Networks.
    Open Access English
    Authors:
    Na Li; Zied Bouraoui; Steven Schockaert;
    Persistent Identifiers

    doi: 10.1007/978-3-030-30793-6_25

    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 . Conference object . 2015
    Forgery and Subkey Recovery on CAESAR Candidate iFeed
    Open Access English
    Authors:
    Willem Schroé; Bart Mennink; Elena Andreeva; Bart Preneel;
    Persistent Identifiers

    doi: 10.5281/zenodo.55452 , 10.1007/978-3-319-31301-6_11

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

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Preprint . Conference object . 2018
    Formal Verification of a Programmable Hypersurface
    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

    doi: 10.1007/978-3-030-00244-2_6

    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
    TaskGenX: A Hardware-Software Proposal for Accelerating Task Parallelism
    Open Access English
    Authors:
    Kallia Chronaki; Marc Casas; Miquel Moreto; Jaume Bosch; Rosa M. Badia;
    Persistent Identifiers

    doi: 10.1007/978-3-319-92040-5_20

    handle: 2117/120101

    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
    Introducing VECMAtk - Verification, Validation and Uncertainty Quantification for Multiscale and HPC Simulations
    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.; ...
    Persistent Identifiers

    doi: 10.1007/978-3-030-22747-0_36

    handle: 21.11116/0000-0007-8794-9 , 21.11116/0000-0007-8796-7 , 11245.1/1e991e4c-d10a-4985-98cb-48919dc62b39

    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
    Registration of Ultrasound Volumes Based on Euclidean Distance Transform
    Open Access
    Authors:
    Luca Canalini; Jan Klein; Dorothea Miller; Ron Kikinis;
    Persistent Identifiers

    doi: 10.1007/978-3-030-33642-4_14

    Country: Germany