IRIS
MARI, FEDERICO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 899
AS - Asia 461
EU - Europa 294
Continente sconosciuto - Info sul continente non disponibili 80
SA - Sud America 68
AF - Africa 11
OC - Oceania 1
Totale 1.814
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 866
SG - Singapore 211
IT - Italia 174
CN - Cina 134
BR - Brasile 50
VN - Vietnam 38
GB - Regno Unito 27
FR - Francia 25
HK - Hong Kong 25
DE - Germania 23
PK - Pakistan 17
MX - Messico 16
CA - Canada 14
PL - Polonia 12
UA - Ucraina 9
BD - Bangladesh 7
JP - Giappone 7
ZA - Sudafrica 7
ID - Indonesia 6
TR - Turchia 6
LT - Lituania 4
AR - Argentina 3
ES - Italia 3
RO - Romania 3
SK - Slovacchia (Repubblica Slovacca) 3
UY - Uruguay 3
VE - Venezuela 3
BE - Belgio 2
CO - Colombia 2
EC - Ecuador 2
IN - India 2
IQ - Iraq 2
NL - Olanda 2
PE - Perù 2
PY - Paraguay 2
SE - Svezia 2
AE - Emirati Arabi Uniti 1
AU - Australia 1
CD - Congo 1
EG - Egitto 1
ET - Etiopia 1
FI - Finlandia 1
GR - Grecia 1
GT - Guatemala 1
HN - Honduras 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.734
Salva come PNG Salva come JPEG
Città #
San Jose 206
Ashburn 157
Dallas 128
Rome 125
Council Bluffs 66
Columbus 39
Beijing 37
Milan 37
Singapore 35
Chicago 32
Hong Kong 25
Paris 22
Phoenix 16
Ho Chi Minh City 13
Islamabad 13
Mexico City 13
São Paulo 13
Seattle 12
Santa Clara 11
Warsaw 11
Los Angeles 9
Brooklyn 8
Munich 8
Springfield 8
The Dalles 8
Hanoi 7
London 7
New York 7
Prineville 7
Tokyo 7
Fort Worth 6
Atlanta 5
Boston 5
Istanbul 5
Manchester 5
San Francisco 4
Da Nang 3
Goiânia 3
Johannesburg 3
Karachi 3
Montevideo 3
Montreal 3
Porto Alegre 3
Toronto 3
Bratislava 2
Brussels 2
Buffalo 2
Denver 2
Hammond 2
Lima 2
Orem 2
Reading 2
Rio de Janeiro 2
Shanghai 2
Tampa 2
Addis Ababa 1
Agadir 1
Alegrete 1
Alliance 1
Amman 1
Ankara 1
Asunción 1
Athens 1
Augusta 1
Baltimore 1
Bandera 1
Banfield 1
Banská Bystrica 1
Bar Harbor 1
Bauru 1
Bekasi 1
Bell Gardens 1
Belo Horizonte 1
Birigui 1
Birmingham 1
Bishkek 1
Boardman 1
Budapest 1
Bắc Ninh 1
Cairo 1
Can Tho 1
Caracas 1
Castanhal 1
Caçapava 1
Changsha 1
Charleston 1
Charlotte 1
Chennai 1
Chino 1
Ciudad Juárez 1
Ciudad del Este 1
Clinton 1
Cristino Castro 1
Curitiba 1
Dammam 1
Delhi 1
Detroit 1
Edgewood 1
Elizabethton 1
Erbil 1
Totale 1.208
Salva come PNG Salva come JPEG
Nome #
Breathing Monitoring in Soccer: Part I - Validity of Commercial Wearable Sensors 60
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 44
Classification-based screening of phlebopathic patients using smart socks 43
Control software synthesis for cyber-physical systems with QKS 43
From Boolean Relations to Control Software 43
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 42
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 42
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 42
On checking equivalence of simulation scripts 42
Predicting 60-day Recovery Outcomes After ACL Surgery Using Machine Learning 41
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 41
A glimpse of SmartHG project test-bed and communication infrastructure 41
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems 40
Linear Constraints as a Modeling Language for Discrete Time Hybrid Systems 38
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 37
Control Software Visualization 37
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 37
Computing biological model parameters by parallel statistical model checking 37
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 36
Simulator semantics for system level formal verification 36
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 35
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 35
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management 35
SyLVaaS: System level formal verification as a service 35
Automatic control software synthesis for quantized discrete time hybrid systems 35
Model Checking Coalition Nash Equilibria in MAD Distributed Systems 35
Formal verification at system level 34
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 34
SyLVaaS 34
NashMV 33
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software 33
On minimising the maximum expected verification time 33
An efficient algorithm for network vulnerability analysis under malicious attacks 33
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction 31
Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 30
System level formal verification via distributed multi-core hardware in the loop simulation 29
On Placing Skips Optimally In Expectation 28
User flexibility aware price policy synthesis for smart grids 28
Electricity network constraint management using individualised demand aware price policies 28
Model Checking Satellite Operational Procedures 28
QKS 28
Model Based Synthesis of Control Software from System Level Formal Specifications 28
Undecidability of quantized state feedback control for discrete time linear hybrid systems 27
Linearising discrete time hybrid systems 26
SyLVaaS: system level formal verification as a service 26
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems 25
Parallel statistical model checking for safety verification in smart grids 25
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco Networks 23
System level formal verification via model checking driven simulation 23
Synthesizing Control Software from Boolean Relations 23
On model based synthesis of embedded control software 22
Model checking driven simulation of sat procedures 19
On-the-Fly Control Software Synthesis 19
Model Checking Nash Equilibria in MAD Distributed Systems 18
Visualisation of control software for cyber-physical systems 14
Totale 1.814
Salva come PNG Salva come JPEG
Categoria #
all - tutte 11.777
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 11.777
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/2025485 0 17 46 54 1 38 82 41 80 32 22 72
2025/20261.108 51 48 198 143 89 137 213 55 24 95 48 7
2026/2027168 7 161 0 0 0 0 0 0 0 0 0 0
Totale 1.814