IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 470
AS - Asia 365
EU - Europa 167
SA - Sud America 59
AF - Africa 8
OC - Oceania 1
Totale 1.070
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 446
SG - Singapore 207
CN - Cina 79
IT - Italia 65
BR - Brasile 46
VN - Vietnam 32
FR - Francia 24
DE - Germania 23
GB - Regno Unito 21
HK - Hong Kong 20
CA - Canada 13
MX - Messico 11
PL - Polonia 11
JP - Giappone 8
UA - Ucraina 8
TR - Turchia 6
ZA - Sudafrica 6
BD - Bangladesh 4
ID - Indonesia 4
LT - Lituania 4
AR - Argentina 3
RO - Romania 3
BE - Belgio 2
CO - Colombia 2
EC - Ecuador 2
PE - Perù 2
PY - Paraguay 2
SE - Svezia 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CD - Congo 1
ES - Italia 1
FI - Finlandia 1
IN - India 1
IQ - Iraq 1
MA - Marocco 1
NL - Olanda 1
PK - Pakistan 1
SA - Arabia Saudita 1
SK - Slovacchia (Repubblica Slovacca) 1
SR - Suriname 1
UY - Uruguay 1
Totale 1.070
Salva come PNG Salva come JPEG
Città #
Dallas 128
Ashburn 83
Columbus 38
Milan 37
Chicago 31
Singapore 29
Paris 22
Hong Kong 20
Rome 19
Beijing 14
Ho Chi Minh City 12
Seattle 12
São Paulo 11
Warsaw 11
Los Angeles 9
Mexico City 9
Munich 8
Springfield 8
The Dalles 8
Tokyo 8
Hanoi 7
London 7
Prineville 7
Brooklyn 6
Fort Worth 6
New York 6
Boston 5
Istanbul 5
Santa Clara 5
Council Bluffs 4
San Francisco 4
Toronto 4
Atlanta 3
Goiânia 3
Manchester 3
Montreal 3
Phoenix 3
Porto Alegre 3
Brussels 2
Buffalo 2
Da Nang 2
Denver 2
Johannesburg 2
Lima 2
Naples 2
Rio de Janeiro 2
Shanghai 2
Agadir 1
Alegrete 1
Ankara 1
Asunción 1
Augusta 1
Bandera 1
Banfield 1
Banská Bystrica 1
Bauru 1
Belo Horizonte 1
Birigui 1
Birmingham 1
Can Tho 1
Castanhal 1
Caçapava 1
Changsha 1
Charleston 1
Chennai 1
Ciudad del Este 1
Cristino Castro 1
Curitiba 1
Dammam 1
Erbil 1
Fisciano 1
Fortaleza 1
Frankfurt am Main 1
Fuzhou 1
Greensboro 1
Guangzhou 1
Guarapari 1
Haiphong 1
Hangzhou 1
Helsinki 1
Hải Dương 1
Ilhéus 1
Inhumas 1
Irecê 1
Jackson 1
Jepara 1
Jiaxing 1
Jingmen 1
Jundiaí 1
Karachi 1
Kinshasa 1
Kyiv 1
Lianyun 1
Lilla Edet 1
Macaé 1
Magé 1
Manaus 1
Mauá 1
Medellín 1
Mel 1
Totale 672
Salva come PNG Salva come JPEG
Nome #
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 41
From Boolean Relations to Control Software 36
On checking equivalence of simulation scripts 36
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 31
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 30
Urban Vibrancy in Roma’s Neighbourhoods: A Case Study 30
Classification-based screening of phlebopathic patients using smart socks 29
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 28
Simulator semantics for system level formal verification 28
A glimpse of SmartHG project test-bed and communication infrastructure 28
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 27
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 26
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 25
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 25
Control software synthesis for cyber-physical systems with QKS 25
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 25
SyLVaaS 25
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 23
Computing biological model parameters by parallel statistical model checking 23
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 22
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 22
Control Software Visualization 22
An efficient algorithm for network vulnerability analysis under malicious attacks 22
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 21
NashMV 21
SyLVaaS: System level formal verification as a service 21
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 21
Automatic control software synthesis for quantized discrete time hybrid systems 21
Electricity network constraint management using individualised demand aware price policies 20
On minimising the maximum expected verification time 20
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 20
QKS 19
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 18
Model Checking Satellite Operational Procedures 18
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 18
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 17
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 17
Formal verification at system level 16
Undecidability of quantized state feedback control for discrete time linear hybrid systems 16
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 16
SyLVaaS: system level formal verification as a service 16
Linearising discrete time hybrid systems 15
Model Based Synthesis of Control Software from System Level Formal Specifications 15
On Placing Skips Optimally In Expectation 14
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 14
System level formal verification via distributed multi-core hardware in the loop simulation 14
User flexibility aware price policy synthesis for smart grids 13
Parallel statistical model checking for safety verification in smart grids 13
System level formal verification via model checking driven simulation 12
Synthesizing Control Software from Boolean Relations 12
On model based synthesis of embedded control software 12
Model checking driven simulation of sat procedures 11
Model Checking Nash Equilibria in MAD Distributed Systems 11
On-the-Fly Control Software Synthesis 11
Visualisation of control software for cyber-physical systems 10
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 10
Totale 1.152
Salva come PNG Salva come JPEG
Categoria #
all - tutte 7.937
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 7.937
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/2026593 53 48 199 144 92 57 0 0 0 0 0 0
Totale 1.152