SCAGNETTO, Ivan
 Distribuzione geografica
Continente #
NA - Nord America 3.861
EU - Europa 1.292
AS - Asia 1.037
SA - Sud America 104
AF - Africa 17
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 6.318
Nazione #
US - Stati Uniti d'America 3.813
SG - Singapore 353
CN - Cina 304
IT - Italia 296
UA - Ucraina 276
DE - Germania 181
HK - Hong Kong 171
SE - Svezia 140
FI - Finlandia 96
RU - Federazione Russa 96
BR - Brasile 88
IE - Irlanda 52
TR - Turchia 45
GB - Regno Unito 41
IN - India 41
CA - Canada 40
VN - Vietnam 37
KR - Corea 23
NL - Olanda 20
BE - Belgio 18
CZ - Repubblica Ceca 15
AT - Austria 13
FR - Francia 12
PL - Polonia 10
IR - Iran 9
TW - Taiwan 8
JP - Giappone 6
BD - Bangladesh 5
LT - Lituania 5
MA - Marocco 5
AE - Emirati Arabi Uniti 4
EC - Ecuador 4
MX - Messico 4
PH - Filippine 4
RO - Romania 4
ZA - Sudafrica 4
AU - Australia 3
CO - Colombia 3
EE - Estonia 3
EU - Europa 3
HU - Ungheria 3
LB - Libano 3
PK - Pakistan 3
UY - Uruguay 3
AR - Argentina 2
AZ - Azerbaigian 2
DZ - Algeria 2
ES - Italia 2
IL - Israele 2
IQ - Iraq 2
JO - Giordania 2
PT - Portogallo 2
SA - Arabia Saudita 2
TG - Togo 2
TH - Thailandia 2
UZ - Uzbekistan 2
BB - Barbados 1
BY - Bielorussia 1
CH - Svizzera 1
CL - Cile 1
CM - Camerun 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
HR - Croazia 1
KE - Kenya 1
KG - Kirghizistan 1
KH - Cambogia 1
LK - Sri Lanka 1
MD - Moldavia 1
MY - Malesia 1
NP - Nepal 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PY - Paraguay 1
RS - Serbia 1
SI - Slovenia 1
TM - Turkmenistan 1
VE - Venezuela 1
Totale 6.318
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Chandler 351
Fairfield 337
Singapore 217
Ashburn 191
Jacksonville 180
Hong Kong 170
Wilmington 159
Dearborn 136
Seattle 121
Udine 120
Cambridge 114
Beijing 109
Boardman 76
Hefei 73
Princeton 54
Dublin 52
Izmir 43
Trieste 36
Munich 32
San Diego 31
Dong Ket 30
Los Angeles 28
Seoul 23
Nanjing 22
Ottawa 19
Brussels 18
Ogden 17
Des Moines 15
Norwalk 14
Grafing 11
New York 11
Santa Clara 11
Amsterdam 10
Brno 10
Reggio Nell'emilia 10
Turku 10
Warsaw 10
Leawood 9
Monmouth Junction 9
Rome 9
Toronto 9
Guangzhou 8
Nuremberg 8
Stockholm 8
Vienna 8
Helsinki 7
Jinan 7
Milan 7
Nove 7
Codroipo 6
Columbus 6
London 6
Montreal 6
Moscow 6
Shanghai 6
Taipei 6
Belo Horizonte 5
Brescia 5
Brooklyn 5
Frankfurt am Main 5
Fuzhou 5
Hanoi 5
Kunming 5
Naaldwijk 5
Phoenix 5
São Paulo 5
Zanjan 5
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Chicago 4
Dallas 4
Gravedona 4
Hangzhou 4
Nanchang 4
Palazzolo sull'Oglio 4
Prague 4
San Michele al Tagliamento 4
Tokyo 4
Treviso 4
Alberobello 3
Andover 3
Belluno 3
Budapest 3
Charlotte 3
Dhaka 3
Florence 3
Fulham 3
Hyderabad 3
Leipzig 3
Marília 3
Menlo Park 3
Montevideo 3
Padova 3
Paranaque City 3
Paris 3
Pignone 3
Totale 4.453
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 177
Finding Important Locations: A Feature-based Approach 177
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 172
AI Techniques in a Context-Aware Ubiquitous Environment 170
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 169
Mobile Information Retrieval 167
LaxF: Side Conditions and External Evidence as Monads 159
Mechanizing type environments in weak HOAS 158
A Conditional Logical Framework 156
A context-aware retrieval system for mobile applications 155
Internal Adequacy of Bookkeeping in Coq 154
A Framework for Typed HOAS and Semantics 153
Plugging-in proof development environments using Locks in LF 151
A weak HOAS approach to the POPLmark Challenge 147
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 146
Content-based similarity of Twitter users 143
Consistency of the Theory of Contexts 140
pi-calculus in (Co)Inductive Type Theories 138
Is Semitransparency Useful for Navigating Virtual Environments? 138
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 136
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 133
A distributed infrastructure for publishing VO services: An implementation 131
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 121
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 120
AI on the move: exploiting AI techniques for context inference on mobile devices 117
MoBe: a framework for context-aware mobile applications. 116
Mining movement data to extract personal points of interest: A feature based approach 116
Towards a logical framework with intersection and union types 113
An Open Logical Framework 107
Logical Predicates as First-Class Citizens in LF 107
Revisiting the bookkeeping technique in HOAS-based encodings 103
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 103
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) 103
The Theory of Contexts for First Order and Higher Order Abstract Syntax 99
LLF – A Logical-Logical Framework 99
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 94
Exploiting news to categorize tweets: Quantifying the impact of different news collections 93
Mobility Types in Coq 90
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 87
Implementing cantor’s paradise 86
Λ!-calculus, intersection types, and involutions 81
An integrated low-cost system for object detection in underwater environments 81
Context Aware Browser 80
LF+ in Coq for fast-and-loose reasoning 80
LFP - A Logical Framework with External Predicates 76
The Context-Aware Browser 74
The ∆-framework 63
The involutions-as-principal types/ application-as-unification analogy 61
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 57
Programmazione web lato server - Seconda edizione aggiornata 53
Programmazione Web Lato Server 53
Preface 51
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 50
Programmazione web lato server, 2a edizione 50
Oceanus: A context-aware low-cost navigation aid for yacht racing 48
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 43
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 41
null 36
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 29
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area 29
Real-Time GAN-Based Model for Underwater Image Enhancement 22
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 22
Principal types as partial involutions 20
Two Views on Unification: Terms as Strategies 19
Λ-symsym: An interactive tool for playing with involutions and types 15
Totale 6.478
Categoria #
all - tutte 23.242
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 23.242


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/2024234 32 16 5 8 32 33 17 10 23 27 12 19
2024/20251.346 37 76 78 71 54 81 97 73 112 71 216 380
2025/202685 85 0 0 0 0 0 0 0 0 0 0 0
Totale 6.478