Catalogo dei prodotti della ricerca

MANCINI, Toni
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.057
EU - Europa 1.135
AS - Asia 798
SA - Sud America 25
AF - Africa 10
OC - Oceania 9
Totale 6.034
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.021
IT - Italia 477
SG - Singapore 331
IN - India 234
CN - Cina 211
SE - Svezia 177
UA - Ucraina 138
FI - Finlandia 108
BG - Bulgaria 71
DE - Germania 40
GB - Regno Unito 39
CA - Canada 34
IE - Irlanda 26
AR - Argentina 24
KR - Corea 12
RO - Romania 12
BE - Belgio 9
AU - Australia 8
FR - Francia 6
NL - Olanda 6
ES - Italia 5
NO - Norvegia 5
DK - Danimarca 4
EG - Egitto 4
GR - Grecia 4
RU - Federazione Russa 4
ZA - Sudafrica 4
IR - Iran 3
TW - Taiwan 3
AT - Austria 2
MX - Messico 2
BR - Brasile 1
CZ - Repubblica Ceca 1
JP - Giappone 1
ME - Montenegro 1
MU - Mauritius 1
NZ - Nuova Zelanda 1
PH - Filippine 1
TN - Tunisia 1
VN - Vietnam 1
YE - Yemen 1
Totale 6.034
Salva come PNG Salva come JPEG
Città #
Fairfield 608
Chandler 341
Woodbridge 335
Ashburn 245
Seattle 241
Wilmington 213
Houston 211
Cambridge 208
Rome 207
Singapore 189
Beijing 177
Princeton 165
Ann Arbor 135
Plano 108
Millbury 76
Sofia 71
San Paolo di Civitate 67
Des Moines 66
Boston 57
Lawrence 51
Jacksonville 49
San Diego 38
Andover 37
Boardman 32
New York 30
Stockholm 29
Dublin 25
Federal 24
Southend 22
Toronto 21
Norwalk 19
Viterbo 18
Milan 17
Corbetta 16
Falls Church 16
Dearborn 14
Pittsburgh 14
San Mateo 13
Santa Clara 13
Cagliari 12
Ottawa 12
Phoenix 11
Brussels 9
Bühl 8
Mannheim 8
Zibo 7
Capena 6
Nanjing 6
Ulsan 6
Girona 5
Indiana 5
Redwood City 5
Buffalo 4
Cairo 4
Madison 4
Perugia 4
Pomezia 4
Versailles 4
Adelaide 3
Canino 3
Chicago 3
Colleferro 3
Guwahati 3
Hefei 3
Helsinki 3
Lappeenranta 3
London 3
Muizenberg 3
Pune 3
Rende 3
Soreide 3
Taichung 3
Voghiera 3
Bari 2
Canale Monterano 2
Cassano Allo Ionio 2
Civitanova Marche 2
Edinburgh 2
Elefsina 2
Erlangen 2
Fort Worth 2
Genoa 2
Groningen 2
Henderson 2
Karlsruhe 2
Los Angeles 2
Mexico City 2
New Delhi 2
Parma 2
Pasco 2
Provo 2
Ronciglione 2
Saint Petersburg 2
Santa Croce sull'Arno 2
Sydney 2
Verona 2
Vienna 2
Alpharetta 1
Apex 1
Arnsberg 1
Totale 4.438
Salva come PNG Salva come JPEG
Nome #
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. 128
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records 96
Reformulation techniques for a class of permutation problems 94
Residential demand management using individualised demand aware price policies 94
On minimising the maximum expected verification time 91
SyLVaaS: System level formal verification as a service 88
Anytime system level verification via parallel random exhaustive hardware in the loop simulation 87
A unifying framework for structural properties of CSPs: definitions, complexity, tractability 86
Simulator semantics for system level formal verification 86
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking 85
Computing biological model parameters by parallel statistical model checking 84
Associations between natural physiological and supraphysiological estradiol levels and stress perception 84
Anytime System Level Verification via Random Exhaustive Hardware In The Loop Simulation 81
Exploiting functional dependencies in declarative problem specifications 80
Generalizing consistency and other constraint properties to quantified constraints 80
RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion 79
Optimal fault-tolerant placement of relay nodes in a mission critical wireless network 78
null 77
Experimental evaluation of algorithms for solving problems with combinatorial explosion 76
Combining relational algebra, SQL, constraint modelling, and local search 75
20th RCRA International workshop on “Experimental evaluation of algorithms for solving problems with combinatorial explosion” 75
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine 74
User flexibility aware price policy synthesis for smart grids 74
Parallelization of cycle-based logic simulation 74
Automated reformulation of specifications by safe delay of constraints 73
System level formal verification via model checking driven simulation 73
SAT as an effective solving technology for constraint problems 73
Parallel statistical model checking for safety verification in smart grids 73
Demand-Aware Price Policy Synthesis and Verification Services for Smart Grids 73
Finite Model Reasoning on UML Class Diagrams Via Constraint Programming 72
Detecting and breaking symmetries by reasoning on problem specifications 71
SyLVaaS: system level formal verification as a service 71
Negotiation exploiting reasoning by projections 71
Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles 70
Combining Relational Algebra, SQL, and Constraint Programming 69
An efficient algorithm for network vulnerability analysis under malicious attacks 69
Exploiting functional dependencies in declarative problem specifications 68
Automated reformulation of specifications by safe delay of constraints 67
System level formal verification via distributed multi-core hardware in the loop simulation 64
18th RCRA international workshop on "experimental evaluation of algorithms for solving problems with combinatorial explosion" 62
Knowledge compilation = Query rewriting + View synthesis 62
Using a Theorem Prover for Reasoning on Constraint Problems 61
Using a theorem prover for reasoning on constraint problems 61
Experimental evaluation of algorithms forsolving problems with combinatorial explosion 61
Evaluating ASP and commercial solvers on the CSPLib 61
Exploiting fixable, removable, and implied values in Constraint Satisfaction Problems 61
RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion 61
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry 60
17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion" 60
Automated reformulation of specifications by safe delay of constraints 58
Now or never: negotiating efficiently with unknown or untrusted counterparts 58
Using a theorem prover for reasoning on constraint problems 58
In silico clinical trials through AI and statistical model checking 57
Evaluating ASP and commercial solvers on the CSPLib 57
Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles 56
Negotiation exploiting reasoning by projections 55
Exploiting functional dependencies in declarative problem specifications 54
Complexity of pure equilibria in bayesian games 50
15th International RCRA workshop (RCRA 2008) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” in associazione con ICLP 2008 47
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 46
22-nd International Joint Conference of Artificial Intelligence (IJCAI 2011), Barcelona, Spain. 44
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 44
Using a theorem prover for reasoning on constraint problems 43
Declarative constraint modelling and specification-level reasoning 42
16th International RCRA workshop (RCRA 2009) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” in associazione con AI*IA 2009 42
9th International Workshop on Constraint Modelling and Reformulation (ModRef 2010) in associazione con CP 2010 41
4th Mexican International Conference on Artificial Intelligence (MICAI 2005), Monterrey, Nuevo Leon, Mexico. 40
Towards automated reformulation of specifications 39
8th International Workshop on Constraint Modelling and Reformulation (ModRef 2009) tenuto in occasione di CP 2009, Lisbon, Portugal. 39
Reconciling interoperability with efficient Verification and Validation within open source simulation environments 39
17th International RCRA workshop (RCRA 2010) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” in associazione di CPAIOR 2010 35
18th International RCRA workshop (RCRA 2011) on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” in associazione con IJCAI 2011 35
The impact of machine learning in predicting risk of violence: a systematic review 34
Constrained Optimization Over Massive Databases 34
null 34
On checking equivalence of simulation scripts 34
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification 34
Academic visitor presso il Computing Laboratory dell’University of Oxford, UK, su invito del Prof. Georg Gottlob 33
Detecting and breaking symmetries on specifications 33
3rd International Workshop on Logic and Search (LaSh 2010), Edinburgh, Scotland (UK) tenuto in occasione di FLOC 2010. 32
2nd International Workshop on Logic and Search: Computation of structures from declarative descriptions (LaSh 2008), Leuven, Belgium. 32
Giornata di Lavoro del gruppo di “Rappresentazione della conoscenza e ragionamento automatico” (RCRA) dell’Associazione Italiana per l’Intelligenza Artificiale (AI*IA), tenutasi a Ferrara, intitolata “Analisi sperimentale e benchmark di algoritmi per l’Intelligenza Artificiale” (RCRA 2005) 31
6th International Workshop on Constraint Modelling and Reformulation (ModRef 2007) tenuto in occasione di CP 2007, Providence, Rhode Island, USA. 31
Finite model reasoning on UML class diagrams via constraint programming 31
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries 31
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials 30
Premio neodottori di ricerca "Marco Cadoli" dell'Associazione Italiana Intelligenza Artificiale (AI*IA) 30
23rd Conference of the American Association for Artificial Intelligence (AAAI 2008), Chicago, IL, USA 30
Conditional constraint satisfaction: Logical foundations and complexity 30
ConSQL simulator 30
Academic visitor presso il Department of Information Technology della Uppsala University, Svezia, nel gruppo del Prof. Pierre Flener 29
Cognitive function in association with high estradiol levels resulting from fertility treatment 29
CSP properties for Quantified Constraints: Definitions and complexity 28
Combinatorial problem solving over relational databases: View synthesis through constraint-based local search 28
Academic visitor presso il Department of Information Technology della Uppsala University, Svezia, nel gruppo del Prof. Pierre Flener 27
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation 27
Evaluating ASP and commercial solvers on the CSPLib – Preliminary report 27
SyLVaaS 26
Fundamenta Informaticae: Preface 26
Now or never: negotiating efficiently with unknown counterparts 26
Totale 5.619
Salva come PNG Salva come JPEG
Categoria #
all - tutte 18.973
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 18.973
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.069 0 0 0 50 128 120 139 158 142 169 129 34
2020/2021466 53 43 17 28 17 17 19 77 87 60 41 7
2021/20221.199 17 72 101 29 150 37 34 101 94 104 212 248
2022/20231.187 278 205 65 104 123 160 12 54 112 7 43 24
2023/2024704 48 100 36 40 107 134 5 42 8 77 40 67
2024/2025297 69 97 115 16 0 0 0 0 0 0 0 0
Totale 6.204