IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 715
AS - Asia 462
EU - Europa 248
SA - Sud America 68
AF - Africa 11
OC - Oceania 1
Totale 1.505
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 688
SG - Singapore 216
CN - Cina 131
IT - Italia 129
BR - Brasile 50
VN - Vietnam 38
GB - Regno Unito 27
FR - Francia 25
DE - Germania 23
HK - Hong Kong 23
PK - Pakistan 17
CA - Canada 13
MX - Messico 13
PL - Polonia 11
UA - Ucraina 9
JP - Giappone 8
BD - Bangladesh 7
ZA - Sudafrica 7
ID - Indonesia 6
TR - Turchia 6
LT - Lituania 4
AR - Argentina 3
ES - Italia 3
NL - Olanda 3
RO - Romania 3
UY - Uruguay 3
VE - Venezuela 3
BE - Belgio 2
CO - Colombia 2
EC - Ecuador 2
IN - India 2
IQ - Iraq 2
PE - Perù 2
PY - Paraguay 2
SE - Svezia 2
SK - Slovacchia (Repubblica Slovacca) 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CD - Congo 1
EG - Egitto 1
ET - Etiopia 1
FI - Finlandia 1
GR - Grecia 1
HU - Ungheria 1
JO - Giordania 1
KG - Kirghizistan 1
LB - Libano 1
MA - Marocco 1
MD - Moldavia 1
NI - Nicaragua 1
NP - Nepal 1
RU - Federazione Russa 1
SA - Arabia Saudita 1
SR - Suriname 1
Totale 1.505
Salva come PNG Salva come JPEG
Città #
Ashburn 160
San Jose 156
Dallas 128
Rome 78
Milan 39
Columbus 38
Singapore 37
Beijing 36
Chicago 31
Hong Kong 23
Paris 22
Ho Chi Minh City 13
Islamabad 13
São Paulo 13
Seattle 12
Warsaw 11
Mexico City 10
Los Angeles 9
Munich 8
Springfield 8
The Dalles 8
Tokyo 8
Hanoi 7
London 7
Prineville 7
Brooklyn 6
Council Bluffs 6
Fort Worth 6
New York 6
Boston 5
Istanbul 5
Manchester 5
Santa Clara 5
San Francisco 4
Toronto 4
Atlanta 3
Da Nang 3
Goiânia 3
Johannesburg 3
Karachi 3
Montevideo 3
Montreal 3
Naples 3
Phoenix 3
Porto Alegre 3
Brussels 2
Buffalo 2
Denver 2
Lima 2
Orem 2
Rio de Janeiro 2
Shanghai 2
Addis Ababa 1
Agadir 1
Alegrete 1
Amman 1
Ankara 1
Asunción 1
Athens 1
Augusta 1
Bandera 1
Banfield 1
Banská Bystrica 1
Bauru 1
Bekasi 1
Belo Horizonte 1
Birigui 1
Birmingham 1
Bishkek 1
Boardman 1
Bratislava 1
Budapest 1
Bắc Ninh 1
Cairo 1
Can Tho 1
Caracas 1
Castanhal 1
Caçapava 1
Changsha 1
Charleston 1
Chennai 1
Ciudad Juárez 1
Ciudad del Este 1
Cristino Castro 1
Curitiba 1
Dammam 1
Erbil 1
Fisciano 1
Fortaleza 1
Foshan 1
Frankfurt am Main 1
Fuzhou 1
Greensboro 1
Guangzhou 1
Guarapari 1
Haiphong 1
Hangzhou 1
Helsinki 1
Hounslow 1
Hải Dương 1
Totale 1.026
Salva come PNG Salva come JPEG
Nome #
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 55
Classification-based screening of phlebopathic patients using smart socks 39
From Boolean Relations to Control Software 38
On checking equivalence of simulation scripts 38
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 37
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 37
Control software synthesis for cyber-physical systems with QKS 37
Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, co-located with the 18th International Conference of the Italian Association for Artificial Intelligence, OVERLAY@AI*IA 2019, Rende, Italy, November 19-20, 2019 37
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 37
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 35
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 35
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 35
A glimpse of SmartHG project test-bed and communication infrastructure 35
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 33
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 32
SyLVaaS: System level formal verification as a service 32
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 32
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 32
NashMV 31
SyLVaaS 31
Computing biological model parameters by parallel statistical model checking 31
Simulator semantics for system level formal verification 31
Control Software Visualization 30
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 30
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 30
Formal verification at system level 29
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 29
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 28
The Preventive Role of Physical Activity in Systemic Sclerosis: A Cross-Sectional Study on the Correlation with Clinical Parameters and Disease Progression. International Journal of Environmental Research and Public Health 28
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 28
System level formal verification via distributed multi-core hardware in the loop simulation 27
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 27
Automatic control software synthesis for quantized discrete time hybrid systems 27
On minimising the maximum expected verification time 27
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 27
An efficient algorithm for network vulnerability analysis under malicious attacks 27
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 26
Undecidability of quantized state feedback control for discrete time linear hybrid systems 25
Electricity network constraint management using individualised demand aware price policies 25
Model Checking Satellite Operational Procedures 25
QKS 25
Model Based Synthesis of Control Software from System Level Formal Specifications 23
User flexibility aware price policy synthesis for smart grids 22
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 22
Linearising discrete time hybrid systems 22
SyLVaaS: system level formal verification as a service 22
On Placing Skips Optimally In Expectation 21
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 21
Parallel statistical model checking for safety verification in smart grids 21
System level formal verification via model checking driven simulation 20
Model checking driven simulation of sat procedures 17
On model based synthesis of embedded control software 17
Model Checking Nash Equilibria in MAD Distributed Systems 16
Synthesizing Control Software from Boolean Relations 16
On-the-Fly Control Software Synthesis 15
Visualisation of control software for cyber-physical systems 12
Totale 1.587
Salva come PNG Salva come JPEG
Categoria #
all - tutte 9.185
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 9.185
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202453 0 0 0 0 0 0 0 0 0 0 0 53
2024/2025506 0 17 58 58 1 38 82 43 81 32 22 74
2025/20261.028 53 48 199 144 92 140 213 55 25 59 0 0
Totale 1.587