IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.640
AS - Asia 2.272
EU - Europa 1.898
SA - Sud America 318
Continente sconosciuto - Info sul continente non disponibili 198
AF - Africa 57
OC - Oceania 12
Totale 10.395
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.484
SG - Singapore 933
IT - Italia 583
CN - Cina 578
UA - Ucraina 283
DE - Germania 262
BR - Brasile 233
HK - Hong Kong 207
VN - Vietnam 154
SE - Svezia 151
RU - Federazione Russa 118
FI - Finlandia 108
CA - Canada 89
IN - India 89
GB - Regno Unito 81
FR - Francia 76
TR - Turchia 68
IE - Irlanda 61
BD - Bangladesh 59
NL - Olanda 36
KR - Corea 30
AR - Argentina 28
PL - Polonia 23
BE - Belgio 18
CZ - Repubblica Ceca 18
ES - Italia 18
JP - Giappone 18
ZA - Sudafrica 18
AT - Austria 16
CO - Colombia 15
MX - Messico 15
IL - Israele 14
IQ - Iraq 14
ID - Indonesia 13
EC - Ecuador 11
HN - Honduras 11
IR - Iran 11
LT - Lituania 11
PH - Filippine 11
MA - Marocco 10
CR - Costa Rica 9
VE - Venezuela 9
AE - Emirati Arabi Uniti 8
TW - Taiwan 8
AU - Australia 7
CL - Cile 7
EE - Estonia 7
MY - Malesia 7
PK - Pakistan 7
KZ - Kazakistan 6
SA - Arabia Saudita 6
TN - Tunisia 6
AZ - Azerbaigian 5
DZ - Algeria 5
GT - Guatemala 5
SC - Seychelles 5
UZ - Uzbekistan 5
ET - Etiopia 4
JM - Giamaica 4
JO - Giordania 4
KE - Kenya 4
NI - Nicaragua 4
NZ - Nuova Zelanda 4
PE - Perù 4
PR - Porto Rico 4
PY - Paraguay 4
RO - Romania 4
SV - El Salvador 4
UY - Uruguay 4
EU - Europa 3
HR - Croazia 3
HU - Ungheria 3
LB - Libano 3
PA - Panama 3
TH - Thailandia 3
TT - Trinidad e Tobago 3
BB - Barbados 2
BG - Bulgaria 2
BO - Bolivia 2
CW - ???statistics.table.value.countryCode.CW??? 2
CY - Cipro 2
GR - Grecia 2
PT - Portogallo 2
RS - Serbia 2
SI - Slovenia 2
TG - Togo 2
AL - Albania 1
AO - Angola 1
BH - Bahrain 1
BS - Bahamas 1
BY - Bielorussia 1
CH - Svizzera 1
CM - Camerun 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
GE - Georgia 1
GY - Guiana 1
HT - Haiti 1
KG - Kirghizistan 1
Totale 10.191
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Ashburn 447
Singapore 447
Houston 373
Chandler 351
Fairfield 337
San Jose 289
Council Bluffs 201
Hong Kong 200
Beijing 198
Jacksonville 185
Wilmington 162
Udine 137
Dearborn 136
Seattle 126
Cambridge 114
Boardman 86
Los Angeles 81
Hefei 73
Frankfurt am Main 61
Dublin 60
Staranzano 60
Princeton 54
Santa Clara 53
Lauterbourg 50
Izmir 44
Ho Chi Minh City 43
New York 41
The Dalles 36
Trieste 36
Buffalo 33
Munich 33
San Diego 31
Dallas 30
Dong Ket 30
Milan 29
Seoul 28
Rome 24
Hanoi 23
Nanjing 22
Ottawa 21
Chicago 20
Phoenix 20
São Paulo 20
Redondo Beach 19
Stockholm 19
Amsterdam 18
Atlanta 18
Brussels 18
Ogden 18
Toronto 18
Helsinki 17
Warsaw 17
Des Moines 16
Montreal 16
Tokyo 16
Mumbai 15
Norwalk 15
Brooklyn 14
Columbus 14
Nuremberg 14
Reana del Rojale 14
Chennai 13
North Bergen 13
Philadelphia 13
Orem 12
Grafing 11
London 11
Newark 11
Brno 10
Denver 10
Leawood 10
Reggio Nell'emilia 10
Rio de Janeiro 10
Turku 10
Vedelago 10
Vienna 10
Hangzhou 9
Monmouth Junction 9
Guangzhou 8
Johannesburg 8
Manchester 8
Naples 8
San José 8
Shanghai 8
Washington 8
Ankara 7
Baghdad 7
Brescia 7
Florence 7
Jinan 7
Nove 7
Poplar 7
Belo Horizonte 6
Boston 6
Codroipo 6
Da Nang 6
Dhaka 6
Moscow 6
Totale 6.382
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 257
AI Techniques in a Context-Aware Ubiquitous Environment 253
Mobile Information Retrieval 235
Plugging-in proof development environments using Locks in LF 231
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 228
Mechanizing type environments in weak HOAS 226
Finding Important Locations: A Feature-based Approach 223
A context-aware retrieval system for mobile applications 219
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 218
A Framework for Typed HOAS and Semantics 212
A Conditional Logical Framework 210
An Open Logical Framework 209
LaxF: Side Conditions and External Evidence as Monads 201
A weak HOAS approach to the POPLmark Challenge 197
Consistency of the Theory of Contexts 196
Content-based similarity of Twitter users 196
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 194
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 190
Internal Adequacy of Bookkeeping in Coq 189
AI on the move: exploiting AI techniques for context inference on mobile devices 187
pi-calculus in (Co)Inductive Type Theory 178
Exploiting news to categorize tweets: Quantifying the impact of different news collections 177
A distributed infrastructure for publishing VO services: An implementation 175
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 173
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 167
Logical Predicates as First-Class Citizens in LF 166
MoBe: a framework for context-aware mobile applications. 162
Implementing cantor’s paradise 162
Is Semitransparency Useful for Navigating Virtual Environments? 162
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 158
Mining movement data to extract personal points of interest: A feature based approach 151
LLF – A Logical-Logical Framework 145
LF+ in Coq for fast-and-loose reasoning 143
Revisiting the bookkeeping technique in HOAS-based encodings 142
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 142
Towards a logical framework with intersection and union types 141
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 140
The Theory of Contexts for First Order and Higher Order Abstract Syntax 138
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 135
Λ!-calculus, intersection types, and involutions 133
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) 132
Context Aware Browser 130
Mobility Types in Coq 129
An integrated low-cost system for object detection in underwater environments 129
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 128
Deep Acoustic Learning on Unmanned Aerial Vehicles for Real-Time Human and Drone Detection 127
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 126
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 120
The Context-Aware Browser 116
Two Views on Unification: Terms as Strategies 114
Multi-Perspective RGB and Infrared Dataset for UAV Detection 114
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 109
The involutions-as-principal types/ application-as-unification analogy 105
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area 104
Programmazione web lato server - Seconda edizione aggiornata 104
LFP - A Logical Framework with External Predicates 104
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 103
Programmazione web lato server, 2a edizione 102
Programmazione Web Lato Server 94
A cost-effective autonomous underwater system for small size object detection 87
The ∆-framework 87
Preface 86
Principal types as partial involutions 85
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 81
Oceanus: A context-aware low-cost navigation aid for yacht racing 76
Real-Time GAN-Based Model for Underwater Image Enhancement 67
Deep acoustic learning on unmanned aerial vehicles for real-time human and drone detection 61
Integrating remote sensing and functional traits to elucidate estuarine common reed beds decline driven by soil salinity and anoxia 60
Autonomous real-time drone-to-drone visual detection by onboard hardware platform 51
Λ-symsym: An interactive tool for playing with involutions and types 48
null 36
Early Versus Late RGB–Infrared Fusion for Counter-UAV Detection: A Comparative Study 16
null 3
Totale 10.395
Salva come PNG Salva come JPEG
Categoria #
all - tutte 36.275
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 36.275
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022387 0 0 0 0 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/20262.854 245 239 187 244 418 243 322 86 270 277 219 104
2026/20271.148 98 208 314 459 69 0 0 0 0 0 0 0
Totale 10.395