Symbolic Computation of Schedulability Regions using parametric timed automata
2008-01-01 Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi
Disease or illness? Building and embedding medical classifications in software
2008-01-01 Piras, Enrico Maria; Alberto, Zanutto
The synergy of precise and fast abstractions for program verification
2009-01-01 Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich
Interpolant Generation for UTVPI
2009-01-01 Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto
Requirements Validation for Hybrid Systems
2009-01-01 Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano
The (opaque) work of being a patient: aligning citizens to health care system
2008-01-01 Piras, Enrico Maria; Alberto, Zanutto
Costruire una infrastruttura intermittente
2008-01-01 Piras, Enrico Maria
How organizations learn to cross technologies boundaries: prototype tacit knowledge
2008-01-01 Alberto, Zanutto; Piras, Enrico Maria
Heat-Based Recovery Mechanism to Counteract Stiction of RF-MEMS Switches
2009-01-01 Repchankova, Alena; Iannacci, Jacopo
Controversial Users demand Local Trust Metrics: an Experimental Study on Epinions.com Community
2005-01-01 Massa, Paolo; Avesani, Paolo
A Large Scale Taxonomy Mapping Evaluation
2005-01-01 Avesani, Paolo; Giunchiglia, Fausto; M., Yatskevich
A trust-enhanced recommender system application: Moleskiing
2005-01-01 Avesani, Paolo; Massa, Paolo; Tiella, Roberto
Shared Lexicon for Distributed Annotations on the Web
2005-01-01 Avesani, Paolo; M., Cova
Trust-aware Recommender Systems
2007-01-01 Massa, Paolo; Avesani, Paolo
Using Tags and Clustering to Identify Topic-Relevant Blogs
2007-01-01 Hayes, Conor Michael; Avesani, Paolo
An Analysis of the Use of Tagging in a Web Blog Recommender System
2007-01-01 Hayes, Conor Michael; Avesani, Paolo; Veeramachaneni, Sriharsha
Active Offer Shaping
2008-01-01 Andrea, Malossini; Serra, Alessandro; Avesani, Paolo
Adaptive Business Intelligence for an Open Negotiation Environment
2009-01-01 Silvana, Aciar; Avesani, Paolo; Lluis De la, Rosa; Nicolas, Hormazabal; Serra, Alessandro
Comparative Bioaffinity Studies for In-Vitro Cells Assays on MEMS-Based Devices
2009-01-01 Ress, Cristina; Odorizzi, Lara; Collini, Cristian; Lorenzelli, Leandro; Forti, Stefania; Pederzolli, Cecilia; Lunelli, Lorenzo; Vanzetti, Lia Emanuela; Coppedè, Nicola; Toccoli, Tullio
Active Sampling for Data Mining
2004-01-01 Avesani, Paolo; Olivetti, Emanuele
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Symbolic Computation of Schedulability Regions using parametric timed automata | 1-gen-2008 | Cimatti, Alessandro; Luigi, Palopoli; Ramadian, Yusi | |
| Disease or illness? Building and embedding medical classifications in software | 1-gen-2008 | Piras, Enrico Maria; Alberto, Zanutto | |
| The synergy of precise and fast abstractions for program verification | 1-gen-2009 | Natasha, Sharygina; Tonetta, Stefano; Aliaksei, Tsitovich | |
| Interpolant Generation for UTVPI | 1-gen-2009 | Cimatti, Alessandro; Griggio, Alberto; Sebastiani, Roberto | |
| Requirements Validation for Hybrid Systems | 1-gen-2009 | Cimatti, Alessandro; Roveri, Marco; Tonetta, Stefano | |
| The (opaque) work of being a patient: aligning citizens to health care system | 1-gen-2008 | Piras, Enrico Maria; Alberto, Zanutto | |
| Costruire una infrastruttura intermittente | 1-gen-2008 | Piras, Enrico Maria | |
| How organizations learn to cross technologies boundaries: prototype tacit knowledge | 1-gen-2008 | Alberto, Zanutto; Piras, Enrico Maria | |
| Heat-Based Recovery Mechanism to Counteract Stiction of RF-MEMS Switches | 1-gen-2009 | Repchankova, Alena; Iannacci, Jacopo | |
| Controversial Users demand Local Trust Metrics: an Experimental Study on Epinions.com Community | 1-gen-2005 | Massa, Paolo; Avesani, Paolo | |
| A Large Scale Taxonomy Mapping Evaluation | 1-gen-2005 | Avesani, Paolo; Giunchiglia, Fausto; M., Yatskevich | |
| A trust-enhanced recommender system application: Moleskiing | 1-gen-2005 | Avesani, Paolo; Massa, Paolo; Tiella, Roberto | |
| Shared Lexicon for Distributed Annotations on the Web | 1-gen-2005 | Avesani, Paolo; M., Cova | |
| Trust-aware Recommender Systems | 1-gen-2007 | Massa, Paolo; Avesani, Paolo | |
| Using Tags and Clustering to Identify Topic-Relevant Blogs | 1-gen-2007 | Hayes, Conor Michael; Avesani, Paolo | |
| An Analysis of the Use of Tagging in a Web Blog Recommender System | 1-gen-2007 | Hayes, Conor Michael; Avesani, Paolo; Veeramachaneni, Sriharsha | |
| Active Offer Shaping | 1-gen-2008 | Andrea, Malossini; Serra, Alessandro; Avesani, Paolo | |
| Adaptive Business Intelligence for an Open Negotiation Environment | 1-gen-2009 | Silvana, Aciar; Avesani, Paolo; Lluis De la, Rosa; Nicolas, Hormazabal; Serra, Alessandro | |
| Comparative Bioaffinity Studies for In-Vitro Cells Assays on MEMS-Based Devices | 1-gen-2009 | Ress, Cristina; Odorizzi, Lara; Collini, Cristian; Lorenzelli, Leandro; Forti, Stefania; Pederzolli, Cecilia; Lunelli, Lorenzo; Vanzetti, Lia Emanuela; Coppedè, Nicola; Toccoli, Tullio | |
| Active Sampling for Data Mining | 1-gen-2004 | Avesani, Paolo; Olivetti, Emanuele |
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
Scopri
Tipologia
- 4 Contributo in Atti di Convegno ...7938
Data di pubblicazione
- In corso di stampa2
- 2020 - 20261562
- 2010 - 20193439
- 2000 - 20092320
- 1990 - 1999567
- 1980 - 198948
Editore
- IEEE620
- Springer357
- ACM148
- Association for Computational Lin...91
- CEUR-WS.org72
- IEEE Computer Society61
- SPIE60
- ACL38
- AAAI Press37
- ieee31
Rivista
- INTERNATIONAL ARCHIVES OF THE PHO...98
- LECTURE NOTES IN COMPUTER SCIENCE41
- POS PROCEEDINGS OF SCIENCE22
- JOURNAL OF PHYSICS. CONFERENCE SE...21
- PROCEEDINGS OF SPIE, THE INTERNAT...17
- PROCEEDINGS14
- CEUR WORKSHOP PROCEEDINGS13
- THE INTERNATIONAL ARCHIVES OF THE...12
- EPJ WEB OF CONFERENCES10
- LECTURE NOTES IN ARTIFICIAL INTEL...9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE229
- LECTURE NOTES IN ARTIFICIAL INTEL...48
- CEUR WORKSHOP PROCEEDINGS38
- PROCEEDINGS OF SPIE, THE INTERNAT...25
- LECTURE NOTES IN COMPUTER SCIENCE23
- LECTURE NOTES IN ELECTRICAL ENGIN...20
- LECTURE NOTES IN ELECTRICAL ENGIN...17
- LECTURE NOTES IN BUSINESS INFORMA...16
- IEEE ENGINEERING IN MEDICINE AND ...11
- ISPRS ANNALS OF THE PHOTOGRAMMETR...10
Keyword
- NLP41
- automatic speech recognition38
- Content Processing33
- MEMS31
- RF-MEMS31
- silicon radiation detectors28
- SiPM26
- RF MEMS25
- machine translation23
- Machine Translation22
Lingua
- eng6441
- ita159
- ger15
- spa6
- fre5
- enm4
- cze1
- lat1
- rum1
Accesso al fulltext
- no fulltext6824
- open482
- restricted464
- reserved165
- partially open2
- mixed1