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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022490 0 0 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/2027415 98 208 109 0 0 0 0 0 0 0 0 0
Totale 9.662