Sfoglia per Serie  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Mostrati risultati da 8 a 27 di 62
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
Mostrati risultati da 8 a 27 di 62
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