IRIS
Trentin, Patrick
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 746
AS - Asia 355
EU - Europa 254
SA - Sud America 47
AF - Africa 11
Continente sconosciuto - Info sul continente non disponibili 1
OC - Oceania 1
Totale 1.415
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 732
SG - Singapore 142
CN - Cina 89
IT - Italia 58
SE - Svezia 46
BR - Brasile 36
VN - Vietnam 36
BG - Bulgaria 30
RU - Federazione Russa 25
DE - Germania 17
HK - Hong Kong 17
FI - Finlandia 15
FR - Francia 14
KR - Corea 13
LV - Lettonia 11
GB - Regno Unito 10
UA - Ucraina 10
IN - India 8
TR - Turchia 8
ID - Indonesia 7
PK - Pakistan 7
MX - Messico 6
AR - Argentina 5
IQ - Iraq 5
BD - Bangladesh 4
CA - Canada 4
AZ - Azerbaigian 3
ES - Italia 3
KE - Kenya 3
MY - Malesia 3
NL - Olanda 3
RO - Romania 3
TN - Tunisia 3
BB - Barbados 2
CH - Svizzera 2
EC - Ecuador 2
JP - Giappone 2
KZ - Kazakistan 2
PH - Filippine 2
PL - Polonia 2
PT - Portogallo 2
ZA - Sudafrica 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
JO - Giordania 1
LT - Lituania 1
LU - Lussemburgo 1
MA - Marocco 1
MU - Mauritius 1
NP - Nepal 1
PY - Paraguay 1
SA - Arabia Saudita 1
SY - Repubblica araba siriana 1
TH - Thailandia 1
VE - Venezuela 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 1.415
Salva come PNG Salva come JPEG
Città #
Singapore 87
Fairfield 68
Chandler 61
San Jose 59
Ashburn 54
Seattle 45
Cambridge 30
Sofia 30
Santa Clara 26
Woodbridge 26
Dallas 25
Wilmington 24
Ann Arbor 22
New York 22
Columbus 21
Houston 20
Princeton 20
San Mateo 20
Beijing 16
Trento 16
Los Angeles 13
Moscow 13
Seoul 13
Jacksonville 12
The Dalles 12
Helsinki 11
Riga 11
Ho Chi Minh City 10
Hong Kong 10
Lauterbourg 10
Hanoi 9
Chicago 8
Como 7
Izmir 6
São Paulo 6
Council Bluffs 5
Jakarta 5
Rome 5
Boardman 4
Cagliari 4
Comabbio 4
Frankfurt am Main 4
Islamabad 4
Putian 4
San Diego 4
San Paolo di Civitate 4
Boston 3
Buffalo 3
Caxias do Sul 3
Dearborn 3
Falkenstein 3
Orem 3
Phoenix 3
Rio de Janeiro 3
Timisoara 3
Toronto 3
Atlanta 2
Baghdad 2
Baku 2
Bridgetown 2
Cape Town 2
Denver 2
Falls Church 2
Geneva 2
Guangzhou 2
Guayaquil 2
Hefei 2
Karlsruhe 2
Kuala Lumpur 2
Kwai Chung 2
London 2
Ludhiana 2
Mexico City 2
Milan 2
Nairobi 2
Najaf 2
New Bedfont 2
Newark 2
Pordenone 2
Riva del Garda 2
Salt Lake City 2
Shanghai 2
Shenzhen 2
Sousse 2
Trieste 2
Warsaw 2
Washington 2
Addis Ababa 1
Almaty 1
Alpestre 1
Altamura 1
Altoona 1
Andover 1
Ankara 1
Bangkok 1
Belo Horizonte 1
Biên Hòa 1
Brasília 1
Brooklyn 1
Buford 1
Totale 995
Salva come PNG Salva come JPEG
Nome #
OptiMathSAT: A Tool for Optimization Modulo Theories 218
OptiMathSAT: A Tool for Optimization Modulo Theories 190
Optimization Modulo Non-linear Arithmetic via Incremental Linearization 170
Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions 152
On Optimization Modulo Theories, MaxSMT and Sorting Networks 149
On the Benefits of Enhancing Optimization Modulo Theories with Sorting Networks for MaxSMT 126
Optimization Modulo the Theory of Floating-Point Numbers 125
From MiniZinc to Optimization Modulo Theories, and Back 93
Optimization Modulo Theories with OptiMathSAT 85
OpenMath and SMT-LIB 73
Optimization Modulo the Theories of Signed Bit-Vectors and Floating-Point Numbers 71
Totale 1.452
Salva come PNG Salva come JPEG
Categoria #
all - tutte 6.504
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 6.504
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202138 0 0 0 0 0 0 0 0 0 16 9 13
2021/2022165 6 11 1 25 1 5 7 51 5 8 19 26
2022/2023119 17 14 7 18 8 19 0 11 20 0 3 2
2023/202464 6 4 6 2 3 20 1 7 0 4 0 11
2024/2025250 3 6 18 53 7 35 14 16 12 34 26 26
2025/2026514 34 4 66 63 54 32 95 21 43 102 0 0
Totale 1.452