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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021420 0 0 0 0 0 38 99 18 114 110 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/20262.965 202 1.062 497 696 469 39 0 0 0 0 0 0
Totale 10.735