CRIS Current Research Information System

MELLO, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 10.901
EU - Europa 10.561
AS - Asia 9.023
AF - Africa 736
SA - Sud America 385
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 16
Totale 31.642
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 10.783
GB - Regno Unito 4.031
VN - Vietnam 2.468
CN - Cina 2.341
IT - Italia 2.203
SG - Singapore 2.177
DE - Germania 957
HK - Hong Kong 651
FR - Francia 591
SE - Svezia 560
UA - Ucraina 531
IN - India 416
RU - Federazione Russa 388
NL - Olanda 319
BR - Brasile 274
TG - Togo 265
IE - Irlanda 221
TR - Turchia 193
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
CA - Canada 64
CH - Svizzera 62
GR - Grecia 56
BD - Bangladesh 53
AR - Argentina 50
PL - Polonia 41
ES - Italia 40
BE - Belgio 37
MX - Messico 37
PH - Filippine 36
TH - Thailandia 33
HR - Croazia 31
IQ - Iraq 28
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
PE - Perù 8
PY - Paraguay 8
VE - Venezuela 8
IL - Israele 7
NZ - Nuova Zelanda 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
GT - Guatemala 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
Totale 31.621
Salva come PNG Salva come JPEG
Città #
Southend 3.788
Singapore 1.469
Ashburn 950
Fairfield 858
Chandler 696
San Jose 653
Dong Ket 642
Santa Clara 616
Hong Kong 598
Bologna 499
Ann Arbor 440
Wilmington 429
Woodbridge 420
Hanoi 402
Hefei 398
Seattle 396
Ho Chi Minh City 378
Jacksonville 344
Houston 337
Dallas 325
Princeton 322
Cambridge 298
Lomé 265
Boardman 243
Beijing 231
Dublin 213
Istanbul 167
Westminster 157
Nanjing 154
Milan 152
Padova 148
Lauterbourg 146
Los Angeles 146
Tokyo 141
Berlin 140
Seoul 131
Council Bluffs 125
Medford 125
Sofia 117
New York 102
Rome 99
Abeokuta 88
Jinan 88
Amman 84
Frankfurt am Main 84
Buffalo 83
Abidjan 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
Shanghai 45
Redondo Beach 44
São Paulo 44
Guangzhou 40
Bern 37
Florence 37
Mahé 36
Naples 36
Johannesburg 35
Jiaxing 33
Bengaluru 32
Dearborn 32
Hyderabad 32
Norwalk 32
Chicago 31
Falls Church 30
Ferrara 30
Trento 30
Paris 29
The Dalles 29
Verona 29
Brussels 28
Redmond 28
Turin 27
Boydton 26
Warsaw 26
Hangzhou 25
Molinella 25
Brooklyn 24
London 24
Phoenix 24
Wuhan 24
Atlanta 23
Jakarta 22
Yubileyny 21
Fremont 19
Redwood City 19
Amsterdam 18
Totale 20.731
Salva come PNG Salva come JPEG
Nome #
Intelligenza Artificiale: Un'introduzione 622
Complex reactive event processing for assisted living: The Habitat project case study 544
HABITAT: An IoT Solution for Independent Elderly 476
Generating synthetic positive and negative business process traces through abduction 456
Improving the Teaching of Artificial Intelligence Through Project-Based Learning on a Board Game 417
Artificial intelligence and cognitive psychology: How to solve mathematical problems 415
UCD, Ergonomics and Inclusive Design: The HABITAT Project 376
Map reduce autoscaling over the cloud with process mining monitoring 323
A Prolog application for reasoning on maths puzzles with diagrams 315
Binary Discovery of Declarative Business Processes with ASP Preferences 308
A distributed approach to compliance monitoring of business process event streams 296
Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs 293
Abduction for Generating Synthetic Traces 276
Discovering Business Processes models expressed as DNF or CNF formulae of Declare constraints 269
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 253
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 248
Process Discovery on Deviant Traces and Other Stranger Things 246
A Rule-Based Calculus and Processing of Complex Events 246
A retrospective on the reactive event calculus and commitment modeling language 245
A Logic-Based, Reactive Calculus of Events 234
A System for Measuring Function Points from an ER-DFD Specification 233
ALIAS: The Abductive LogIc AgentS architecture 233
A.I. Artificial Intelligence Scienza o Fantascienza 232
A computational logic application framework for service discovery and contracting 229
Probabilistic Compliance in Declarative Process Mining 227
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 227
Process Mining Monitoring for Map Reduce Applications in the Cloud 224
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 223
Abducing Compliance of Incomplete Event Logs 221
Fuzzy Conformance Checking of Observed Behaviour with Expectations 220
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 213
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 213
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos 211
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 211
Do You Like Dancing Robots? AI Can Tell You Why 209
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 209
Reactive event calculus for monitoring global computing applications 209
Specification and Verification of Agent Interaction Protocols in a Logic-based System 208
Security protocols verification in abductive logic programming: a case study. 208
Towards Symbiotic Creativity: A Methodological Approach to Compare Human and AI Robotic Dance Creations 207
A computational logic-based approach to verification of IT systems 207
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 206
Enhancing a production rule engine with predictive models using PMML 206
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 205
A multi-agent system for medical services synergy and coordination. 204
A configurable rete-oo engine for reasoning with different types of imperfect information. 204
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 203
Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification 203
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 201
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 200
A rule-based implementation of fuzzy tableau reasoning 200
Verifiable agent interaction in abductive logic programming: the SCIFF framework 198
An Abductive Multi-Agent System for Medical Services Coordination 197
Solving Mathematical Puzzles: A Challenging Competition for AI 197
A CHR-based implementation of known arc-consistency 197
Mapping Deontic Operators to Abductive Expectations 195
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation 195
An evidential fusion architecture for people surveillance in wide open areas 194
Learning the Dose Adjustment for the Oral Anticoagulation Treatment 193
Applying Inductive Logic Programming to Process Mining 192
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 191
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 190
Dealing with incomplete knowledge on CLP(FD) variable Domains 190
An Abductive Framework for Information Exchange in Multi-Agent systems 188
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios. 188
Abduction for Specifying and Verifying Web Service Choreographies. 187
Compliance Verification of Agent Interaction: a Logic-Based Tool 186
Social Commitments in Time: Satisfied or Compensated 185
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 183
Abduction with Hypothesis Confirmation 182
Declarative Specification and Verification of Service Choreographies 182
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 182
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 181
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant. 181
Modelling interactions via commitments and expectations 180
A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors 180
Probabilistic Traces in Declarative Process Mining 179
Artificial Intelligence Techniques for Monitoring Dangerous Infections 178
Checking Compliance of Execution Traces to Business Rules 178
Evaluating Compliance: From LTL to Abductive Logic Programming 176
A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants 174
Abduction in the Context of a Reasoning Process: the SCIFF Framework 173
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 171
A CEP-based SOA for the management of WasteWater Treatment Plants 171
Towards data-aware constraints in declare 170
Exploiting inductive logic programming techniques for declarative process mining. 168
Integration of medical services in the MeSSyCo agent system (demo session). 167
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
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification 165
A wawelet based heuristic to dimension Neural Networks for simple signal approximation 161
Solving Mathematical puzzles: the viewpoints of Artificial Intelligence and Psychological Cognitive Science 161
Web Service Contracting: Specification and Reasoning with SCIFF 160
Mapping Deontic Operators to Abductive Expectations 160
A rule-based approach for reasoning about collaboration between smart Web services 160
The SCIFF Abductive Proof Procedure 159
null 159
Totale 22.296
Salva come PNG Salva come JPEG
Categoria #
all - tutte 79.143
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 79.143
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021954 0 0 0 0 0 0 0 0 0 0 0 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.927 545 941 864 507 925 485 1.103 262 1.239 509 323 224
Totale 31.950