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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/202141 0 0 0 0 0 0 0 0 0 0 27 14
2021/2022487 64 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.470 202 1.062 497 696 469 245 696 137 211 206 49 0
Totale 12.240