IRIS
PULINA, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 6.299
AS - Asia 3.152
EU - Europa 2.435
SA - Sud America 1.955
Continente sconosciuto - Info sul continente non disponibili 135
AF - Africa 129
OC - Oceania 7
Totale 14.112
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 6.064
BR - Brasile 1.730
SG - Singapore 1.337
CN - Cina 867
IT - Italia 764
UA - Ucraina 541
DE - Germania 287
HK - Hong Kong 242
VN - Vietnam 210
SE - Svezia 178
FR - Francia 171
GB - Regno Unito 152
FI - Finlandia 91
CA - Canada 86
AR - Argentina 73
TR - Turchia 72
IN - India 63
BD - Bangladesh 58
MX - Messico 55
IQ - Iraq 47
RU - Federazione Russa 41
ZA - Sudafrica 40
EC - Ecuador 36
JP - Giappone 33
KR - Corea 32
CO - Colombia 29
VE - Venezuela 27
MA - Marocco 26
PK - Pakistan 26
BE - Belgio 25
PE - Perù 23
LT - Lituania 22
UZ - Uzbekistan 22
PL - Polonia 21
CZ - Repubblica Ceca 20
ES - Italia 19
NL - Olanda 18
PH - Filippine 17
HN - Honduras 16
JO - Giordania 16
SA - Arabia Saudita 16
DZ - Algeria 14
ID - Indonesia 14
AT - Austria 13
CL - Cile 12
KE - Kenya 12
AE - Emirati Arabi Uniti 11
CR - Costa Rica 11
NP - Nepal 11
PT - Portogallo 10
UY - Uruguay 10
GR - Grecia 9
JM - Giamaica 9
TN - Tunisia 9
AL - Albania 8
EG - Egitto 8
GT - Guatemala 8
NI - Nicaragua 8
NO - Norvegia 8
OM - Oman 8
PY - Paraguay 8
SV - El Salvador 8
TT - Trinidad e Tobago 8
AU - Australia 7
DO - Repubblica Dominicana 7
KZ - Kazakistan 7
PA - Panama 7
BO - Bolivia 6
GE - Georgia 6
PR - Porto Rico 6
PS - Palestinian Territory 6
BG - Bulgaria 5
EU - Europa 5
IE - Irlanda 5
KG - Kirghizistan 5
RO - Romania 5
RS - Serbia 5
CH - Svizzera 4
CW - ???statistics.table.value.countryCode.CW??? 4
EE - Estonia 4
GP - Guadalupe 4
LB - Libano 4
AZ - Azerbaigian 3
CI - Costa d'Avorio 3
NG - Nigeria 3
SN - Senegal 3
BH - Bahrain 2
BN - Brunei Darussalam 2
BY - Bielorussia 2
CG - Congo 2
ET - Etiopia 2
GA - Gabon 2
IR - Iran 2
KW - Kuwait 2
LA - Repubblica Popolare Democratica del Laos 2
LI - Liechtenstein 2
MY - Malesia 2
SC - Seychelles 2
SK - Slovacchia (Repubblica Slovacca) 2
SY - Repubblica araba siriana 2
Totale 13.972
Salva come PNG Salva come JPEG
Città #
Dallas 1.272
Singapore 689
Chandler 636
San Jose 612
Ashburn 421
Jacksonville 300
Council Bluffs 257
Hong Kong 237
Santa Clara 213
Princeton 200
Beijing 184
Columbus 148
São Paulo 136
Milan 124
Nanjing 121
Staranzano 109
Lauterbourg 105
Dearborn 101
Los Angeles 99
Sassari 88
Wilmington 87
Ho Chi Minh City 84
Shanghai 80
Ann Arbor 62
New York 60
Rio de Janeiro 53
Rome 48
Nanchang 45
Hanoi 40
Boardman 38
Curitiba 35
Tianjin 33
Belo Horizonte 32
Tokyo 31
Seoul 30
London 29
Phoenix 29
Changsha 28
Izmir 27
Jiaxing 26
Munich 26
San Francisco 26
The Dalles 26
Brussels 25
Campinas 25
Frankfurt am Main 25
Brasília 24
Hebei 24
Porto Alegre 24
Toronto 24
Buffalo 23
Orem 22
Poplar 22
Salvador 22
Woodbridge 22
Atlanta 21
Baghdad 21
Boston 21
Helsinki 21
Shenyang 21
Chennai 19
Chicago 19
Tashkent 19
Warsaw 18
Johannesburg 17
Miano 16
Andover 15
Brooklyn 15
Lima 15
Amman 14
Da Nang 14
Denver 14
Fortaleza 14
Kunming 14
Mexico City 14
Norwalk 14
Quito 14
Stockholm 14
Goiânia 13
Nuremberg 13
Dhaka 12
Guarulhos 12
Guayaquil 12
Hangzhou 12
Ottawa 12
Ankara 11
Campo Grande 11
Houston 11
Jinan 11
Montreal 11
Sumaré 11
São Bernardo do Campo 11
Cape Town 10
Florence 10
Istanbul 10
Mumbai 10
Nairobi 10
Osasco 10
San José 10
Santo André 10
Totale 7.936
Salva come PNG Salva come JPEG
Nome #
A Domain Ontology for Historical Research Documents 254
A self-adaptive multi-engine solver for quantified Boolean formulas 199
A framework for automatic population of ontology-based digital libraries 189
A user model ontology for adaptive systems in cultural tourism domain 177
Understanding and Modeling Visitors’ Behaviours for Enhancing Personalized Cultural Experience 175
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 165
CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments 164
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America 161
On leveraging facial emotion recognition techniques in personalized recommendations 161
An empirical perspective on ten years of QBF solving 157
A Systematic Literature Review of Supervised Machine Learning Techniques for Predictive Maintenance in Industry 4.0 155
SMT-Based Consistency Checking of Configuration-Based Components Specifications 155
Preface 153
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing 151
ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents 150
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 150
ARKIVO: An ontology for describing archival resources 150
OBDA and Intermodal Logistics: Active Projects and Applications 148
Algorithm Selection for Paracoherent Answer Set Computation 144
Property specification patterns at work: verification and inconsistency explanation 143
An Ontology-Based Archive for Historical Research 142
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 139
A Multi-Engine approach to Answer Set Programming 139
A Multi-engine Solver for Quantified Boolean Formulas 138
Advances in multi-engine ASP solving 138
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning 137
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 134
QBFFam: A Tool for Generating QBF Families from Proof Complexity 132
SMT-based planning for robots in smart factories 130
Bistìris Ontology: Towards a Structured Representation of Sardinian Traditional Female Costumes 128
SMarTplan: a Task Planner for Smart Factories 128
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 128
ARKIVO Dataset: A Benchmark for Ontology-based Extraction Tools 126
Towards an ontology for describing archival resources 126
On the plausibility of a generalized model of perceived similarity between faces 125
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows 125
A structural approach to reasoning with quantified Boolean formulas 125
Unlocking Historical Insights: Developing a Dataset from Historical Archives 123
Solving disjunctive temporal problems with preferences using maximum satisfiability 123
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) 123
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 123
Poster: Automatic consistency checking of requirements with ReqV 122
Testing a learn-verify-repair approach for safe human-robot interaction 122
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 121
Leveraging semantic web technologies for analysis of crime in social science 121
Understanding critical factors in appearance-based gender categorization 120
The Ninth QBF Solvers Evaluation–Preliminary Report 119
Safe Learning with Real-Time Constraints: a Case Study 117
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic 117
Hard QBF Encodings Made Easy: Dream or Reality? 116
The Measure of Perceived Similarity Between Faces: Old Issues for a New Method 115
A case for robust AI in robotics 114
Automated Requirements-Based Testing of Black-Box Reactive Systems 114
Detection of Component Degradation: A Study on Autoencoder-Based Approaches 113
Efficient DTPP solving with a reduction-based approach 113
Verification and repair of control policies for safe reinforcement learning 113
NeVer: A Tool for Artificial Neural Networks Verification 112
Applying Machine Learning Techniques to ASP Solving 112
NeVer2: learning and verification of neural networks 111
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 111
THE EFFECTS OF CAP PAYMENTS ON FARM EFFICIENCY: AN EU CROSS-COUNTRY INVESTIGATION 110
Verification of neural networks: Enhancing scalability through pruning 110
Efficiency and inventory turnover in the primary sector: A regional analysis 110
Building the semantic layer of the Józef Piłsudski digital archive with an ontology-based approach 110
A survey on applications of quantified boolean formulas 109
Supporting Standardization of Neural Networks Verification with VNNLIB and CoCoNet 108
AI and videogames: a “drosophila” for declarative methods 107
An Ontology for Container Terminal Operations 107
Preface 107
Learning with safety requirements: State of the art and open questions 107
Safe and Effective Learning: a Case Study 106
FRaQuE: A Framework for Rapid Query Processing Evaluation 106
Evaluating and Certifying QBFs: a comparison of state-of-the-art tools 106
Automata based test generation with SpecPro 105
Towards Practical Space-Variant Based Face Recognition and Authentication 105
TROvE: a Graphical Tool to Evaluate OWL Reasoners 105
Report of the Third QBF Solvers Evaluation 104
The Seventh QBF Solvers Evaluation (QBFEVAL’10) 103
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 102
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 102
Verification of Neural Networks: Challenges and Perspectives in the AIDOaRt Project 101
Challenging SMT solvers to verify neural networks 101
A Swarm intelligence approach for biometrics verification and identification 101
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers 100
More adaptive does not imply less safe (with formal verification) 100
Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection 99
Multi-Engine ASP solving with policy adaptation 99
The QBFEVAL Web Portal 99
Ranking and Reputation Systems in the QBF Competition 98
Collaborative Expert Portfolio Management 98
How to abstract intelligence? If verification is in order 97
Discovering sentiment insights: streamlining tourism review analysis with Large Language Models 96
Empirical Evaluation of Scoring Methods 93
Multi-level algorithm selection for ASP 93
Evaluating probabilistic model checking tools for verification of robot control policies 92
SECURED for Health: Scaling Up Privacy to Enable the Integration of the European Health Data Space 91
Automated selection of grounding algorithm in Answer Set Programming 91
pyNeVer: A Framework for Learning and Verification of Neural Networks 90
Verification of NNs in the IMOCO4.E Project: Preliminary Results 89
Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report 88
Totale 12.281
Salva come PNG Salva come JPEG
Categoria #
all - tutte 58.531
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 58.531
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022412 0 0 0 7 3 1 19 44 47 54 32 205
2022/20231.139 111 88 28 191 118 178 1 142 195 9 39 39
2023/2024285 59 17 12 10 42 11 18 5 0 21 42 48
2024/20253.764 27 30 177 119 139 167 138 773 1.348 576 168 102
2025/20264.588 202 1.062 497 696 469 245 696 137 211 206 126 41
2026/20271.754 94 389 607 664 0 0 0 0 0 0 0 0
Totale 14.112