CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.888
NA - Nord America 1.751
AS - Asia 1.170
SA - Sud America 183
AF - Africa 20
OC - Oceania 14
Totale 5.026
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.715
GB - Regno Unito 718
CN - Cina 476
SG - Singapore 387
IT - Italia 366
BR - Brasile 159
DE - Germania 140
RU - Federazione Russa 135
SE - Svezia 127
FR - Francia 123
HK - Hong Kong 123
IE - Irlanda 97
FI - Finlandia 95
VN - Vietnam 44
TR - Turchia 32
KR - Corea 30
UA - Ucraina 29
CA - Canada 23
BE - Belgio 15
AU - Australia 13
JP - Giappone 13
ID - Indonesia 12
BD - Bangladesh 10
IN - India 10
MX - Messico 9
RO - Romania 8
ES - Italia 7
IQ - Iraq 7
AR - Argentina 6
GR - Grecia 6
NL - Olanda 6
PL - Polonia 5
AE - Emirati Arabi Uniti 4
CM - Camerun 4
EC - Ecuador 4
ZA - Sudafrica 4
DK - Danimarca 3
EG - Egitto 3
JO - Giordania 3
PY - Paraguay 3
UY - Uruguay 3
UZ - Uzbekistan 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
PE - Perù 2
PK - Pakistan 2
SA - Arabia Saudita 2
AM - Armenia 1
AO - Angola 1
BB - Barbados 1
BO - Bolivia 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
DO - Repubblica Dominicana 1
IR - Iran 1
KG - Kirghizistan 1
KZ - Kazakistan 1
LK - Sri Lanka 1
LT - Lituania 1
MA - Marocco 1
MD - Moldavia 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 5.026
Salva come PNG Salva come JPEG
Città #
Southend 649
Chandler 282
Dallas 201
Singapore 191
Jacksonville 163
Verona 143
Hong Kong 121
Ann Arbor 115
Woodbridge 106
Dublin 97
Ashburn 70
Jinan 53
Beijing 51
Houston 51
The Dalles 50
Wilmington 48
Lawrence 40
Princeton 40
Nanjing 39
Shenyang 35
Munich 33
Helsinki 29
Lancaster 25
Los Angeles 25
Milan 23
Turku 23
Santa Clara 22
Seoul 22
Tianjin 22
Columbus 21
Dong Ket 20
Ningbo 20
Hebei 19
New York 18
Zhengzhou 18
Haikou 17
Changsha 16
Istanbul 15
Brussels 14
Guangzhou 14
Taizhou 13
Nanchang 12
Redwood City 12
Taiyuan 12
Jakarta 11
Lanzhou 11
Redondo Beach 11
Seattle 11
São Paulo 11
San Francisco 10
Toronto 10
Brooklyn 9
Council Bluffs 9
Hangzhou 9
Brasília 8
Rio de Janeiro 8
Rome 8
Boardman 7
Buffalo 7
Chions 7
Dortmund 7
Norwalk 7
Sydney 7
Bologna 6
Jiaxing 6
Leipzig 6
Moscow 6
Redmond 6
Athens 5
Belo Horizonte 5
Cagliari 5
Cologne 5
Meda 5
Romola 5
Tulsa 5
Turin 5
Walldorf 5
Boston 4
Chengdu 4
Chennai 4
Chicago 4
Dhaka 4
Frankfurt am Main 4
Fuzhou 4
Goiânia 4
Mexico City 4
Warsaw 4
Adro 3
Amman 3
Ankara 3
Bochum 3
Cambridge 3
Campinas 3
Cento 3
Clearwater 3
Denver 3
Dmitrov 3
Düsseldorf 3
Guarulhos 3
Hefei 3
Totale 3.332
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 301
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 260
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 217
Automagically Encoding Adverse Drug Reactions in MedDRA 193
Quantum State Transformations and Branching Distributed Temporal Logic 179
Early training in programming: from high school to college 170
A Logical Framework for XML Reference Specification 149
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 145
A hybrid logic for XML reference constraints 132
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 129
A Qualitative Modal Representation of Quantum Register Transformations 128
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 124
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 123
qPCF: a language for quantum circuit computations 123
Diagnostics as a reasoning process: From logic structure to software design 120
A "Game semantical" intuitionistic realizability validating Markov's principle 119
On Quantum Lambda Calculi: a Foundational Perspective 115
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 114
L’insegnamento dell'Informatica e i linguaggi di programmazione 111
A Logic for Quantum Register Measurements 111
Lambda calculi and logics for quantum computing 110
QPCF: Higher-Order Languages and Quantum Circuits 109
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 102
Non-determinism, non-termination and the strong normalization of System T 101
Confluence results for a quantum lambda calculus with measurements 100
Modal Deduction Systems for Quantum State Transformations 100
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 98
Towards a logical framework for diagnostic reasoning 94
Natural deduction calculi for classical and intuitionistic S5 93
On a Measurement-Free Quantum Lambda Calculus with Classical Control 92
Making sentiment analysis algorithms scalable 92
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 92
A simple algorithm for the lexical classification of comparable adjectives 91
General ramified recurrence is sound for polynomial time 88
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 87
Probabilistic Operational Semantics for the Lambda Calculus 84
Cut Elimination for Extended Sequent Calculi 81
It could rain: weather forecasting as a reasoning process 80
Automatic Generation of Dictionaries: the journalistic lexicon case. 80
Quantum Implicit computational complexity 79
Quantum Calculi—From Theory to Language Design 79
Wave-Style Token Machines and Quantum Lambda Calculi 68
A natural deduction calculus for S4.2 67
Quantum programming made easy 38
Totale 5.168
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.378
article - articoli 6.884
book - libri 0
conference - conferenze 9.027
curatela - curatele 0
other - altro 337
patent - brevetti 0
selected - selezionate 0
volume - volumi 1.130
Totale 34.756
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021370 0 0 36 80 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/2026583 221 142 220 0 0 0 0 0 0 0 0 0
Totale 5.168