Quick search
Advanced search in
Field to searchTerm
Add rule
Filters (6)
Download Results
183 research outcomes, page 1 of 19
  • publication . Part of book or chapter of book . Conference object . 2021
    Closed Access English
    Authors:
    Simone Orlando; Vairo Di Pasquale; Franco Barbanera; Ivan Lanese; Emilio Tuosto;
    Persistent Identifiers
    Publisher: HAL CCSD
    Countries: France, Italy
    Project: EC | BEHAPI (778233)

    International audience; Choreography automata are a model of choreographies envisaging high-level views of the behaviour of communicating systems as finite-state automata. The behaviour of each participant of a choreography can be obtained via a projection operation fro...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2021
    Closed Access English
    Authors:
    Bettina Fazzinga; Andrea Galassi; Paolo Torroni;
    Persistent Identifiers
    Publisher: Springer
    Country: Italy
    Project: EC | HumanE-AI-Net (952026)

    Dialogue systems are widely used in AI to support timely and interactive communication with users. We propose a general-purpose dialogue system architecture that leverages computational argumentation to perform reasoning and provide consistent and explainable answers. W...

    Add to ORCIDorcid
  • publication . Other literature type . Part of book or chapter of book . 2021
    Closed Access English
    Authors:
    Cavalazzi Barbara; Filippidou Sevasti;
    Persistent Identifiers
    Publisher: SCRIVENER PUBLISHING LLC.
    Country: Italy
    Project: EC | EPN-2024-RI (871149)

    In the quest to find life on other planets, specific extreme terrestrial environments are studied as analogues to present or past conditions on other bodies of our Solar System and beyond. These terrestrial extreme environments often harbour microbial life of high diver...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2021
    Open Access English
    Authors:
    Emanuela Podda; Francesco Vigna;
    Persistent Identifiers
    Publisher: Andrea Kö, Enrico Francesconi, Gabriele Kotsis, A Min Tjoa, Ismail Khalil
    Countries: Luxembourg, Italy
    Project: EC | LAST-JD-RIoE (814177)

    Two years after the General Data Protection Regulation (GDPR) went into effect, data anonymization remains one of the main issues linked to fragmen-tation in the Member States’ anonymization policies, in which regard stakehold-ers would like additional guidelines. In ke...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2021
    Closed Access English
    Authors:
    della Porta, Donatella; Mattoni, Alice; della Porta, Donatella; Mattoni, Alice;
    Persistent Identifiers
    Publisher: Oxford University Press
    Country: Italy
    Project: EC | BIT-ACT (802362)

    In the last decades, several types of civil society actors have mobilized against corruption all over the world, at the transnational, national, and local level. The chapter discusses these anticorruption efforts in order to understand their main features, challenges, a...

    Add to ORCIDorcid
  • publication . Conference object . Part of book or chapter of book . 2021
    Open Access English
    Authors:
    Fabio Montagna; Giuseppe Tagliavini; Davide Rossi; Angelo Garofalo; Luca Benini;
    Persistent Identifiers
    Publisher: Springer
    Country: Italy
    Project: EC | OPRECOMP (732631)

    High-level programming models aim at exploiting hardware parallelism and reducing software development costs. However, their adoption on ultra-low-power multi-core microcontroller (MCU) platforms requires minimizing the overheads of work-sharing constructs on fine-grain...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . Conference object . 2021
    Open Access English
    Authors:
    Melissa Antonelli; Ugo Dal Lago; Paolo Pistone;
    Persistent Identifiers
    Publisher: HAL CCSD
    Countries: France, Italy
    Project: EC | DIAPASoN (818616)

    International audience; We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the argument formula is true in a certain portion of all possible inte...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2021
    Closed Access English
    Authors:
    Mattoni, Alice; Mattoni, Alice;
    Persistent Identifiers
    Publisher: Oxford University Press
    Country: Italy
    Project: EC | BIT-ACT (802362)

    Corruption is a global problem that affects millions of people, and activists all over the world mobilize against it. When they do so, they increasingly employ various types of digi­tal media. First, the chapter discusses two leading roles that digital media might have ...

    Add to ORCIDorcid
  • publication . Conference object . Article . Part of book or chapter of book . 2021
    Open Access English
    Authors:
    Mario Bravetti; Julien Lange; Gianluigi Zavattaro;
    Persistent Identifiers
    Publisher: HAL CCSD
    Countries: France, Italy
    Project: EC | BEHAPI (778233)

    AbstractSession types are widely used as abstractions of asynchronous message passing systems. Refinement for such abstractions is crucial as it allows improvements of a given component without compromising its compatibility with the rest of the system. In the context o...

    Add to ORCIDorcid
  • publication . Part of book or chapter of book . 2021
    Open Access English
    Authors:
    Matteo Martelli;
    Persistent Identifiers
    Publisher: Brill
    Country: Italy
    Project: EC | AlchemEast (724914)

    This paper explores recipes for ink making preserved in three Syriac alchemical manuscripts. First, I shall provide an analytical description of the scanty material transmitted in two codices kept at the British Library (Egerton 709 and Oriental 1593); then, particular ...

    Add to ORCIDorcid
183 research outcomes, page 1 of 19