Rule Propagation: Adapting Procedural Process Models to Declarative Business Rules
2017-01-01 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Laponin, Arne; Maggi, Fabrizio Maria
Minimizing Overprocessing Waste in Business Processes via Predictive Activity Ordering
2016-01-01 Verenich, Ilya; Dumas, Marlon; La Rosa, Marcello; Maggi, Fabrizio Maria; Di Francescomarino, Chiara
Collaborative Subject-oriented Workplace Re-design
2015-01-01 Di Francescomarino, Chiara; Dragoni, Mauro; Ghidini, Chiara; Heiningerrichard, ; Kannengiesser, Udo; Neubauer, Matthias
Completing Workflow Traces Using Action Languages
2015-01-01 Di Francescomarino, Chiara; Ghidini, Chiara; Tessaris, Sergio; Sandoval, Itzel Vázquez
Predicting Critical Behaviors in Business Process Executions: When Evidence Counts
2019-01-01 Genga, Laura; Di Francescomarino, Chiara; Ghidini, Chiara; Zannone, Nicola
A Support for Understanding Medical Notes: Correcting Spelling Errors in Italian Clinical Records
2021-01-01 Ferrod, Roger; Brunetti, Enrico; Di Caro, Luigi; Di Francescomarino, Chiara; Dragoni, Mauro; Ghidini, Chiara; Marinello, Renata; Sulis, Emilio
Declarative Process Models: Different Ways to Be Hierarchical
2016-01-01 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Maggi, Fabrizio M.
Add Data into Business Process Verification: Bridging the Gap between Theory and Practice
2017-01-01 De Masellis, Riccardo; Di Francescomarino, Chiara; Ghidini, Chiara; Montali, Marco; Tessaris, Sergio
High-Performance and Programmable Attentional Graph Neural Networks with Global Tensor Formulations
2023-01-01 Besta, Maciej; Renc, Pawel; Gerstenberger, Robert; Sylos Labini, Paolo; Ziogas, Alexandros; Chen, Tiancheng; Gianinazzi, Lukas; Scheidl, Florian; Szenes, Kalman; Carigiet, Armon; Iff, Patrick; Kwasniewski, Grzegorz; Kanakagiri, Raghavendra; Ge, Chio; Jaeger, Sammy; Wąs, Jarosław; Vella, Flavio; Hoefler, Torsten
GPU Computing in EGI Environment Using a Cloud Approach
2011-01-01 Vella, Flavio; Cefal´, Riccardo M.; Costantini, Alessandro; Gervasi, Osvaldo; Tanci, Claudio
Scalable betweenness centrality on multi-GPU systems
2016-01-01 Bernaschi, Massimo; Carbone, Giancarlo; Vella, Flavio
Accelerating Energy Games Solvers on Modern Architectures
2017-01-01 Formisano, Andrea; Gentilini, Raffaella; Vella, Flavio
Scaling betweenness centrality using communication-efficient sparse matrix multiplication
2017-01-01 Solomonik, Edgar; Besta, Maciej; Vella, Flavio; Hoefler, Torsten
Transparent Caching for RMA Systems
2017-01-01 Di Girolamo, Salvatore; Vella, Flavio; Hoefler, Torsten
The AES Implantation Based on OpenCL for Multi/many Core Architecture
2010-01-01 Gervasi, Osvaldo; Russo, Diego; Vella, Flavio
Betweenness centrality on Multi-GPU systems
2015-01-01 Bernaschi, Massimo; Carbone, Giancarlo; Vella, Flavio
A Computational Model for Tensor Core Units
2020-01-01 Chowdhury, Rezaul; Silvestri, Francesco; Vella, Flavio
A Simulation Framework for Efficient Resource Management on Hybrid Systems
2015-01-01 Tasso, Sergio; Gervasi, Osvaldo; Vella, Flavio; Cuzzocrea, Alfredo
Multi-objective autotuning of MobileNets across the full software/hardware stack
2018-01-01 Lokhmotov, Anton; Chunosov, Nikolay; Vella, Flavio; Fursin, Grigori
A GPU implementation of the ASP computation
2016-01-01 Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico; Vella, Flavio
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile
Scopri
Tipologia
- 04 Convegni (Proceedings)20154
- 03 Contributo in periodico (Part ...3
- 02 Contributo in volume (Part of ...1
Data di pubblicazione
- In corso di stampa40
- 2020 - 20263237
- 2010 - 20197189
- 2000 - 20096476
- 1990 - 19992662
- 1980 - 1989495
- 1970 - 197948
- 1964 - 19699
Editore
- IEEE2264
- Institute of Electrical and Elect...950
- Springer891
- ACM388
- IEEE Computer Society306
- Springer Verlag293
- SPIE182
- Association for Computational Lin...177
- CEUR-WS165
- Association for Computing Machinery160
Rivista
- JOURNAL OF PHYSICS. CONFERENCE SE...66
- POS PROCEEDINGS OF SCIENCE43
- IJCAI27
- LECTURE NOTES IN COMPUTER SCIENCE21
- AIP CONFERENCE PROCEEDINGS12
- INTERNATIONAL ARCHIVES OF THE PHO...12
- PROCEDIA STRUCTURAL INTEGRITY11
- PROCEEDINGS OF SPIE, THE INTERNAT...11
- MATEC WEB OF CONFERENCES10
- E3S WEB OF CONFERENCES9
Serie
- LECTURE NOTES IN COMPUTER SCIENCE668
- CEUR WORKSHOP PROCEEDINGS256
- PROCEEDINGS OF SPIE, THE INTERNAT...171
- IEEE INTERNATIONAL GEOSCIENCE AND...135
- LECTURE NOTES IN COMPUTER SCIENCE112
- LECTURE NOTES IN ARTIFICIAL INTEL...93
- DIGEST - IEEE ANTENNAS AND PROPAG...58
- PROCEEDINGS - IEEE COMPUTER SOCIE...55
- IEEE INTERNATIONAL GEOSCIENCE AND...54
- IFAC-PAPERSONLINE51
Settore disciplinare
- Settore M-FIL/02 - Logica e Filos...56
- Settore ING-INF/05 - Sistemi di E...30
- Settore INF/01 - Informatica21
- Settore ING-INF/01 - Elettronica14
- Settore ING-INF/07 - Misure Elett...12
- Settore ING-INF/03 - Telecomunica...8
- Settore MAT/05 - Analisi Matematica8
- Settore ICAR/14 - Composizione Ar...6
- Settore ICAR/17 - Disegno4
- Settore IUS/02 - Diritto Privato ...4
Keyword
- Computer Networks and Communications149
- Computer Science Applications1707...144
- Electrical and Electronic Enginee...138
- Software108
- Computer Science (all)103
- Theoretical Computer Science85
- Control and Systems Engineering71
- 170761
- Artificial Intelligence53
- Modeling and Simulation49
Lingua
- eng15100
- ita3550
- und133
- fre93
- spa74
- ger61
- por20
- tur8
- rus5
- enm3
Accesso al fulltext
- no fulltext14998
- reserved3187
- open1485
- partially open476
- mixed8
- embargoed2