IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.235
AS - Asia 1.707
EU - Europa 1.388
SA - Sud America 245
AF - Africa 33
OC - Oceania 7
Continente sconosciuto - Info sul continente non disponibili 3
Totale 7.618
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.174
SG - Singapore 739
CN - Cina 452
IT - Italia 319
UA - Ucraina 278
BR - Brasile 200
DE - Germania 191
HK - Hong Kong 184
SE - Svezia 146
RU - Federazione Russa 100
FI - Finlandia 97
VN - Vietnam 94
IN - India 61
GB - Regno Unito 56
IE - Irlanda 54
TR - Turchia 50
CA - Canada 47
KR - Corea 27
NL - Olanda 27
AR - Argentina 18
BE - Belgio 18
BD - Bangladesh 17
AT - Austria 16
CZ - Repubblica Ceca 16
ES - Italia 15
FR - Francia 15
ZA - Sudafrica 14
JP - Giappone 13
PL - Polonia 12
IR - Iran 9
EC - Ecuador 8
MX - Messico 8
TW - Taiwan 8
LT - Lituania 7
MA - Marocco 7
AE - Emirati Arabi Uniti 6
ID - Indonesia 6
CO - Colombia 5
IQ - Iraq 4
KE - Kenya 4
KZ - Kazakistan 4
PH - Filippine 4
RO - Romania 4
UY - Uruguay 4
AU - Australia 3
AZ - Azerbaigian 3
CL - Cile 3
EE - Estonia 3
EU - Europa 3
HU - Ungheria 3
IL - Israele 3
LB - Libano 3
NZ - Nuova Zelanda 3
PK - Pakistan 3
VE - Venezuela 3
DZ - Algeria 2
HR - Croazia 2
JO - Giordania 2
PA - Panama 2
PE - Perù 2
PT - Portogallo 2
SA - Arabia Saudita 2
TG - Togo 2
TH - Thailandia 2
UZ - Uzbekistan 2
BB - Barbados 1
BO - Bolivia 1
BY - Bielorussia 1
CH - Svizzera 1
CM - Camerun 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
HN - Honduras 1
KG - Kirghizistan 1
KH - Cambogia 1
LK - Sri Lanka 1
MD - Moldavia 1
MY - Malesia 1
NP - Nepal 1
NR - Nauru 1
PS - Palestinian Territory 1
PY - Paraguay 1
QA - Qatar 1
RS - Serbia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
SV - El Salvador 1
TM - Turkmenistan 1
TN - Tunisia 1
Totale 7.618
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Houston 369
Chandler 351
Fairfield 337
Singapore 335
Ashburn 325
Beijing 187
Hong Kong 181
Jacksonville 180
Wilmington 159
Dearborn 136
Udine 124
Seattle 121
Cambridge 114
Boardman 76
Hefei 73
Los Angeles 62
Dublin 54
Princeton 54
Izmir 43
Trieste 36
Munich 32
San Diego 31
Dong Ket 30
Buffalo 29
New York 29
Seoul 27
Ho Chi Minh City 24
Dallas 23
Nanjing 22
Ottawa 19
Redondo Beach 19
São Paulo 19
Brussels 18
Ogden 17
Hanoi 16
Des Moines 15
Amsterdam 14
Norwalk 14
Stockholm 14
Mumbai 12
Santa Clara 12
Warsaw 12
Grafing 11
Nuremberg 11
Rome 11
Tokyo 11
Toronto 11
Brno 10
Chicago 10
Phoenix 10
Reggio Nell'emilia 10
Rio de Janeiro 10
Turku 10
Vienna 10
Brooklyn 9
Leawood 9
London 9
Monmouth Junction 9
Montreal 9
Guangzhou 8
Atlanta 7
Brescia 7
Frankfurt am Main 7
Helsinki 7
Jinan 7
Johannesburg 7
Milan 7
Nove 7
Belo Horizonte 6
Chennai 6
Codroipo 6
Columbus 6
Hangzhou 6
Moscow 6
Poplar 6
Shanghai 6
Taipei 6
Boston 5
Denver 5
Dhaka 5
Fuzhou 5
Kunming 5
Manchester 5
Naaldwijk 5
Prague 5
Treviso 5
Zanjan 5
Ankara 4
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Charlotte 4
Falkenstein 4
Gravedona 4
Hyderabad 4
Montevideo 4
Nairobi 4
Nanchang 4
Totale 5.065
Salva come PNG Salva come JPEG
Nome #
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 211
AI Techniques in a Context-Aware Ubiquitous Environment 208
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 198
Finding Important Locations: A Feature-based Approach 198
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 197
Mobile Information Retrieval 187
Mechanizing type environments in weak HOAS 182
A Framework for Typed HOAS and Semantics 179
A context-aware retrieval system for mobile applications 176
A Conditional Logical Framework 175
Plugging-in proof development environments using Locks in LF 170
LaxF: Side Conditions and External Evidence as Monads 169
Internal Adequacy of Bookkeeping in Coq 169
A weak HOAS approach to the POPLmark Challenge 168
Content-based similarity of Twitter users 166
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 165
Consistency of the Theory of Contexts 160
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 156
pi-calculus in (Co)Inductive Type Theories 149
Is Semitransparency Useful for Navigating Virtual Environments? 147
A distributed infrastructure for publishing VO services: An implementation 146
AI on the move: exploiting AI techniques for context inference on mobile devices 145
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 145
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 141
An Open Logical Framework 136
MoBe: a framework for context-aware mobile applications. 134
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 131
Mining movement data to extract personal points of interest: A feature based approach 131
Logical Predicates as First-Class Citizens in LF 125
Towards a logical framework with intersection and union types 125
Revisiting the bookkeeping technique in HOAS-based encodings 123
Exploiting news to categorize tweets: Quantifying the impact of different news collections 118
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 116
The Theory of Contexts for First Order and Higher Order Abstract Syntax 112
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) 112
LLF – A Logical-Logical Framework 110
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 109
Mobility Types in Coq 106
Implementing cantor’s paradise 106
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 104
LF+ in Coq for fast-and-loose reasoning 99
An integrated low-cost system for object detection in underwater environments 99
Context Aware Browser 97
Λ!-calculus, intersection types, and involutions 96
The Context-Aware Browser 88
LFP - A Logical Framework with External Predicates 86
The involutions-as-principal types/ application-as-unification analogy 86
null 84
Programmazione web lato server - Seconda edizione aggiornata 81
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 76
Programmazione Web Lato Server 73
Programmazione web lato server, 2a edizione 70
The ∆-framework 69
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 68
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 67
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 65
Preface 64
Oceanus: A context-aware low-cost navigation aid for yacht racing 58
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area 52
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 52
Two Views on Unification: Terms as Strategies 50
Principal types as partial involutions 40
Multi-Perspective RGB and Infrared Dataset for UAV Detection 39
null 36
Real-Time GAN-Based Model for Underwater Image Enhancement 33
Λ-symsym: An interactive tool for playing with involutions and types 24
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 19
Deep Acoustic Learning on Unmanned Aerial Vehicles for Real-Time Human and Drone Detection 12
null 3
Totale 7.791
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.056
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 28.056
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021490 0 0 0 0 0 78 27 73 102 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/20261.398 245 239 187 250 430 47 0 0 0 0 0 0
Totale 7.791