SCAGNETTO, Ivan
 Distribuzione geografica
Continente #
NA - Nord America 3020
EU - Europa 849
AS - Asia 278
Continente sconosciuto - Info sul continente non disponibili 3
SA - Sud America 2
AF - Africa 1
Totale 4153
Nazione #
US - Stati Uniti d'America 2995
UA - Ucraina 275
IT - Italia 199
CN - Cina 165
SE - Svezia 132
DE - Germania 127
FI - Finlandia 75
TR - Turchia 41
VN - Vietnam 30
IN - India 28
CA - Canada 25
GB - Regno Unito 20
IR - Iran 9
BE - Belgio 7
RU - Federazione Russa 5
PL - Polonia 4
EU - Europa 3
FR - Francia 3
TW - Taiwan 3
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
JO - Giordania 1
JP - Giappone 1
RO - Romania 1
SI - Slovenia 1
Totale 4153
Città #
Woodbridge 460
Ann Arbor 458
Houston 368
Fairfield 337
Jacksonville 180
Wilmington 159
Ashburn 146
Dearborn 136
Seattle 117
Cambridge 114
Chandler 110
Udine 91
Beijing 64
Princeton 54
Izmir 40
Trieste 32
San Diego 31
Dong Ket 30
Nanjing 22
Ottawa 18
Norwalk 14
Hefei 13
Grafing 11
Reggio Nell'emilia 10
Leawood 9
Monmouth Junction 9
Brussels 7
Jinan 7
Nove 7
Columbus 5
Fuzhou 5
Kunming 5
Toronto 5
Zanjan 5
Augusta 4
Bovegno 4
Gravedona 4
Guangzhou 4
Hangzhou 4
Nanchang 4
Warsaw 4
Andover 3
Leipzig 3
Menlo Park 3
Milan 3
Pignone 3
Redmond 3
Saint Petersburg 3
Shanghai 3
Wuhan 3
Chengdu 2
Guilford 2
Indiana 2
Jiaxing 2
Lanzo 2
Mumbai 2
New York 2
Ningbo 2
Phoenix 2
Redwood City 2
San Mateo 2
Southbury 2
Acerra 1
Acquaviva Delle Fonti 1
Amman 1
Auburn 1
Bologna 1
Brescia 1
Capriva Del Friuli 1
Catania 1
Changchun 1
Changsha 1
Costa Mesa 1
Duncan 1
Guiyang 1
Harbin 1
Hebei 1
Horia 1
Kingston 1
Kocaeli 1
Lake Forest 1
Langfang 1
Ljubljana 1
Mantova 1
Matawan 1
Medellín 1
Mestre 1
Monfalcone 1
New Delhi 1
Parma 1
Quzhou 1
Rome 1
Sacramento 1
San Jose 1
San Vito Al Tagliamento 1
Taipei 1
Taizhou 1
Torino 1
Treviso 1
Westlake 1
Totale 3196
Nome #
LaxF: Side Conditions and External Evidence as Monads 135
Finding Important Locations: A Feature-based Approach 133
Plug and Play the Theory of Contexts in Higher-Order abstract Syntax 129
Mobile Information Retrieval 124
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS 121
Mechanizing type environments in weak HOAS 120
Internal Adequacy of Bookkeeping in Coq 118
AI Techniques in a Context-Aware Ubiquitous Environment 116
Plugging-in proof development environments using Locks in LF 115
Translating Specifications from Nominal Logic to CIC with the Theory of Contexts 114
A Conditional Logical Framework 112
A context-aware retrieval system for mobile applications 112
A Framework for Typed HOAS and Semantics 111
pi-calculus in (Co)Inductive Type Theories 110
Ambient Calculus and its Logic in the Calculus of Inductive Constructions 110
A weak HOAS approach to the POPLmark Challenge 110
Content-based similarity of Twitter users 108
MoBe: Context-Aware Mobile Applications on Mobile Devices for Mobile Users 107
Is Semitransparency Useful for Navigating Virtual Environments? 107
Consistency of the Theory of Contexts 106
A distributed infrastructure for publishing VO services: An implementation 102
Short Text Categorization Exploiting Contextual Enrichment and External Knowledge 98
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. 89
Mining movement data to extract personal points of interest: A feature based approach 87
Information Filtering and Retrieving of Context-Aware Applications within the MoBe Framework 86
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) 85
Towards a logical framework with intersection and union types 82
Revisiting the bookkeeping technique in HOAS-based encodings 77
LLF – A Logical-Logical Framework 72
MoBe: a framework for context-aware mobile applications. 69
Mobility Types in Coq 69
AI on the move: exploiting AI techniques for context inference on mobile devices 68
The Theory of Contexts for First Order and Higher Order Abstract Syntax 68
LLFp: A logical framework for modeling external evidence, side conditions, and proof irrelevance using monads 67
An Open Logical Framework 66
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface 66
Types for Proofs and Programs International Conference, TYPES 2007, Revised Selected Papers 65
LFP - A Logical Framework with External Predicates 59
Exploiting news to categorize tweets: Quantifying the impact of different news collections 57
Logical Predicates as First-Class Citizens in LF 55
Implementing cantor’s paradise 52
Λ!-calculus, intersection types, and involutions 48
The Context-Aware Browser 46
Context Aware Browser 43
LF+ in Coq for fast-and-loose reasoning 42
Programmazione web lato server - Seconda edizione aggiornata 35
Programmazione Web Lato Server 35
Programmazione web lato server, 2a edizione 34
The ∆-framework 32
Λ-symsym: An interactive tool for playing with involutions and types 20
An integrated low-cost system for object detection in underwater environments 19
Preface 18
The involutions-as-principal types/ application-as-unification analogy 17
Oceanus: A context-aware low-cost navigation aid for yacht racing 15
Totale 4261
Categoria #
all - tutte 5870
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 5870


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2017/2018381 0000 083 23236 211107
2018/2019429 21157 24 751 265168105
2019/20201256 807346158 77194 157133 911462081
2020/2021672 1274678 1278 2773 102688557
2021/2022586 54422182 1420 3016 87914278
2022/2023176 64711229 00 00 0000
Totale 4261