Vescovi, Michele
 Distribuzione geografica
Continente #
NA - Nord America 582
EU - Europa 113
AS - Asia 41
AF - Africa 1
Totale 737
Nazione #
US - Stati Uniti d'America 580
CN - Cina 23
SE - Svezia 23
UA - Ucraina 22
IT - Italia 20
DE - Germania 15
GB - Regno Unito 12
FI - Finlandia 8
SG - Singapore 6
BG - Bulgaria 4
IN - India 4
JP - Giappone 4
AT - Austria 2
FR - Francia 2
JO - Giordania 2
NL - Olanda 2
CA - Canada 1
DK - Danimarca 1
EG - Egitto 1
HN - Honduras 1
IE - Irlanda 1
PT - Portogallo 1
TH - Thailandia 1
TR - Turchia 1
Totale 737
Città #
Chandler 100
Fairfield 65
Jacksonville 51
Ashburn 48
Seattle 29
Wilmington 29
New York 28
Woodbridge 24
Ann Arbor 23
San Mateo 21
Cambridge 20
Princeton 17
Houston 15
Beijing 12
Bremen 10
Los Angeles 9
Trento 9
Falls Church 8
Cagliari 4
Dearborn 4
Düsseldorf 4
Sofia 4
Tokyo 4
Hefei 3
Lawrence 3
San Diego 3
Smålandsstenar 3
Boardman 2
Des Moines 2
Edinburgh 2
Helsinki 2
Maastricht 2
Milan 2
Shanghai 2
Vienna 2
Andover 1
Biarritz 1
Bonndorf 1
Cairo 1
Changsha 1
Costa Mesa 1
Denver 1
Dublin 1
Fuzhou 1
Hendon 1
Islington 1
Izmir 1
Jinan 1
Lisbon 1
London 1
Modica 1
Nanchang 1
Nanjing 1
Nashville 1
Pune 1
San Paolo di Civitate 1
Shenzhen 1
Taastrup 1
Tappahannock 1
Tegucigalpa 1
Toronto 1
Verona 1
Washington 1
Totale 594
Nome #
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 104
Anonymous or not? Understanding the factors affecting personal mobile data disclosure 97
Efficient Audio Segmentation Algorithms based on the BIC. 94
Evaluation of BIC-based algorithms for audio segmentation 89
Automated Reasoning in ALCQ via SMT 75
Investigating factors affecting personal data disclosure 75
Encoding the satisfiability of modal and description logic into SAT: the case study of K(m)/ALC 58
A DP Algorithm for Speaker Change Detection 50
No more ready-made deals: constructive recommendation for telco service bundling 50
My data store: Toward user awareness and control on personal data 48
Exploiting SAT and SMT Techniques for Automated Reasoning and Ontology Manipulation in Description Logics 14
Automated Reasoning on TBoxes with Qualified Number Restrictions via SMT 9
Encoding the satisfiability of modal and description logics into SAT: the case study of K(m)/ALC 4
Axiom Pinpointing in Lightweight Description Logics via Horn-SAT Encoding and Conflict Analysis 2
Totale 769
Categoria #
all - tutte 3.558
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.558


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201953 0 0 0 0 0 0 0 0 0 0 28 25
2019/2020155 8 6 10 16 16 9 20 16 24 10 10 10
2020/202191 4 10 1 6 14 10 9 6 7 5 11 8
2021/2022107 2 14 0 3 7 7 10 24 3 7 11 19
2022/2023199 26 21 5 29 20 32 0 27 20 1 14 4
2023/202489 4 5 4 2 7 34 6 14 1 11 1 0
Totale 769