CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.677
NA - Nord America 1.976
AS - Asia 1.472
SA - Sud America 250
AF - Africa 28
OC - Oceania 14
Continente sconosciuto - Info sul continente non disponibili 1
Totale 6.418
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.927
RU - Federazione Russa 880
GB - Regno Unito 734
CN - Cina 555
SG - Singapore 508
IT - Italia 374
BR - Brasile 207
DE - Germania 141
SE - Svezia 130
FR - Francia 123
HK - Hong Kong 123
VN - Vietnam 113
FI - Finlandia 97
IE - Irlanda 97
KR - Corea 36
TR - Turchia 35
CA - Canada 31
UA - Ucraina 30
IN - India 19
AR - Argentina 16
BE - Belgio 15
ID - Indonesia 15
JP - Giappone 15
MX - Messico 14
AU - Australia 13
PL - Polonia 12
BD - Bangladesh 11
ES - Italia 10
IQ - Iraq 10
RO - Romania 8
ZA - Sudafrica 8
GR - Grecia 7
NL - Olanda 7
PY - Paraguay 6
EC - Ecuador 5
UY - Uruguay 5
AE - Emirati Arabi Uniti 4
CM - Camerun 4
EG - Egitto 4
JO - Giordania 4
UZ - Uzbekistan 4
BO - Bolivia 3
DK - Danimarca 3
PE - Perù 3
VE - Venezuela 3
AT - Austria 2
DZ - Algeria 2
IL - Israele 2
JM - Giamaica 2
KE - Kenya 2
KW - Kuwait 2
LV - Lettonia 2
PK - Pakistan 2
SA - Arabia Saudita 2
TN - Tunisia 2
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BJ - Benin 1
BN - Brunei Darussalam 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
HU - Ungheria 1
IR - Iran 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 1
MN - Mongolia 1
MU - Mauritius 1
MY - Malesia 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PH - Filippine 1
PS - Palestinian Territory 1
SN - Senegal 1
TG - Togo 1
TJ - Tagikistan 1
TW - Taiwan 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 6.418
Salva come PNG Salva come JPEG
Città #
Southend 649
Moscow 304
Chandler 282
Singapore 259
Dallas 234
Jacksonville 163
Verona 143
Ashburn 121
Hong Kong 121
Ann Arbor 115
Woodbridge 106
Dublin 97
Beijing 65
The Dalles 59
Jinan 53
Houston 52
Wilmington 48
Lawrence 40
Nanjing 40
Princeton 40
Shenyang 36
Los Angeles 35
Munich 33
Helsinki 29
Tianjin 28
Milan 26
Ho Chi Minh City 25
Lancaster 25
New York 25
Santa Clara 25
Turku 24
Seoul 23
Columbus 21
Redondo Beach 21
Dong Ket 20
Ningbo 20
Hebei 19
Changsha 18
Zhengzhou 18
Buffalo 17
Haikou 17
Hanoi 16
Guangzhou 15
Istanbul 15
São Paulo 15
Brussels 14
Brooklyn 13
Des Moines 13
Jakarta 13
Taizhou 13
Nanchang 12
Redwood City 12
Seattle 12
Taiyuan 12
Lanzhou 11
Toronto 11
Warsaw 11
Denver 10
San Francisco 10
Brasília 9
Council Bluffs 9
Hangzhou 9
Poplar 9
Rio de Janeiro 9
Rome 9
London 8
Boardman 7
Chions 7
Dortmund 7
Norwalk 7
Sydney 7
Ankara 6
Bologna 6
Chennai 6
Haiphong 6
Jiaxing 6
Leipzig 6
Mexico City 6
Montreal 6
Orem 6
Phoenix 6
Redmond 6
Athens 5
Belo Horizonte 5
Boston 5
Cagliari 5
Cologne 5
Da Nang 5
Dhaka 5
Meda 5
Romola 5
Stockholm 5
Tokyo 5
Tulsa 5
Turin 5
Walldorf 5
Amman 4
Atlanta 4
Baghdad 4
Chengdu 4
Totale 3.973
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 344
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 323
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 282
Automagically Encoding Adverse Drug Reactions in MedDRA 244
Early training in programming: from high school to college 225
Quantum State Transformations and Branching Distributed Temporal Logic 219
A Logical Framework for XML Reference Specification 194
A hybrid logic for XML reference constraints 176
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 172
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 170
A Qualitative Modal Representation of Quantum Register Transformations 165
Diagnostics as a reasoning process: From logic structure to software design 160
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 156
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 151
A Logic for Quantum Register Measurements 150
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 149
A "Game semantical" intuitionistic realizability validating Markov's principle 148
qPCF: a language for quantum circuit computations 144
A simple algorithm for the lexical classification of comparable adjectives 141
L’insegnamento dell'Informatica e i linguaggi di programmazione 137
QPCF: Higher-Order Languages and Quantum Circuits 136
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 136
On Quantum Lambda Calculi: a Foundational Perspective 134
Lambda calculi and logics for quantum computing 132
Confluence results for a quantum lambda calculus with measurements 131
Automatic Generation of Dictionaries: the journalistic lexicon case. 130
Making sentiment analysis algorithms scalable 125
On a Measurement-Free Quantum Lambda Calculus with Classical Control 119
Non-determinism, non-termination and the strong normalization of System T 119
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 117
General ramified recurrence is sound for polynomial time 116
Modal Deduction Systems for Quantum State Transformations 116
Natural deduction calculi for classical and intuitionistic S5 115
Towards a logical framework for diagnostic reasoning 115
Cut Elimination for Extended Sequent Calculi 112
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 111
Probabilistic Operational Semantics for the Lambda Calculus 108
Quantum Implicit computational complexity 106
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 106
A natural deduction calculus for S4.2 100
It could rain: weather forecasting as a reasoning process 97
Quantum Calculi—From Theory to Language Design 93
Wave-Style Token Machines and Quantum Lambda Calculi 80
Quantum programming made easy 56
Totale 6.560
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.164
article - articoli 8.048
book - libri 0
conference - conferenze 10.461
curatela - curatele 0
other - altro 383
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.272
Totale 40.328
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021193 0 0 0 0 0 51 15 16 14 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/20261.975 221 142 279 485 668 180 0 0 0 0 0 0
Totale 6.560