Catalogo dei prodotti della ricerca

MANCINI, Toni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.295
EU - Europa 676
AS - Asia 169
AF - Africa 15
SA - Sud America 12
OC - Oceania 5
Continente sconosciuto - Info sul continente non disponibili 1
Totale 2.173
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.261
IT - Italia 310
FR - Francia 89
CN - Cina 62
GB - Regno Unito 55
DE - Germania 42
CA - Canada 29
IN - India 29
IE - Irlanda 28
CZ - Repubblica Ceca 17
NL - Olanda 17
FI - Finlandia 15
BG - Bulgaria 14
ES - Italia 14
RU - Federazione Russa 14
MY - Malesia 12
SG - Singapore 12
ZA - Sudafrica 11
GR - Grecia 10
IR - Iran 10
UA - Ucraina 10
HK - Hong Kong 9
PK - Pakistan 7
CL - Cile 6
NO - Norvegia 6
TW - Taiwan 6
AU - Australia 5
CH - Svizzera 5
DK - Danimarca 5
RO - Romania 5
SE - Svezia 5
JP - Giappone 4
LT - Lituania 4
MX - Messico 4
TR - Turchia 4
AT - Austria 3
KR - Corea 3
AE - Emirati Arabi Uniti 2
BO - Bolivia 2
BR - Brasile 2
EG - Egitto 2
ID - Indonesia 2
NG - Nigeria 2
PT - Portogallo 2
SA - Arabia Saudita 2
A2 - ???statistics.table.value.countryCode.A2??? 1
AR - Argentina 1
BE - Belgio 1
EC - Ecuador 1
IL - Israele 1
IQ - Iraq 1
KH - Cambogia 1
LU - Lussemburgo 1
NI - Nicaragua 1
PL - Polonia 1
QA - Qatar 1
RS - Serbia 1
SI - Slovenia 1
SK - Slovacchia (Repubblica Slovacca) 1
TH - Thailandia 1
Totale 2.173
Salva come PNG Salva come JPEG
Città #
Houston 153
Fairfield 112
Santa Cruz 102
Rome 98
Ann Arbor 89
Buffalo 87
Ashburn 74
Seattle 69
Woodbridge 49
Modena 46
Wilmington 39
Cambridge 31
Milan 27
Dublin 25
Viterbo 24
Chicago 18
Paris 16
San Diego 16
Los Angeles 15
Beijing 14
Sofia 14
Toronto 13
Bengaluru 12
Des Moines 11
Ottawa 11
Phoenix 11
Clearwater 10
Muizenberg 10
Provo 9
Redmond 9
San Cesareo 9
Helsinki 8
Brescia 7
Las Vegas 7
Andover 6
Berlin 6
Council Bluffs 6
Hangzhou 6
Milpitas 6
Mountain View 6
University Park 6
Boardman 5
Boulder 5
Dallas 5
Henderson 5
Lappeenranta 5
London 5
New York 5
Nuremberg 5
Passau 5
Riva 5
Corbetta 4
Girona 4
Guangzhou 4
Kharagpur 4
Kirkcaldy 4
Lake Forest 4
San Jose 4
Scranton 4
Sunnyvale 4
Vicenza 4
Zhengzhou 4
Andheri 3
Baltimore 3
Barcelona 3
Central District 3
Grenoble 3
Islamabad 3
Kish 3
Kraskovo 3
Lexington 3
Moncalieri 3
Nanjing 3
Pasadena 3
Portland 3
San Francisco 3
Santa Clara 3
Southend 3
Taipei 3
Udine 3
Velletri 3
Washington 3
Yellow Springs 3
Absecon 2
Adelaide 2
Amsterdam 2
Barletta 2
Bloomfield 2
Brockport 2
Brookline 2
Cassano Magnago 2
Columbus 2
Copenhagen 2
Edinburgh 2
Elefsina 2
Groningen 2
Kashan 2
Kassandreia 2
Kuala Lumpur 2
La Paz 2
Totale 1.478
Salva come PNG Salva come JPEG
Nome #
SyLVaaS: System level formal verification as a service, file e3835316-7a4c-15e8-e053-a505fe0a3de9 247
Residential demand management using individualised demand aware price policies, file e3835316-a5dd-15e8-e053-a505fe0a3de9 217
Anytime system level verification via parallel random exhaustive hardware in the loop simulation, file e3835314-8d19-15e8-e053-a505fe0a3de9 187
User flexibility aware price policy synthesis for smart grids, file e3835314-b175-15e8-e053-a505fe0a3de9 183
On minimising the maximum expected verification time, file e3835316-716a-15e8-e053-a505fe0a3de9 180
In silico clinical trials through AI and statistical model checking, file e3835325-9618-15e8-e053-a505fe0a3de9 148
Parallelization of cycle-based logic simulation, file e3835318-7604-15e8-e053-a505fe0a3de9 136
Experimental evaluation of algorithms forsolving problems with combinatorial explosion, file e3835317-135c-15e8-e053-a505fe0a3de9 130
Experimental evaluation of algorithms for solving problems with combinatorial explosion, file e3835321-eeb7-15e8-e053-a505fe0a3de9 126
Declarative constraint modelling and specification-level reasoning, file e3835316-1036-15e8-e053-a505fe0a3de9 125
Parallel statistical model checking for safety verification in smart grids, file e383531d-3afb-15e8-e053-a505fe0a3de9 105
Optimal fault-tolerant placement of relay nodes in a mission critical wireless network, file e383531d-5dd9-15e8-e053-a505fe0a3de9 82
Simulator semantics for system level formal verification, file e3835316-e85c-15e8-e053-a505fe0a3de9 80
null, file e3835324-df5a-15e8-e053-a505fe0a3de9 75
Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles, file e3835318-9aa6-15e8-e053-a505fe0a3de9 70
Associations between natural physiological and supraphysiological estradiol levels and stress perception, file e3835322-4805-15e8-e053-a505fe0a3de9 69
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking, file e383532b-6088-15e8-e053-a505fe0a3de9 22
The impact of machine learning in predicting risk of violence: a systematic review, file c92dda67-c2f2-4b9f-8d65-aaeb6e789c03 21
Now or never: negotiating efficiently with unknown counterparts, file e3835316-bcce-15e8-e053-a505fe0a3de9 14
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction., file e383531d-b333-15e8-e053-a505fe0a3de9 9
Parallel statistical model checking for safety verification in smart grids, file e3835322-2427-15e8-e053-a505fe0a3de9 9
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine, file 8c26e0d5-58e1-4543-b379-4fd7c31090b3 6
Complete populations of virtual patients for in silico clinical trials, file d993f754-0bba-4327-a45f-e249ee124224 4
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins, file e3835325-e109-15e8-e053-a505fe0a3de9 4
System level formal verification via model checking driven simulation, file e3835312-4427-15e8-e053-a505fe0a3de9 3
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks, file e3835325-bf57-15e8-e053-a505fe0a3de9 3
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation, file e383532c-6d53-15e8-e053-a505fe0a3de9 3
Now or never: negotiating efficiently with unknown or untrusted counterparts, file e3835316-8609-15e8-e053-a505fe0a3de9 2
20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion”, file e3835316-de0a-15e8-e053-a505fe0a3de9 2
Computing biological model parameters by parallel statistical model checking, file e3835316-fc3e-15e8-e053-a505fe0a3de9 2
An efficient algorithm for network vulnerability analysis under malicious attacks, file e383531d-394c-15e8-e053-a505fe0a3de9 2
null, file e3835324-a8f1-15e8-e053-a505fe0a3de9 2
Food preferences throughout the menstrual cycle – A computer-assisted neuro-endocrino-psychological investigation, file 1dcf96f0-16d0-4c18-8b67-50a0fa4ba249 1
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins, file a0337316-ab22-4840-940b-42c5d5acee84 1
Automated reformulation of specifications by safe delay of constraints, file e3835311-717b-15e8-e053-a505fe0a3de9 1
Automated reformulation of specifications by safe delay of constraints, file e3835311-81f8-15e8-e053-a505fe0a3de9 1
Generalizing consistency and other constraint properties to quantified constraints, file e3835311-964c-15e8-e053-a505fe0a3de9 1
Exploiting functional dependencies in declarative problem specifications, file e3835311-9945-15e8-e053-a505fe0a3de9 1
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming, file e3835311-a004-15e8-e053-a505fe0a3de9 1
Automated reformulation of specifications by safe delay of constraints, file e3835311-ab0a-15e8-e053-a505fe0a3de9 1
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles, file e3835317-b6ea-15e8-e053-a505fe0a3de9 1
On minimising the maximum expected verification time, file e3835321-d0e2-15e8-e053-a505fe0a3de9 1
Reconciling interoperability with efficient Verification and Validation within open source simulation environments, file e3835329-dce0-15e8-e053-a505fe0a3de9 1
Cognitive function in association with high estradiol levels resulting from fertility treatment, file e383532c-d266-15e8-e053-a505fe0a3de9 1
Totale 2.280
Salva come PNG Salva come JPEG
Categoria #
all - tutte 4.249
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 4.249
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2018/201951 0 0 0 0 0 0 0 0 0 0 2 49
2019/2020364 34 21 8 25 45 25 38 28 48 30 32 30
2020/2021414 17 33 22 29 19 30 24 48 47 60 57 28
2021/2022728 43 36 60 165 102 39 33 41 31 22 114 42
2022/2023388 28 29 98 41 34 37 32 9 16 21 27 16
2023/2024309 20 25 35 25 48 51 34 32 5 26 8 0
Totale 2.280