{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,21]],"date-time":"2025-08-21T18:22:49Z","timestamp":1755800569480,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T00:00:00Z","timestamp":1694563200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,9,13]],"date-time":"2023-09-13T00:00:00Z","timestamp":1694563200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,9,13]]},"DOI":"10.1109\/fdl59689.2023.10272095","type":"proceedings-article","created":{"date-parts":[[2023,10,9]],"date-time":"2023-10-09T14:23:26Z","timestamp":1696861406000},"page":"1-4","source":"Crossref","is-referenced-by-count":5,"title":["Neuro-Symbolic Empowered Denoising Diffusion Probabilistic Models for Real-Time Anomaly Detection in Industry 4.0: Wild-and-Crazy-Idea Paper"],"prefix":"10.1109","author":[{"given":"Luigi","family":"Capogrosso","sequence":"first","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Alessio","family":"Mascolini","sequence":"additional","affiliation":[{"name":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy"}]},{"given":"Federico","family":"Girella","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Geri","family":"Skenderi","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Sebastiano","family":"Gaiardelli","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Nicola","family":"Dall'Ora","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Francesco","family":"Ponzio","sequence":"additional","affiliation":[{"name":"Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy"}]},{"given":"Enrico","family":"Fraccaroli","sequence":"additional","affiliation":[{"name":"University of North Carolina at Chapel Hill,Dept. of Computer Science,USA"}]},{"given":"Santa","family":"Di Cataldo","sequence":"additional","affiliation":[{"name":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy"}]},{"given":"Sara","family":"Vinco","sequence":"additional","affiliation":[{"name":"Polytechnic of Turin,Dept. of Control and Computer Engineering,Italy"}]},{"given":"Enrico","family":"Macii","sequence":"additional","affiliation":[{"name":"Polytechnic of Turin,Dept. of Regional and Urban Studies and Planning,Italy"}]},{"given":"Franco","family":"Fummi","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]},{"given":"Marco","family":"Cristani","sequence":"additional","affiliation":[{"name":"University of Verona,Dept. of Engineering for Innovation Medicine,Italy"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s11263-021-01453-z"},{"key":"ref12","article-title":"Random features for large-scale kernel machines","volume":"20","author":"rahimi","year":"2007","journal-title":"Advances in neural information processing systems"},{"key":"ref15","first-page":"2256","article-title":"Deep unsupervised learning using nonequilibrium thermodynamics","author":"sohl-dickstein","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-10925-7_10"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.3390\/s23031729"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2021.106989"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-210084"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1541880.1541882"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2852491"},{"key":"ref17","first-page":"12427","article-title":"Understanding failures in out-of-distribution detection with deep generative models","author":"zhang","year":"0","journal-title":"International Conference on Machine Learning"},{"key":"ref16","article-title":"Diffusion models: A comprehensive survey of methods and applications","author":"yang","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref19","article-title":"Laser: Neuro-symbolic learning of semantic video representations","author":"huang","year":"2023","journal-title":"ArXiv Preprint"},{"key":"ref18","article-title":"Jarvis: A neuro-symbolic common-sense reasoning framework for conversational embodied agents","author":"zheng","year":"2022","journal-title":"ArXiv Preprint"},{"journal-title":"Industrialstandard-odp-vdi3682","year":"2023","key":"ref8"},{"journal-title":"Industrialstandard-odp-din8580","year":"2023","key":"ref7"},{"journal-title":"Industrialstandard-odp-vdi2860","year":"2023","key":"ref9"},{"key":"ref4","article-title":"Denoising diffusion models for out-of-distribution detection","author":"graham","year":"2022","journal-title":"ArXiv Preprint"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3439950"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA46521.2020.9211874"},{"key":"ref5","first-page":"6840","article-title":"Denoising diffusion probabilistic models","volume":"33","author":"ho","year":"2020","journal-title":"Advances in neural information processing systems"}],"event":{"name":"2023 Forum on Specification & Design Languages (FDL)","start":{"date-parts":[[2023,9,13]]},"location":"Turin, Italy","end":{"date-parts":[[2023,9,15]]}},"container-title":["2023 Forum on Specification & Design Languages (FDL)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10272030\/10272044\/10272095.pdf?arnumber=10272095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,30]],"date-time":"2023-10-30T14:38:33Z","timestamp":1698676713000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10272095\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,9,13]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/fdl59689.2023.10272095","relation":{},"subject":[],"published":{"date-parts":[[2023,9,13]]}}}