CRIS Current Research Information System

MELLO, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 11.169
EU - Europa 10.569
AS - Asia 9.033
AF - Africa 736
SA - Sud America 400
Continente sconosciuto - Info sul continente non disponibili 327
OC - Oceania 16
Totale 32.250
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 11.025
GB - Regno Unito 4.001
VN - Vietnam 2.461
CN - Cina 2.351
IT - Italia 2.252
SG - Singapore 2.184
DE - Germania 953
HK - Hong Kong 654
FR - Francia 589
SE - Svezia 560
UA - Ucraina 530
IN - India 413
RU - Federazione Russa 385
NL - Olanda 318
BR - Brasile 282
TG - Togo 264
IE - Irlanda 221
TR - Turchia 192
ZA - Sudafrica 167
JP - Giappone 161
KR - Corea 152
EE - Estonia 131
BG - Bulgaria 117
FI - Finlandia 95
NG - Nigeria 92
ID - Indonesia 90
SC - Seychelles 90
JO - Giordania 84
CI - Costa d'Avorio 82
AT - Austria 74
CA - Canada 72
CH - Svizzera 61
BD - Bangladesh 57
GR - Grecia 56
AR - Argentina 52
ES - Italia 43
PL - Polonia 41
BE - Belgio 37
MX - Messico 37
PH - Filippine 36
HR - Croazia 31
TH - Thailandia 31
IQ - Iraq 28
PK - Pakistan 21
EC - Ecuador 20
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
RO - Romania 10
CZ - Repubblica Ceca 9
JM - Giamaica 9
PE - Perù 9
VE - Venezuela 9
AU - Australia 8
EG - Egitto 8
MA - Marocco 8
PY - Paraguay 8
CO - Colombia 7
IL - Israele 7
NZ - Nuova Zelanda 7
UZ - Uzbekistan 7
AE - Emirati Arabi Uniti 6
CL - Cile 6
SM - San Marino 6
HN - Honduras 5
KE - Kenya 5
KZ - Kazakistan 5
SV - El Salvador 5
TN - Tunisia 5
AL - Albania 4
GT - Guatemala 4
NP - Nepal 4
SI - Slovenia 4
A2 - ???statistics.table.value.countryCode.A2??? 3
BO - Bolivia 3
CR - Costa Rica 3
DZ - Algeria 3
HU - Ungheria 3
LU - Lussemburgo 3
MD - Moldavia 3
NO - Norvegia 3
UY - Uruguay 3
GH - Ghana 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
TT - Trinidad e Tobago 2
AG - Antigua e Barbuda 1
AM - Armenia 1
AO - Angola 1
Totale 31.919
Salva come PNG Salva come JPEG
Città #
Southend 3.752
Singapore 1.478
Ashburn 960
Fairfield 853
Chandler 692
San Jose 665
Dong Ket 642
Santa Clara 629
Hong Kong 601
Bologna 505
Ann Arbor 440
Wilmington 429
Woodbridge 417
Hanoi 401
Hefei 398
Seattle 395
Ho Chi Minh City 378
Jacksonville 345
Houston 339
Dallas 327
Princeton 320
Cambridge 297
Council Bluffs 268
Lomé 264
Beijing 245
Boardman 242
Dublin 213
Istanbul 166
Milan 161
Westminster 156
Nanjing 152
Los Angeles 151
Padova 147
Lauterbourg 145
Tokyo 141
Berlin 139
Seoul 131
Medford 125
Sofia 116
Rome 104
New York 99
Jinan 88
Abeokuta 87
Frankfurt am Main 84
Amman 83
Buffalo 83
Abidjan 82
Shenyang 76
San Diego 66
Helsinki 64
Saint Petersburg 64
Mülheim 60
Changsha 56
Da Nang 54
Nanchang 53
Hebei 52
Vienna 51
Tianjin 50
Munich 46
Zhengzhou 46
Des Moines 45
Shanghai 45
Haiphong 44
Redondo Beach 44
São Paulo 44
Guangzhou 39
Phoenix 39
Bern 37
Florence 37
Naples 37
Mahé 36
Johannesburg 35
Chicago 33
Jiaxing 33
Bengaluru 32
Dearborn 32
Hyderabad 32
Norwalk 32
Ferrara 31
Falls Church 30
Trento 30
Paris 29
The Dalles 29
Verona 29
Redmond 28
Brussels 27
Turin 27
Atlanta 26
Boydton 26
Brooklyn 26
Warsaw 26
Hangzhou 25
London 25
Molinella 25
Wuhan 24
Jakarta 22
Yubileyny 21
Fremont 19
Redwood City 19
Amsterdam 18
Totale 20.911
Salva come PNG Salva come JPEG
Nome #
Intelligenza Artificiale: Un'introduzione 629
Complex reactive event processing for assisted living: The Habitat project case study 558
HABITAT: An IoT Solution for Independent Elderly 481
Generating synthetic positive and negative business process traces through abduction 467
Artificial intelligence and cognitive psychology: How to solve mathematical problems 432
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 431
UCD, Ergonomics and Inclusive Design: The HABITAT Project 381
Map reduce autoscaling over the cloud with process mining monitoring 325
A Prolog application for reasoning on maths puzzles with diagrams 315
Binary Discovery of Declarative Business Processes with ASP Preferences 311
A distributed approach to compliance monitoring of business process event streams 301
Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs 296
Abduction for Generating Synthetic Traces 279
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 277
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 257
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 252
Process Discovery on Deviant Traces and Other Stranger Things 249
A Rule-Based Calculus and Processing of Complex Events 249
A retrospective on the reactive event calculus and commitment modeling language 248
ALIAS: The Abductive LogIc AgentS architecture 237
A Logic-Based, Reactive Calculus of Events 236
A System for Measuring Function Points from an ER-DFD Specification 235
A.I. Artificial Intelligence Scienza o Fantascienza 235
A computational logic application framework for service discovery and contracting 230
Probabilistic Compliance in Declarative Process Mining 229
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 228
Process Mining Manifesto 227
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 227
Process Mining Monitoring for Map Reduce Applications in the Cloud 225
Abducing Compliance of Incomplete Event Logs 224
Fuzzy Conformance Checking of Observed Behaviour with Expectations 221
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 217
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos 216
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 215
Representing and monitoring social commitments using the event calculus 214
Do You Like Dancing Robots? AI Can Tell You Why 213
Security protocols verification in abductive logic programming: a case study. 212
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 212
A configurable rete-oo engine for reasoning with different types of imperfect information. 212
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 212
Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations 211
Specification and Verification of Agent Interaction Protocols in a Logic-based System 211
Reactive event calculus for monitoring global computing applications 211
A computational logic-based approach to verification of IT systems 209
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 209
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 209
Enhancing a production rule engine with predictive models using PMML 208
A multi-agent system for medical services synergy and coordination. 206
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 205
Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification 204
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 204
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 202
Verifiable agent interaction in abductive logic programming: the SCIFF framework 201
A rule-based implementation of fuzzy tableau reasoning 201
An Abductive Multi-Agent System for Medical Services Coordination 199
Solving Mathematical Puzzles: A Challenging Competition for AI 199
A CHR-based implementation of known arc-consistency 198
Mapping Deontic Operators to Abductive Expectations 196
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation 196
An evidential fusion architecture for people surveillance in wide open areas 195
Learning the Dose Adjustment for the Oral Anticoagulation Treatment 194
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 193
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios. 193
Applying Inductive Logic Programming to Process Mining 192
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 192
An Abductive Framework for Information Exchange in Multi-Agent systems 190
Dealing with incomplete knowledge on CLP(FD) variable Domains 190
Abduction for Specifying and Verifying Web Service Choreographies. 189
Compliance Verification of Agent Interaction: a Logic-Based Tool 188
Social Commitments in Time: Satisfied or Compensated 187
Probabilistic Traces in Declarative Process Mining 184
Abduction with Hypothesis Confirmation 184
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 184
Declarative Specification and Verification of Service Choreographies 184
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 184
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant. 183
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 183
Modelling interactions via commitments and expectations 182
A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors 182
Checking Compliance of Execution Traces to Business Rules 181
Artificial Intelligence Techniques for Monitoring Dangerous Infections 179
Evaluating Compliance: From LTL to Abductive Logic Programming 177
A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants 176
Abduction in the Context of a Reasoning Process: the SCIFF Framework 174
A CEP-based SOA for the management of WasteWater Treatment Plants 172
A Game-Based Competition as Instrument for Teaching Artificial Intelligence 172
Integration of medical services in the MeSSyCo agent system (demo session). 171
Towards data-aware constraints in declare 171
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 171
Exploiting inductive logic programming techniques for declarative process mining. 170
Modeling interactions using social integrity constraints: a resource sharing case study 169
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 169
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 164
The SCIFF Abductive Proof Procedure 163
Web Service Contracting: Specification and Reasoning with SCIFF 163
A wawelet based heuristic to dimension Neural Networks for simple signal approximation 163
Mapping Deontic Operators to Abductive Expectations 162
A rule-based approach for reasoning about collaboration between smart Web services 162
Commitment Tracking via the Reactive Event Calculus 162
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 161
Totale 22.599
Salva come PNG Salva come JPEG
Categoria #
all - tutte 81.520
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 81.520
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2021/20223.572 0 169 254 235 384 229 120 255 219 98 1.078 531
2022/20233.807 298 739 231 404 292 407 126 181 575 76 265 213
2023/20241.556 85 208 76 130 126 289 129 143 67 150 75 78
2024/20254.226 157 515 342 182 820 200 423 106 102 309 232 838
2025/20267.928 543 939 860 506 923 483 1.099 260 1.231 506 317 261
2026/2027434 173 261 0 0 0 0 0 0 0 0 0 0
Totale 32.250