Sfoglia per Titolo
Towards SMT Model Checking of Array-Based Systems
2008-01-01 S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli
Towards space-deployable laser stabilization systems based on vibration-insensitive cubic cavities with crystalline coatings
2024-01-01 Cole, Garrett D.; Koller, Silvio; Greve, Christian; Barwood, Geoffrey P.; Deutsch, Christoph; Gaynor, Paul; Ghulinyan, Mher; Gill, Patrick; Hendricks, Richard; Hill, Ian; Kundermann, Stefan; Le Goff, Roland; Lecomte, Steve; Meier, Christophe; Pepponi, Giancarlo; Schilt, Stéphane; Stenzel, Christian; Sütterlin, Robert; Voss, Kai; Zhukov, Anton
Towards Speaker and Environmental Robustness in ASR: the HIWIRE project
2006-01-01 A., Potamianos; G., Bouselmi; D., Dimitriadis; D., Fohr; R., Gemello; I., Illina; F., Mana; P., Maragos; Matassoni, Marco; V., Pitsikalis; J., Ramirez; E., Sanchez Soto; J., Segura; Svaizer, Piergiorgio
Towards strong cyclic planning under partial observability
2006-01-01 Piergiorgio, Bertoli; Cimatti, Alessandro; Marco, Pistore
Towards supporting business services discovery through the integration of organizational models with ontologies
2013-01-01 B., Vazquez; A., Martinez; Perini, Anna; H., Estrada; Morandini, Mirko
Towards Supporting the Analysis of Online Discussions in OSS Communities: A Speech-Act Based Approach
2015-01-01 Morales Ramirez, Itzel; Perini, Anna; Ceccato, Mariano
Towards Tactile Sensing System on Chip for Robotic Applications
2011-01-01 Dahiya, Ravinder Singh; D., Cattin; Adami, Andrea; Collini, Cristian; L., Barboni; M., Valle; Lorenzelli, Leandro; R., Oboe; G., Metta; F., Brunetti
Towards the Application of Process Mining for Supporting the Home Hospitalization Service
2021-01-01 Aringhieri, Roberto; Boella, Guido; Brunetti, Enrico; Di Caro, Luigi; Di Francescomarino, Chiara; Dragoni, Mauro; Ferrod, Roger; Ghidini, Chiara; Marinello, Renata; Ronzani, Massimiliano; Sulis, Emilio
Towards the Artsutanov's dream of the space elevator: The ultimate design of a 35GPa strong tether thanks to graphene
2013-01-01 Pugno, Nicola
Towards the Design of Technology for Measuring and Capturing Children’s Attention on E-learning Tasks
2013-01-01 Mana, Nadia; Mich, Ornella
Towards the Extraction of Domain Concepts from the Identifiers
2011-01-01 Abebe, Surafel Lemma; Tonella, Paolo
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming
2019-01-01 Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maria Maggi, Fabrizio; Mello, Paola; Montali, Marco; Skydanienko, Vasyl; Tessaris, Sergio
Towards the verification of image integrity in online news
2015-01-01 Pasquini, C.; Brunetta, C.; Vinci, A. F.; Conotter, V.; Boato, G.
Towards Trusted Data on Decentralized IoT Applications: Integrating Blockchain in Constrained Devices
2020-01-01 Pincheira, Miguel; Vecchio, Massimo
Towards understanding digital sharing practices in outdoor sports
2016-01-01 Fedosov, Anton; Mencarini, Eleonora; Woźniak, Paweł W.; Knaving, Kristina; Langheinrich, Marc
Towards Unsupervised Approaches For Aspects Extraction
2016-01-01 Federici, Marco; Dragoni, Mauro
Towards Unsupervised Recognition of Dialogue Acts
2009-01-01 Novielli, Nicole; Strapparava, Carlo
Towards using Segmentation-based Techniques to Personalize Mobility Behavior Interventions
2014-01-01 P., Forbes; Gabrielli, Silvia; Maimone, Rosa; J., Masthoff; S., Wells; A., Jylhä
Tra bipolarismo e Grosse Koalition
2006-01-01 D'Ottavio, Gabriele
Tra crisi della società e avvento della democrazia: il cesarismo secondo Auguste Romieu e Giuseppe Lazzaro
2005-01-01 Trocini, Federico
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Towards SMT Model Checking of Array-Based Systems | 1-gen-2008 | S., Ghilardi; E., Nicolini; Ranise, Silvio; D., Zucchelli | |
| Towards space-deployable laser stabilization systems based on vibration-insensitive cubic cavities with crystalline coatings | 1-gen-2024 | Cole, Garrett D.; Koller, Silvio; Greve, Christian; Barwood, Geoffrey P.; Deutsch, Christoph; Gaynor, Paul; Ghulinyan, Mher; Gill, Patrick; Hendricks, Richard; Hill, Ian; Kundermann, Stefan; Le Goff, Roland; Lecomte, Steve; Meier, Christophe; Pepponi, Giancarlo; Schilt, Stéphane; Stenzel, Christian; Sütterlin, Robert; Voss, Kai; Zhukov, Anton | |
| Towards Speaker and Environmental Robustness in ASR: the HIWIRE project | 1-gen-2006 | A., Potamianos; G., Bouselmi; D., Dimitriadis; D., Fohr; R., Gemello; I., Illina; F., Mana; P., Maragos; Matassoni, Marco; V., Pitsikalis; J., Ramirez; E., Sanchez Soto; J., Segura; Svaizer, Piergiorgio | |
| Towards strong cyclic planning under partial observability | 1-gen-2006 | Piergiorgio, Bertoli; Cimatti, Alessandro; Marco, Pistore | |
| Towards supporting business services discovery through the integration of organizational models with ontologies | 1-gen-2013 | B., Vazquez; A., Martinez; Perini, Anna; H., Estrada; Morandini, Mirko | |
| Towards Supporting the Analysis of Online Discussions in OSS Communities: A Speech-Act Based Approach | 1-gen-2015 | Morales Ramirez, Itzel; Perini, Anna; Ceccato, Mariano | |
| Towards Tactile Sensing System on Chip for Robotic Applications | 1-gen-2011 | Dahiya, Ravinder Singh; D., Cattin; Adami, Andrea; Collini, Cristian; L., Barboni; M., Valle; Lorenzelli, Leandro; R., Oboe; G., Metta; F., Brunetti | |
| Towards the Application of Process Mining for Supporting the Home Hospitalization Service | 1-gen-2021 | Aringhieri, Roberto; Boella, Guido; Brunetti, Enrico; Di Caro, Luigi; Di Francescomarino, Chiara; Dragoni, Mauro; Ferrod, Roger; Ghidini, Chiara; Marinello, Renata; Ronzani, Massimiliano; Sulis, Emilio | |
| Towards the Artsutanov's dream of the space elevator: The ultimate design of a 35GPa strong tether thanks to graphene | 1-gen-2013 | Pugno, Nicola | |
| Towards the Design of Technology for Measuring and Capturing Children’s Attention on E-learning Tasks | 1-gen-2013 | Mana, Nadia; Mich, Ornella | |
| Towards the Extraction of Domain Concepts from the Identifiers | 1-gen-2011 | Abebe, Surafel Lemma; Tonella, Paolo | |
| Towards the Generation of the "Perfect" Log Using Abductive Logic Programming | 1-gen-2019 | Chesani, Federico; Di Francescomarino, Chiara; Ghidini, Chiara; Loreti, Daniela; Maria Maggi, Fabrizio; Mello, Paola; Montali, Marco; Skydanienko, Vasyl; Tessaris, Sergio | |
| Towards the verification of image integrity in online news | 1-gen-2015 | Pasquini, C.; Brunetta, C.; Vinci, A. F.; Conotter, V.; Boato, G. | |
| Towards Trusted Data on Decentralized IoT Applications: Integrating Blockchain in Constrained Devices | 1-gen-2020 | Pincheira, Miguel; Vecchio, Massimo | |
| Towards understanding digital sharing practices in outdoor sports | 1-gen-2016 | Fedosov, Anton; Mencarini, Eleonora; Woźniak, Paweł W.; Knaving, Kristina; Langheinrich, Marc | |
| Towards Unsupervised Approaches For Aspects Extraction | 1-gen-2016 | Federici, Marco; Dragoni, Mauro | |
| Towards Unsupervised Recognition of Dialogue Acts | 1-gen-2009 | Novielli, Nicole; Strapparava, Carlo | |
| Towards using Segmentation-based Techniques to Personalize Mobility Behavior Interventions | 1-gen-2014 | P., Forbes; Gabrielli, Silvia; Maimone, Rosa; J., Masthoff; S., Wells; A., Jylhä | |
| Tra bipolarismo e Grosse Koalition | 1-gen-2006 | D'Ottavio, Gabriele | |
| Tra crisi della società e avvento della democrazia: il cesarismo secondo Auguste Romieu e Giuseppe Lazzaro | 1-gen-2005 | Trocini, Federico |
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