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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021125 0 0 0 0 0 0 0 0 0 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/20263.314 141 396 849 339 252 216 443 79 254 345 0 0
Totale 8.705