IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.765
EU - Europa 1.198
AS - Asia 558
SA - Sud America 28
AF - Africa 8
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.564
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.728
IT - Italia 279
UA - Ucraina 276
SG - Singapore 204
CN - Cina 198
DE - Germania 153
SE - Svezia 136
RU - Federazione Russa 93
FI - Finlandia 84
IE - Irlanda 51
TR - Turchia 45
IN - India 37
CA - Canada 35
GB - Regno Unito 34
VN - Vietnam 30
BR - Brasile 21
BE - Belgio 18
NL - Olanda 16
CZ - Repubblica Ceca 14
FR - Francia 10
IR - Iran 9
AT - Austria 8
TW - Taiwan 8
PL - Polonia 5
LT - Lituania 4
RO - Romania 4
AU - Australia 3
EE - Estonia 3
EU - Europa 3
HK - Hong Kong 3
HU - Ungheria 3
PH - Filippine 3
AE - Emirati Arabi Uniti 2
BD - Bangladesh 2
IL - Israele 2
IQ - Iraq 2
JP - Giappone 2
MA - Marocco 2
TG - Togo 2
TH - Thailandia 2
UY - Uruguay 2
CH - Svizzera 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
DK - Danimarca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GE - Georgia 1
HR - Croazia 1
JO - Giordania 1
KG - Kirghizistan 1
KH - Cambogia 1
LB - Libano 1
LK - Sri Lanka 1
MD - Moldavia 1
MY - Malesia 1
NZ - Nuova Zelanda 1
PA - Panama 1
PE - Perù 1
PK - Pakistan 1
PT - Portogallo 1
RS - Serbia 1
SI - Slovenia 1
TM - Turkmenistan 1
VE - Venezuela 1
ZA - Sudafrica 1
Totale 5.564
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Chandler 351
Fairfield 337
Ashburn 180
Jacksonville 180
Wilmington 159
Singapore 137
Dearborn 136
Seattle 121
Udine 119
Cambridge 114
Boardman 76
Beijing 66
Princeton 54
Dublin 51
Izmir 43
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Los Angeles 19
Ottawa 19
Brussels 18
Ogden 17
Des Moines 15
Norwalk 14
Hefei 13
Grafing 11
Brno 10
Munich 10
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
Santa Clara 9
Toronto 9
New York 8
Nuremberg 8
Guangzhou 7
Jinan 7
Nove 7
Rome 7
Amsterdam 6
Codroipo 6
Helsinki 6
Milan 6
Moscow 6
Shanghai 6
Taipei 6
Brescia 5
Columbus 5
Fuzhou 5
Kunming 5
Montreal 5
Naaldwijk 5
Warsaw 5
Zanjan 5
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Dallas 4
Frankfurt am Main 4
Gravedona 4
Hangzhou 4
London 4
Nanchang 4
Prague 4
San Michele al Tagliamento 4
Stockholm 4
Treviso 4
Vienna 4
Alberobello 3
Andover 3
Budapest 3
Chicago 3
Florence 3
Fulham 3
Hyderabad 3
Leipzig 3
Menlo Park 3
Padova 3
Paranaque City 3
Paris 3
Phoenix 3
Pignone 3
Redmond 3
Saint Petersburg 3
Shenzhen 3
Tallinn 3
Wuhan 3
Bangkok 2
Chengdu 2
Dhaka 2
Edinburgh 2
Guilford 2
Harbin 2
Hong Kong 2
Indiana 2
Jiaxing 2
Totale 3.974
Salva come PNG Salva come JPEG
Nome #
Finding Important Locations: A Feature-based Approach 167
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 166
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 156
AI Techniques in a Context-Aware Ubiquitous Environment 155
LaxF: Side Conditions and External Evidence as Monads 150
Mobile Information Retrieval 150
Internal Adequacy of Bookkeeping in Coq 147
A Conditional Logical Framework 146
Mechanizing type environments in weak HOAS 146
A context-aware retrieval system for mobile applications 144
A Framework for Typed HOAS and Semantics 143
Plugging-in proof development environments using Locks in LF 140
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 138
A weak HOAS approach to the POPLmark Challenge 137
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 132
Consistency of the Theory of Contexts 131
Content-based similarity of Twitter users 131
pi-calculus in (Co)Inductive Type Theories 127
Is Semitransparency Useful for Navigating Virtual Environments? 127
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 124
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 123
A distributed infrastructure for publishing VO services: An implementation 122
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 114
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 109
Mining movement data to extract personal points of interest: A feature based approach 106
Towards a logical framework with intersection and union types 103
MoBe: a framework for context-aware mobile applications. 102
AI on the move: exploiting AI techniques for context inference on mobile devices 99
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) 97
null 95
Revisiting the bookkeeping technique in HOAS-based encodings 91
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 90
LLF – A Logical-Logical Framework 86
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 86
Exploiting news to categorize tweets: Quantifying the impact of different news collections 85
The Theory of Contexts for First Order and Higher Order Abstract Syntax 83
Implementing cantor’s paradise 79
Mobility Types in Coq 78
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 73
LF+ in Coq for fast-and-loose reasoning 73
Λ!-calculus, intersection types, and involutions 71
Context Aware Browser 69
LFP - A Logical Framework with External Predicates 68
The Context-Aware Browser 68
An integrated low-cost system for object detection in underwater environments 67
Logical Predicates as First-Class Citizens in LF 63
The ∆-framework 56
The involutions-as-principal types/ application-as-unification analogy 46
Programmazione web lato server - Seconda edizione aggiornata 45
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 44
Programmazione web lato server, 2a edizione 44
Programmazione Web Lato Server 43
Preface 42
Oceanus: A context-aware low-cost navigation aid for yacht racing 38
null 36
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 35
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 31
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 30
A dynamic neural network model for the identification of asbestos roofings in hyperspectral images covering a large regional area 19
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 17
Real-Time GAN-Based Model for Underwater Image Enhancement 16
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 12
Two Views on Unification: Terms as Strategies 6
An Open Logical Framework 3
Totale 5.720
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.787
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 20.787
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020338 0 0 0 0 0 0 0 0 91 146 20 81
2020/2021672 12 74 6 78 12 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/2025673 37 76 78 71 54 81 97 73 106 0 0 0
Totale 5.720