SCAGNETTO, Ivan
 Distribuzione geografica
Continente #
NA - Nord America 3.610
EU - Europa 1.004
AS - Asia 318
SA - Sud America 4
AF - Africa 3
Continente sconosciuto - Info sul continente non disponibili 3
OC - Oceania 3
Totale 4.945
Nazione #
US - Stati Uniti d'America 3.581
UA - Ucraina 275
IT - Italia 227
CN - Cina 169
SE - Svezia 135
DE - Germania 134
FI - Finlandia 80
IE - Irlanda 50
TR - Turchia 44
IN - India 35
VN - Vietnam 30
CA - Canada 29
GB - Regno Unito 27
SG - Singapore 17
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
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 4.945
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Chandler 351
Fairfield 337
Jacksonville 180
Ashburn 177
Wilmington 159
Dearborn 136
Seattle 120
Cambridge 114
Udine 97
Beijing 64
Princeton 54
Dublin 50
Izmir 43
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Ottawa 18
Ogden 17
Boardman 16
Brussels 15
Des Moines 15
Norwalk 14
Hefei 13
Singapore 12
Grafing 11
Brno 10
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
New York 8
Jinan 7
Nove 7
Codroipo 6
Los Angeles 6
Amsterdam 5
Columbus 5
Fuzhou 5
Kunming 5
Naaldwijk 5
Toronto 5
Warsaw 5
Zanjan 5
Augusta 4
Bovegno 4
Castelfranco Veneto 4
Gravedona 4
Guangzhou 4
Hangzhou 4
Helsinki 4
Milan 4
Montreal 4
Nanchang 4
Prague 4
Taipei 4
Treviso 4
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
Mumbai 2
Ningbo 2
Paris 2
Pizzo 2
Pune 2
Raleigh 2
Redwood City 2
San Mateo 2
Santa Clara 2
Southbury 2
Tallinn 2
Vicenza 2
Washington 2
West Jordan 2
Acerra 1
Acquaviva Delle Fonti 1
Amman 1
Totale 3.674
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 156
Finding Important Locations: A Feature-based Approach 154
LaxF: Side Conditions and External Evidence as Monads 144
Mobile Information Retrieval 143
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 142
Internal Adequacy of Bookkeeping in Coq 137
AI Techniques in a Context-Aware Ubiquitous Environment 136
Mechanizing type environments in weak HOAS 135
A Conditional Logical Framework 134
A Framework for Typed HOAS and Semantics 132
Plugging-in proof development environments using Locks in LF 131
A context-aware retrieval system for mobile applications 131
A weak HOAS approach to the POPLmark Challenge 129
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 127
Consistency of the Theory of Contexts 123
Content-based similarity of Twitter users 123
pi-calculus in (Co)Inductive Type Theories 122
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 122
Is Semitransparency Useful for Navigating Virtual Environments? 122
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 116
A distributed infrastructure for publishing VO services: An implementation 115
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 110
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 106
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 104
Mining movement data to extract personal points of interest: A feature based approach 100
Towards a logical framework with intersection and union types 97
MoBe: a framework for context-aware mobile applications. 94
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) 91
AI on the move: exploiting AI techniques for context inference on mobile devices 89
Revisiting the bookkeeping technique in HOAS-based encodings 84
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 83
Exploiting news to categorize tweets: Quantifying the impact of different news collections 78
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 77
An Open Logical Framework 76
The Theory of Contexts for First Order and Higher Order Abstract Syntax 73
LLF – A Logical-Logical Framework 73
Mobility Types in Coq 70
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 67
Implementing cantor’s paradise 67
LFP - A Logical Framework with External Predicates 61
The Context-Aware Browser 61
Context Aware Browser 60
Λ!-calculus, intersection types, and involutions 60
LF+ in Coq for fast-and-loose reasoning 57
Logical Predicates as First-Class Citizens in LF 56
An integrated low-cost system for object detection in underwater environments 56
The ∆-framework 52
Programmazione web lato server - Seconda edizione aggiornata 40
Programmazione Web Lato Server 38
Programmazione web lato server, 2a edizione 37
The involutions-as-principal types/ application-as-unification analogy 34
Preface 32
Oceanus: A context-aware low-cost navigation aid for yacht racing 29
Λ-symsym: An interactive tool for playing with involutions and types 29
Acquisition and integration of differential pressure measurements on sails for boat performances improvement 17
An Integrated Monitoring System for Aerial Drones and Underwater ROVs 12
A broadcast sub-GHz framework for unmanned aerial vehicles clock synchronization 12
Sub-Gigahertz Path Loss Measurement Campaign in Marine Environment: A Case Study 6
Real-Time GAN-Based Model for Underwater Image Enhancement 6
Lake Environmental Data Harvester (LED) for Alpine Lake Monitoring with Autonomous Surface Vehicles (ASVs) 3
Totale 5.071
Categoria #
all - tutte 15.710
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 15.710


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.256 80 73 46 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/202524 24 0 0 0 0 0 0 0 0 0 0 0
Totale 5.071