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

  • Publications
  • Other research products
  • Open Access
  • Part of book or chapter of book
  • EU
  • English
  • Archivio istituzionale della ricerca - Alma Mater Studiorum Università di Bologna

10
arrow_drop_down
Relevance
arrow_drop_down
  • Publication . Part of book or chapter of book . Conference object . 2015
    Open Access English
    Authors: 
    Roberto Amadini; Maurizio Gabbrielli; Jacopo Mauro;
    Publisher: HAL CCSD
    Countries: France, Italy, France
    Project: EC | HyVar (644298)

    International audience; It is well recognized that a single, arbitrarily efficient solver can be significantly outperformed by a portfolio solver exploiting a combination of possibly slower on-average different solvers. Despite the success of portfolio solvers within th...

  • Publication . Conference object . Part of book or chapter of book . 2017
    Open Access English
    Authors: 
    Lorenzo Bottaccioli; Enrico Macii; Edoardo Patti; Abouzar Estebsari; Enrico Pons; Andrea Acquaviva;
    Publisher: HAL CCSD
    Countries: Italy, France
    Project: EC | FLEXMETER (646568)

    Part 9: Distributed Infrastructure; International audience; Planning and developing the future Smart City is becoming mandatory due to the need of moving forward to a more sustainable society. To foster this transition an accurate simulation of energy production from re...

  • Publication . Part of book or chapter of book . Conference object . 2017
    Open Access English
    Authors: 
    Ludovic Henrio; Cosimo Laneve; Vincenzo Mastandrea;
    Publisher: HAL CCSD
    Countries: Italy, France
    Project: EC | ENVISAGE (610582), ANR | UCN@SOPHIA (ANR-11-LABX-0031)

    International audience; This paper presents a static analysis technique based on effects and behavioural types for deriving synchronisation patterns of stateful active objects and verifying the absence of deadlocks in this context. This is challenging because active obj...

  • Publication . Report . Part of book or chapter of book . Conference object . 2011
    Open Access English
    Authors: 
    Marco Patrignani; Dave Clarke; Davide Sangiorgi;
    Publisher: HAL CCSD
    Countries: France, Italy, Belgium
    Project: EC | HATS (231620)

    This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership types have the effect of statically preventing certain communication, and can block the accidental or malicious leakage of secrets. Intuitively, ...

  • Publication . Part of book or chapter of book . 2019
    Open Access English
    Authors: 
    Guido Panvini;
    Publisher: palgrave macmillan
    Country: Italy
    Project: EC | WORK-CHRIST (751592)

    This chapter starts by briefly reviewing the long legacy of Third Worldism in Italy going back to the interwar period. After World War II the main thrust of anti-colonialism came from the Third World, where the anti-imperialist message gained popularity before gradually...

  • Publication . Part of book or chapter of book . 2019
    Open Access English
    Authors: 
    Claudia de Luca; Eleni Goni; Sara Van Rompaey; Frederik Mink; Stavros Stagakis; Nektarios Chrysoulakis; Susanna Lehvävirta;
    Publisher: N/A
    Country: Italy
    Project: EC | ThinkNature (730338)

    This Handbook has been developed in the framework of the ThinkNature project. Its main objective is to gather and promote state-of-the-art knowledge regarding Nature-Based Solutions (NBS), comprising a comprehensive guide to all relevant actors. To this end, each aspect...

  • Publication . Part of book or chapter of book . 2017
    Open Access English
    Authors: 
    Ceccorulli, Michela; Grappi, Giorgio; Lucarelli, Sonia; Fassi, Enrico; Zotti, Antonio; Hunyadi, Márton; Melegh, Attila; Mendly, Dorottya; Vadasi, Vivien; Vancsó Anna; +2 more
    Publisher: ARENA
    Country: Italy
    Project: EC | GLOBUS (693609)

    This chapter presents the synthesis of the preliminary analysis conducted on terms, definitions and concepts used regarding migration in each case study – Italy, France, Germany, United Kingdom, Hungary, Greece and Norway.

  • Publication . Conference object . Part of book or chapter of book . Preprint . 2020
    Open Access English
    Authors: 
    Michele Lombardi; Federico Baldo; Andrea Borghesi; Michela Milano;
    Publisher: Springer
    Country: Italy
    Project: EC | TAILOR (952215), EC | AI4EU (825619)

    Regularization-based approaches for injecting constraints in Machine Learning (ML) were introduced to improve a predictive model via expert knowledge. Given the recent interest in ethical and trustworthy AI, however, several works are resorting to these approaches for t...

  • Publication . Part of book or chapter of book . 2019
    Open Access English
    Authors: 
    Matteo Martelli;
    Publisher: Brill
    Country: Italy
    Project: EC | AlchemEast (724914)

    Study on the reception of Galen and Galenic medicine in the Byzantine, Syriac and Arabic alchemical traditions.

  • Publication . Conference object . Part of book or chapter of book . 2013
    Open Access English
    Authors: 
    Ornela Dardha; Elena Giachino; Michaël Lienhardt;
    Publisher: HAL CCSD
    Countries: United Kingdom, France, France, Italy
    Project: EC | HATS (231620)

    In modern distributed systems, dynamic reconfiguration, i.e.,\ud changing at runtime the communication pattern of a program, is chal-\ud lenging. Generally, it is difficult to guarantee that such modifications will\ud not disrupt ongoing computations. In a previous pape...