IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.859
AS - Asia 2.191
EU - Europa 1.588
SA - Sud America 299
AF - Africa 47
OC - Oceania 12
Continente sconosciuto - Info sul continente non disponibili 3
Totale 8.999
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.779
SG - Singapore 924
CN - Cina 559
IT - Italia 390
UA - Ucraina 281
BR - Brasile 231
DE - Germania 203
HK - Hong Kong 200
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 55
BD - Bangladesh 53
NL - Olanda 34
KR - Corea 28
AR - Argentina 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 13
EC - Ecuador 11
PH - Filippine 11
LT - Lituania 10
MA - Marocco 10
IR - Iran 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
CY - Cipro 2
DZ - Algeria 2
ET - Etiopia 2
HN - Honduras 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
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
Totale 8.996
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Singapore 440
Ashburn 379
Houston 371
Chandler 351
Fairfield 337
San Jose 205
Hong Kong 197
Beijing 195
Jacksonville 181
Wilmington 159
Udine 137
Dearborn 136
Seattle 122
Council Bluffs 116
Cambridge 114
Boardman 85
Hefei 73
Los Angeles 67
Dublin 59
Princeton 54
Lauterbourg 50
Izmir 44
Ho Chi Minh City 43
Trieste 36
New York 34
The Dalles 34
Munich 33
Buffalo 31
San Diego 31
Dong Ket 30
Seoul 28
Dallas 24
Santa Clara 23
Hanoi 22
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
Mumbai 14
Norwalk 14
Nuremberg 14
Montreal 13
Atlanta 12
Brooklyn 12
Frankfurt am Main 12
Tokyo 12
Grafing 11
London 11
Orem 11
Toronto 11
Brno 10
Chennai 10
Chicago 10
Milan 10
Phoenix 10
Reggio Nell'emilia 10
Rio de Janeiro 10
Turku 10
Vedelago 10
Vienna 10
Hangzhou 9
Leawood 9
Monmouth Junction 9
Columbus 8
Denver 8
Guangzhou 8
Johannesburg 8
Shanghai 8
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
Taipei 6
Ankara 5
Baku 5
Boston 5
Da Nang 5
Fuzhou 5
Kuala Lumpur 5
Kunming 5
Prague 5
Quito 5
Totale 5.815
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 239
AI Techniques in a Context-Aware Ubiquitous Environment 237
Mobile Information Retrieval 224
Mechanizing type environments in weak HOAS 215
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 214
Finding Important Locations: A Feature-based Approach 211
Plugging-in proof development environments using Locks in LF 211
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 209
A context-aware retrieval system for mobile applications 204
A Framework for Typed HOAS and Semantics 201
A Conditional Logical Framework 196
A weak HOAS approach to the POPLmark Challenge 184
An Open Logical Framework 184
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 183
LaxF: Side Conditions and External Evidence as Monads 183
Content-based similarity of Twitter users 181
Consistency of the Theory of Contexts 178
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 164
pi-calculus in (Co)Inductive Type Theory 162
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 159
Exploiting news to categorize tweets: Quantifying the impact of different news collections 159
MoBe: a framework for context-aware mobile applications. 158
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 156
Is Semitransparency Useful for Navigating Virtual Environments? 154
Logical Predicates as First-Class Citizens in LF 152
Implementing cantor’s paradise 145
Mining movement data to extract personal points of interest: A feature based approach 142
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 140
Revisiting the bookkeeping technique in HOAS-based encodings 138
Towards a logical framework with intersection and union types 132
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 131
LLF – A Logical-Logical Framework 130
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 125
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
The Theory of Contexts for First Order and Higher Order Abstract Syntax 123
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 120
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 118
Mobility Types in Coq 118
Context Aware Browser 117
Λ!-calculus, intersection types, and involutions 115
LF+ in Coq for fast-and-loose reasoning 115
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 113
An integrated low-cost system for object detection in underwater environments 110
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 103
The involutions-as-principal types/ application-as-unification analogy 97
The Context-Aware Browser 96
LFP - A Logical Framework with External Predicates 93
Programmazione web lato server - Seconda edizione aggiornata 92
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 89
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 87
Programmazione Web Lato Server 87
Programmazione web lato server, 2a edizione 83
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area 81
The ∆-framework 79
Preface 75
Two Views on Unification: Terms as Strategies 71
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 70
Oceanus: A context-aware low-cost navigation aid for yacht racing 67
Principal types as partial involutions 64
A cost-effective autonomous underwater system for small size object detection 58
Deep Acoustic Learning on Unmanned Aerial Vehicles for Real-Time Human and Drone Detection 58
Multi-Perspective RGB and Infrared Dataset for UAV Detection 57
Real-Time GAN-Based Model for Underwater Image Enhancement 54
Integrating remote sensing and functional traits to elucidate estuarine common reed beds decline driven by soil salinity and anoxia 41
null 36
Λ-symsym: An interactive tool for playing with involutions and types 31
Deep acoustic learning on unmanned aerial vehicles for real-time human and drone detection 8
null 3
Totale 9.186
Salva come PNG Salva come JPEG
Categoria #
all - tutte 31.704
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 31.704
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202157 0 0 0 0 0 0 0 0 0 0 0 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.793 245 239 187 244 418 243 322 86 270 277 219 43
Totale 9.186