SFERA Archivio dei prodotti della Ricerca dell'Università di Ferrara

ALBERTI, Marco
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 5.727
EU - Europa 3.141
AS - Asia 2.864
SA - Sud America 508
AF - Africa 56
Continente sconosciuto - Info sul continente non disponibili 8
OC - Oceania 5
Totale 12.309
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 5.617
DE - Germania 1.289
SG - Singapore 1.140
CN - Cina 839
IT - Italia 503
BR - Brasile 427
RU - Federazione Russa 360
UA - Ucraina 321
HK - Hong Kong 286
TR - Turchia 260
GB - Regno Unito 180
VN - Vietnam 164
SE - Svezia 119
FI - Finlandia 116
PL - Polonia 97
MX - Messico 54
AT - Austria 52
CA - Canada 47
ID - Indonesia 40
IN - India 35
ZA - Sudafrica 32
AR - Argentina 31
FR - Francia 28
BD - Bangladesh 24
NL - Olanda 24
JP - Giappone 19
EC - Ecuador 18
ES - Italia 18
CO - Colombia 10
IQ - Iraq 8
LT - Lituania 8
EU - Europa 7
BE - Belgio 6
PY - Paraguay 6
UZ - Uzbekistan 6
AU - Australia 5
CH - Svizzera 5
CL - Cile 5
EG - Egitto 5
AE - Emirati Arabi Uniti 4
JM - Giamaica 4
LK - Sri Lanka 4
MA - Marocco 4
BN - Brunei Darussalam 3
IE - Irlanda 3
IR - Iran 3
JO - Giordania 3
KZ - Kazakistan 3
MZ - Mozambico 3
PE - Perù 3
SA - Arabia Saudita 3
TN - Tunisia 3
TW - Taiwan 3
VE - Venezuela 3
AZ - Azerbaigian 2
BG - Bulgaria 2
BO - Bolivia 2
DK - Danimarca 2
HN - Honduras 2
HU - Ungheria 2
KE - Kenya 2
MY - Malesia 2
OM - Oman 2
PH - Filippine 2
PK - Pakistan 2
RS - Serbia 2
SN - Senegal 2
TT - Trinidad e Tobago 2
UY - Uruguay 2
AL - Albania 1
AM - Armenia 1
BY - Bielorussia 1
CZ - Repubblica Ceca 1
DO - Repubblica Dominicana 1
DZ - Algeria 1
ET - Etiopia 1
GA - Gabon 1
GE - Georgia 1
GR - Grecia 1
GY - Guiana 1
IL - Israele 1
KG - Kirghizistan 1
LB - Libano 1
MN - Mongolia 1
NG - Nigeria 1
QA - Qatar 1
TG - Togo 1
XK - ???statistics.table.value.countryCode.XK??? 1
Totale 12.309
Salva come PNG Salva come JPEG
Città #
Singapore 698
Woodbridge 579
Fairfield 542
Ashburn 446
Houston 403
Jacksonville 338
Chandler 324
Santa Clara 323
Hong Kong 286
Beijing 277
Ann Arbor 219
Ferrara 214
Wilmington 214
Seattle 207
Cambridge 165
Izmir 125
Nanjing 112
Milan 95
Warsaw 89
Los Angeles 84
Dallas 82
Princeton 76
Addison 74
The Dalles 71
Munich 64
Boardman 60
Bremen 58
San Diego 51
Ho Chi Minh City 50
Vienna 45
Council Bluffs 44
New York 44
Nanchang 41
Hanoi 36
Mexico City 35
Shanghai 34
Bologna 33
São Paulo 33
Jakarta 29
Turku 28
Hefei 27
Hebei 26
Shenyang 26
Tianjin 26
London 24
Dearborn 23
Chicago 22
Falkenstein 22
Helsinki 21
Johannesburg 21
Columbus 20
Des Moines 20
Mountain View 20
Brooklyn 19
Montreal 19
Moscow 19
San Francisco 19
Jinan 18
Manchester 18
Tokyo 18
Chennai 17
Changsha 16
Falls Church 16
Orem 16
Toronto 16
Brasília 15
Denver 15
Stockholm 15
Jiaxing 14
Phoenix 14
San Mateo 14
Atlanta 13
Boston 13
Düsseldorf 13
Norwalk 13
Redwood City 13
Zhengzhou 13
Haiphong 12
Ningbo 12
Poplar 12
Rio de Janeiro 11
San Jose 11
Taizhou 11
Orange 10
Washington 10
Kunming 9
Nuremberg 9
Padova 9
Turin 8
Auburn Hills 7
Belo Horizonte 7
Brugherio 7
Charlotte 7
Curitiba 7
Karlsruhe 7
Brussels 6
Dong Ket 6
Guangzhou 6
Hortolândia 6
Philadelphia 6
Totale 7.598
Salva come PNG Salva come JPEG
Nome #
Probabilistic Hybrid Knowledge Bases under the Distribution Semantics 285
Probabilistic Logical Inference On the Web 254
cplint on SWISH: Probabilistic Logical Inference with a Web Browser 235
Accountable protocols in abductive logic programming 219
A Distribution Semantics for non-DL-Safe Probabilistic Hybrid Knowledge Bases 215
Dischargeable obligations in abductive logic programming 202
A Computational Logic Application Framework for Service Discovery and Contracting 200
Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation 196
Deon  + : Abduction and Constraints for Normative Reasoning 193
Probabilistic Constraint Logic Theories 188
Abduction in the context of a reasoning process: the SCIFF framework 188
Compliance verification of agent interaction: A logic-based software tool 179
Expressing and Verifying Business Contracts with Abductive Logic Programming 178
A computational logic-based approach to verification of IT systems 177
Verification from declarative specifications using logic programming 177
Probabilistic logic programming for natural language processing 177
Mapping deontic operators to abductive expectations 175
Abduction for specifying and verifying web service choreographies 173
Specification and verification of agent interaction protocols in a logic-based system 158
Expressing and Verifying Business Contracts with Abductive Logic Programming 158
An Abductive Framework for A-Priori Verification of Web Services 155
Observation strategies for event detection with incidence on runtime verification 155
Dischargeable Obligations in the ScIFF Framework 153
null 144
Specification and verification of agent interaction protocols in a logic-based system 142
Exploiting semantic technology in computational logic-based service contracting 140
Learning specifications of interaction protocols and business processes and proving their properties 136
Iterated fixpoint well-founded semantics for hybrid knowledge bases 135
Runtime Addition of Integrity Constraints in an Abductive Proof Procedure 133
null 133
Verification from declarative specifications using logic programming 133
Accountable protocols in abductive logic programming (extended abstract) 129
Mapping Deontic Operators to Abductive Expectations 128
null 127
null 126
Un sistema basato su logica computazionale per il trattamento degli operatori deontici 123
Verifiable agent interaction in abductive logic programming: the SCIFF framework 122
null 122
null 121
null 120
Runtime addition of integrity constraints in SCIFF 119
Sex differences in schizophrenia-spectrum diagnoses: results from a 30-year health record registry 117
null 116
null 116
Expressing interaction in combinatorial auction through social integrity constraints 114
null 114
Protocol specification and verification by using computational logic 113
Machine learning for recognition of individuals from motion capture time series: performance and explainability 112
null 111
null 111
An Abductive Interpretation for Open Agent Societies 110
Expressing interaction in combinatorial auction through social integrity constraints 109
Probabilistic inductive constraint logic 108
null 107
Policy-based reasoning for smart web service interaction 104
null 104
null 104
A Verifiable Logic-Based Agent Architecture 100
An Iterative Fixpoint Semantics for MKNF Hybrid Knowledge Bases with Function Symbols 99
A CHR-based implementation of known arc-consistency 99
null 99
A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services 98
MAP Inference for Probabilistic Logic Programming 97
null 96
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture 96
null 96
null 93
null 91
Abduction with hypotheses confirmation 90
A spatial agent-based model for assessing strategies of adaptation to climate and tourism demand changes in an alpine tourism destination 89
null 87
Establishment of a Public Mental Health Database for Research Purposes in the Ferrara Province: Development and Preliminary Evaluation Study 86
A logic-based approach to interaction design in open multi-agent systems 86
Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes 85
Applicazione dei vincoli di integrità sociali come strumento di specifica delle interazioni in aste combinatorie 84
Machine learning from real data: A mental health registry case study 83
null 83
null 79
Web Service Contracting: Specification and Reasoning with SCIFF 79
A Social ACL Semantics by Deontic Constraints 79
Security protocols verification in abductive logic programming: a case study 78
null 77
null 73
Why Can Neural Networks Recognize Us by Our Finger Movements? 72
null 72
null 71
null 71
A semantics for probabilistic hybrid knowledge bases with function symbols 68
Inducing Specification of Interaction Protocols and Business Processes and Proving their Properties 68
Deep learning neural network prediction of postoperative complications in patients undergoing laparoscopic right hemicolectomy with or without CME and CVL for colon cancer: insights from SICE (Società Italiana di Chirurgia Endoscopica) CoDIG data 67
null 67
Modeling interactions via commitments and expectations 67
null 67
The SOCS computational logic approach to the specification and verification of agent societies 63
null 61
null 60
Integrating Abduction and Constraint Optimization in Constraint Handling Rules 60
Integration of abductive reasoning and constraint optimization in SCIFF 60
Compliance verification of agent interaction: a logic-based tool 60
The CHR-based Implementation of the SCIFF Abductive System 56
Totale 11.905
Salva come PNG Salva come JPEG
Categoria #
all - tutte 51.269
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.541
Totale 53.810
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2020/2021718 0 0 0 0 0 149 110 121 22 131 130 55
2021/2022875 43 87 78 13 36 32 37 47 63 56 78 305
2022/2023823 73 38 29 93 170 147 49 59 100 1 33 31
2023/2024335 46 60 27 11 22 18 15 15 5 18 8 90
2024/20251.851 38 57 155 37 198 196 46 201 215 180 335 193
2025/20262.896 455 358 478 657 705 243 0 0 0 0 0 0
Totale 12.509