LORETI, DANIELA

LORETI, DANIELA  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Ricercatori a tempo determinato  

Mostra records
Risultati 1 - 20 di 35 (tempo di esecuzione: 0.051 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Parallel approaches for a decision tree-based explainability algorithm Loreti, Daniela; Visani, Giorgio 2024-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista -
Probabilistic Compliance in Declarative Process Mining Vespa Michela; Bellodi Elena; Chesani Federico; Loreti Daniela; Mello Paola; Lamma Evelina; Ciamp...olini Anna 2024-01-01 - - 4.01 Contributo in Atti di convegno -
Rollback-Free Recovery for a High Performance Dense Linear Solver With Reduced Memory Footprint Loreti, Daniela; Artioli, Marcello; Ciampolini, Anna 2024-01-01 IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS - 1.01 Articolo in rivista -
A Prolog application for reasoning on maths puzzles with diagrams Buscaroli, Riccardo; Chesani, Federico; Giuliani, Giulia; Loreti, Daniela; Mello, Paola 2023-01-01 JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE - 1.01 Articolo in rivista 0952813X.2022.2062456.pdf
Binary Discovery of Declarative Business Processes with ASP Preferences Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi..., Paola Mello, Marco Montali, Sergio Tessaris 2023-01-01 - - 4.03 Poster -
Process Discovery on Deviant Traces and Other Stranger Things Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maggi, Fabrizio ...Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio 2023-01-01 IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING - 1.01 Articolo in rivista deviant-tkde-all-black.pdf
The 1st International Workshop on the Environmental Sustainability of High-Performance Software (SHiPS) Loreti D.; Borghesi A. 2023-01-01 - - 8.02 Ruolo editoriale in collana -
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints Federico Chesani; Chiara Di Francescomarino; Chiara Ghidini; Daniela Loreti ;Fabrizio Maria Maggi... ;Paola Mello ; Marco Montali;Elena Palmieri; Sergio Tessaris 2022-01-01 - - 4.01 Contributo in Atti di convegno paper_21.pdf
Optimising Business Process Discovery Using Answer Set Programming Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela...; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio 2022-01-01 - - 4.01 Contributo in Atti di convegno -
Shape Your Process: Discovering Declarative Business Processes from Positive and Negative Traces Taking into Account User Preferences Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Grundler, Giulia; Loreti, Daniela...; Maggi, Fabrizio Maria; Mello, Paola; Montali, Marco; Tessaris, Sergio 2022-01-01 - - 4.01 Contributo in Atti di convegno -
SOLUTORE IN LOCO RESILIENTE AI GUASTI PER SISTEMI LINEARI Marcello Artioli; Daniela Loreti 2022-01-01 - - 6.01 Brevetto -
Precise Worst-case Blocking Time of Tasks under Priority Inheritance Protocol Faldella, Eugenio; Loreti, Daniela 2021-01-01 IEEE TRANSACTIONS ON COMPUTERS - 1.01 Articolo in rivista TC.pdf
Artificial intelligence and cognitive psychology: How to solve mathematical problems Gambetti E.; Buscaroli R.; Chesani F.; Giusberti F.; Loreti D.; Mello P. 2020-01-01 SISTEMI INTELLIGENTI - 1.01 Articolo in rivista AISC2018_Sistemi intelligenti.pdf
Generating synthetic positive and negative business process traces through abduction Loreti D.; Chesani F.; Ciampolini A.; Mello P. 2020-01-01 KNOWLEDGE AND INFORMATION SYSTEMS - 1.01 Articolo in rivista MAIN_sciffgen_KAIS.pdf
Parallelizing Machine Learning as a service for the end-user Loreti, Daniela; Lippi, Marco; Torroni, Paolo 2020-01-01 FUTURE GENERATION COMPUTER SYSTEMS - 1.01 Articolo in rivista FGCS2019.pdf
Solving Linear Systems on High Performance Hardware with Resilience to Multiple Hard Faults Loreti D.; Artioli M.; Ciampolini A. 2020-01-01 - IEEE Computer Society 4.01 Contributo in Atti di convegno PID6603989.pdf
Complex reactive event processing for assisted living: The Habitat project case study Loreti, Daniela; Chesani, Federico; Mello, Paola; Roffia, Luca; Antoniazzi, Francesco; Cinotti, T...ullio Salmon; Paolini, Giacomo; Masotti, Diego; Costanzo, Alessandra 2019-01-01 EXPERT SYSTEMS WITH APPLICATIONS - 1.01 Articolo in rivista ESwA2018.pdf
Fault Tolerant High Performance Solver for Linear Equation Systems Artioli, Marcello; Loreti, Daniela; Ciampolini, Anna 2019-01-01 - - 4.01 Contributo in Atti di convegno -
HABITAT: An IoT Solution for Independent Elderly Elena Borelli, Giacomo Paolini, Francesco Antoniazzi, Marina Barbiroli, Francesca Benassi, Federi...co Chesani, Lorenzo Chiari, Massimiliano Fantini, Franco Fuschini, Andrea Galassi, Gian Andrea Giacobone, Silvia Imbesi, Melissa Licciardello, Daniela Loreti, Michele Marchi, Diego Masotti, Paola Mello, Sabato Mellone, Giuseppe Mincolelli, Carla Raffaelli, Luca Roffia, Tullio Salmon Cinotti, Carlo Tacconi, Paola Tamburini, Marco Zoli, Alessandra Costanzo 2019-01-01 SENSORS - 1.01 Articolo in rivista PUBLISHED.pdf
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi...,Paola Mello, Marco Montali, Vasyl Skydanienko, Sergio Tessaris 2019-01-01 - - 4.01 Contributo in Atti di convegno -