IRIS
SCAGNETTO, Ivan
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.764
EU - Europa 1.210
AS - Asia 538
SA - Sud America 17
AF - Africa 7
OC - Oceania 4
Continente sconosciuto - Info sul continente non disponibili 3
Totale 5.543
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.729
IT - Italia 292
UA - Ucraina 275
CN - Cina 198
SG - Singapore 186
DE - Germania 154
SE - Svezia 136
RU - Federazione Russa 93
FI - Finlandia 84
IE - Irlanda 51
TR - Turchia 44
IN - India 37
CA - Canada 34
GB - Regno Unito 34
VN - Vietnam 30
BE - Belgio 18
NL - Olanda 16
CZ - Repubblica Ceca 14
BR - Brasile 10
FR - Francia 10
IR - Iran 9
TW - Taiwan 8
AT - Austria 7
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
JP - Giappone 2
KG - Kirghizistan 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
DZ - Algeria 1
EC - Ecuador 1
EG - Egitto 1
GE - Georgia 1
HR - Croazia 1
IQ - Iraq 1
JO - Giordania 1
KH - Cambogia 1
LK - Sri Lanka 1
MA - Marocco 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.543
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
Singapore 135
Seattle 121
Udine 120
Cambridge 114
Boardman 76
Beijing 66
Princeton 54
Dublin 51
Izmir 43
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Ottawa 19
Brussels 18
Los Angeles 17
Ogden 17
Des Moines 15
Norwalk 14
Hefei 13
Grafing 11
Brno 10
Munich 10
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
San Michele al Tagliamento 9
Santa Clara 9
Toronto 9
New York 8
Nuremberg 8
Brescia 7
Guangzhou 7
Jinan 7
Milan 7
Nove 7
Rome 7
Amsterdam 6
Codroipo 6
Helsinki 6
Moscow 6
Shanghai 6
Taipei 6
Columbus 5
Fuzhou 5
Kunming 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
Montreal 4
Nanchang 4
Prague 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
Venice 3
Wuhan 3
Bangkok 2
Bishkek 2
Chengdu 2
Council Bluffs 2
Dhaka 2
Edinburgh 2
Guilford 2
Harbin 2
Totale 3.979
Salva come PNG Salva come JPEG
Nome #
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 166
Finding Important Locations: A Feature-based Approach 164
AI Techniques in a Context-Aware Ubiquitous Environment 155
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 153
LaxF: Side Conditions and External Evidence as Monads 150
Mobile Information Retrieval 149
Internal Adequacy of Bookkeeping in Coq 147
Mechanizing type environments in weak HOAS 144
A context-aware retrieval system for mobile applications 144
A Conditional Logical Framework 143
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? 126
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 121
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 114
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 108
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 98
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) 96
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
null 89
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
LLF – A Logical-Logical Framework 83
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 83
Implementing cantor’s paradise 77
Mobility Types in Coq 75
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 72
Λ!-calculus, intersection types, and involutions 71
null 70
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 44
Programmazione web lato server, 2a edizione 43
MAV-Link-Based Control and Coordination of a Multi-Drone Cluster for Intelligence, Surveillance and Reconnaissance Tasks 42
Programmazione Web Lato Server 42
Oceanus: A context-aware low-cost navigation aid for yacht racing 38
Preface 37
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
LF+ in Coq for fast-and-loose reasoning 22
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 2
Totale 5.693
Salva come PNG Salva come JPEG
Categoria #
all - tutte 20.568
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.568
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/2025646 37 76 78 71 54 81 106 80 63 0 0 0
Totale 5.693