CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.818
NA - Nord America 2.625
AS - Asia 1.818
SA - Sud America 280
Continente sconosciuto - Info sul continente non disponibili 144
AF - Africa 47
OC - Oceania 15
Totale 7.747
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.562
RU - Federazione Russa 882
GB - Regno Unito 742
SG - Singapore 657
CN - Cina 589
IT - Italia 460
BR - Brasile 226
VN - Vietnam 176
DE - Germania 150
FR - Francia 132
SE - Svezia 130
HK - Hong Kong 129
FI - Finlandia 99
IE - Irlanda 97
KR - Corea 67
CA - Canada 36
IN - India 36
TR - Turchia 35
UA - Ucraina 31
BD - Bangladesh 26
AR - Argentina 20
BE - Belgio 18
ID - Indonesia 17
MX - Messico 17
JP - Giappone 16
AU - Australia 14
PL - Polonia 14
ES - Italia 13
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
DK - Danimarca 5
EC - Ecuador 5
PK - Pakistan 5
UY - Uruguay 5
VE - Venezuela 5
CM - Camerun 4
CO - Colombia 4
EG - Egitto 4
TN - Tunisia 4
BO - Bolivia 3
CL - Cile 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
GT - Guatemala 2
HN - Honduras 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
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.605
Salva come PNG Salva come JPEG
Città #
Southend 649
Singapore 365
Moscow 304
San Jose 289
Chandler 282
Dallas 236
Ashburn 226
Verona 195
Jacksonville 163
Hong Kong 127
Ann Arbor 115
Woodbridge 106
Council Bluffs 102
Dublin 97
The Dalles 97
Beijing 66
Houston 54
Jinan 53
Wilmington 48
Ho Chi Minh City 42
Lawrence 40
Nanjing 40
Princeton 40
Santa Clara 37
Shenyang 36
Los Angeles 35
Hanoi 34
Munich 33
Helsinki 31
Milan 30
New York 28
Tianjin 28
Lancaster 25
Seoul 24
Turku 24
Columbus 22
Redondo Beach 21
Buffalo 20
Dong Ket 20
Ningbo 20
Hebei 19
São Paulo 19
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
Toronto 12
Denver 11
Lanzhou 11
Orem 11
Abuja 10
Brasília 10
Frankfurt am Main 10
Rome 10
San Francisco 10
Chicago 9
Haiphong 9
Hangzhou 9
Poplar 9
Rio de Janeiro 9
Athens 8
Da Nang 8
London 8
Phoenix 8
Sydney 8
Tashkent 8
Amman 7
Boardman 7
Bologna 7
Chennai 7
Chions 7
Dhaka 7
Dortmund 7
Norwalk 7
Ankara 6
Atlanta 6
Jiaxing 6
Leipzig 6
Manchester 6
Mexico City 6
Montreal 6
Mumbai 6
Redmond 6
Shanghai 6
Tokyo 6
Tulsa 6
Turin 6
Belo Horizonte 5
Boston 5
Totale 4.789
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 396
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 356
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 320
Quantum State Transformations and Branching Distributed Temporal Logic 279
Automagically Encoding Adverse Drug Reactions in MedDRA 271
Early training in programming: from high school to college 267
A Logical Framework for XML Reference Specification 217
A hybrid logic for XML reference constraints 210
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 206
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 204
A Qualitative Modal Representation of Quantum Register Transformations 194
Diagnostics as a reasoning process: From logic structure to software design 190
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 182
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 179
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 178
A Logic for Quantum Register Measurements 177
A simple algorithm for the lexical classification of comparable adjectives 170
A "Game semantical" intuitionistic realizability validating Markov's principle 168
qPCF: a language for quantum circuit computations 167
Automatic Generation of Dictionaries: the journalistic lexicon case. 159
L’insegnamento dell'Informatica e i linguaggi di programmazione 158
QPCF: Higher-Order Languages and Quantum Circuits 158
On Quantum Lambda Calculi: a Foundational Perspective 155
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 155
Lambda calculi and logics for quantum computing 153
Confluence results for a quantum lambda calculus with measurements 150
A natural deduction calculus for S4.2 149
Making sentiment analysis algorithms scalable 143
Non-determinism, non-termination and the strong normalization of System T 140
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 140
Natural deduction calculi for classical and intuitionistic S5 139
Cut Elimination for Extended Sequent Calculi 138
Towards a logical framework for diagnostic reasoning 135
General ramified recurrence is sound for polynomial time 133
Modal Deduction Systems for Quantum State Transformations 132
On a Measurement-Free Quantum Lambda Calculus with Classical Control 130
Quantum Implicit computational complexity 130
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 129
Wave-Style Token Machines and Quantum Lambda Calculi 127
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 127
Probabilistic Operational Semantics for the Lambda Calculus 125
It could rain: weather forecasting as a reasoning process 112
Quantum Calculi—From Theory to Language Design 111
Quantum programming made easy 88
Totale 7.747
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.864
article - articoli 9.584
book - libri 0
conference - conferenze 12.355
curatela - curatele 0
other - altro 449
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.476
Totale 47.728
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022271 0 0 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/20263.070 221 142 279 485 668 206 311 152 267 208 37 94
2026/202792 33 59 0 0 0 0 0 0 0 0 0 0
Totale 7.747