CRIS Current Research Information System

MELLO, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 10.127
NA - Nord America 9.613
AS - Asia 7.169
AF - Africa 684
SA - Sud America 325
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 14
Totale 27.952
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 9.529
GB - Regno Unito 4.001
CN - Cina 2.152
IT - Italia 2.047
SG - Singapore 1.906
VN - Vietnam 1.485
DE - Germania 930
SE - Svezia 558
HK - Hong Kong 535
UA - Ucraina 529
FR - Francia 434
RU - Federazione Russa 381
IN - India 378
NL - Olanda 311
TG - Togo 265
BR - Brasile 232
IE - Irlanda 220
TR - Turchia 182
ZA - Sudafrica 139
KR - Corea 137
JP - Giappone 134
EE - Estonia 132
BG - Bulgaria 117
NG - Nigeria 93
ID - Indonesia 86
SC - Seychelles 86
FI - Finlandia 83
CI - Costa d'Avorio 82
JO - Giordania 81
AT - Austria 73
CH - Svizzera 58
GR - Grecia 55
CA - Canada 47
AR - Argentina 46
BE - Belgio 35
ES - Italia 34
PL - Polonia 34
HR - Croazia 31
MX - Messico 28
EC - Ecuador 17
EU - Europa 17
IR - Iran 14
LB - Libano 13
DK - Danimarca 10
LT - Lituania 10
CZ - Repubblica Ceca 9
MY - Malesia 9
BD - Bangladesh 8
NZ - Nuova Zelanda 7
PE - Perù 7
RO - Romania 7
AU - Australia 6
PH - Filippine 6
PK - Pakistan 6
PY - Paraguay 6
SM - San Marino 6
CL - Cile 5
CO - Colombia 5
MA - Marocco 5
AE - Emirati Arabi Uniti 4
EG - Egitto 4
IL - Israele 4
IQ - Iraq 4
KZ - Kazakistan 4
SI - Slovenia 4
TW - Taiwan 4
UZ - Uzbekistan 4
VE - Venezuela 4
A2 - ???statistics.table.value.countryCode.A2??? 3
AL - Albania 3
LU - Lussemburgo 3
MD - Moldavia 3
NO - Norvegia 3
SA - Arabia Saudita 3
TH - Thailandia 3
BO - Bolivia 2
DZ - Algeria 2
HU - Ungheria 2
JM - Giamaica 2
NP - Nepal 2
PT - Portogallo 2
SN - Senegal 2
TN - Tunisia 2
AM - Armenia 1
BB - Barbados 1
BJ - Benin 1
CU - Cuba 1
DO - Repubblica Dominicana 1
GA - Gabon 1
GE - Georgia 1
GH - Ghana 1
GT - Guatemala 1
HN - Honduras 1
IM - Isola di Man 1
KI - Kiribati 1
LA - Repubblica Popolare Democratica del Laos 1
MK - Macedonia 1
ML - Mali 1
PA - Panama 1
PS - Palestinian Territory 1
Totale 27.949
Salva come PNG Salva come JPEG
Città #
Southend 3.788
Singapore 1.210
Ashburn 874
Fairfield 858
Chandler 695
Dong Ket 642
Santa Clara 604
Hong Kong 509
Bologna 470
Ann Arbor 440
Wilmington 429
Woodbridge 420
Hefei 397
Seattle 396
Jacksonville 343
Houston 336
Princeton 322
Dallas 319
Cambridge 298
Lomé 265
Boardman 226
Beijing 219
Dublin 212
Istanbul 162
Westminster 157
Nanjing 154
Padova 148
Milan 143
Hanoi 141
Berlin 139
Ho Chi Minh City 132
Seoul 130
Medford 124
Tokyo 123
Sofia 117
Los Angeles 116
Abeokuta 88
Jinan 87
Rome 87
New York 86
Abidjan 82
Amman 81
Buffalo 77
Shenyang 76
Frankfurt am Main 72
San Diego 66
Saint Petersburg 64
Mülheim 60
Hebei 53
Helsinki 53
Nanchang 53
Changsha 51
Vienna 50
Tianjin 48
Munich 46
Des Moines 45
Zhengzhou 45
Redondo Beach 44
Shanghai 41
Bern 37
Florence 37
São Paulo 37
Mahé 36
Guangzhou 34
Bengaluru 32
Dearborn 32
Jiaxing 32
Norwalk 32
Hyderabad 31
Falls Church 30
Verona 29
Redmond 28
Brussels 27
Boydton 26
Ferrara 26
Paris 26
San Jose 26
Turin 26
Molinella 25
Trento 25
Chicago 22
Hangzhou 22
Jakarta 21
Naples 21
Yubileyny 21
Wuhan 20
Brooklyn 19
Fremont 19
London 19
Redwood City 19
Warsaw 19
Ningbo 18
Phoenix 18
Taiyuan 18
Amsterdam 17
Haikou 17
Turku 17
Ravenna 16
Taizhou 16
Cesena 15
Totale 18.521
Salva come PNG Salva come JPEG
Nome #
Intelligenza Artificiale: Un'introduzione 522
Complex reactive event processing for assisted living: The Habitat project case study 458
HABITAT: An IoT Solution for Independent Elderly 410
Generating synthetic positive and negative business process traces through abduction 408
Artificial intelligence and cognitive psychology: How to solve mathematical problems 339
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 331
UCD, Ergonomics and Inclusive Design: The HABITAT Project 329
Map reduce autoscaling over the cloud with process mining monitoring 280
A Prolog application for reasoning on maths puzzles with diagrams 263
A distributed approach to compliance monitoring of business process event streams 261
Binary Discovery of Declarative Business Processes with ASP Preferences 250
Abduction for Generating Synthetic Traces 250
Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs 240
A retrospective on the reactive event calculus and commitment modeling language 230
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 229
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 227
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 227
A System for Measuring Function Points from an ER-DFD Specification 226
A Rule-Based Calculus and Processing of Complex Events 223
A.I. Artificial Intelligence Scienza o Fantascienza 215
A Logic-Based, Reactive Calculus of Events 212
Process Discovery on Deviant Traces and Other Stranger Things 211
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 211
A computational logic application framework for service discovery and contracting 209
Abducing Compliance of Incomplete Event Logs 201
ALIAS: The Abductive LogIc AgentS architecture 200
Process Mining Monitoring for Map Reduce Applications in the Cloud 199
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 199
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 198
Fuzzy Conformance Checking of Observed Behaviour with Expectations 198
Process Mining Manifesto 197
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 195
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 193
Security protocols verification in abductive logic programming: a case study. 192
Representing and monitoring social commitments using the event calculus 192
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 190
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 189
A multi-agent system for medical services synergy and coordination. 187
Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification 187
Specification and Verification of Agent Interaction Protocols in a Logic-based System 185
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 185
Learning the Dose Adjustment for the Oral Anticoagulation Treatment 184
Reactive event calculus for monitoring global computing applications 184
An Abductive Multi-Agent System for Medical Services Coordination 183
Do You Like Dancing Robots? AI Can Tell You Why 182
A computational logic-based approach to verification of IT systems 182
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 181
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos 181
A configurable rete-oo engine for reasoning with different types of imperfect information. 181
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 181
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 179
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 179
An Abductive Framework for Information Exchange in Multi-Agent systems 178
Solving Mathematical Puzzles: A Challenging Competition for AI 178
Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations 177
An evidential fusion architecture for people surveillance in wide open areas 177
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 177
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios. 177
Applying Inductive Logic Programming to Process Mining 176
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation 176
Verifiable agent interaction in abductive logic programming: the SCIFF framework 174
Enhancing a production rule engine with predictive models using PMML 174
A CHR-based implementation of known arc-consistency 174
Compliance Verification of Agent Interaction: a Logic-Based Tool 172
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 172
Dealing with incomplete knowledge on CLP(FD) variable Domains 172
Artificial Intelligence Techniques for Monitoring Dangerous Infections 171
Abduction with Hypothesis Confirmation 169
Abduction for Specifying and Verifying Web Service Choreographies. 169
Mapping Deontic Operators to Abductive Expectations 168
Social Commitments in Time: Satisfied or Compensated 167
A rule-based implementation of fuzzy tableau reasoning 166
Checking Compliance of Execution Traces to Business Rules 165
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant. 163
Declarative Specification and Verification of Service Choreographies 161
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 161
Probabilistic Compliance in Declarative Process Mining 159
null 159
Evaluating Compliance: From LTL to Abductive Logic Programming 159
Modelling interactions via commitments and expectations 158
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 158
Abduction in the Context of a Reasoning Process: the SCIFF Framework 158
A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants 156
A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors 152
Modeling interactions using social integrity constraints: a resource sharing case study 152
Exploiting inductive logic programming techniques for declarative process mining. 151
A CEP-based SOA for the management of WasteWater Treatment Plants 151
null 150
Towards data-aware constraints in declare 149
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 148
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 148
Integration of medical services in the MeSSyCo agent system (demo session). 147
A Knowledge-Based System for Fashion Trend Forecasting 147
Role Monitoring in Open Agent Societies 145
Web Service Contracting: Specification and Reasoning with SCIFF 144
Verification of choreographies during execution using the reactive event calculus 144
Monitoring business constraints with the event calculus 143
A rule-based approach for reasoning about collaboration between smart Web services 143
Commitment Tracking via the Reactive Event Calculus 143
Adding Uncertainty to a Rete-OO Inference Engine. 142
Totale 19.765
Salva come PNG Salva come JPEG
Categoria #
all - tutte 70.405
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 70.405
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20212.920 0 0 0 0 0 265 139 347 616 338 261 954
2021/20224.177 579 170 256 236 386 230 120 257 222 100 1.088 533
2022/20233.828 299 743 231 407 296 409 126 183 577 76 267 214
2023/20241.562 85 208 76 131 126 293 129 144 67 150 75 78
2024/20254.253 157 518 344 182 826 202 425 106 102 312 234 845
2025/20264.188 545 941 864 507 925 406 0 0 0 0 0 0
Totale 28.211