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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020101 0 0 0 0 0 0 0 0 0 0 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/2025952 37 76 78 71 54 81 97 73 112 71 202 0
Totale 5.999