Sfoglia per Titolo
Planar Silicon-Polydimethylsiloxane optofluidic ring resonator sensors
2016-01-01 Testa, Genni; Collini, Cristian; Lorenzelli, Leandro; Bernini, Romeo
Planar WGM Resonators: Vertical Evanescent Coupling for Complete On-chip Integration
2013-01-01 Ghulinyan, Mher
Planckian Illuminants and Von Kries Model
2010-01-01 Lecca, Michela; Messelodi, Stefano
Planning and Monitoring Web Service Composition
2004-01-01 Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; D., Sharparau; Traverso, Paolo
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices
2001-01-01 Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo
Planning as executable actions: a first step towards a theory of reactive planning
1995-01-01 Traverso, Paolo
Planning as Model Checking
2000-01-01 Giunchiglia, Fausto; Traverso, Paolo
Planning as Model Checking for Extended Goals in Non-deterministic Domains
2001-01-01 Pistore, Marco; Traverso, Paolo
Planning Brain Tumor Resection Using a Probabilistic Atlas of Cortical and Subcortical Structures Critical for Functional Processing: A Proof of Concept
2021-01-01 Sarubbo, Silvio; Annicchiarico, Luciano; Corsini, Francesco; Zigiotto, Luca; Herbet, Guillaume; Moritz-Gasser, Sylvie; Dalpiaz, Chiara; Vitali, Luca; Tate, Matthew; De Benedictis, Alessandro; Amorosino, Gabriele; Olivetti, Emanuele; Rozzanigo, Umberto; Petralia, Benedetto; Duffau, Hugues; Avesani, Paolo
Planning for Learning Object Properties
2023-01-01 Lamanna, Leonardo; Serafini, Luciano; Faridghasemnia, Mohamadreza; Saffiotti, Alessandro; Saetti, Alessandro; Gerevini, Alfonso; Traverso, Paolo
Planning For Web Services the Hard Way
2003-01-01 Carman, Mark James; Serafini, Luciano
Planning in a Complex Real Domain
1993-01-01 Ricci, Francesco; Perini, Anna; Avesani, Paolo
Planning in Non-Deterministic Domains via Symbolic Model Checking
2002-01-01 Roveri, Marco
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
2001-01-01 Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo
A Planning Strategy For Dialogue Management in Healthcare
2019-01-01 Santos Teixeira, Milene; Dragoni, Mauro; Eccher, Claudio
Planning Under Uncertainty and Its Applications
2006-01-01 Traverso, Paolo
Planning via Model Checking: A Decision Procedure for AR
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Planning with a Language for Extended Goals
2002-01-01 Lago U., Dal; Pistore, Marco; Traverso, Paolo
Planning with Extended Goals and Partial Observability
2003-01-01 Bertoli, Piergiorgio; Pistore, Marco
Planning with Extended Goals and Partial Observability
2004-01-01 Bertoli, Piergiorgio; Pistore, Marco
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Planar Silicon-Polydimethylsiloxane optofluidic ring resonator sensors | 1-gen-2016 | Testa, Genni; Collini, Cristian; Lorenzelli, Leandro; Bernini, Romeo | |
Planar WGM Resonators: Vertical Evanescent Coupling for Complete On-chip Integration | 1-gen-2013 | Ghulinyan, Mher | |
Planckian Illuminants and Von Kries Model | 1-gen-2010 | Lecca, Michela; Messelodi, Stefano | |
Planning and Monitoring Web Service Composition | 1-gen-2004 | Pistore, Marco; F., Barbon; Bertoli, Piergiorgio; D., Sharparau; Traverso, Paolo | |
Planning and Verification techniques for the High Level Programming and Monitoring of Autonomous Robotic Devices | 1-gen-2001 | Carlucci Aiello, Luigia; A., Cesta; E., Giunchiglia; Pistore, Marco; Traverso, Paolo | |
Planning as executable actions: a first step towards a theory of reactive planning | 1-gen-1995 | Traverso, Paolo | |
Planning as Model Checking | 1-gen-2000 | Giunchiglia, Fausto; Traverso, Paolo | |
Planning as Model Checking for Extended Goals in Non-deterministic Domains | 1-gen-2001 | Pistore, Marco; Traverso, Paolo | |
Planning Brain Tumor Resection Using a Probabilistic Atlas of Cortical and Subcortical Structures Critical for Functional Processing: A Proof of Concept | 1-gen-2021 | Sarubbo, Silvio; Annicchiarico, Luciano; Corsini, Francesco; Zigiotto, Luca; Herbet, Guillaume; Moritz-Gasser, Sylvie; Dalpiaz, Chiara; Vitali, Luca; Tate, Matthew; De Benedictis, Alessandro; Amorosino, Gabriele; Olivetti, Emanuele; Rozzanigo, Umberto; Petralia, Benedetto; Duffau, Hugues; Avesani, Paolo | |
Planning for Learning Object Properties | 1-gen-2023 | Lamanna, Leonardo; Serafini, Luciano; Faridghasemnia, Mohamadreza; Saffiotti, Alessandro; Saetti, Alessandro; Gerevini, Alfonso; Traverso, Paolo | |
Planning For Web Services the Hard Way | 1-gen-2003 | Carman, Mark James; Serafini, Luciano | |
Planning in a Complex Real Domain | 1-gen-1993 | Ricci, Francesco; Perini, Anna; Avesani, Paolo | |
Planning in Non-Deterministic Domains via Symbolic Model Checking | 1-gen-2002 | Roveri, Marco | |
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking | 1-gen-2001 | Bertoli, Piergiorgio; Cimatti, Alessandro; Roveri, Marco; Traverso, Paolo | |
A Planning Strategy For Dialogue Management in Healthcare | 1-gen-2019 | Santos Teixeira, Milene; Dragoni, Mauro; Eccher, Claudio | |
Planning Under Uncertainty and Its Applications | 1-gen-2006 | Traverso, Paolo | |
Planning via Model Checking: A Decision Procedure for AR | 1-gen-1997 | Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo | |
Planning with a Language for Extended Goals | 1-gen-2002 | Lago U., Dal; Pistore, Marco; Traverso, Paolo | |
Planning with Extended Goals and Partial Observability | 1-gen-2003 | Bertoli, Piergiorgio; Pistore, Marco | |
Planning with Extended Goals and Partial Observability | 1-gen-2004 | Bertoli, Piergiorgio; Pistore, Marco |
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