CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.597
NA - Nord America 1.919
AS - Asia 1.375
SA - Sud America 237
AF - Africa 25
OC - Oceania 14
Totale 6.167
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.873
RU - Federazione Russa 815
GB - Regno Unito 728
CN - Cina 543
SG - Singapore 443
IT - Italia 369
BR - Brasile 198
DE - Germania 141
SE - Svezia 129
FR - Francia 123
HK - Hong Kong 123
VN - Vietnam 98
IE - Irlanda 97
FI - Finlandia 96
KR - Corea 35
TR - Turchia 34
CA - Canada 30
UA - Ucraina 30
IN - India 19
BE - Belgio 15
ID - Indonesia 15
JP - Giappone 15
AR - Argentina 14
AU - Australia 13
MX - Messico 12
BD - Bangladesh 11
PL - Polonia 11
ES - Italia 9
IQ - Iraq 8
RO - Romania 8
GR - Grecia 7
NL - Olanda 7
ZA - Sudafrica 6
EC - Ecuador 5
PY - Paraguay 5
AE - Emirati Arabi Uniti 4
CM - Camerun 4
EG - Egitto 4
JO - Giordania 4
UY - Uruguay 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
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
SN - Senegal 1
TG - Togo 1
TJ - Tagikistan 1
TN - Tunisia 1
TW - Taiwan 1
Totale 6.167
Salva come PNG Salva come JPEG
Città #
Southend 649
Moscow 287
Chandler 282
Dallas 234
Singapore 194
Jacksonville 163
Verona 143
Hong Kong 121
Ann Arbor 115
Woodbridge 106
Ashburn 102
Dublin 97
Beijing 65
Jinan 53
Houston 52
The Dalles 50
Wilmington 48
Lawrence 40
Nanjing 40
Princeton 40
Shenyang 36
Los Angeles 33
Munich 33
Helsinki 29
Tianjin 28
Lancaster 25
Santa Clara 25
Turku 24
Milan 23
Seoul 23
New York 22
Columbus 21
Redondo Beach 21
Dong Ket 20
Ningbo 20
Hebei 19
Ho Chi Minh City 19
Changsha 18
Zhengzhou 18
Buffalo 17
Haikou 17
Istanbul 15
Brussels 14
Guangzhou 14
Hanoi 14
Des Moines 13
Jakarta 13
São Paulo 13
Taizhou 13
Brooklyn 12
Nanchang 12
Redwood City 12
Taiyuan 12
Lanzhou 11
Seattle 11
Toronto 11
San Francisco 10
Warsaw 10
Brasília 9
Council Bluffs 9
Denver 9
Hangzhou 9
Rio de Janeiro 9
Rome 8
Boardman 7
Chions 7
Dortmund 7
Norwalk 7
Sydney 7
Bologna 6
Chennai 6
Jiaxing 6
Leipzig 6
London 6
Mexico City 6
Montreal 6
Redmond 6
Ankara 5
Athens 5
Belo Horizonte 5
Boston 5
Cagliari 5
Cologne 5
Dhaka 5
Haiphong 5
Meda 5
Phoenix 5
Poplar 5
Romola 5
Tokyo 5
Tulsa 5
Turin 5
Walldorf 5
Amman 4
Atlanta 4
Chengdu 4
Chicago 4
Frankfurt am Main 4
Fuzhou 4
Goiânia 4
Totale 3.826
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 332
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 315
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 273
Automagically Encoding Adverse Drug Reactions in MedDRA 239
Early training in programming: from high school to college 217
Quantum State Transformations and Branching Distributed Temporal Logic 208
A Logical Framework for XML Reference Specification 187
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 168
A hybrid logic for XML reference constraints 167
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 161
A Qualitative Modal Representation of Quantum Register Transformations 158
Diagnostics as a reasoning process: From logic structure to software design 154
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 151
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 146
A "Game semantical" intuitionistic realizability validating Markov's principle 145
qPCF: a language for quantum circuit computations 142
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 140
A Logic for Quantum Register Measurements 139
L’insegnamento dell'Informatica e i linguaggi di programmazione 135
A simple algorithm for the lexical classification of comparable adjectives 134
QPCF: Higher-Order Languages and Quantum Circuits 131
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 130
On Quantum Lambda Calculi: a Foundational Perspective 129
Lambda calculi and logics for quantum computing 125
Confluence results for a quantum lambda calculus with measurements 124
Making sentiment analysis algorithms scalable 122
Automatic Generation of Dictionaries: the journalistic lexicon case. 122
On a Measurement-Free Quantum Lambda Calculus with Classical Control 116
Non-determinism, non-termination and the strong normalization of System T 114
General ramified recurrence is sound for polynomial time 113
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 113
Modal Deduction Systems for Quantum State Transformations 112
Towards a logical framework for diagnostic reasoning 111
Natural deduction calculi for classical and intuitionistic S5 109
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 108
Cut Elimination for Extended Sequent Calculi 107
Quantum Implicit computational complexity 104
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 103
Probabilistic Operational Semantics for the Lambda Calculus 102
It could rain: weather forecasting as a reasoning process 94
A natural deduction calculus for S4.2 91
Quantum Calculi—From Theory to Language Design 90
Wave-Style Token Machines and Quantum Lambda Calculi 78
Quantum programming made easy 50
Totale 6.309
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.685
article - articoli 7.844
book - libri 0
conference - conferenze 10.221
curatela - curatele 0
other - altro 371
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.249
Totale 39.370
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021254 0 0 0 0 61 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.724 221 142 279 485 597 0 0 0 0 0 0 0
Totale 6.309