CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 2.814
NA - Nord America 2.547
AS - Asia 1.809
SA - Sud America 279
AF - Africa 47
OC - Oceania 15
Continente sconosciuto - Info sul continente non disponibili 2
Totale 7.513
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.484
RU - Federazione Russa 882
GB - Regno Unito 742
SG - Singapore 652
CN - Cina 587
IT - Italia 458
BR - Brasile 226
VN - Vietnam 176
DE - Germania 149
FR - Francia 131
SE - Svezia 130
HK - Hong Kong 128
FI - Finlandia 99
IE - Irlanda 97
KR - Corea 67
CA - Canada 36
IN - India 36
TR - Turchia 35
UA - Ucraina 31
BD - Bangladesh 25
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
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
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.513
Salva come PNG Salva come JPEG
Città #
Southend 649
Singapore 365
Moscow 304
San Jose 289
Chandler 282
Dallas 235
Ashburn 221
Verona 195
Jacksonville 163
Hong Kong 126
Ann Arbor 115
Woodbridge 106
Dublin 97
The Dalles 97
Beijing 65
Council Bluffs 63
Houston 54
Jinan 53
Wilmington 48
Ho Chi Minh City 42
Lawrence 40
Nanjing 40
Princeton 40
Shenyang 36
Los Angeles 35
Hanoi 34
Munich 33
Santa Clara 32
Helsinki 31
Milan 30
New York 28
Tianjin 28
Lancaster 25
Seoul 24
Turku 24
Columbus 21
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
Rome 10
San Francisco 10
Frankfurt am Main 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
Chicago 7
Chions 7
Dhaka 7
Dortmund 7
Norwalk 7
Ankara 6
Jiaxing 6
Leipzig 6
Manchester 6
Mexico City 6
Montreal 6
Mumbai 6
Redmond 6
Shanghai 6
Tokyo 6
Tulsa 6
Atlanta 5
Belo Horizonte 5
Boston 5
Cagliari 5
Totale 4.731
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 391
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 355
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 317
Quantum State Transformations and Branching Distributed Temporal Logic 274
Automagically Encoding Adverse Drug Reactions in MedDRA 269
Early training in programming: from high school to college 264
A Logical Framework for XML Reference Specification 215
A hybrid logic for XML reference constraints 209
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 203
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 200
A Qualitative Modal Representation of Quantum Register Transformations 193
Diagnostics as a reasoning process: From logic structure to software design 186
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 176
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 167
qPCF: a language for quantum circuit computations 166
QPCF: Higher-Order Languages and Quantum Circuits 156
L’insegnamento dell'Informatica e i linguaggi di programmazione 155
Automatic Generation of Dictionaries: the journalistic lexicon case. 154
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 153
Lambda calculi and logics for quantum computing 151
On Quantum Lambda Calculi: a Foundational Perspective 151
Confluence results for a quantum lambda calculus with measurements 148
A natural deduction calculus for S4.2 145
Making sentiment analysis algorithms scalable 142
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 139
Natural deduction calculi for classical and intuitionistic S5 138
Non-determinism, non-termination and the strong normalization of System T 136
Cut Elimination for Extended Sequent Calculi 136
Towards a logical framework for diagnostic reasoning 133
General ramified recurrence is sound for polynomial time 132
Modal Deduction Systems for Quantum State Transformations 131
On a Measurement-Free Quantum Lambda Calculus with Classical Control 129
Quantum Implicit computational complexity 128
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 126
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 126
Probabilistic Operational Semantics for the Lambda Calculus 125
Wave-Style Token Machines and Quantum Lambda Calculi 125
It could rain: weather forecasting as a reasoning process 111
Quantum Calculi—From Theory to Language Design 110
Quantum programming made easy 86
Totale 7.655
Salva come PNG Salva come JPEG
Categoria #
all - tutte 22.952
article - articoli 9.194
book - libri 0
conference - conferenze 11.898
curatela - curatele 0
other - altro 430
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.430
Totale 45.904
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202144 0 0 0 0 0 0 0 0 0 0 0 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/20263.070 221 142 279 485 668 206 311 152 267 208 37 94
Totale 7.655