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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021210 0 0 0 0 0 0 0 0 0 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/20262.470 245 239 187 244 418 243 322 86 270 216 0 0
Totale 8.863