CATALOGO DEI PRODOTTI DELLA RICERCA

ZORZI, Margherita
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 1.557
NA - Nord America 1.236
AS - Asia 492
OC - Oceania 13
SA - Sud America 8
AF - Africa 5
Totale 3.311
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.223
GB - Regno Unito 704
CN - Cina 406
IT - Italia 274
SE - Svezia 125
FR - Francia 112
DE - Germania 102
IE - Irlanda 97
FI - Finlandia 68
VN - Vietnam 30
UA - Ucraina 27
KR - Corea 22
BE - Belgio 15
AU - Australia 13
CA - Canada 12
TR - Turchia 11
JP - Giappone 10
RU - Federazione Russa 8
ES - Italia 7
RO - Romania 7
BR - Brasile 5
GR - Grecia 5
CM - Camerun 4
IN - India 4
DK - Danimarca 3
NL - Olanda 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
LK - Sri Lanka 1
MA - Marocco 1
MX - Messico 1
PE - Perù 1
PH - Filippine 1
SG - Singapore 1
Totale 3.311
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
Wilmington 48
Ashburn 44
Beijing 43
Lawrence 40
Princeton 40
Nanjing 39
Shenyang 35
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
Nanchang 12
Redwood City 12
Taiyuan 12
Guangzhou 11
Lanzhou 11
Hangzhou 9
Seattle 9
Milan 8
San Francisco 8
Toronto 8
Chions 7
Dortmund 7
Norwalk 7
Sydney 7
Jiaxing 6
Leipzig 6
Redmond 6
Cagliari 5
Cologne 5
Los Angeles 5
Tulsa 5
Walldorf 5
Athens 4
Bologna 4
Chengdu 4
Fuzhou 4
Boardman 3
Bochum 3
Brasília 3
Cambridge 3
Cento 3
Clearwater 3
Dmitrov 3
Düsseldorf 3
Kemerovo 3
Mantova 3
Pratovecchio 3
Rehlingen-Siersburg 3
Rome 3
Sapporo 3
Sassari 3
Sindelfingen 3
Ardea 2
Buttapietra 2
Canberra 2
Candiolo 2
Crotone 2
Dallas 2
Elora 2
Fairfield 2
Fremont 2
Hanover 2
Kuradani 2
Leno 2
Madrid 2
Mazeres 2
Melbourne 2
Messina 2
Osio Sopra 2
San Diego 2
Sanguinetto 2
Santa Coloma de Gramenet 2
Sarno 2
St. Lorenzen 2
São Paulo 2
Trento 2
Wembley 2
Andover 1
Auburn Hills 1
Avellino 1
Barcelona 1
Totale 2.471
Salva come PNG Salva come JPEG
Nome #
Psychology of programming: The role of creativity, empathy and systemizing 228
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics 209
Automagically Encoding Adverse Drug Reactions in MedDRA 153
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results 152
Early training in programming: from high school to college 114
A Logical Framework for XML Reference Specification 105
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions 105
Quantum State Transformations and Branching Distributed Temporal Logic 103
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic 90
qPCF: a language for quantum circuit computations 87
A "Game semantical" intuitionistic realizability validating Markov's principle 85
On Quantum Lambda Calculi: a Foundational Perspective 83
L’insegnamento dell'Informatica e i linguaggi di programmazione 83
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions 83
A Qualitative Modal Representation of Quantum Register Transformations 82
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations 81
Lambda calculi and logics for quantum computing 79
Modal Deduction Systems for Quantum State Transformations 79
QPCF: Higher-Order Languages and Quantum Circuits 78
Confluence results for a quantum lambda calculus with measurements 72
Non-determinism, non-termination and the strong normalization of System T 72
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem 70
A hybrid logic for XML reference constraints 69
Diagnostics as a reasoning process: From logic structure to software design 69
“It could be worse, it could be raining”: Reliable automatic meteorological forecasting for holiday planning 68
Towards a logical framework for diagnostic reasoning 67
A Logic for Quantum Register Measurements 67
Normalizing Spontaneous Reports into MedDRA: some Experiments with MagiCoder 66
Web Literature, Authorship Attribution and Editorial Workflow Ontologies 65
On a Measurement-Free Quantum Lambda Calculus with Classical Control 63
General ramified recurrence is sound for polynomial time 62
Making sentiment analysis algorithms scalable 62
Probabilistic Operational Semantics for the Lambda Calculus 60
Quantum Implicit computational complexity 53
It could rain: weather forecasting as a reasoning process 52
Automatic Generation of Dictionaries: the journalistic lexicon case. 50
A simple algorithm for the lexical classification of comparable adjectives 47
Wave-Style Token Machines and Quantum Lambda Calculi 46
Quantum Calculi—From Theory to Language Design 45
Cut Elimination for Extended Sequent Calculi 42
Natural deduction calculi for classical and intuitionistic S5 39
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics 37
Quantum programming made easy 20
A natural deduction calculus for S4.2 5
Totale 3.447
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.474
article - articoli 3.497
book - libri 0
conference - conferenze 5.085
curatela - curatele 0
other - altro 207
patent - brevetti 0
selected - selezionate 0
volume - volumi 685
Totale 18.948
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019132 0 0 0 0 0 0 0 0 0 0 10 122
2019/2020361 56 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/2024315 49 27 52 35 35 32 8 30 7 37 3 0
Totale 3.447