RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

CHIARI, MICHELE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.553
EU - Europa 1.165
AS - Asia 1.040
SA - Sud America 190
AF - Africa 75
OC - Oceania 3
Continente sconosciuto - Info sul continente non disponibili 2
Totale 4.028
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.521
RU - Federazione Russa 434
SG - Singapore 349
IT - Italia 320
CN - Cina 253
VN - Vietnam 166
BR - Brasile 154
DE - Germania 80
FR - Francia 73
KR - Corea 68
GB - Regno Unito 52
JP - Giappone 51
HK - Hong Kong 41
FI - Finlandia 39
NL - Olanda 39
MA - Marocco 38
ES - Italia 26
IN - India 25
CA - Canada 22
CI - Costa d'Avorio 21
IE - Irlanda 21
ID - Indonesia 20
AT - Austria 16
CH - Svizzera 14
AR - Argentina 13
SE - Svezia 12
BD - Bangladesh 10
PL - Polonia 8
IQ - Iraq 7
PK - Pakistan 7
TR - Turchia 6
TW - Taiwan 6
VE - Venezuela 6
CL - Cile 5
HU - Ungheria 5
SA - Arabia Saudita 5
UA - Ucraina 5
AE - Emirati Arabi Uniti 4
CO - Colombia 4
EC - Ecuador 4
JO - Giordania 4
ZA - Sudafrica 4
AU - Australia 3
EG - Egitto 3
NP - Nepal 3
PH - Filippine 3
PT - Portogallo 3
BJ - Benin 2
CZ - Repubblica Ceca 2
HR - Croazia 2
IL - Israele 2
KZ - Kazakistan 2
LT - Lituania 2
MD - Moldavia 2
NO - Norvegia 2
PY - Paraguay 2
RO - Romania 2
SN - Senegal 2
TN - Tunisia 2
AM - Armenia 1
BA - Bosnia-Erzegovina 1
BB - Barbados 1
BE - Belgio 1
BG - Bulgaria 1
BO - Bolivia 1
BS - Bahamas 1
BY - Bielorussia 1
CR - Costa Rica 1
CW - ???statistics.table.value.countryCode.CW??? 1
CY - Cipro 1
DK - Danimarca 1
DZ - Algeria 1
ET - Etiopia 1
GE - Georgia 1
GT - Guatemala 1
HN - Honduras 1
JM - Giamaica 1
KE - Kenya 1
KH - Cambogia 1
LC - Santa Lucia 1
LK - Sri Lanka 1
LV - Lettonia 1
MX - Messico 1
MY - Malesia 1
NI - Nicaragua 1
PA - Panama 1
PE - Perù 1
SY - Repubblica araba siriana 1
UZ - Uzbekistan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 4.028
Salva come PNG Salva come JPEG
Città #
Ashburn 312
Singapore 211
San Jose 189
Santa Clara 116
Milan 104
Chandler 81
Moscow 73
Seoul 67
Fairfield 56
Tokyo 51
Council Bluffs 49
Ho Chi Minh City 48
The Dalles 45
Beijing 43
Hefei 38
Hong Kong 33
Houston 31
Lauterbourg 31
Los Angeles 31
Dallas 30
New York 30
Woodbridge 30
Boardman 29
Wilmington 29
Hanoi 28
Kenitra 28
London 28
Seattle 23
Cambridge 22
Abidjan 21
Frankfurt am Main 21
Helsinki 20
Amsterdam 18
Málaga 18
Dublin 17
Da Nang 16
Jakarta 16
Washington 16
Lawrence 15
Rome 13
Dong Ket 12
São Paulo 12
Columbus 11
Medford 11
North Charleston 11
Nuremberg 11
Bergamo 10
Buffalo 10
Vienna 10
Lappeenranta 9
Munich 9
Orem 9
Shanghai 9
Turku 9
Chicago 8
Biassono 7
Casablanca 7
Chennai 7
Haiphong 7
San Diego 7
Ann Arbor 6
Atlanta 6
Kent 6
Las Vegas 6
Redwood City 6
Baghdad 5
Budapest 5
Cassina Valsassina 5
Changsha 5
Ottawa 5
Phoenix 5
Warsaw 5
Amman 4
Biên Hòa 4
Cologno Monzese 4
Fremont 4
Guangzhou 4
Madrid 4
Montreal 4
Monza 4
Paris 4
Princeton 4
Redmond 4
San Francisco 4
Toronto 4
Belo Horizonte 3
Bengaluru 3
Bexley 3
Brasília 3
Buenos Aires 3
Canoas 3
Cernobbio 3
Delhi 3
Denver 3
Düsseldorf 3
Frisco 3
Gumpoldskirchen 3
Islamabad 3
Luvinate 3
Melzo 3
Totale 2.425
Salva come PNG Salva come JPEG
Nome #
Automated Precision Tuning in Activity Classification Systems: A Case Study 225
Operator precedence temporal logic and model checking 221
TAFFO: Tuning Assistant for Floating to Fixed point Optimization 210
DOML: A new modeling approach to Infrastructure-as-Code 191
Architecture-aware Precision Tuning with Multiple Number Representation Systems 191
A Model Checker for Operator Precedence Languages 189
TAFFO: The compiler-based precision tuner 189
POSTER: Fixed Point Exploitation via Compiler Analyses and Transformations 187
FixM: Code generation of fixed point mathematical functions 183
Linear temporal logics for structured context-free languages 183
A FIRST-ORDER COMPLETE TEMPORAL LOGIC FOR STRUCTURED CONTEXT-FREE LANGUAGES 173
Feedback-driven performance and precision tuning for automatic fixed point exploitation 168
A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions 160
The Impact of Precision Tuning on Embedded Systems Performance: A Case Study on Field-Oriented Control 158
DOML: A New Modelling Approach to Infrastructure-as-Code 154
Model-Checking Structured Context-Free Languages 154
Dynamic Precision Autotuning with TAFFO 148
Developing a New DevOps Modelling Language to Support the Creation of Infrastructure as Code 144
Temporal Logic and Model Checking for Operator Precedence Languages 144
Static Analysis of Infrastructure as Code: A Survey 132
Cyclic Operator Precedence Grammars for Improved Parallel Parsing 130
Verification of Programs with Exceptions Through Operator Precedence Automata 122
SMT-Based Symbolic Model-Checking for Operator Precedence Languages 109
Word- and Tree-based Temporal Logics for Operator Precedence Languages 95
A Tree-Shaped Tableau for Checking the Satisfiability of Signal Temporal Logic with Bounded Temporal Operators 39
Boosting Parallel Parsing through Cyclic Operator Precedence Grammars 38
Cyclic operator precedence grammars for parallel parsing 36
Totale 4.073
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.709
article - articoli 5.123
book - libri 0
conference - conferenze 7.183
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 403
Totale 25.418
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202120 0 0 0 0 0 0 0 0 0 0 0 20
2021/2022161 5 13 8 16 17 9 3 22 12 11 29 16
2022/2023233 27 15 15 18 25 21 6 19 39 20 23 5
2023/2024250 16 26 29 23 27 10 20 21 0 49 3 26
2024/2025760 8 17 21 18 113 104 45 88 90 56 100 100
2025/20262.353 419 310 130 174 173 117 450 116 168 208 50 38
Totale 4.073