Publications

65 entries « 1 of 2 »

2019

Pandolfo, Laura; Pulina, Luca; Zielinski, Marek

Exploring Semantic Archival Collections: The Case of Piłsudski Institute of America Inproceedings

Digital Libraries: Supporting Open Science - 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings, pp. 107–121, 2019.

Links | BibTeX

Manghi, Paolo; Candela, Leonardo; Silvello, Gianmaria (Ed.)

Digital Libraries: Supporting Open Science - 15th Italian Research Conference on Digital Libraries, IRCDL 2019, Pisa, Italy, January 31 - February 1, 2019, Proceedings Proceeding

Springer, 988 , 2019, ISBN: 978-3-030-11225-7.

Links | BibTeX

2018

Pandolfo, Laura; Pulina, Luca; Grosso, Enrico

A User Model Ontology for Adaptive Systems in Cultural Tourism Domain Inproceedings

Applications of Intelligent Systems - Proceedings of the 1st International APPIS Conference 2018, Las Palmas de Gran Canaria, Spain, 8-12 January 2018, pp. 212–219, 2018.

Links | BibTeX

-, Souad Khellat; Pandolfo, Laura; Pulina, Luca; Grosso, Enrico

On Leveraging Facial Emotion Recognition Techniques in Personalized Recommendations Inproceedings

Applications of Intelligent Systems - Proceedings of the 1st International APPIS Conference 2018, Las Palmas de Gran Canaria, Spain, 8-12 January 2018, pp. 220–230, 2018.

Links | BibTeX

Pandolfo, Laura; Pulina, Luca; Zielinski, Marek

ARKIVO: an Ontology for Describing Archival Resources Inproceedings

Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018., pp. 112–116, 2018.

Links | BibTeX

Petkov, Nicolai; Strisciuglio, Nicola; -, Carlos Manuel Travieso (Ed.)

Applications of Intelligent Systems - Proceedings of the 1st International APPIS Conference 2018, Las Palmas de Gran Canaria, Spain, 8-12 January 2018 Proceeding

IOS Press, 310 , 2018, ISBN: 978-1-61499-928-7.

BibTeX

Felli, Paolo; Montali, Marco (Ed.)

Proceedings of the 33rd Italian Conference on Computational Logic, Bolzano, Italy, September 20-22, 2018 Proceeding

CEUR-WS.org, 2214 , 2018.

Links | BibTeX

2017

Palumbo, Francesca; Sau, Carlo; Fanni, Tiziana; Raffo, Luigi

Challenging CPS Trade-Off Adaptivity with Coarse-Grained Reconfiguration Conference

2017.

Abstract | Links | BibTeX

Palumbo, Francesca; Rubattu, Claudio; Sau, Carlo; Fanni, Tiziana; Meloni, Paolo; Raffo, Luigi

Dynamic Trade-Off Management for CPS Miscellaneous

2017.

Abstract | Links | BibTeX

Palumbo, Francesca; Sau, Carlo; Meloni, Paolo; Raffo, Luigi

Coarse-Grained Reconfiguration: Run-time Adaptivityin Cyber Physical Systems Miscellaneous

2017.

Abstract | Links | BibTeX

Sau, Carlo; Palumbo, Francesca; Pelcat, Maxime; Heulot, Julien; Nogues, Erwan; Menard, Daniel; Meloni, Paolo; Raffo, Luigi

Challenging the Best HEVC Fractional Pixel FPGA Interpolators with Reconfigurable and Multi-frequency Approximate Computing Journal Article

IEEE Embedded Systems Letters, 9 (3), pp. 65-68, 2017, ISSN: 1943-0663.

Abstract | Links | BibTeX

Masin, M; Palumbo, F; Myrhaug, H; de Filho, Oliveira J A; Pastena, M; Pelcat, M; Raffo, L; Regazzoni, F; Sanchez, A A; Toffetti, A; de la Torre, E; Zedda, K

Cross-layer Design of Reconfigurable Cyber-Physical Systems Conference

IEEE, 2017, ISSN: 1558-1101.

Abstract | Links | BibTeX

Pathak, S; Pulina, L; Tacchella, A

Verification and repair of control policies for safe reinforcement learning Journal Article

Applied Intelligence, pp. 1-23, 2017.

Abstract | Links | BibTeX

Pandolfo, L; Pulina, L

ADnOTO: A self-adaptive system for automatic ontology-based annotation of unstructured documents Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10350 LNCS , pp. 495-501, 2017.

Abstract | Links | BibTeX

Sau, C; Palumbo, F; Pelcat, M; Heulot, J; Nogues, E; Menard, D; Meloni, P; Raffo, L

Challenging the Best HEVC Fractional Pixel FPGA Interpolators With Reconfigurable and Multifrequency Approximate Computing Journal Article

IEEE Embedded Systems Letters, 9 (3), pp. 65-68, 2017.

Abstract | Links | BibTeX

Abdali, E M; Pelcat, M; Berry, F; Diguet, J -P; Palumbo, F

Exploring the performance of partially reconfigurable point-to-point interconnects Conference

2017.

Abstract | Links | BibTeX

Fanni, T; Li, L; Viitanen, T; Sau, C; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Hardware design methodology using lightweight dataflow and its integration with low power techniques Journal Article

Journal of Systems Architecture, 78 , pp. 15-29, 2017.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Pani, D; Meloni, P; Raffo, L

Feasibility study of real-time spiking neural network simulations on a swarm intelligence based digital architecture Conference

2017.

Abstract | Links | BibTeX

Becchi, M; Palumbo, F

Message from the Program Chairs Conference

2017.

Links | BibTeX

Masin, M; Palumbo, F; Myrhaug, H; Filho, De Oliveira J A; Pastena, M; Pelcat, M; Raffo, L; Regazzoni, F; Sanchez, A A; Toffetti, A; Torre, De La E; Zedda, K

Cross-layer design of reconfigurable cyber-physical systems Conference

2017.

Abstract | Links | BibTeX

Meloni, P; Rubattu, C; Tuveri, G; Pani, D; Raffo, L; Palumbo, F

Real-Time neural signal decoding on heterogeneous MPSocs based on VLIW ASIPs Journal Article

Journal of Systems Architecture, 76 , pp. 89-101, 2017.

Abstract | Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P

Power-Awarness in Coarse-Grained Reconfigurable Multi-Functional Architectures: a Dataflow Based Strategy Journal Article

Journal of Signal Processing Systems, 87 (1), pp. 81-106, 2017.

Abstract | Links | BibTeX

Pani, D; Meloni, P; Tuveri, G; Palumbo, F; Massobrio, P; Raffo, L

An FPGA platform for real-time simulation of spiking neuronal networks Journal Article

Frontiers in Neuroscience, 11 , 2017.

Abstract | Links | BibTeX

Sau, C; Fanni, T; Meloni, P; Raffo, L; Pelcat, M; Palumbo, F

Demo: Reconfigurable Platform Composer Tool Conference

2017.

Abstract | Links | BibTeX

Li, L; Fanni, T; Viitanen, T; Xie, R; Palumbo, F; Raffo, L; Huttunen, H; Takala, J; Bhattacharyya, S S

Low power design methodology for signal processing systems using lightweight dataflow techniques Conference

2017.

Abstract | Links | BibTeX

Pandolfo, Laura; Pulina, Luca

ADnOTO: A Self-adaptive System for Automatic Ontology-Based Annotation of Unstructured Documents Inproceedings

Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I, pp. 495–501, 2017.

Links | BibTeX

Pandolfo, Laura; Pulina, Luca; Zielinski, Marek

Towards an Ontology for Describing Archival Resources Inproceedings

Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22, 2017., pp. 111–116, 2017.

Links | BibTeX

Benferhat, Salem; Tabia, Karim; Ali, Moonis (Ed.)

Advances in Artificial Intelligence: From Theory to Practice - 30th International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2017, Arras, France, June 27-30, 2017, Proceedings, Part I Proceeding

Springer, 10350 , 2017, ISBN: 978-3-319-60041-3.

Links | BibTeX

Adamou, Alessandro; Daga, Enrico; Isaksen, Leif (Ed.)

Proceedings of the Second Workshop on Humanities in the Semantic Web (WHiSe II) co-located with 16th International Semantic Web Conference (ISWC 2017), Vienna, Austria, October 22, 2017 Proceeding

CEUR-WS.org, 2014 , 2017.

Links | BibTeX

2016

Pathak, S; Pulina, L; Tacchella, A

Evaluating probabilistic model checking tools for verification of robot control policies Journal Article

AI Communications, 29 (2), pp. 287-299, 2016.

Abstract | Links | BibTeX

Pulina, L

The ninth QBF solvers evaluation-preliminary report Conference

1719 , 2016.

Abstract | Links | BibTeX

Leofante, F; Pulina, L; Tacchella, A

Learning with safety requirements: State of the art and open questions Conference

1745 , 2016.

Abstract | Links | BibTeX

Pandolfo, L; Pulina, L; Adorni, G

A framework for automatic population of ontology-based digital libraries Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 10037 LNAI , pp. 406-417, 2016.

Abstract | Links | BibTeX

Marin, P; Narizzano, M; Pulina, L; Tacchella, A; Giunchiglia, E

Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows Journal Article

Fundamenta Informaticae, 149 (1-2), pp. 133-158, 2016.

Abstract | Links | BibTeX

Kontchakov, R; Pandolfo, L; Pulina, L; Ryzhikov, V; Zakharyaschev, M

Temporal and spatial OBDA with many-dimensional halpern-shoham logic Conference

2016-January , 2016.

Abstract | Links | BibTeX

Cicala, G; Khalili, A; Metta, G; Natale, L; Pathak, S; Pulina, L; Tacchella, A

Engineering approaches and methods to verify software in autonomous systems Journal Article

Advances in Intelligent Systems and Computing, 302 , pp. 1683-1700, 2016.

Abstract | Links | BibTeX

Leofante, F; Vuotto, S; Ábrahám, E; Tacchella, A; Jansen, N

Combining static and runtime methods to achieve safe standing-up for humanoid robots Journal Article

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 9952 LNCS , pp. 496-514, 2016.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Fanni, T; Meloni, P; Raffo, L

SS-design: Dataflow-based design of coarse-grained: Reconfigurable platforms reconfigurable platform composer tool project - Extended abstract Conference

2016.

Abstract | Links | BibTeX

Tuveri, G; Meloni, P; Palumbo, F; Seu, Pietro G; Loi, I; Conti, F; Raffo, L

On-the-fly adaptivity for process networks over shared-memory platforms Journal Article

Microprocessors and Microsystems, 46 , pp. 240-254, 2016.

Abstract | Links | BibTeX

Sau, C; Meloni, P; Raffo, L; Palumbo, F; Bezati, E; Casale-Brunet, S; Mattavelli, M

Automated Design Flow for Multi-Functional Dataflow-Based Platforms Journal Article

Journal of Signal Processing Systems, 85 (1), pp. 143-165, 2016.

Abstract | Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power and clock gating modelling in coarse grained reconfigurable systems Conference

2016.

Abstract | Links | BibTeX

Banik, S; Bogdanov, A; Fanni, T; Sau, C; Raffo, L; Palumbo, F; Regazzoni, F

Adaptable AES implementation with power-gating support Conference

2016.

Abstract | Links | BibTeX

Sau, C; Carta, N; Raffo, L; Palumbo, F

Early Stage Automatic Strategy for Power-Aware Signal Processing Systems Design Journal Article

Journal of Signal Processing Systems, 82 (3), pp. 311-329, 2016.

Abstract | Links | BibTeX

Sau, C; Fanni, L; Meloni, P; Raffo, L; Palumbo, F

Reconfigurable coprocessors synthesis in the MPEG-RVC domain Conference

2016.

Abstract | Links | BibTeX

Fanni, T; Sau, C; Meloni, P; Raffo, L; Palumbo, F

Power modelling for saving strategies in coarse grained reconfigurable systems Conference

2016.

Abstract | Links | BibTeX

Palumbo, F; Fanni, T; Sau, C; Meloni, P; Raffo, L

Modelling and automated implementation of optimal power saving strategies in coarse-grained reconfigurable architectures Journal Article

Journal of Electrical and Computer Engineering, 2016 , 2016.

Abstract | Links | BibTeX

Meloni, P; Palumbo, F; Rubattu, C; Tuveri, G; Pani, D; Raffo, L

MPSoCs for real-time neural signal decoding: A low-power ASIP-based implementation Journal Article

Microprocessors and Microsystems, 43 , pp. 67-80, 2016.

Abstract | Links | BibTeX

Palumbo, F; Sau, C; Evangelista, D; Meloni, P; Pelcat, M; Raffo, L

Runtime Energy versus Quality Tuning in Motion Compensation Filters for HEVC Journal Article

IFAC-PapersOnLine, 49 (25), pp. 145-152, 2016.

Abstract | Links | BibTeX

Pandolfo, Laura; Pulina, Luca; Adorni, Giovanni

A Framework for Automatic Population of Ontology-Based Digital Libraries Inproceedings

AI*IA 2016: Advances in Artificial Intelligence - XVth International Conference of the Italian Association for Artificial Intelligence, Genova, Italy, November 29 - December 1, 2016, Proceedings, pp. 406–417, 2016.

Links | BibTeX

Kontchakov, Roman; Pandolfo, Laura; Pulina, Luca; Ryzhikov, Vladislav; Zakharyaschev, Michael

Temporal and Spatial OBDA with Many-Dimensional Halpern-Shoham Logic Inproceedings

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016, pp. 1160–1166, 2016.

Links | BibTeX

65 entries « 1 of 2 »