CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.717
NA - Nord America 1.299
AS - Asia 711
SA - Sud America 25
OC - Oceania 14
AF - Africa 6
Totale 3.772
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.286
GB - Regno Unito 704
CN - Cina 446
IT - Italia 307
SG - Singapore 159
RU - Federazione Russa 125
SE - Svezia 125
FR - Francia 112
DE - Germania 102
IE - Irlanda 97
FI - Finlandia 71
VN - Vietnam 30
UA - Ucraina 27
KR - Corea 22
BR - Brasile 20
BE - Belgio 15
AU - Australia 13
TR - Turchia 13
CA - Canada 12
JP - Giappone 11
ID - Indonesia 10
RO - Romania 8
ES - Italia 7
GR - Grecia 5
AE - Emirati Arabi Uniti 4
CM - Camerun 4
IN - India 4
DK - Danimarca 3
NL - Olanda 3
KW - Kuwait 2
LV - Lettonia 2
SA - Arabia Saudita 2
AM - Armenia 1
AT - Austria 1
BD - Bangladesh 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
EC - Ecuador 1
IL - Israele 1
IR - Iran 1
KG - Kirghizistan 1
LK - Sri Lanka 1
MA - Marocco 1
MD - Moldavia 1
MX - Messico 1
NO - Norvegia 1
NZ - Nuova Zelanda 1
PE - Perù 1
PH - Filippine 1
TG - Togo 1
TW - Taiwan 1
VE - Venezuela 1
Totale 3.772
Salva come PNG Salva come JPEG
Città #
Southend 649
Chandler 282
Jacksonville 163
Verona 134
Singapore 129
Ann Arbor 115
Woodbridge 106
Dublin 97
Jinan 52
Houston 51
Ashburn 49
Wilmington 48
Beijing 45
Lawrence 40
Princeton 40
Nanjing 39
Shenyang 35
Helsinki 28
Lancaster 25
Seoul 22
Tianjin 21
Dong Ket 20
Ningbo 20
Hebei 19
Zhengzhou 18
Haikou 17
Santa Clara 17
Changsha 16
Brussels 14
New York 14
Milan 13
Taizhou 13
Guangzhou 12
Nanchang 12
Redwood City 12
Taiyuan 12
Lanzhou 11
Jakarta 10
Hangzhou 9
Seattle 9
San Francisco 8
Toronto 8
Chions 7
Dortmund 7
Los Angeles 7
Norwalk 7
Sydney 7
Boardman 6
Jiaxing 6
Leipzig 6
Redmond 6
Cagliari 5
Cologne 5
Dallas 5
Moscow 5
Romola 5
Tulsa 5
Walldorf 5
Athens 4
Bologna 4
Chengdu 4
Fuzhou 4
Adro 3
Bochum 3
Brasília 3
Cambridge 3
Cento 3
Clearwater 3
Dmitrov 3
Düsseldorf 3
Kemerovo 3
Kent 3
Mantova 3
Porto Mantovano 3
Pratovecchio 3
Rehlingen-Siersburg 3
Rome 3
Sapporo 3
Sassari 3
Sindelfingen 3
São Paulo 3
Al Jabiriyah 2
Ankara 2
Ardea 2
Astrakhan 2
Belo Horizonte 2
Buttapietra 2
Canberra 2
Candiolo 2
Crotone 2
Elora 2
Fairfield 2
Fremont 2
Hanover 2
Hefei 2
Kuradani 2
Lappeenranta 2
Leno 2
Madrid 2
Mazeres 2
Totale 2.659
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 264
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 226
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 163
Automagically Encoding Adverse Drug Reactions in MedDRA 162
Early training in programming: from high school to college 126
Quantum State Transformations and Branching Distributed Temporal Logic 125
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 119
A Logical Framework for XML Reference Specification 113
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 98
qPCF: a language for quantum circuit computations 96
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 95
A "Game semantical" intuitionistic realizability validating Markov's principle 94
L’insegnamento dell'Informatica e i linguaggi di programmazione 94
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 93
A Qualitative Modal Representation of Quantum Register Transformations 90
On Quantum Lambda Calculi: a Foundational Perspective 90
Lambda calculi and logics for quantum computing 87
Modal Deduction Systems for Quantum State Transformations 87
Diagnostics as a reasoning process: From logic structure to software design 86
QPCF: Higher-Order Languages and Quantum Circuits 84
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 82
Confluence results for a quantum lambda calculus with measurements 80
A hybrid logic for XML reference constraints 80
Non-determinism, non-termination and the strong normalization of System T 79
A Logic for Quantum Register Measurements 78
Towards a logical framework for diagnostic reasoning 75
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 75
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 74
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 72
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 70
General ramified recurrence is sound for polynomial time 69
On a Measurement-Free Quantum Lambda Calculus with Classical Control 67
Probabilistic Operational Semantics for the Lambda Calculus 67
Making sentiment analysis algorithms scalable 67
Quantum Implicit computational complexity 58
A simple algorithm for the lexical classification of comparable adjectives 58
Automatic Generation of Dictionaries: the journalistic lexicon case. 58
It could rain: weather forecasting as a reasoning process 56
Quantum Calculi—From Theory to Language Design 53
Wave-Style Token Machines and Quantum Lambda Calculi 51
Cut Elimination for Extended Sequent Calculi 51
Natural deduction calculi for classical and intuitionistic S5 50
Quantum programming made easy 24
A natural deduction calculus for S4.2 23
Totale 3.909
Salva come PNG Salva come JPEG
Categoria #
all - tutte 12.502
article - articoli 4.790
book - libri 0
conference - conferenze 6.597
curatela - curatele 0
other - altro 244
patent - brevetti 0
selected - selezionate 0
volume - volumi 871
Totale 25.004
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020216 0 0 0 0 0 44 10 20 38 28 18 58
2020/2021553 92 91 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/2025405 45 79 47 175 32 27 0 0 0 0 0 0
Totale 3.909