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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022423 0 2 9 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/2027408 94 314 0 0 0 0 0 0 0 0 0 0
Totale 12.766