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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020588 0 0 60 8 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/202557 27 30 0 0 0 0 0 0 0 0 0 0
Totale 4.063