CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.970
EU - Europa 2.908
AS - Asia 1.838
SA - Sud America 282
Continente sconosciuto - Info sul continente non disponibili 150
AF - Africa 53
OC - Oceania 15
Totale 8.216
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.867
RU - Federazione Russa 888
GB - Regno Unito 748
SG - Singapore 661
CN - Cina 590
IT - Italia 532
BR - Brasile 227
VN - Vietnam 176
DE - Germania 151
FR - Francia 132
SE - Svezia 130
HK - Hong Kong 129
FI - Finlandia 99
IE - Irlanda 97
KR - Corea 67
CA - Canada 60
IN - India 37
TR - Turchia 35
UA - Ucraina 32
BD - Bangladesh 27
AR - Argentina 21
BE - Belgio 18
ID - Indonesia 18
JP - Giappone 18
MX - Messico 17
AU - Australia 14
PL - Polonia 14
ES - Italia 13
NG - Nigeria 13
IQ - Iraq 12
NL - Olanda 12
GR - Grecia 11
IL - Israele 10
RO - Romania 9
ZA - Sudafrica 9
JO - Giordania 8
UZ - Uzbekistan 8
DK - Danimarca 7
AE - Emirati Arabi Uniti 6
CR - Costa Rica 6
PY - Paraguay 6
EC - Ecuador 5
GT - Guatemala 5
PK - Pakistan 5
SC - Seychelles 5
UY - Uruguay 5
VE - Venezuela 5
CM - Camerun 4
CO - Colombia 4
CW - ???statistics.table.value.countryCode.CW??? 4
EG - Egitto 4
PH - Filippine 4
SA - Arabia Saudita 4
TN - Tunisia 4
BO - Bolivia 3
CL - Cile 3
HN - Honduras 3
JM - Giamaica 3
KE - Kenya 3
MY - Malesia 3
PE - Perù 3
AT - Austria 2
BB - Barbados 2
BN - Brunei Darussalam 2
CH - Svizzera 2
DO - Repubblica Dominicana 2
DZ - Algeria 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
BJ - Benin 1
CY - Cipro 1
CZ - Repubblica Ceca 1
GP - Guadalupe 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
NI - Nicaragua 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PR - Porto Rico 1
PS - Palestinian Territory 1
RS - Serbia 1
SI - Slovenia 1
Totale 8.067
Salva come PNG Salva come JPEG
Città #
Southend 649
Singapore 365
San Jose 322
Ashburn 304
Moscow 304
Chandler 282
Dallas 266
Verona 197
Jacksonville 164
Hong Kong 127
Ann Arbor 115
Woodbridge 106
Council Bluffs 104
Dublin 97
The Dalles 97
Beijing 66
Milan 59
Houston 55
Jinan 53
Wilmington 48
Ho Chi Minh City 42
Lawrence 42
Santa Clara 42
Nanjing 40
Princeton 40
Los Angeles 39
Shenyang 36
Hanoi 34
Munich 33
Helsinki 31
New York 30
Tianjin 28
Lancaster 26
Seoul 24
Turku 24
Columbus 23
Redondo Beach 21
Buffalo 20
Dong Ket 20
Ningbo 20
São Paulo 20
Hebei 19
Changsha 18
Zhengzhou 18
Haikou 17
Staranzano 17
Brussels 16
Toronto 16
Des Moines 15
Guangzhou 15
Istanbul 15
Brooklyn 14
Jakarta 14
Denver 13
Rome 13
Taizhou 13
Warsaw 13
Chicago 12
Nanchang 12
Redwood City 12
Seattle 12
Taiyuan 12
Lanzhou 11
Orem 11
Phoenix 11
San Francisco 11
Abuja 10
Brasília 10
Frankfurt am Main 10
Montreal 10
Bologna 9
Haiphong 9
Hangzhou 9
Las Vegas 9
Poplar 9
Rio de Janeiro 9
Athens 8
Da Nang 8
London 8
Sydney 8
Tashkent 8
Tokyo 8
Amman 7
Atlanta 7
Boardman 7
Chennai 7
Chions 7
Dhaka 7
Dortmund 7
Norwalk 7
Turin 7
Ankara 6
Jiaxing 6
Leipzig 6
Manchester 6
Mexico City 6
Milwaukee 6
Mumbai 6
Redmond 6
Shanghai 6
Totale 5.024
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 418
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 366
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 328
Quantum State Transformations and Branching Distributed Temporal Logic 288
Automagically Encoding Adverse Drug Reactions in MedDRA 279
Early training in programming: from high school to college 278
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 224
A Logical Framework for XML Reference Specification 223
A hybrid logic for XML reference constraints 219
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 218
Diagnostics as a reasoning process: From logic structure to software design 211
A Qualitative Modal Representation of Quantum Register Transformations 199
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 188
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 187
A Logic for Quantum Register Measurements 187
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 185
A simple algorithm for the lexical classification of comparable adjectives 181
L’insegnamento dell'Informatica e i linguaggi di programmazione 177
Automatic Generation of Dictionaries: the journalistic lexicon case. 174
Lambda calculi and logics for quantum computing 173
A "Game semantical" intuitionistic realizability validating Markov's principle 173
qPCF: a language for quantum circuit computations 173
Natural deduction calculi for classical and intuitionistic S5 165
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 165
QPCF: Higher-Order Languages and Quantum Circuits 163
A natural deduction calculus for S4.2 161
Confluence results for a quantum lambda calculus with measurements 160
On Quantum Lambda Calculi: a Foundational Perspective 160
Non-determinism, non-termination and the strong normalization of System T 150
Making sentiment analysis algorithms scalable 150
Cut Elimination for Extended Sequent Calculi 149
Modal Deduction Systems for Quantum State Transformations 147
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 147
Towards a logical framework for diagnostic reasoning 140
General ramified recurrence is sound for polynomial time 139
Wave-Style Token Machines and Quantum Lambda Calculi 136
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 136
On a Measurement-Free Quantum Lambda Calculus with Classical Control 135
Quantum Implicit computational complexity 135
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 134
Probabilistic Operational Semantics for the Lambda Calculus 131
It could rain: weather forecasting as a reasoning process 122
Quantum Calculi—From Theory to Language Design 120
Quantum programming made easy 96
NAMOR: a New Agda Library for Modal Extended Sequents 14
An Agda Implementation of the Modal Logic S4.2: First Investigations 12
Totale 8.216
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.432
article - articoli 10.161
book - libri 0
conference - conferenze 13.214
curatela - curatele 0
other - altro 486
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.571
Totale 50.864
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022227 0 0 0 0 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/2027561 33 59 147 322 0 0 0 0 0 0 0 0
Totale 8.216