CRIS Current Research Information System

MELLO, PAOLA
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 9.051
NA - Nord America 8.546
AS - Asia 3.518
AF - Africa 568
SA - Sud America 30
Continente sconosciuto - Info sul continente non disponibili 20
OC - Oceania 12
Totale 21.745
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 8.510
GB - Regno Unito 3.970
IT - Italia 1.668
CN - Cina 1.086
VN - Vietnam 1.034
DE - Germania 820
SG - Singapore 632
SE - Svezia 545
UA - Ucraina 521
FR - Francia 385
IN - India 333
TG - Togo 265
RU - Federazione Russa 244
IE - Irlanda 217
TR - Turchia 168
EE - Estonia 132
ZA - Sudafrica 123
BG - Bulgaria 117
NG - Nigeria 91
JO - Giordania 78
NL - Olanda 67
ID - Indonesia 59
AT - Austria 58
FI - Finlandia 57
GR - Grecia 55
CH - Svizzera 54
CI - Costa d'Avorio 49
JP - Giappone 37
SC - Seychelles 37
BE - Belgio 33
HR - Croazia 31
CA - Canada 27
HK - Hong Kong 26
PL - Polonia 19
EU - Europa 17
ES - Italia 15
IR - Iran 14
LB - Libano 13
BR - Brasile 12
CZ - Repubblica Ceca 9
MX - Messico 9
KR - Corea 8
LT - Lituania 8
DK - Danimarca 7
RO - Romania 7
AU - Australia 6
NZ - Nuova Zelanda 6
EC - Ecuador 5
PK - Pakistan 5
IL - Israele 4
KZ - Kazakistan 4
MY - Malesia 4
PE - Perù 4
SM - San Marino 4
A2 - ???statistics.table.value.countryCode.A2??? 3
CL - Cile 3
PH - Filippine 3
TH - Thailandia 3
VE - Venezuela 3
AR - Argentina 2
BD - Bangladesh 2
PT - Portogallo 2
SI - Slovenia 2
UZ - Uzbekistan 2
AL - Albania 1
AM - Armenia 1
BO - Bolivia 1
EG - Egitto 1
GH - Ghana 1
HU - Ungheria 1
LU - Lussemburgo 1
MD - Moldavia 1
SA - Arabia Saudita 1
SN - Senegal 1
TW - Taiwan 1
Totale 21.745
Salva come PNG Salva come JPEG
Città #
Southend 3.788
Fairfield 858
Chandler 695
Ashburn 688
Dong Ket 642
Santa Clara 588
Singapore 561
Ann Arbor 440
Wilmington 428
Woodbridge 420
Seattle 392
Bologna 389
Jacksonville 343
Houston 335
Princeton 322
Cambridge 298
Lomé 265
Boardman 220
Dublin 210
Istanbul 160
Westminster 157
Nanjing 151
Padova 145
Berlin 139
Medford 124
Sofia 117
Milan 100
Abeokuta 88
Jinan 84
Amman 78
Shenyang 69
San Diego 66
Saint Petersburg 64
New York 62
Mülheim 60
Hebei 53
Rome 53
Nanchang 52
Abidjan 49
Helsinki 49
Frankfurt am Main 48
Changsha 46
Tianjin 44
Des Moines 43
Beijing 40
Vienna 40
Zhengzhou 38
Bern 37
Mahé 36
Dearborn 32
Florence 32
Norwalk 32
Hyderabad 31
Jiaxing 31
Los Angeles 31
Falls Church 30
Redmond 28
Shanghai 28
Tokyo 27
Boydton 26
Brussels 25
Molinella 25
Trento 25
Verona 25
Guangzhou 23
San Jose 23
Jakarta 21
Hangzhou 20
Fremont 19
Paris 19
Redwood City 19
Turin 19
Taiyuan 18
Ferrara 17
Haikou 17
Naples 17
Ningbo 17
Ravenna 16
Taizhou 16
Bühl 14
Lanzhou 14
London 13
Olalla 12
Phoenix 12
Shenzhen 12
Wuhan 12
Augusta 11
Fuzhou 11
Kunming 11
Medan 11
Modena 11
Munich 11
Athens 10
Qingdao 10
San Venanzo 10
Washington 10
Wayne 10
Ottawa 9
São Paulo 9
Chieti 8
Totale 15.114
Salva come PNG Salva come JPEG
Nome #
Complex reactive event processing for assisted living: The Habitat project case study 387
Intelligenza Artificiale: Un'introduzione 356
Generating synthetic positive and negative business process traces through abduction 346
HABITAT: An IoT Solution for Independent Elderly 339
UCD, Ergonomics and Inclusive Design: The HABITAT Project 273
Artificial intelligence and cognitive psychology: How to solve mathematical problems 260
A distributed approach to compliance monitoring of business process event streams 215
Abduction for Generating Synthetic Traces 207
A retrospective on the reactive event calculus and commitment modeling language 200
Compliance in Business Processes with Incomplete Information and Time Constraints: a General Framework based on Abductive Reasoning 199
Can Deep Networks Learn to Play by the Rules? A Case Study on Nine Men's Morris 197
A Rule-Based Calculus and Processing of Complex Events 191
A computational logic application framework for service discovery and contracting 188
A Logic-Based, Reactive Calculus of Events 188
A Prolog application for reasoning on maths puzzles with diagrams 185
A System for Measuring Function Points from an ER-DFD Specification 184
Ethical/Social Impact of Informatics as a Study Subject in Informatics University Degree Programs 182
A.I. Artificial Intelligence Scienza o Fantascienza 172
Map reduce autoscaling over the cloud with process mining monitoring 171
Abducing Compliance of Incomplete Event Logs 170
A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules 166
Conformance Verification of Clinical Guidelines in Presence of Computerized and Human-Enhanced Processes 166
Fuzzy Conformance Checking of Observed Behaviour with Expectations 164
The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies 161
Computational logic for run-time verification of web services choreographies: exploiting the SOCS-SI tool 161
Process Mining Manifesto 161
Abductive Reasoning on Compliance Monitoring Balancing Flexibility and Regulation 161
Process Quality Assessment in automatic management of wastewater treatment plants using Formal Verification 160
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 160
null 159
Analysis of the GLARE and GPROVE approaches to Clinical Guidelines 158
A Logic based Approach to Interaction Design in Open Multi-Agent Systems 158
Process Mining Monitoring for Map Reduce Applications in the Cloud 158
Representing and monitoring social commitments using the event calculus 157
An Abductive Framework for Information Exchange in Multi-Agent systems 156
ALIAS: The Abductive LogIc AgentS architecture 154
Reactive event calculus for monitoring global computing applications 154
A computational logic-based approach to verification of IT systems 153
A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. 153
Applying Inductive Logic Programming to Process Mining 152
Artificial Intelligence Techniques for Monitoring Dangerous Infections 152
An hybrid architecture integrationg forward rules with fuzzy ontological reasoning 151
An Abductive Multi-Agent System for Medical Services Coordination 150
An evidential fusion architecture for people surveillance in wide open areas 150
null 150
Engineering and verifying agent-oriented requirements augmented by business constraints with B-Tropos 149
Enhancing a production rule engine with predictive models using PMML 149
A CHR-based implementation of known arc-consistency 149
Dealing with incomplete knowledge on CLP(FD) variable Domains 148
A Distributed System Using MS Kinect and Event Calculus for Adaptive Physiotherapist Rehabilitation 147
A multi-agent system for medical services synergy and coordination. 145
Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge 144
Declarative and Mathematical Programming approaches to Decision Support Systems for food recycling 144
Learning the Dose Adjustment for the Oral Anticoagulation Treatment 142
Specification and Verification of Agent Interaction Protocols in a Logic-based System 141
A configurable rete-oo engine for reasoning with different types of imperfect information. 141
Evaluating Compliance: From LTL to Abductive Logic Programming 141
An Abductive Multi-Agent Framework for Distributed Service Coordination and Reasoning in Emergency Scenarios. 141
Security protocols verification in abductive logic programming: a case study. 140
Declarative Specification and Verification of Service Choreographies 140
Solving Mathematical Puzzles: A Challenging Competition for AI 140
Social Commitments in Time: Satisfied or Compensated 139
Expressing Interaction in Combinatorial Auction through Social Integrality Constraints 138
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 137
Abduction for Specifying and Verifying Web Service Choreographies. 136
Verifiable agent interaction in abductive logic programming: the SCIFF framework 136
Checking Compliance of Execution Traces to Business Rules 135
Modeling interactions using social integrity constraints: a resource sharing case study 134
Towards the Generation of the "Perfect" Log Using Abductive Logic Programming 133
Binary Discovery of Declarative Business Processes with ASP Preferences 130
A rule-based implementation of fuzzy tableau reasoning 129
Mapping Deontic Operators to Abductive Expectations 128
A hybrid, integrated IEDDS for the Management of Sequencing Batch Reactors 128
Abduction in the Context of a Reasoning Process: the SCIFF Framework 128
Formal verification of wastewater treatment processes using events detected from continuous signals by means of artificial neural networks.Case study: SBR plant. 127
Modelling interactions via commitments and expectations 126
A Knowledge-Based System for Fashion Trend Forecasting 126
A Pool of Experts to Evaluate the Evolution of Biological Processes in SBR Plants 126
null 126
Compliance Verification of Agent Interaction: a Logic-Based Software Tool 125
Exploiting inductive logic programming techniques for declarative process mining. 125
Adding Uncertainty to a Rete-OO Inference Engine. 124
Role Monitoring in Open Agent Societies 123
A CEP-based SOA for the management of WasteWater Treatment Plants 123
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems 123
A Decision Support System for Food Recycling based on Constraint Logic Programming and Ontological Reasoning 123
Web Service Contracting: Specification and Reasoning with SCIFF 122
Verification of choreographies during execution using the reactive event calculus 122
Mapping Deontic Operators to Abductive Expectations 122
Compliance Verification of Agent Interaction: a Logic-Based Tool 121
Abduction with Hypothesis Confirmation 121
Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions. 121
Specification and verification of agent interaction using Abductive Reasoning 121
AI Techniques for Waste Water Treatment Plant Control. Case Study: Denitrification in a Pilot-Scale SBR 120
A rule-based approach for reasoning about collaboration between smart Web services 119
Monitoring business constraints with the event calculus 118
Towards data-aware constraints in declare 118
Commitment Tracking via the Reactive Event Calculus 118
On the integration of declarative choreographies and Commitment-based agent societies into the SCIFF logic programming framework 117
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification 116
Totale 15.740
Salva come PNG Salva come JPEG
Categoria #
all - tutte 50.791
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 50.791
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20202.631 0 0 0 0 0 413 479 511 484 257 154 333
2020/20214.366 672 195 101 221 257 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/20252.223 157 518 344 182 826 196 0 0 0 0 0 0
Totale 21.993