IRIS
DELLA PENNA, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.597
EU - Europa 2.217
AS - Asia 2.017
SA - Sud America 217
Continente sconosciuto - Info sul continente non disponibili 99
AF - Africa 23
OC - Oceania 6
Totale 9.176
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.485
SG - Singapore 789
IE - Irlanda 499
CN - Cina 477
RU - Federazione Russa 476
IT - Italia 393
DE - Germania 268
TR - Turchia 226
HK - Hong Kong 185
VN - Vietnam 180
BR - Brasile 176
GB - Regno Unito 144
UA - Ucraina 120
FR - Francia 89
CA - Canada 86
SE - Svezia 80
FI - Finlandia 71
IN - India 48
BD - Bangladesh 20
NL - Olanda 17
MX - Messico 16
PL - Polonia 16
IQ - Iraq 15
BE - Belgio 13
JP - Giappone 13
AR - Argentina 12
KR - Corea 12
EC - Ecuador 10
ID - Indonesia 9
ES - Italia 7
ZA - Sudafrica 7
CZ - Repubblica Ceca 6
EU - Europa 6
SA - Arabia Saudita 6
VE - Venezuela 6
CO - Colombia 5
AU - Australia 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
GT - Guatemala 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 9.084
Salva come PNG Salva come JPEG
Città #
Dallas 1.049
Dublin 496
Singapore 482
Jacksonville 455
Chandler 435
San Jose 421
Ashburn 250
Hong Kong 184
Boardman 171
Santa Clara 163
Nanjing 123
Izmir 117
L’Aquila 108
The Dalles 108
New York 98
Moscow 77
San Mateo 72
Bremen 64
Wilmington 64
Ann Arbor 63
Council Bluffs 63
Lawrence 63
Princeton 63
Ho Chi Minh City 57
L'aquila 53
Lauterbourg 53
Los Angeles 53
Ottawa 52
Milan 50
Hanoi 49
Beijing 46
Nanchang 37
Munich 35
Rome 35
São Paulo 22
Hebei 19
Shenyang 19
Berlin 18
Kunming 18
Tianjin 18
Chennai 17
Verona 17
Seattle 16
Woodbridge 16
Jinan 14
Mountain View 14
Orem 14
Amsterdam 13
Brussels 13
Chicago 13
Hefei 13
Tokyo 13
Des Moines 12
Falkenstein 12
Jiaxing 12
Pescara 12
San Francisco 12
Columbus 11
Helsinki 11
Shanghai 11
Warsaw 11
Changsha 10
Denver 10
Heriot 10
Boston 9
Fremont 9
Haiphong 9
Hangzhou 9
Toronto 9
Frankfurt am Main 8
London 8
Piscataway 8
Houston 7
Phoenix 7
St Petersburg 7
Taizhou 7
Atlanta 6
Mexico City 6
Montreal 6
Mumbai 6
Rio de Janeiro 6
Stockholm 6
Turku 6
Venezia 6
Brooklyn 5
Johannesburg 5
Newark 5
Norwalk 5
Poplar 5
Roseto Degli Abruzzi 5
Turin 5
Washington 5
Adelfia 4
Altino 4
Amman 4
Baghdad 4
Biên Hòa 4
Brno 4
Cambridge 4
Campinas 4
Totale 6.347
Salva come PNG Salva come JPEG
Nome #
Generative AI as a New Assistive Technology for Web Interaction 480
A Preliminary Evaluation of Generative AI Tools for Blind Users: Usability and Screen Reader Interaction 393
Synchronized Regular Expressions 229
A Genetic Approach to the Automatic Generation of Fuzzy Control Systems from Numerical Controllers 215
MTA-KDD'19: A Dataset for Malware Traffic Detection 212
Exploiting Transition Locality in the Disk Based Murphi Verifier 148
A Formal Framework to Represent Spatial Knowledge 148
An XML Definition Language to Support Scenario Based Requirements Engineering 143
Imbalanced Dataset Optimization with New Resampling Techniques 142
OBDD compression of numerical controllers 140
Supporting Information Extraction from Visual Documents 139
Extending Visual Information Extraction to Biomedical Applications 138
An Environment for the Design and Implementation of Visual Applications 132
Botnet Detection in Software Defined Networks by Deep Learning Techniques 132
An XML Environment for Scenario Based Requirements Engineering 131
A spatial relation-based framework to perform visual information extraction 131
An XML Based Methodology to Model and Use Scenarios in the Software Development Process 129
Visual Extraction of Information from Web Pages 127
SyBeL: a system modelling language enhancing automatic support in the software development process 127
Xere: Towards a Natural Interoperability between XML and ER Diagrams 126
A Graphical Tool to Support Visual Information Extraction 126
Feature selection strategies for http botnet traffic detection 126
A Type System for Static and Dynamic Checking of C++ Pointers 125
New Optimization Approaches in Malware Traffic Analysis 125
DNN-ForwardTesting: A New Trading Strategy Validation using Statistical Timeseries Analysis and Deep Neural Networks 124
Automatic Verification of a Turbogas Control System with the Murphi Verifier 122
A Methodology for Scenario Development 121
Addressing Machines as models of lambda-calculus 121
Trading Strategy Validation Using Forwardtesting with Deep Neural Networks 120
Verifying Extended Criteria for the Interoperability of Security Devices 120
Automatic generation of optimal controllers through model checking techniques 120
A General Theory of Spatial Relations to Support a Graphical Tool for Visual Information Extraction 119
Supporting Visual Information Extraction from Geospatial Data 117
A Stock Trading System for a Medium Volatile Asset using Multi Layer Perceptron 115
Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 115
A Microservices Architecture for Machine Learning Assisted Decision Support in a Real-Time Field Sensors Environment 113
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 112
Using spatial relations for qualitative specification of gestures 112
Interoperability mapping from XML schemas to ER diagrams 111
Generating graphical applications from state-transition visual specifications 109
Automatic Synthesis of Robust Numerical Controllers 109
Qualitative Representation of Spatio-Temporal Knowledge 109
A universal planning system for hybrid domains 107
Bounded Probabilistic Model Checking with the Murphi Verifier 107
UPMurphi Released: PDDL+ Planning for Hybrid Systems 106
A Lightweight Formalism for the Integration of BPMN Models with Domain Ontologies 106
A Case Study on Automated Generation of Integration Tests 104
Synthesis of Cost-Optimal Strong Plans in Non-Deterministic Domains 104
PIATTAFORMA HARDWARE E SOFTWARE DI MONITORAGGIO E LOCALIZZAZIONE DI VITTIME DA TERREMOTO INTRAPPOLATE NELLE MACERIE A SUPPORTO DI INTERVENTI DI SOCCORSO 102
Automatic Generation Of Optimal Controllers Through Model Checking Techniques 102
Exploiting Transition Locality in Automatic Verification 102
Fast and Compact Encoding of Numerical Controllers using OBDDS 101
CGMurphi: Automatic Synthesis of Numerical Controllers for Nonlinear Hybrid Systems 100
Model Checking XSL Transformations 100
Two Factor Authentication for e-Government Services using Hardware-Like One Time Password Generators 100
Exploiting Hub States in Automatic Verification 99
Finite Horizon Analysis of Markov Chains with the Murphi Verifier 98
Digital Citizen Rights: Accessibility of E-Government Websites in Italy 96
Integrating RAM and Disk Based Verification within the Murphi Verifier 96
Finite Horizon Analysis of Stochastic Systems with the Murphi Verifier 96
Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems 95
Synthesis of Optimal Control Systems: a Comparison between Model Checking and Dynamic Programming Techniques 95
Security in the internet of things: botnet detection in software-defined networks by deep learning techniques 95
UPMurphi: a Tool for Universal Planning on PDDL+ Problems 95
Exploiting spatial relations for grammar-based specification of multidimensional languages 94
Evaluating Fuzzy Controller Robustness using Model Checking 93
A PDDL+ Benchmark Problem: The Batch Chemical Plant 89
A Probabilistic Approach to Automatic Formal Verification 86
Planning for Autonomous Planetary Vehicles 85
Disk Based Software Verification via Bounded Model Checking 83
A Lightweight BPMN Extension for Business Process-oriented Requirements Engineering 83
Accessibility of e-Government Websites in Italy: The User Experience of People with Disabilities 80
Cost-Optimal Strong Planning in Non-Deterministic Domains 80
null 44
Totale 9.176
Salva come PNG Salva come JPEG
Categoria #
all - tutte 33.893
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 33.893
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/2022328 0 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.503 141 396 849 339 252 216 443 79 254 384 127 23
2026/2027282 69 213 0 0 0 0 0 0 0 0 0 0
Totale 9.176