Sfoglia per Serie
Content-based Filtering in On-line Social Networks
2010-01-01 Marco, Vanetti; Binaghi, Elisabetta; Carminati, Barbara; Moreno, Carullo; Ferrari, Elena
Discovering non-constant Conditional Functional Dependencies with Built-in Predicates
2014-01-01 Trombetta, Alberto; Zanzi, Antonella
Equivalences for Statecharts
1996-01-01 MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone
Evolutionary inference of attribute-based access control policies
2015-01-01 Medvet, Eric; Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena
An experience in the evaluation of fault prediction
2024-01-01 Lavazza, Luigi; Morasca, Sandro; Rotoloni, Gabriele
Exploiting MAS-based simulation to improve the Indian railways' efficiency
2013-01-01 Supriyo, G; Animesh, D; Mascardi, V; Briola, D
A FUZZY KNOWLEDGE-BASED SYSTEM FOR BIOMEDICAL IMAGE INTERPRETATION
1991-01-01 Binaghi, Elisabetta; Della, Ventura Anna; Rampini, Anna; Schettini, Raimondo
Graph Laplacian and Neural Networks for Inverse Problems in Imaging: GraphLaNet
2023-01-01 Bianchi, D.; Donatelli, M.; Evangelista, D.; Li, W.; Piccolomini, E. L.
Hole-free Partially Directed Animals
2019-01-01 Massazza, Paolo
LOVER: Light-weight Formal Verification of adaptivE systems at Run time
2013-01-01 Sharifloo, A. M.; Spoletini, Paola
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings
2010-01-01 Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
A modest security analysis of cyber-physical systems: A case study
2018-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
A Multi-dimensional and Event-based Model for Trust Computation in the Social Web
2012-01-01 Carminati, Barbara; Ferrari, Elena; Viviani, Marco
A multidistortion database for image quality
2017-01-01 Corchs, SILVIA ELENA; Gasparini, Francesca
Non Expansive epsilon-Bisimulations.
2008-01-01 Tini, Simone
Notes from the logbook of a proof checker's project
2004-01-01 Cantone, D.; Omodeo, E.; Schwartz, J. T.; Ursino, Pietro
On the conjecture LDFCM ⊊ RCM
2017-01-01 Massazza, Paolo
On the expressiveness of attribute global types: the formalization of a real multiagent system protocol
2013-01-01 Mascardi, V; Briola, D; Ancona, D
On the generation of 2-polyominoes
2018-01-01 Formenti, E.; Massazza, P.
Ontology-driven processing and management of digital rock art objects in IndianaMAS
2014-01-01 Briola, D; Deufemia, V; Mascardi, V; Paolino, L; Bianchi, N
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Content-based Filtering in On-line Social Networks | 1-gen-2010 | Marco, Vanetti; Binaghi, Elisabetta; Carminati, Barbara; Moreno, Carullo; Ferrari, Elena | |
Discovering non-constant Conditional Functional Dependencies with Built-in Predicates | 1-gen-2014 | Trombetta, Alberto; Zanzi, Antonella | |
Equivalences for Statecharts | 1-gen-1996 | MAGGIOLO SCHETTINI, A.; Peron, A.; Tini, Simone | |
Evolutionary inference of attribute-based access control policies | 1-gen-2015 | Medvet, Eric; Bartoli, Alberto; Carminati, Barbara; Ferrari, Elena | |
An experience in the evaluation of fault prediction | 1-gen-2024 | Lavazza, Luigi; Morasca, Sandro; Rotoloni, Gabriele | |
Exploiting MAS-based simulation to improve the Indian railways' efficiency | 1-gen-2013 | Supriyo, G; Animesh, D; Mascardi, V; Briola, D | |
A FUZZY KNOWLEDGE-BASED SYSTEM FOR BIOMEDICAL IMAGE INTERPRETATION | 1-gen-1991 | Binaghi, Elisabetta; Della, Ventura Anna; Rampini, Anna; Schettini, Raimondo | |
Graph Laplacian and Neural Networks for Inverse Problems in Imaging: GraphLaNet | 1-gen-2023 | Bianchi, D.; Donatelli, M.; Evangelista, D.; Li, W.; Piccolomini, E. L. | |
Hole-free Partially Directed Animals | 1-gen-2019 | Massazza, Paolo | |
LOVER: Light-weight Formal Verification of adaptivE systems at Run time | 1-gen-2013 | Sharifloo, A. M.; Spoletini, Paola | |
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings | 1-gen-2010 | Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
A modest security analysis of cyber-physical systems: A case study | 1-gen-2018 | Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei | |
A Multi-dimensional and Event-based Model for Trust Computation in the Social Web | 1-gen-2012 | Carminati, Barbara; Ferrari, Elena; Viviani, Marco | |
A multidistortion database for image quality | 1-gen-2017 | Corchs, SILVIA ELENA; Gasparini, Francesca | |
Non Expansive epsilon-Bisimulations. | 1-gen-2008 | Tini, Simone | |
Notes from the logbook of a proof checker's project | 1-gen-2004 | Cantone, D.; Omodeo, E.; Schwartz, J. T.; Ursino, Pietro | |
On the conjecture LDFCM ⊊ RCM | 1-gen-2017 | Massazza, Paolo | |
On the expressiveness of attribute global types: the formalization of a real multiagent system protocol | 1-gen-2013 | Mascardi, V; Briola, D; Ancona, D | |
On the generation of 2-polyominoes | 1-gen-2018 | Formenti, E.; Massazza, P. | |
Ontology-driven processing and management of digital rock art objects in IndianaMAS | 1-gen-2014 | Briola, D; Deufemia, V; Mascardi, V; Paolino, L; Bianchi, N |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile