Sfoglia per Serie
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
Partially directed animals with a bounded number of holes
2021-01-01 Massazza, Paolo; Dorigatti, Valentina
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