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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
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/20262.854 245 239 187 244 418 243 322 86 270 277 219 104
2026/202784 84 0 0 0 0 0 0 0 0 0 0 0
Totale 9.331