CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.630
NA - Nord America 1.264
AS - Asia 548
OC - Oceania 13
SA - Sud America 8
AF - Africa 5
Totale 3.468
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.251
GB - Regno Unito 704
CN - Cina 413
IT - Italia 279
SE - Svezia 125
FR - Francia 112
DE - Germania 102
IE - Irlanda 97
RU - Federazione Russa 73
FI - Finlandia 69
SG - Singapore 46
VN - Vietnam 30
UA - Ucraina 27
KR - Corea 22
BE - Belgio 15
AU - Australia 13
CA - Canada 12
JP - Giappone 11
TR - Turchia 11
ES - Italia 7
RO - Romania 7
BR - Brasile 5
GR - Grecia 5
CM - Camerun 4
IN - India 4
DK - Danimarca 3
NL - Olanda 3
KW - Kuwait 2
SA - Arabia Saudita 2
AM - Armenia 1
BD - Bangladesh 1
CH - Svizzera 1
CL - Cile 1
CO - Colombia 1
IL - Israele 1
IR - Iran 1
KG - Kirghizistan 1
LK - Sri Lanka 1
MA - Marocco 1
MX - Messico 1
NO - Norvegia 1
PE - Perù 1
PH - Filippine 1
Totale 3.468
Salva come PNG Salva come JPEG
Città #
Southend 649
Chandler 282
Jacksonville 163
Verona 133
Ann Arbor 115
Woodbridge 106
Dublin 97
Jinan 52
Houston 51
Ashburn 49
Wilmington 48
Beijing 44
Lawrence 40
Princeton 40
Nanjing 39
Shenyang 35
Singapore 34
Helsinki 26
Lancaster 25
Seoul 22
Tianjin 21
Dong Ket 20
Ningbo 20
Hebei 19
Zhengzhou 18
Haikou 17
Changsha 16
Brussels 14
New York 14
Taizhou 13
Guangzhou 12
Milan 12
Nanchang 12
Redwood City 12
Taiyuan 12
Lanzhou 11
Santa Clara 10
Hangzhou 9
Seattle 9
San Francisco 8
Toronto 8
Chions 7
Dortmund 7
Norwalk 7
Sydney 7
Boardman 6
Jiaxing 6
Leipzig 6
Los Angeles 6
Redmond 6
Cagliari 5
Cologne 5
Dallas 5
Tulsa 5
Walldorf 5
Athens 4
Bologna 4
Chengdu 4
Fuzhou 4
Bochum 3
Brasília 3
Cambridge 3
Cento 3
Clearwater 3
Dmitrov 3
Düsseldorf 3
Kemerovo 3
Kent 3
Mantova 3
Pratovecchio 3
Rehlingen-Siersburg 3
Rome 3
Sapporo 3
Sassari 3
Sindelfingen 3
Al Jabiriyah 2
Ardea 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
Melbourne 2
Messina 2
Osio Sopra 2
Phoenix 2
San Diego 2
Sanguinetto 2
Santa Coloma de Gramenet 2
Sarno 2
St. Lorenzen 2
Totale 2.534
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 233
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 217
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 156
Automagically Encoding Adverse Drug Reactions in MedDRA 155
Early training in programming: from high school to college 116
Quantum State Transformations and Branching Distributed Temporal Logic 112
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 110
A Logical Framework for XML Reference Specification 107
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 92
qPCF: a language for quantum circuit computations 90
A "Game semantical" intuitionistic realizability validating Markov's principle 88
L’insegnamento dell'Informatica e i linguaggi di programmazione 88
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 86
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 86
A Qualitative Modal Representation of Quantum Register Transformations 85
On Quantum Lambda Calculi: a Foundational Perspective 85
Lambda calculi and logics for quantum computing 84
Modal Deduction Systems for Quantum State Transformations 83
QPCF: Higher-Order Languages and Quantum Circuits 82
Non-determinism, non-termination and the strong normalization of System T 75
Confluence results for a quantum lambda calculus with measurements 74
A hybrid logic for XML reference constraints 73
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 72
Diagnostics as a reasoning process: From logic structure to software design 72
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 71
Towards a logical framework for diagnostic reasoning 71
A Logic for Quantum Register Measurements 71
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 70
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 68
On a Measurement-Free Quantum Lambda Calculus with Classical Control 66
Making sentiment analysis algorithms scalable 64
General ramified recurrence is sound for polynomial time 63
Probabilistic Operational Semantics for the Lambda Calculus 62
Quantum Implicit computational complexity 56
It could rain: weather forecasting as a reasoning process 54
Automatic Generation of Dictionaries: the journalistic lexicon case. 53
A simple algorithm for the lexical classification of comparable adjectives 51
Quantum Calculi—From Theory to Language Design 50
Wave-Style Token Machines and Quantum Lambda Calculi 48
Cut Elimination for Extended Sequent Calculi 46
Natural deduction calculi for classical and intuitionistic S5 44
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 41
Quantum programming made easy 23
A natural deduction calculus for S4.2 11
Totale 3.604
Salva come PNG Salva come JPEG
Categoria #
all - tutte 10.915
article - articoli 4.102
book - libri 0
conference - conferenze 5.815
curatela - curatele 0
other - altro 227
patent - brevetti 0
selected - selezionate 0
volume - volumi 771
Totale 21.830
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020305 0 20 6 28 35 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/2025100 45 55 0 0 0 0 0 0 0 0 0 0
Totale 3.604