المؤلفون: Goldoni, A. G., Pandolfo, L. M., Gomes, A. P., Folle, D., Martins, M. S., Pandolfo, A.

المصدر: Revista IBRACON de Estruturas e Materiais. October 2015 8(5)

مصطلحات موضوعية: crushed sand, crushed sand grain shape, image analysis

وصف الملف: text/html

الوصول الحر: http://old.scielo.br/scielo.php?script=sci_arttext&pid=S1983-41952015000500002Test

المؤلفون: Scatena R., Massignani S., Lanza A. E., Zorzi F., Monari M., Nestola F., Pettinari C., Pandolfo L.

المساهمون: Scatena, R., Massignani, S., Lanza, A. E., Zorzi, F., Monari, M., Nestola, F., Pettinari, C., Pandolfo, L.

وصف الملف: STAMPA

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:000741653400001; volume:22; issue:2; firstpage:1032; lastpage:1044; numberofpages:13; journal:CRYSTAL GROWTH & DESIGN; http://hdl.handle.net/11577/3420951Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85122701158

الإتاحة: https://doi.org/10.1021/acs.cgd.1c00861Test
http://hdl.handle.net/11577/3420951Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Method, Neural Network, Trustworthy AI

العلاقة: ispartofbook:IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023; volume:2023-; serie:PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; https://hdl.handle.net/11388/328011Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175472154

الإتاحة: https://doi.org/10.1109/ETFA54631.2023.10275345Test
https://hdl.handle.net/11388/328011Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Anomaly Detection, Neural Network, Predictive Maintenance

العلاقة: ispartofbook:Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023; 19th IEEE International Conference on e-Science, e-Science 2023; https://hdl.handle.net/11388/328013Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174257560

الإتاحة: https://doi.org/10.1109/e-Science58273.2023.10254890Test
https://hdl.handle.net/11388/328013Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Verification, Neural Network, Satisfiability Modulo Theory, Trustworthy AI

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001139095400060; ispartofbook:Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI; 35th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2023; firstpage:423; lastpage:428; numberofpages:6; serie:PROCEEDINGS - INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE; https://hdl.handle.net/11388/328009Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85182390396

الإتاحة: https://doi.org/10.1109/ICTAI59109.2023.00068Test
https://hdl.handle.net/11388/328009Test

المؤلفون: Guidotti D., Masiero R., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Masiero, R., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Anomaly Detection, Neural Network, Predictive Maintenance

العلاقة: ispartofbook:IEEE International Conference on Emerging Technologies and Factory Automation, ETFA; 28th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2023; volume:2023-; serie:PROCEEDINGS IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION; https://hdl.handle.net/11388/328010Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85175477322

الإتاحة: https://doi.org/10.1109/ETFA54631.2023.10275396Test
https://hdl.handle.net/11388/328010Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Formal Verification, Neural Network, Satisfiability Modulo Theory, Trustworthy AI

العلاقة: ispartofbook:Proceedings 2023 IEEE 19th International Conference on e-Science, e-Science 2023; 19th IEEE International Conference on e-Science, e-Science 2023; https://hdl.handle.net/11388/328012Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85174311866

الإتاحة: https://doi.org/10.1109/e-Science58273.2023.10254877Test
https://hdl.handle.net/11388/328012Test

المؤلفون: Pandolfo L., Pulina L.

المساهمون: Pandolfo, L., Pulina, L.

مصطلحات موضوعية: Cultural Heritage, Linked Open Data, Ontology, Semantic Web

العلاقة: ispartofbook:CEUR Workshop Proceedings; 38th Italian Conference on Computational Logic, CILC 2023; volume:3428; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11388/317312Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85164594342

الإتاحة: https://hdl.handle.net/11388/317312Test

المؤلفون: Guidotti D., Pandolfo L., Pulina L.

المساهمون: Guidotti, D., Pandolfo, L., Pulina, L.

مصطلحات موضوعية: formal verification, neural network, predictive maintenance, trustworthy AI

العلاقة: info:eu-repo/semantics/altIdentifier/wos/WOS:001035886700001; volume:14; issue:7; firstpage:397; journal:INFORMATION; https://hdl.handle.net/11388/317313Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85166387298

الإتاحة: https://doi.org/10.3390/info14070397Test
https://hdl.handle.net/11388/317313Test

المؤلفون: Eramo R., Fanni T., Guidotti D., Pandolfo L., Pulina L., Zedda K.

المساهمون: Riccardo De Benedictis, Nicola Gatti, Marco Maratea, Andrea Micheli, Aniello Murano, Enrico Scala, Luciano Serafini, Ivan Serina, Alessandro Umbrico, Mauro Vallati, Eramo, R., Fanni, T., Guidotti, D., Pandolfo, L., Pulina, L., Zedda, K.

مصطلحات موضوعية: Automotive, Formal Verification, Neural Network, Trustworthy AI

العلاقة: ispartofbook:CEUR Workshop Proceedings; 10th Italian Workshop on Planning and Scheduling, IPS 2022, RCRA Incontri E Confronti, RiCeRcA 2022, and the Workshop on Strategies, Prediction, Interaction, and Reasoning in Italy, SPIRIT 2022; volume:3345; serie:CEUR WORKSHOP PROCEEDINGS; https://hdl.handle.net/11575/141489Test; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-85148653682

الإتاحة: https://hdl.handle.net/11575/141489Test