IRIS
DELLA PENNA, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 3.620
EU - Europa 1.821
AS - Asia 1.729
SA - Sud America 195
AF - Africa 20
Continente sconosciuto - Info sul continente non disponibili 7
OC - Oceania 5
Totale 7.397
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 3.526
SG - Singapore 707
IE - Irlanda 495
CN - Cina 434
IT - Italia 369
DE - Germania 265
TR - Turchia 225
RU - Federazione Russa 187
HK - Hong Kong 175
BR - Brasile 163
GB - Regno Unito 137
UA - Ucraina 118
SE - Svezia 78
CA - Canada 75
FI - Finlandia 71
VN - Vietnam 70
IN - India 37
FR - Francia 35
BD - Bangladesh 15
NL - Olanda 15
BE - Belgio 13
IQ - Iraq 12
PL - Polonia 12
AR - Argentina 11
KR - Corea 11
MX - Messico 11
EC - Ecuador 7
CZ - Repubblica Ceca 6
EU - Europa 6
ID - Indonesia 6
JP - Giappone 6
ES - Italia 5
ZA - Sudafrica 5
CO - Colombia 4
MA - Marocco 4
PK - Pakistan 4
UZ - Uzbekistan 4
VE - Venezuela 4
AE - Emirati Arabi Uniti 3
AU - Australia 3
BO - Bolivia 3
DO - Repubblica Dominicana 3
IR - Iran 3
KE - Kenya 3
AL - Albania 2
AZ - Azerbaigian 2
CH - Svizzera 2
CR - Costa Rica 2
EE - Estonia 2
EG - Egitto 2
HN - Honduras 2
JO - Giordania 2
LT - Lituania 2
NP - Nepal 2
NZ - Nuova Zelanda 2
SA - Arabia Saudita 2
TN - Tunisia 2
UY - Uruguay 2
AT - Austria 1
BG - Bulgaria 1
BN - Brunei Darussalam 1
CI - Costa d'Avorio 1
CW - ???statistics.table.value.countryCode.CW??? 1
DZ - Algeria 1
GR - Grecia 1
JM - Giamaica 1
KW - Kuwait 1
KZ - Kazakistan 1
LA - Repubblica Popolare Democratica del Laos 1
LB - Libano 1
LU - Lussemburgo 1
LV - Lettonia 1
MG - Madagascar 1
MY - Malesia 1
OM - Oman 1
PT - Portogallo 1
PY - Paraguay 1
RO - Romania 1
SN - Senegal 1
TH - Thailandia 1
TW - Taiwan 1
Totale 7.397
Salva come PNG Salva come JPEG
Città #
Dallas 1.035
Dublin 492
Jacksonville 453
Chandler 435
Singapore 427
Hong Kong 175
Boardman 171
Santa Clara 151
Nanjing 123
Ashburn 117
Izmir 117
L’Aquila 108
New York 77
San Mateo 72
Bremen 64
Wilmington 64
Ann Arbor 63
Lawrence 63
Princeton 63
The Dalles 54
L'aquila 53
Moscow 53
Ottawa 50
Milan 46
Los Angeles 40
Nanchang 37
Beijing 36
Munich 35
Rome 33
Ho Chi Minh City 24
Hanoi 19
Hebei 19
Shenyang 19
Berlin 18
Kunming 18
Tianjin 18
Verona 17
Woodbridge 16
São Paulo 15
Jinan 14
Mountain View 14
Seattle 14
Brussels 13
Hefei 13
Des Moines 12
Falkenstein 12
Jiaxing 12
Amsterdam 11
Helsinki 11
Changsha 10
Columbus 10
Denver 10
Heriot 10
San Francisco 10
Boston 9
Chennai 9
Chicago 9
Fremont 9
Pescara 9
Warsaw 9
Hangzhou 8
Shanghai 8
Orem 7
St Petersburg 7
Taizhou 7
Frankfurt am Main 6
Houston 6
London 6
Rio de Janeiro 6
Tokyo 6
Turku 6
Venezia 6
Atlanta 5
Brooklyn 5
Mexico City 5
Mumbai 5
Norwalk 5
Phoenix 5
Poplar 5
Roseto Degli Abruzzi 5
Toronto 5
Turin 5
Adelfia 4
Altino 4
Brno 4
Cambridge 4
Campinas 4
Certaldo 4
Düsseldorf 4
Gatchina 4
Johannesburg 4
Lanciano 4
Montreal 4
Ningbo 4
Pune 4
Quito 4
Santo André 4
Stockholm 4
São José do Rio Preto 4
West Jordan 4
Totale 5.321
Salva come PNG Salva come JPEG
Nome #
Generative AI as a New Assistive Technology for Web Interaction 443
A Preliminary Evaluation of Generative AI Tools for Blind Users: Usability and Screen Reader Interaction 361
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 190
MTA-KDD'19: A Dataset for Malware Traffic Detection 178
A Formal Framework to Represent Spatial Knowledge 128
Exploiting Transition Locality in the Disk Based Murphi Verifier 124
Extending Visual Information Extraction to Biomedical Applications 123
Supporting Information Extraction from Visual Documents 118
Botnet Detection in Software Defined Networks by Deep Learning Techniques 118
Imbalanced Dataset Optimization with New Resampling Techniques 115
OBDD compression of numerical controllers 114
Visual Extraction of Information from Web Pages 113
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 112
SyBeL: a system modelling language enhancing automatic support in the software development process 111
An XML Environment for Scenario Based Requirements Engineering 111
A spatial relation-based framework to perform visual information extraction 110
An Environment for the Design and Implementation of Visual Applications 109
An XML Definition Language to Support Scenario Based Requirements Engineering 108
Xere: Towards a Natural Interoperability between XML and ER Diagrams 107
A Type System for Static and Dynamic Checking of C++ Pointers 105
A Methodology for Scenario Development 104
Feature selection strategies for http botnet traffic detection 104
Automatic Verification of a Turbogas Control System with the Murphi Verifier 102
A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction 101
Verifying Extended Criteria for the Interoperability of Security Devices 100
Interoperability mapping from XML schemas to ER diagrams 98
A Graphical Tool to Support Visual Information Extraction 97
Automatic generation of optimal controllers through model checking techniques 97
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment 96
Addressing Machines as models of lambda-calculus 96
Supporting Visual Information Extraction from Geospatial Data 94
New Optimization Approaches in Malware Traffic Analysis 94
Generating graphical applications from state-transition visual specifications 92
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 92
Qualitative Representation of Spatio-Temporal Knowledge 92
Bounded Probabilistic Model Checking with the Murphi Verifier 91
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 91
Automatic Synthesis of Robust Numerical Controllers 91
Synchronized Regular Expressions 91
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains 90
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks 89
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks 89
Model Checking XSL Transformations 88
Using spatial relations for qualitative specification of gestures 88
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 87
Exploiting Transition Locality in Automatic Verification 87
A universal planning system for hybrid domains 86
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 85
Fast and Compact Encoding of Numerical Controllers using OBDDS 85
A Case Study on Automated Generation of Integration Tests 85
UPMurphi Released: PDDL+ Planning for Hybrid Systems 83
Evaluating Fuzzy Controller Robustness using Model Checking 83
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 82
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 81
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators 81
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron 79
Integrating RAM and Disk Based Verification within the Murphi Verifier 79
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 79
Exploiting Hub States in Automatic Verification 77
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 77
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 76
A PDDL+ Benchmark Problem: The Batch Chemical Plant 76
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques 72
Cost-Optimal Strong Planning in Non-Deterministic Domains 71
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 69
Planning for Autonomous Planetary Vehicles 68
Disk Based Software Verification via Bounded Model Checking 67
A Probabilistic Approach to Automatic Formal Verification 66
Digital Citizen Rights: Accessibility of E-Government Websites in Italy 65
Exploiting spatial relations for grammar-based specification of multidimensional languages 65
A Lightweight BPMN Extension for Business Process-oriented Requirements Engineering 62
PIATTAFORMA HARDWARE E SOFTWARE DI MONITORAGGIO E LOCALIZZAZIONE DI VITTIME DA TERREMOTO INTRAPPOLATE NELLE MACERIE A SUPPORTO DI INTERVENTI DI SOCCORSO 59
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities 48
null 44
Totale 7.489
Salva come PNG Salva come JPEG
Categoria #
all - tutte 28.902
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 28.902
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021265 0 0 0 0 0 7 65 2 66 11 106 8
2021/2022340 12 33 24 21 20 6 10 32 21 18 36 107
2022/20231.371 92 71 28 122 168 129 4 82 608 6 38 23
2023/2024451 135 16 20 43 41 87 12 12 1 12 15 57
2024/20251.336 97 44 114 76 143 106 149 111 239 54 117 86
2025/20262.098 141 396 849 339 252 121 0 0 0 0 0 0
Totale 7.489