IRIS
PULINA, Luca
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 2.182
EU - Europa 1.337
AS - Asia 828
SA - Sud America 10
Continente sconosciuto - Info sul continente non disponibili 5
OC - Oceania 4
AF - Africa 2
Totale 4.368
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 2.163
UA - Ucraina 516
CN - Cina 432
SG - Singapore 309
DE - Germania 220
IT - Italia 213
SE - Svezia 162
FI - Finlandia 69
GB - Regno Unito 49
FR - Francia 36
KR - Corea 31
TR - Turchia 27
CA - Canada 17
BE - Belgio 16
CZ - Repubblica Ceca 15
EU - Europa 5
AT - Austria 4
AU - Australia 4
CH - Svizzera 4
HK - Hong Kong 4
IN - India 4
RO - Romania 4
CL - Cile 3
ES - Italia 3
JP - Giappone 3
LT - Lituania 3
PH - Filippine 3
PL - Polonia 3
BG - Bulgaria 2
BR - Brasile 2
EC - Ecuador 2
EE - Estonia 2
GR - Grecia 2
IR - Iran 2
LA - Repubblica Popolare Democratica del Laos 2
NL - Olanda 2
NO - Norvegia 2
OM - Oman 2
PA - Panama 2
PK - Pakistan 2
RU - Federazione Russa 2
SA - Arabia Saudita 2
SK - Slovacchia (Repubblica Slovacca) 2
AR - Argentina 1
BD - Bangladesh 1
DK - Danimarca 1
FK - Isole Falkland (Malvinas) 1
HU - Ungheria 1
IE - Irlanda 1
IL - Israele 1
JO - Giordania 1
KZ - Kazakistan 1
LI - Liechtenstein 1
MY - Malesia 1
NG - Nigeria 1
PE - Perù 1
PT - Portogallo 1
RS - Serbia 1
SL - Sierra Leone 1
Totale 4.368
Salva come PNG Salva come JPEG
Città #
Chandler 636
Jacksonville 300
Singapore 257
Princeton 200
Nanjing 121
Dearborn 101
Wilmington 85
Sassari 82
Ann Arbor 62
Nanchang 44
Boardman 37
Ashburn 34
Beijing 34
Santa Clara 32
Seoul 30
Changsha 28
Jiaxing 26
Hebei 24
Izmir 24
Tianjin 24
Woodbridge 22
Shenyang 21
San Francisco 17
Brussels 16
Munich 16
Andover 15
Kunming 14
Norwalk 14
Toronto 12
Hangzhou 11
Jinan 11
Brno 9
Alghero 8
Guangzhou 8
Helsinki 8
Ferrara 7
Zhengzhou 7
Dallas 6
Los Angeles 6
Mountain View 6
New York 6
Olomouc 6
Changchun 5
Frankfurt am Main 5
Ningbo 5
Nuremberg 5
Phoenix 5
Rennes 5
Rome 5
Wuppertal 5
Bologna 4
Horia 4
London 4
Milan 4
Shanghai 4
Vienna 4
Ascoli Piceno 3
Auburn Hills 3
Cagliari 3
Central 3
Florence 3
Gelsenkirchen 3
Genova 3
Greenwich 3
Haikou 3
Lanzhou 3
Madrid 3
Manila 3
Ottawa 3
Porto Torres 3
Seattle 3
Shenzhen 3
Southampton 3
Sydney 3
Taizhou 3
Ardabil 2
Arras 2
Bern 2
Cambridge 2
Chicago 2
Cupertino 2
Dalmine 2
Fairfield 2
Fuzhou 2
Hefei 2
Houston 2
Iglesias 2
Leawood 2
Messina 2
Oslo 2
Quito 2
Redwood City 2
Riyadh 2
Romola 2
Sofia 2
São Paulo 2
Tallinn 2
Tokyo 2
Washington 2
Xi'an 2
Totale 2.598
Salva come PNG Salva come JPEG
Nome #
A Domain Ontology for Historical Research Documents 103
Understanding and Modeling Visitors’ Behaviours for Enhancing Personalized Cultural Experience 83
A self-adaptive multi-engine solver for quantified Boolean formulas 82
Efficient DTPP solving with a reduction-based approach 79
A framework for automatic population of ontology-based digital libraries 71
An empirical study of QBF encodings: from treewidth estimation to useful preprocessing 67
Preface 66
Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic 65
Engineering portfolios of Machine Learning algorithms to solve complex tasks in Robotics and Automated Reasoning 62
Automated Verification of Neural Networks: Advances, Challenges and Perspectives 62
Twelve Years of QBF Evaluations: QSAT Is PSPACE-Hard and It Shows 61
An Abstraction-Refinement Approach to Verification of Artificial Neural Networks 60
A Multi-Engine approach to Answer Set Programming 60
Leveraging semantic web technologies for analysis of crime in social science 59
Treewidth: A Useful Marker of Empirical Hardness in Quantified Boolean Logic Encodings 59
Poster: Automatic consistency checking of requirements with ReqV 57
On leveraging facial emotion recognition techniques in personalized recommendations 57
The Ninth QBF Solvers Evaluation–Preliminary Report 57
Understanding critical factors in appearance-based gender categorization 56
Over-Subscription Planning with Boolean Optimization: An Assessment of State-of-the-Art Solutions 55
OBDA and Intermodal Logistics: Active Projects and Applications 54
Solving disjunctive temporal problems with preferences using maximum satisfiability 53
Property specification patterns at work: verification and inconsistency explanation 53
CERBERO: Cross-layer modEl-based fRamework for multi-oBjective dEsign of Reconfigurable systems in unceRtain hybRid envirOnments 53
A Multi-engine Solver for Quantified Boolean Formulas 52
ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents 52
The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17) 51
Applying Machine Learning Techniques to ASP Solving 51
Verification and repair of control policies for safe reinforcement learning 51
Minimal Module Extraction from DL-Lite Ontologies using QBF Solvers 50
Safe and Effective Learning: a Case Study 50
Evaluating probabilistic model checking tools for verification of robot control policies 50
Ensuring safety of policies learned by reinforcement: Reaching objects in the presence of obstacles with the iCub 49
Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America 49
Towards Practical Space-Variant Based Face Recognition and Authentication 49
TROvE: a Graphical Tool to Evaluate OWL Reasoners 49
An Ontology for Container Terminal Operations 48
Ranking and Reputation Systems in the QBF Competition 48
Safe Learning with Real-Time Constraints: a Case Study 48
Algorithm Selection for Paracoherent Answer Set Computation 48
The Seventh QBF Solvers Evaluation (QBFEVAL’10) 48
A Reduction-Based Approach for Solving Disjunctive Temporal Problems with Preferences 47
ARKIVO: An ontology for describing archival resources 46
The QBFEVAL Web Portal 46
Hard QBF Encodings Made Easy: Dream or Reality? 45
SMarTplan: a Task Planner for Smart Factories 45
Advances in multi-engine ASP solving 44
Evaluating and Certifying QBFs: a comparison of state-of-the-art tools 44
On the plausibility of a generalized model of perceived similarity between faces 43
A user model ontology for adaptive systems in cultural tourism domain 43
Challenging SMT solvers to verify neural networks 42
NeVer: A Tool for Artificial Neural Networks Verification 42
Learning to Integrate Deduction and Search in Reasoning about Quantified Boolean Formulas 42
Automated selection of grounding algorithm in Answer Set Programming 42
Learning with safety requirements: State of the art and open questions 42
SMT-based planning for robots in smart factories 41
More adaptive does not imply less safe (with formal verification) 41
Automated Requirements-Based Testing of Black-Box Reactive Systems 40
The Multi-Engine ASP Solver me-asp 40
An Ontology-Based Archive for Historical Research 40
QuBIS: An (In)complete Solver for Quantified Boolean Formulas 39
Collaborative Expert Portfolio Management 39
Empirical Evaluation of Scoring Methods 38
The Measure of Perceived Similarity Between Faces: Old Issues for a New Method 38
Towards an ontology for describing archival resources 38
Preface 38
Report of the Third QBF Solvers Evaluation 38
Checking Safety of Neural Networks with SMT Solvers: A Comparative Evaluation 37
AQME’10 System Description 37
A structural approach to reasoning with quantified Boolean formulas 37
Automata based test generation with SpecPro 36
An empirical perspective on ten years of QBF solving 35
Multi-level algorithm selection for ASP 34
Modeling biometric template update with Ant Colony Optimization 34
How to abstract intelligence? If verification is in order 33
Cyber-physical planning: Deliberation for hybrid systems with a continuous numeric state 33
FRaQuE: A Framework for Rapid Query Processing Evaluation 32
Verification and Repair of Neural Networks: A Progress Report on Convolutional Models 32
Building the semantic layer of the Józef Piłsudski digital archive with an ontology-based approach 32
Multi-Engine ASP solving with policy adaptation 31
The Multi-engine ASP Solver ME-ASP: Progress Report 31
Verification of neural networks: Enhancing scalability through pruning 31
A case for robust AI in robotics 30
Testing a learn-verify-repair approach for safe human-robot interaction 30
Engineering Approaches and Methods to Verify Software in Autonomous Systems 28
SMT-Based Consistency Checking of Configuration-Based Components Specifications 28
Translation-based approaches for solving disjunctive temporal problems with preferences 27
pyNeVer: A Framework for Learning and Verification of Neural Networks 23
A survey on applications of quantified boolean formulas 22
Applying machine learning techniques to ASP solving 22
null 22
Notes from the Guest Editors 21
NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks 21
Preface 21
Efficiency and inventory turnover in the primary sector: A regional analysis 21
Applying machine learning techniques to ASP solving 20
QBFFam: A Tool for Generating QBF Families from Proof Complexity 20
Vector Reconstruction Error for Anomaly Detection: Preliminary Results in the IMOCO4.E Project 13
Leveraging Satisfiability Modulo Theory Solvers for Verification of Neural Networks in Predictive Maintenance Applications 13
THE EFFECTS OF CAP PAYMENTS ON FARM EFFICIENCY: AN EU CROSS-COUNTRY INVESTIGATION 12
Totale 4.359
Salva come PNG Salva come JPEG
Categoria #
all - tutte 25.777
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 25.777
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020520 0 0 0 0 79 91 138 9 84 23 86 10
2020/2021736 82 2 111 10 111 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/2025474 27 30 177 119 121 0 0 0 0 0 0 0
Totale 4.480