IRIS Institutional Research Information System

Sfoglia per Titolo

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 11.031 a 11.050 di 19.172
Titolo Data di pubblicazione Autore(i) File
MOBITABLE: a touch-screen to support older adults social inclusion 1-gen-2010 Conci, Mario; Leonardi, Chiara; Pianesi, Fabio; Zancanaro, Massimo
MOBITABLE: Design and evaluation of a familiar interface for e-inclusion 1-gen-2010 Leonardi, Chiara; Pianesi, Fabio; Zancanaro, Massimo
MOCA: A Low-Power, Low-Cost Motion Capture System Based on Integrated Accelerometers 1-gen-2007 Farella, Elisabetta; Benini, L.; Riccò, B.; Acquaviva, A.
Mocking Ads Through Mobile Web Services 1-gen-2014 Gatti, L.; Guerini, M.; Stock, O.; Strapparava, C.
Mode of action of beta-barrel pore-forming toxins of the staphylococcal alpha-hemolysin family. 1-gen-2001 G., Menestrina; Dalla Serra, Mauro; G., Prévost
Model Agglomeration for Context-Dependent Acoustic Modeling 1-gen-2001 Brugnara, Fabio
A model based on intensity of medical care may improve outcomes for internal medicine patients in Italy 1-gen-2019 Torri, Emanuele; Rigoni, Marta; Dorigoni, Stefania; Peterlana, Dimitri; Cozzio, Susanna; Nollo, Giandomenico; Spagnolli, Walter
Model Centered Interoperability for Source Code Analysis 1-gen-2003 Caprile, Bruno Giovanni; Potrich, Alessandra; Ricca, Filippo; Tonella, Paolo
Model Checking and Safety Assessment of Altarica models 1-gen-2011 Bozzano, Marco; Cimatti, Alessandro; O., Lisagor; Mattarei, Cristian; Mover, Sergio; Roveri, Marco; Tonetta, Stefano
Model Checking at Scale: Automated Air Traffic Control Design Space Exploration 1-gen-2016 Gario, Marco Elio Gustavo; Cimatti, Alessandro; Mattarei, Cristian; Tonetta, Stefano; Rozier, Kristin Yvonne
Model checking authorization requirements in business processes 1-gen-2014 Armando, Alessandro; Ponta, S. E.
Model Checking Early Requirements Specifications in Tropos 1-gen-2001 A., Fuxman; Pistore, Marco; Mylopoulos, John; Traverso, Paolo
Model checking for fragments of Halpern and Shoham's interval temporal logic based on track representatives 1-gen-2018 Molinari, Alberto; Montanari, Angelo; Peron, Adriano
Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy 1-gen-2018 Bozzelli, Laura; Molinari, Alberto; Montanari, Angelo; Peron, Adriano; Sala, Pietro
Model Checking for Graded CTL 1-gen-2009 Ferrante, Alessandro; Margherita, Napoli; Mimmo, Parente
Model Checking Interval Temporal Logics with Regular Expressions 1-gen-2020 Bozzelli, L.; Molinari, A.; Montanari, A.; Peron, A.
Model Checking Linear Logic Specifications 1-gen-2004 Bozzano, Marco; G., Delzanno; M., Martelli
Model Checking Linear Programs with Arrays 1-gen-2006 Armando, Alessandro; Benerecetti, M.; Mantovani, J.
Model Checking Multiagent Systems 1-gen-1997 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Model Checking of Hybrid Systems using Shallow Synchronization 1-gen-2010 Lei, Bu; Cimatti, Alessandro; Xuandong, Li; Mover, Sergio; Tonetta, Stefano
Mostrati risultati da 11.031 a 11.050 di 19.172
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