CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.803
NA - Nord America 2.430
AS - Asia 1.797
SA - Sud America 278
AF - Africa 47
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.371
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.373
RU - Federazione Russa 882
GB - Regno Unito 742
SG - Singapore 649
CN - Cina 587
IT - Italia 452
BR - Brasile 225
VN - Vietnam 176
DE - Germania 147
FR - Francia 130
SE - Svezia 130
HK - Hong Kong 128
FI - Finlandia 99
IE - Irlanda 97
KR - Corea 67
IN - India 36
TR - Turchia 35
CA - Canada 33
UA - Ucraina 31
AR - Argentina 20
BE - Belgio 18
ID - Indonesia 17
MX - Messico 17
BD - Bangladesh 16
JP - Giappone 16
PL - Polonia 14
AU - Australia 13
ES - Italia 12
IQ - Iraq 12
NG - Nigeria 12
GR - Grecia 11
NL - Olanda 10
RO - Romania 9
ZA - Sudafrica 9
JO - Giordania 8
UZ - Uzbekistan 8
PY - Paraguay 6
AE - Emirati Arabi Uniti 5
EC - Ecuador 5
PK - Pakistan 5
UY - Uruguay 5
VE - Venezuela 5
CM - Camerun 4
DK - Danimarca 4
EG - Egitto 4
TN - Tunisia 4
BO - Bolivia 3
CL - Cile 3
CO - Colombia 3
IL - Israele 3
KE - Kenya 3
MY - Malesia 3
PE - Perù 3
PH - Filippine 3
SA - Arabia Saudita 3
AT - Austria 2
BN - Brunei Darussalam 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
DZ - Algeria 2
JM - Giamaica 2
KW - Kuwait 2
LT - Lituania 2
LV - Lettonia 2
MA - Marocco 2
NP - Nepal 2
OM - Oman 2
SN - Senegal 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BJ - Benin 1
CY - Cipro 1
CZ - Repubblica Ceca 1
HN - Honduras 1
HU - Ungheria 1
IR - Iran 1
KG - Kirghizistan 1
KH - Cambogia 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LY - Libia 1
MD - Moldavia 1
MN - Mongolia 1
MU - Mauritius 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PS - Palestinian Territory 1
RS - Serbia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TG - Togo 1
TJ - Tagikistan 1
TW - Taiwan 1
Totale 7.371
Salva come PNG Salva come JPEG
Città #
Southend 649
Singapore 364
Moscow 304
Chandler 282
San Jose 267
Dallas 235
Ashburn 210
Verona 195
Jacksonville 163
Hong Kong 126
Ann Arbor 115
Woodbridge 106
Dublin 97
The Dalles 97
Beijing 65
Houston 53
Jinan 53
Wilmington 48
Ho Chi Minh City 42
Lawrence 40
Nanjing 40
Princeton 40
Shenyang 36
Los Angeles 35
Hanoi 34
Munich 33
Helsinki 31
Milan 29
Santa Clara 29
Tianjin 28
Lancaster 25
New York 25
Seoul 24
Turku 24
Columbus 21
Redondo Beach 21
Dong Ket 20
Ningbo 20
Hebei 19
São Paulo 19
Buffalo 18
Changsha 18
Zhengzhou 18
Haikou 17
Brussels 16
Des Moines 15
Guangzhou 15
Istanbul 15
Jakarta 14
Brooklyn 13
Taizhou 13
Warsaw 13
Nanchang 12
Redwood City 12
Seattle 12
Taiyuan 12
Council Bluffs 11
Denver 11
Lanzhou 11
Orem 11
Toronto 11
Abuja 10
Brasília 10
Rome 10
San Francisco 10
Haiphong 9
Hangzhou 9
Poplar 9
Rio de Janeiro 9
Athens 8
Da Nang 8
Frankfurt am Main 8
London 8
Phoenix 8
Tashkent 8
Amman 7
Boardman 7
Chennai 7
Chicago 7
Chions 7
Dhaka 7
Dortmund 7
Norwalk 7
Sydney 7
Ankara 6
Bologna 6
Jiaxing 6
Leipzig 6
Manchester 6
Mexico City 6
Montreal 6
Mumbai 6
Redmond 6
Shanghai 6
Tokyo 6
Belo Horizonte 5
Boston 5
Cagliari 5
Cologne 5
Mantova 5
Totale 4.630
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 386
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 349
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 307
Automagically Encoding Adverse Drug Reactions in MedDRA 268
Quantum State Transformations and Branching Distributed Temporal Logic 267
Early training in programming: from high school to college 257
A Logical Framework for XML Reference Specification 214
A hybrid logic for XML reference constraints 206
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 199
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 193
A Qualitative Modal Representation of Quantum Register Transformations 188
Diagnostics as a reasoning process: From logic structure to software design 185
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 180
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 176
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 175
A Logic for Quantum Register Measurements 174
A simple algorithm for the lexical classification of comparable adjectives 169
A "Game semantical" intuitionistic realizability validating Markov's principle 164
qPCF: a language for quantum circuit computations 164
QPCF: Higher-Order Languages and Quantum Circuits 155
L’insegnamento dell'Informatica e i linguaggi di programmazione 154
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 153
Automatic Generation of Dictionaries: the journalistic lexicon case. 151
On Quantum Lambda Calculi: a Foundational Perspective 150
Lambda calculi and logics for quantum computing 146
Confluence results for a quantum lambda calculus with measurements 145
A natural deduction calculus for S4.2 143
Making sentiment analysis algorithms scalable 139
Natural deduction calculi for classical and intuitionistic S5 138
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 137
Cut Elimination for Extended Sequent Calculi 134
Non-determinism, non-termination and the strong normalization of System T 132
Towards a logical framework for diagnostic reasoning 132
General ramified recurrence is sound for polynomial time 130
Modal Deduction Systems for Quantum State Transformations 129
On a Measurement-Free Quantum Lambda Calculus with Classical Control 127
Quantum Implicit computational complexity 127
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 126
Probabilistic Operational Semantics for the Lambda Calculus 123
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 122
It could rain: weather forecasting as a reasoning process 108
Quantum Calculi—From Theory to Language Design 107
Wave-Style Token Machines and Quantum Lambda Calculi 103
Quantum programming made easy 81
Totale 7.513
Salva come PNG Salva come JPEG
Categoria #
all - tutte 21.813
article - articoli 8.728
book - libri 0
conference - conferenze 11.295
curatela - curatele 0
other - altro 408
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.382
Totale 43.626
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202197 0 0 0 0 0 0 0 0 0 8 45 44
2021/2022389 31 87 30 14 37 9 9 21 15 11 24 101
2022/2023777 67 95 72 116 59 162 4 35 93 9 53 12
2023/2024372 49 27 52 35 35 32 8 30 7 37 34 26
2024/20251.081 45 79 47 175 32 44 82 78 123 85 100 191
2025/20262.928 221 142 279 485 668 206 311 152 267 197 0 0
Totale 7.513