IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.597
EU - Europa 980
AS - Asia 295
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 2
Totale 4.884
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.568
UA - Ucraina 275
IT - Italia 222
CN - Cina 169
SE - Svezia 135
DE - Germania 130
FI - Finlandia 78
IE - Irlanda 50
TR - Turchia 44
IN - India 31
VN - Vietnam 30
CA - Canada 29
GB - Regno Unito 26
BE - Belgio 15
NL - Olanda 12
FR - Francia 9
IR - Iran 9
PL - Polonia 5
RU - Federazione Russa 5
CZ - Repubblica Ceca 4
RO - Romania 4
EU - Europa 3
HU - Ungheria 3
PH - Filippine 3
TW - Taiwan 3
AU - Australia 2
EE - Estonia 2
SG - Singapore 2
TG - Togo 2
BR - Brasile 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
EC - Ecuador 1
HK - Hong Kong 1
HR - Croazia 1
JO - Giordania 1
JP - Giappone 1
MD - Moldavia 1
MY - Malesia 1
PT - Portogallo 1
RS - Serbia 1
SI - Slovenia 1
Totale 4.884
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Chandler 351
Fairfield 337
Jacksonville 180
Ashburn 177
Wilmington 159
Dearborn 136
Seattle 120
Cambridge 114
Udine 97
Beijing 64
Princeton 54
Dublin 50
Izmir 43
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Ottawa 18
Ogden 17
Brussels 15
Des Moines 15
Norwalk 14
Boardman 13
Hefei 13
Grafing 11
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
New York 8
Jinan 7
Nove 7
Codroipo 6
Columbus 5
Fuzhou 5
Kunming 5
Naaldwijk 5
Toronto 5
Warsaw 5
Zanjan 5
Amsterdam 4
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Gravedona 4
Guangzhou 4
Hangzhou 4
Milan 4
Montreal 4
Nanchang 4
Prague 4
Andover 3
Budapest 3
Chicago 3
Leipzig 3
Menlo Park 3
Paranaque City 3
Phoenix 3
Pignone 3
Redmond 3
Rome 3
Saint Petersburg 3
Shanghai 3
Stockholm 3
Treviso 3
Wuhan 3
Chengdu 2
Edinburgh 2
Guilford 2
Helsinki 2
Indiana 2
Jiaxing 2
Lanzo 2
Lomé 2
Mumbai 2
Ningbo 2
Nuremberg 2
Paris 2
Pune 2
Raleigh 2
Redwood City 2
San Mateo 2
Southbury 2
Tallinn 2
Washington 2
West Jordan 2
Acerra 1
Acquaviva Delle Fonti 1
Amman 1
Auburn 1
Belgrade 1
Berlin 1
Bologna 1
Brescia 1
Capriva Del Friuli 1
Catania 1
Central 1
Changchun 1
Totale 3.631
Salva come PNG Salva come JPEG
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 155
Finding Important Locations: A Feature-based Approach 153
LaxF: Side Conditions and External Evidence as Monads 144
Mobile Information Retrieval 143
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 141
Internal Adequacy of Bookkeeping in Coq 135
AI Techniques in a Context-Aware Ubiquitous Environment 134
A Conditional Logical Framework 132
Mechanizing type environments in weak HOAS 132
A Framework for Typed HOAS and Semantics 132
Plugging-in proof development environments using Locks in LF 131
A context-aware retrieval system for mobile applications 131
A weak HOAS approach to the POPLmark Challenge 129
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 125
Consistency of the Theory of Contexts 123
pi-calculus in (Co)Inductive Type Theories 122
Content-based similarity of Twitter users 122
Is Semitransparency Useful for Navigating Virtual Environments? 122
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 121
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 116
A distributed infrastructure for publishing VO services: An implementation 115
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 110
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 104
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 103
Mining movement data to extract personal points of interest: A feature based approach 99
Towards a logical framework with intersection and union types 97
MoBe: a framework for context-aware mobile applications. 93
Mobile Search Behaviors: An In-Depth Analysis Based on Contexts, APPs, and Devices. Dan Wu and Shaobo Liang. Synthesis Lectures on Information Concepts, Retrieval, and Services. San Rafael, CA: Morgan & Claypool, 2018. 159 pp. $51.96 (e-book). (ISBN 9781681733005) 91
AI on the move: exploiting AI techniques for context inference on mobile devices 86
Revisiting the bookkeeping technique in HOAS-based encodings 83
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 83
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 77
Exploiting news to categorize tweets: Quantifying the impact of different news collections 76
An Open Logical Framework 75
LLF – A Logical-Logical Framework 73
The Theory of Contexts for First Order and Higher Order Abstract Syntax 71
Mobility Types in Coq 70
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 67
Implementing cantor’s paradise 67
LFP - A Logical Framework with External Predicates 61
Context Aware Browser 60
The Context-Aware Browser 60
Λ!-calculus, intersection types, and involutions 58
Logical Predicates as First-Class Citizens in LF 56
LF+ in Coq for fast-and-loose reasoning 55
An integrated low-cost system for object detection in underwater environments 53
The ∆-framework 52
Programmazione web lato server - Seconda edizione aggiornata 39
Programmazione web lato server, 2a edizione 36
Programmazione Web Lato Server 36
Preface 32
The involutions-as-principal types/ application-as-unification analogy 30
Oceanus: A context-aware low-cost navigation aid for yacht racing 28
Λ-symsym: An interactive tool for playing with involutions and types 28
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 14
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 9
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 8
Real-Time GAN-Based Model for Underwater Image Enhancement 6
Totale 5.004
Salva come PNG Salva come JPEG
Categoria #
all - tutte 13.993
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 13.993
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/2019338 0 0 0 0 0 0 0 0 0 65 168 105
2019/20201.256 80 73 46 158 77 194 157 133 91 146 20 81
2020/2021672 12 74 6 78 12 78 27 73 102 68 85 57
2021/2022586 54 42 21 82 14 20 30 16 8 79 142 78
2022/2023728 64 71 12 111 75 168 0 66 102 4 34 21
2023/2024191 32 16 5 8 32 33 17 10 23 15 0 0
Totale 5.004