IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.690
EU - Europa 1.014
AS - Asia 400
SA - Sud America 6
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 5.119
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.661
UA - Ucraina 275
IT - Italia 234
CN - Cina 174
DE - Germania 135
SE - Svezia 135
SG - Singapore 94
FI - Finlandia 82
IE - Irlanda 50
TR - Turchia 44
IN - India 35
VN - Vietnam 30
CA - Canada 29
GB - Regno Unito 27
BE - Belgio 15
CZ - Repubblica Ceca 14
NL - Olanda 13
FR - Francia 9
IR - Iran 9
TW - Taiwan 6
PL - Polonia 5
RU - Federazione Russa 5
RO - Romania 4
AU - Australia 3
EU - Europa 3
HU - Ungheria 3
PH - Filippine 3
EE - Estonia 2
HK - Hong Kong 2
TG - Togo 2
UY - Uruguay 2
AT - Austria 1
BR - Brasile 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
EC - Ecuador 1
HR - Croazia 1
JO - Giordania 1
JP - Giappone 1
MD - Moldavia 1
MY - Malesia 1
PT - Portogallo 1
RS - Serbia 1
SI - Slovenia 1
Totale 5.119
Salva come PNG Salva come JPEG
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Chandler 351
Fairfield 337
Ashburn 180
Jacksonville 180
Wilmington 159
Dearborn 136
Seattle 120
Cambridge 114
Udine 99
Singapore 78
Boardman 76
Beijing 66
Princeton 54
Dublin 50
Izmir 43
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Ottawa 18
Ogden 17
Brussels 15
Des Moines 15
Norwalk 14
Hefei 13
Grafing 11
Brno 10
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
New York 8
Santa Clara 8
Jinan 7
Nove 7
Codroipo 6
Los Angeles 6
Amsterdam 5
Columbus 5
Fuzhou 5
Guangzhou 5
Helsinki 5
Kunming 5
Naaldwijk 5
Toronto 5
Warsaw 5
Zanjan 5
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Dallas 4
Gravedona 4
Hangzhou 4
Milan 4
Montreal 4
Nanchang 4
Prague 4
Taipei 4
Treviso 4
Alberobello 3
Andover 3
Budapest 3
Chicago 3
Hyderabad 3
Leipzig 3
Menlo Park 3
Munich 3
Nuremberg 3
Paranaque City 3
Phoenix 3
Pignone 3
Redmond 3
Rome 3
Saint Petersburg 3
Shanghai 3
Stockholm 3
Wuhan 3
Chengdu 2
Edinburgh 2
Guilford 2
Indiana 2
Jiaxing 2
Lanzo 2
Lomé 2
Montevideo 2
Mumbai 2
Ningbo 2
Paris 2
Pizzo 2
Pune 2
Raleigh 2
Redwood City 2
San Mateo 2
Southbury 2
Tallinn 2
Vicenza 2
Washington 2
West Jordan 2
Totale 3.821
Salva come PNG Salva come JPEG
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 160
Finding Important Locations: A Feature-based Approach 158
LaxF: Side Conditions and External Evidence as Monads 148
Mobile Information Retrieval 146
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 144
Internal Adequacy of Bookkeeping in Coq 139
AI Techniques in a Context-Aware Ubiquitous Environment 138
Mechanizing type environments in weak HOAS 138
A Conditional Logical Framework 137
Plugging-in proof development environments using Locks in LF 137
A Framework for Typed HOAS and Semantics 134
A context-aware retrieval system for mobile applications 133
A weak HOAS approach to the POPLmark Challenge 131
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 129
Consistency of the Theory of Contexts 126
Content-based similarity of Twitter users 126
pi-calculus in (Co)Inductive Type Theories 124
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 124
Is Semitransparency Useful for Navigating Virtual Environments? 124
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 118
A distributed infrastructure for publishing VO services: An implementation 117
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 113
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 109
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 105
Mining movement data to extract personal points of interest: A feature based approach 102
Towards a logical framework with intersection and union types 100
MoBe: a framework for context-aware mobile applications. 96
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) 93
AI on the move: exploiting AI techniques for context inference on mobile devices 91
Revisiting the bookkeeping technique in HOAS-based encodings 87
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 86
LLF – A Logical-Logical Framework 81
The Theory of Contexts for First Order and Higher Order Abstract Syntax 80
Exploiting news to categorize tweets: Quantifying the impact of different news collections 80
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 80
An Open Logical Framework 79
Mobility Types in Coq 73
Implementing cantor’s paradise 69
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 68
LFP - A Logical Framework with External Predicates 64
Λ!-calculus, intersection types, and involutions 63
Context Aware Browser 62
The Context-Aware Browser 62
Logical Predicates as First-Class Citizens in LF 61
LF+ in Coq for fast-and-loose reasoning 60
An integrated low-cost system for object detection in underwater environments 59
The ∆-framework 54
Programmazione web lato server - Seconda edizione aggiornata 42
Programmazione web lato server, 2a edizione 39
Programmazione Web Lato Server 39
The involutions-as-principal types/ application-as-unification analogy 38
Preface 34
Oceanus: A context-aware low-cost navigation aid for yacht racing 32
Λ-symsym: An interactive tool for playing with involutions and types 32
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 21
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 20
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 15
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 10
Real-Time GAN-Based Model for Underwater Image Enhancement 9
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 6
Totale 5.245
Salva come PNG Salva come JPEG
Categoria #
all - tutte 17.339
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 17.339
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.057 0 0 0 158 77 194 157 133 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/2025198 37 76 78 7 0 0 0 0 0 0 0 0
Totale 5.245