Sfoglia per Serie
A Causal Semantics for Timed Concurrent Constraint Programming
2000-01-01 MAGGIOLO SCHETTINI, A.; Tini, Simone
Complexity perception of texture images
2015-01-01 Ciocca, Gianluigi; Corchs, SILVIA ELENA; Gasparini, Francesca
A complexity-based image analysis to investigate interference between distortions and image contents in image quality assessment
2017-01-01 Ciocca, G.; Corchs, S.; Gasparini, F.
Compositional Metric Reasoning with Probabilistic Process Calculi
2015-01-01 Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone
A Compositional Semantics of Reaction Systems with Restriction
2013-01-01 Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone
Computing the counting function of context-free languages
1987-01-01 Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta
Concept Combination in Weighted DL
2023-01-01 Righetti, G.; Galliani, P.; Masolo, C.
Concurrency in Timed Automata
2001-01-01 Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone
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
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Causal Semantics for Timed Concurrent Constraint Programming | 1-gen-2000 | MAGGIOLO SCHETTINI, A.; Tini, Simone | |
Complexity perception of texture images | 1-gen-2015 | Ciocca, Gianluigi; Corchs, SILVIA ELENA; Gasparini, Francesca | |
A complexity-based image analysis to investigate interference between distortions and image contents in image quality assessment | 1-gen-2017 | Ciocca, G.; Corchs, S.; Gasparini, F. | |
Compositional Metric Reasoning with Probabilistic Process Calculi | 1-gen-2015 | Gebler, Daniel; Larsen, Kim Guldstrand; Tini, Simone | |
A Compositional Semantics of Reaction Systems with Restriction | 1-gen-2013 | Pardini, G.; Barbuti, R.; Maggiolo Schettini, A.; Milazzo, P.; Tini, Simone | |
Computing the counting function of context-free languages | 1-gen-1987 | Bertoni, A.; Goldwurm, M.; Sabadini, Nicoletta | |
Concept Combination in Weighted DL | 1-gen-2023 | Righetti, G.; Galliani, P.; Masolo, C. | |
Concurrency in Timed Automata | 1-gen-2001 | Lanotte, Ruggero; MAGGIOLO SCHETTINI, A.; Tini, Simone | |
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 |
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