CRIS Current Research Information System

MELLO, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.649
EU - Europa 10.466
AS - Asia 8.982
AF - Africa 736
SA - Sud America 378
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 16
Totale 31.247
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.542
GB - Regno Unito 4.029
VN - Vietnam 2.466
CN - Cina 2.337
SG - Singapore 2.169
IT - Italia 2.121
DE - Germania 952
HK - Hong Kong 649
FR - Francia 591
SE - Svezia 560
UA - Ucraina 531
IN - India 416
RU - Federazione Russa 387
NL - Olanda 318
BR - Brasile 269
TG - Togo 265
IE - Irlanda 221
TR - Turchia 192
ZA - Sudafrica 168
JP - Giappone 161
KR - Corea 152
EE - Estonia 132
BG - Bulgaria 118
FI - Finlandia 97
NG - Nigeria 93
ID - Indonesia 90
SC - Seychelles 87
JO - Giordania 85
CI - Costa d'Avorio 82
AT - Austria 74
CH - Svizzera 59
CA - Canada 58
GR - Grecia 56
AR - Argentina 50
PL - Polonia 41
ES - Italia 39
BE - Belgio 37
PH - Filippine 36
MX - Messico 33
TH - Thailandia 33
HR - Croazia 31
BD - Bangladesh 30
IQ - Iraq 27
PK - Pakistan 21
EC - Ecuador 19
TW - Taiwan 18
EU - Europa 17
SA - Arabia Saudita 15
IR - Iran 14
LB - Libano 13
LT - Lituania 12
MY - Malesia 12
DK - Danimarca 10
CZ - Repubblica Ceca 9
RO - Romania 9
AU - Australia 8
EG - Egitto 8
MA - Marocco 8
VE - Venezuela 8
IL - Israele 7
NZ - Nuova Zelanda 7
PE - Perù 7
PY - Paraguay 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
CL - Cile 6
JM - Giamaica 6
SM - San Marino 6
CO - Colombia 5
KE - Kenya 5
KZ - Kazakistan 5
TN - Tunisia 5
AL - Albania 4
NP - Nepal 4
SI - Slovenia 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BO - Bolivia 3
DZ - Algeria 3
LU - Lussemburgo 3
MD - Moldavia 3
NO - Norvegia 3
UY - Uruguay 3
GH - Ghana 2
HN - Honduras 2
HU - Ungheria 2
LA - Repubblica Popolare Democratica del Laos 2
MN - Mongolia 2
OM - Oman 2
PA - Panama 2
PS - Palestinian Territory 2
PT - Portogallo 2
SN - Senegal 2
SY - Repubblica araba siriana 2
AG - Antigua e Barbuda 1
AM - Armenia 1
AO - Angola 1
AZ - Azerbaigian 1
BB - Barbados 1
BH - Bahrain 1
BJ - Benin 1
Totale 31.226
Salva come PNG Salva come JPEG
Città #
Southend 3.788
Singapore 1.462
Ashburn 940
Fairfield 858
Chandler 696
Dong Ket 642
Santa Clara 613
Hong Kong 596
San Jose 593
Bologna 486
Ann Arbor 440
Wilmington 429
Woodbridge 420
Hanoi 400
Hefei 398
Seattle 396
Ho Chi Minh City 378
Jacksonville 344
Houston 337
Dallas 324
Princeton 322
Cambridge 298
Lomé 265
Beijing 230
Boardman 227
Dublin 213
Istanbul 167
Westminster 157
Nanjing 154
Padova 148
Lauterbourg 146
Milan 146
Los Angeles 141
Tokyo 141
Berlin 140
Seoul 131
Medford 125
Sofia 117
New York 101
Rome 89
Abeokuta 88
Jinan 88
Amman 84
Frankfurt am Main 84
Abidjan 82
Buffalo 82
Shenyang 76
San Diego 66
Helsinki 65
Saint Petersburg 64
Mülheim 60
Changsha 57
Da Nang 55
Hebei 53
Nanchang 53
Vienna 51
Tianjin 50
Munich 48
Zhengzhou 47
Haiphong 46
Des Moines 45
Redondo Beach 44
Shanghai 44
São Paulo 42
Guangzhou 40
Bern 37
Florence 37
Council Bluffs 36
Mahé 36
Johannesburg 35
Jiaxing 33
Bengaluru 32
Dearborn 32
Hyderabad 32
Naples 32
Norwalk 32
Falls Church 30
Ferrara 30
Chicago 29
Paris 29
The Dalles 29
Verona 29
Brussels 28
Redmond 28
Boydton 26
Turin 26
Warsaw 26
Hangzhou 25
Molinella 25
Trento 25
Wuhan 24
Atlanta 23
Brooklyn 23
London 23
Phoenix 23
Jakarta 22
Yubileyny 21
Fremont 19
Redwood City 19
Amsterdam 18
Totale 20.486
Salva come PNG Salva come JPEG
Nome #
Intelligenza Artificiale: Un'introduzione 598
Complex reactive event processing for assisted living: The Habitat project case study 537
HABITAT: An IoT Solution for Independent Elderly 473
Generating synthetic positive and negative business process traces through abduction 450
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 397
Artificial intelligence and cognitive psychology: How to solve mathematical problems 397
UCD, Ergonomics and Inclusive Design: The HABITAT Project 370
Map reduce autoscaling over the cloud with process mining monitoring 319
A Prolog application for reasoning on maths puzzles with diagrams 308
Binary Discovery of Declarative Business Processes with ASP Preferences 297
A distributed approach to compliance monitoring of business process event streams 293
Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs 290
Abduction for Generating Synthetic Traces 272
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 264
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 251
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 248
A Rule-Based Calculus and Processing of Complex Events 246
A retrospective on the reactive event calculus and commitment modeling language 242
Process Discovery on Deviant Traces and Other Stranger Things 239
A System for Measuring Function Points from an ER-DFD Specification 233
A Logic-Based, Reactive Calculus of Events 233
A.I. Artificial Intelligence Scienza o Fantascienza 230
A computational logic application framework for service discovery and contracting 228
ALIAS: The Abductive LogIc AgentS architecture 227
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 225
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 223
Abducing Compliance of Incomplete Event Logs 221
Process Mining Monitoring for Map Reduce Applications in the Cloud 221
Probabilistic Compliance in Declarative Process Mining 220
Fuzzy Conformance Checking of Observed Behaviour with Expectations 219
Process Mining Manifesto 215
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 214
Representing and monitoring social commitments using the event calculus 212
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 212
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 211
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos 208
Reactive event calculus for monitoring global computing applications 207
Do You Like Dancing Robots? AI Can Tell You Why 206
Security protocols verification in abductive logic programming: a case study. 206
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 206
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 205
Enhancing a production rule engine with predictive models using PMML 204
A computational logic-based approach to verification of IT systems 203
A configurable rete-oo engine for reasoning with different types of imperfect information. 203
A multi-agent system for medical services synergy and coordination. 202
Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations 201
Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification 201
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 200
Specification and Verification of Agent Interaction Protocols in a Logic-based System 199
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 199
A rule-based implementation of fuzzy tableau reasoning 199
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 198
Solving Mathematical Puzzles: A Challenging Competition for AI 196
Verifiable agent interaction in abductive logic programming: the SCIFF framework 195
An Abductive Multi-Agent System for Medical Services Coordination 195
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 195
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation 194
An evidential fusion architecture for people surveillance in wide open areas 194
Learning the Dose Adjustment for the Oral Anticoagulation Treatment 192
Applying Inductive Logic Programming to Process Mining 190
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 190
Dealing with incomplete knowledge on CLP(FD) variable Domains 190
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 189
Mapping Deontic Operators to Abductive Expectations 188
An Abductive Framework for Information Exchange in Multi-Agent systems 188
A CHR-based implementation of known arc-consistency 188
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios. 187
Compliance Verification of Agent Interaction: a Logic-Based Tool 186
Abduction for Specifying and Verifying Web Service Choreographies. 184
Social Commitments in Time: Satisfied or Compensated 183
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant. 181
Abduction with Hypothesis Confirmation 180
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 180
A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors 180
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 180
Declarative Specification and Verification of Service Choreographies 179
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 179
Modelling interactions via commitments and expectations 178
Checking Compliance of Execution Traces to Business Rules 177
Artificial Intelligence Techniques for Monitoring Dangerous Infections 176
A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants 174
Evaluating Compliance: From LTL to Abductive Logic Programming 174
Abduction in the Context of a Reasoning Process: the SCIFF Framework 171
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 170
A CEP-based SOA for the management of WasteWater Treatment Plants 170
Towards data-aware constraints in declare 169
Exploiting inductive logic programming techniques for declarative process mining. 168
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 167
Modeling interactions using social integrity constraints: a resource sharing case study 166
A Game-Based Competition as Instrument for Teaching Artificial Intelligence 166
Integration of medical services in the MeSSyCo agent system (demo session). 165
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 163
Probabilistic Traces in Declarative Process Mining 162
Mapping Deontic Operators to Abductive Expectations 160
A rule-based approach for reasoning about collaboration between smart Web services 160
A wawelet based heuristic to dimension Neural Networks for simple signal approximation 159
null 159
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 159
Web Service Contracting: Specification and Reasoning with SCIFF 158
Commitment Tracking via the Reactive Event Calculus 158
Totale 21.994
Salva come PNG Salva come JPEG
Categoria #
all - tutte 76.761
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 76.761
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/20211.215 0 0 0 0 0 0 0 0 0 0 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/20267.531 545 941 864 507 925 485 1.103 262 1.239 509 151 0
Totale 31.554