IRIS
TRIBASTONE, MIRCO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.507
NA - Nord America 7.419
AS - Asia 3.197
SA - Sud America 594
AF - Africa 67
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 5
Totale 21.797
Salva come PNG Salva come JPEG
Nazione #
RU - Federazione Russa 8.388
US - Stati Uniti d'America 7.266
CN - Cina 1.157
SG - Singapore 833
BR - Brasile 523
SE - Svezia 434
IT - Italia 398
DE - Germania 307
UA - Ucraina 290
TR - Turchia 263
GB - Regno Unito 242
VN - Vietnam 211
HK - Hong Kong 200
IL - Israele 148
IN - India 121
BG - Bulgaria 110
CA - Canada 98
FI - Finlandia 78
KR - Corea 78
FR - Francia 64
PL - Polonia 45
JP - Giappone 42
MX - Messico 42
BD - Bangladesh 34
ES - Italia 28
AR - Argentina 26
ZA - Sudafrica 26
IQ - Iraq 23
KE - Kenya 23
NL - Olanda 20
AT - Austria 17
BE - Belgio 17
PK - Pakistan 15
CO - Colombia 14
EC - Ecuador 13
DK - Danimarca 12
LT - Lituania 10
SA - Arabia Saudita 9
IE - Irlanda 8
NP - Nepal 8
PT - Portogallo 7
UZ - Uzbekistan 7
CZ - Repubblica Ceca 6
EU - Europa 6
AZ - Azerbaigian 5
TH - Thailandia 5
TN - Tunisia 5
BH - Bahrain 4
CL - Cile 4
HN - Honduras 4
KZ - Kazakistan 4
LV - Lettonia 4
MA - Marocco 4
PA - Panama 4
PH - Filippine 4
AL - Albania 3
ID - Indonesia 3
JM - Giamaica 3
JO - Giordania 3
LK - Sri Lanka 3
LU - Lussemburgo 3
OM - Oman 3
PE - Perù 3
PY - Paraguay 3
RO - Romania 3
VE - Venezuela 3
AE - Emirati Arabi Uniti 2
AO - Angola 2
AU - Australia 2
BA - Bosnia-Erzegovina 2
BO - Bolivia 2
BY - Bielorussia 2
CH - Svizzera 2
DZ - Algeria 2
GR - Grecia 2
IR - Iran 2
KG - Kirghizistan 2
LB - Libano 2
NZ - Nuova Zelanda 2
SK - Slovacchia (Repubblica Slovacca) 2
UY - Uruguay 2
XK - ???statistics.table.value.countryCode.XK??? 2
AM - Armenia 1
BB - Barbados 1
CI - Costa d'Avorio 1
CY - Cipro 1
DO - Repubblica Dominicana 1
EG - Egitto 1
ET - Etiopia 1
GE - Georgia 1
GY - Guiana 1
HR - Croazia 1
IM - Isola di Man 1
LA - Repubblica Popolare Democratica del Laos 1
MN - Mongolia 1
PW - Palau 1
QA - Qatar 1
SI - Slovenia 1
TG - Togo 1
ZM - Zambia 1
Totale 21.797
Salva come PNG Salva come JPEG
Città #
Moscow 2.424
Ashburn 1.619
Chandler 844
Jacksonville 672
Beijing 496
Singapore 444
San Mateo 380
Hefei 376
Dallas 325
Boardman 323
San Jose 258
Hong Kong 197
New York 185
Los Angeles 154
Kocaeli 146
Ann Arbor 142
Dong Ket 140
São Paulo 140
Wilmington 138
Munich 137
Lawrence 125
Tel Aviv 123
Sofia 110
Princeton 109
Rome 109
Shanghai 106
Milan 105
Istanbul 101
Ogden 77
Seoul 77
Andover 70
Helsinki 59
Ottawa 53
Woodbridge 53
London 52
Council Bluffs 49
Santa Clara 43
Chicago 39
Tokyo 38
Warsaw 38
Atlanta 35
Columbus 31
Orem 31
Brooklyn 30
Denver 30
The Dalles 28
Seattle 27
Stockholm 26
Ho Chi Minh City 23
Nairobi 23
Houston 22
Poplar 22
Genoa 20
Mexico City 20
Montreal 20
Phoenix 20
Boston 19
Guangzhou 19
Frankfurt am Main 18
Hanoi 18
Brussels 17
Johannesburg 17
Chennai 15
Manchester 14
Turku 14
Dearborn 13
Belo Horizonte 12
Hanover 12
Ankara 11
Vienna 11
Mumbai 10
North Bergen 10
Rio de Janeiro 10
Toronto 10
Düsseldorf 9
San Francisco 9
Altoona 8
Dhaka 8
Erbil 8
Los Lunas 8
New Delhi 8
Bangalore 7
Dublin 7
Duque de Caxias 7
Lahore 7
Las Vegas 7
Nanjing 7
Padova 7
Porto Alegre 7
St Petersburg 7
Tashkent 7
Amsterdam 6
Buenos Aires 6
Charlotte 6
Fort Worth 6
Guarulhos 6
Lisbon 6
Querétaro 6
Recife 6
Springfield 6
Totale 11.916
Salva come PNG Salva come JPEG
Nome #
Moving horizon estimation of service demands in queuing networks 295
PID Control of Biochemical Reaction Networks 293
Combined Vertical and Horizontal Autoscaling Through Model Predictive Control 265
Software Performance Self-Adaptation through Efficient Model Predictive Control 263
SENSORIA Process Calculi for Service-Oriented Computing 263
A proactive approach for runtime self-adaptation based on queueing network fluid analysis 254
An analytical model of a BitTorrent peer 246
Learning queuing networks by recurrent neural networks 244
Model-based Performance Self-adaptation: A Tutorial 236
A Large-Scale Assessment of Exact Model Reduction in the BioModels Repository 231
Approximate Reduction of Heterogenous Nonlinear Models With Differential Hulls 229
Symbolic Performance Adaptation 229
Learning Queuing Networks via Linear Optimization 229
A Markov model of a freerider in a BitTorrent P2P network 228
A computational approach to steady-state convergence of fluid limits for Coxian queuing networks with abandonment 226
Stochastic Process Algebras. 225
Automatic extraction of PEPA performance models from UML activity diagrams annotated with the MARTE profile 225
Tight Error Analysis in Fixed-Point Arithmetic 222
Quantitative Analysis of Web Services Using SRMC 221
Statistical Learning of Markov Chains of Programs 219
Automatic Translation of UML Sequence Diagrams into PEPA Models 217
A Fluid Model for Layered Queueing Networks 212
Extended differential aggregations in process algebra for performance and biology 211
Evaluating the Scalability of a Web Service-Based Distributed e-Learning and Course Management System 211
The PEPA Eclipse Plug-in 210
Bit-Precise Verification of Discontinuity Errors Under Fixed-Point Arithmetic 210
A partial-differential approximation for spatial stochastic process algebra 209
Fixed-Point Computation of Equilibria in Biochemical Regulatory Networks 208
Differential Equivalence Yields Network Centrality 207
Performance Prediction of Service-Oriented Systems with Layered Queueing Networks 206
Blending randomness in closed queueing network models 205
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures 204
Safety and Response-Time Analysis of an Automotive Accident Assistance Service 203
Maximal aggregation of polynomial dynamical systems 202
Insensitivity to service-time distributions for fluid queueing models 201
μOpt: An Efficient Optimal Autoscaler for Microservice Applications 198
Systems Security Modeling and Analysis at IMT Lucca 198
Sensoria patterns: Augmenting service engineering with formal analysis, transformation and dynamicity 198
Scalable Differential Analysis of Large Process Algebra Models 196
Partial Evaluation of PEPA Models for Fluid-Flow Analysis 195
Generalised Communication for Interacting Agents 194
Inferring Performance from Code: A Review 194
Challenging Large Language Models’ “ intelligence ” with human tools: A Neuropsychological Investigation in Italian language on Prefrontal Functioning 193
Comparing chemical reaction networks: A categorical and algorithmic perspective 192
Replicating Web Services for Scalability 191
Noise Reduction in Complex Biological Switches 191
Relating layered queueing networks and process algebra models 190
Scalable Analysis of Scalable Systems 189
Approximate Mean Value Analysis of Process Algebra Models 189
The PEPA Plug-in Project 188
An Analysis Pathway for the Quantitative Evaluation of Public Transport Systems 186
Efficient syntax-Driven lumping of differential equations 185
A unified framework for differential aggregations in Markovian process algebra 185
Quantitative abstractions for collective adaptive systems 184
Large-Scale Modelling with the PEPA Eclipse Plug-In 182
Service-Level Agreements for Service-Oriented Computing 181
Scaling size & parameter spaces in variability-aware software performance models 181
ERODE: A Tool for the Evaluation and Reduction of Ordinary Differential Equations 180
Symbolic Computation of Differential Equivalences 180
Backward Invariance for Linear Differential Algebraic Equations 180
Improved estimations of stochastic chemical kinetics by finite-state expansion 180
Tackling continuous state-space explosion in a Markovian process algebra 179
EGAC: A genetic algorithm to compare chemical reaction networks 178
Guaranteed error bounds on approximate model abstractions through reachability analysis 177
ASCENS: Engineering Autonomic Service-Component Ensembles 175
Forward and Backward Bisimulations for Chemical Reaction Networks 174
Hybrid Semantics for PEPA 174
Scaling size and parameter spaces in variability-aware software performance models 171
μP: A Development Framework for Predicting Performance of Microservices by Design 169
Syntactic Markovian bisimulation for chemical reaction networks 168
Exact fluid lumpability for Markovian process algebra 167
Behavioral Relations in a Process Algebra for Variants 167
Fluid Rewards for a Stochastic Process Algebra 166
Non-functional properties in the model-driven development of service-oriented systems 166
Modelling exogenous variability in cloud deployments 165
Exact fluid lumpability in Markovian process algebra 165
Certification of the proximal gradient method under fixed-point arithmetic for box-constrained QP problems 162
Workload Change Point Detection for Runtime Thermal Management of Embedded Systems 161
Performance Modelling of Design Patterns for Distributed Computation 160
From electric circuits to chemical networks 160
A large-scale assessment of exact lumping of quantitative models in the BioModels repository 160
EPTCS 194 Proceedings Thirteenth Workshop on Quantitative Aspects of Programming Languages and Systems London, UK, 11th-12th April 2015 Preface 159
Comparing chemical reaction networks: A categorical and algorithmic perspective 159
Size expansions of mean field approximation: Transient and steady-state analysis 158
PID Control of Biochemical Reaction Networks 158
SAT-based synthesis of spoofing attacks in cyber-physical control systems 157
Supporting performance awareness in autonomous ensembles 156
Scalable Differential Analysis of Process Algebra Models 155
Dimming Relations for the Efficient Analysis of Concurrent Systems via Action Abstraction 155
CLUE: Exact maximal reduction of kinetic models by constrained lumping of differential equations 153
Spatial fluid limits for stochastic mobile networks 152
Fluid Performability Analysis of Nested Automata Models 150
Differential analysis of interacting automata with immediate actions 148
Challenges in quantitative abstractions for collective adaptive systems 146
Probabilistic Forecasts of Bike-Sharing Systems for Journey Planning 145
Differential Bisimulation for a Markovian Process Algebra 144
Efficient Optimization of Software Performance Models via Parameter-Space Pruning 143
Family-Based Performance Analysis of Variant-Rich Software Systems 143
Scaling Performance Analysis Using Fluid-Flow Approximation 141
Stochastic Process Algebras: From Individuals to Populations 140
Totale 19.085
Salva come PNG Salva come JPEG
Categoria #
all - tutte 95.090
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 95.090
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.058 0 0 0 0 0 0 120 9 202 330 78 319
2021/20221.067 256 5 31 15 96 27 211 127 35 26 177 61
2022/20231.804 281 129 47 262 159 207 4 134 290 82 204 5
2023/2024921 46 49 64 23 80 27 117 35 86 181 43 170
2024/20256.988 137 185 181 499 86 678 1.321 244 759 824 1.609 465
2025/20268.500 429 487 2.293 4.195 356 400 340 0 0 0 0 0
Totale 21.949