المؤلفون: Dario Guidotti, Laura Pandolfo, Luca Pulina

المصدر: Information, Vol 14, Iss 7, p 397 (2023)

مصطلحات موضوعية: neural networks, predictive maintenance, trustworthy AI, formal verification, Information technology, T58.5-58.64

وصف الملف: electronic resource

Relation: https://www.mdpi.com/2078-2489/14/7/397; https://doaj.org/toc/2078-2489

URL الوصول: https://doaj.org/article/74c45f2ce2d9472fae8d8ab8d17ad8d7

المؤلفون: Laura Pandolfo, Luca Pulina, Simone Vuotto

المصدر: IEEE Access, Vol 9, Pp 83718-83726 (2021)

مصطلحات موضوعية: Design verification, application of formal methods, satisfiability modulo theories, Electrical engineering. Electronics. Nuclear engineering, TK1-9971

وصف الملف: electronic resource

Relation: https://ieeexplore.ieee.org/document/9446129/; https://doaj.org/toc/2169-3536

URL الوصول: https://doaj.org/article/c5e04de964af4ca2b318868916607f85

المؤلفون: Luca Pulina, Laura Pandolfo, Simone Vuotto

مصطلحات موضوعية: H2020, European Commission, ECSEL Research and Innovation Action, EC, General Engineering, General Materials Science, General Computer Science

Relation: info:eu-repo/grantAgreement/EC/H2020/783162/; url:https://www.openaccessrepository.it/communities/itmirror; https://www.openaccessrepository.it/record/138879

الاتاحة: https://www.openaccessrepository.it/record/138879
https://doi.org/10.1109/access.2021.3085911

المؤلفون: Laura Pandolfo, Luca Pulina

المصدر: International Journal on Semantic Web and Information Systems. 17:1-21

مصطلحات موضوعية: Information retrieval, Computer Networks and Communications, Computer science, Process (engineering), business.industry, Cloud computing, Benchmarking, Linked data, Ontology (information science), computer.software_genre, Metadata, business, Semantic Web, computer, Information Systems, Data integration

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::884e94f1ee669a10348e792b75435934
https://doi.org/10.4018/ijswis.2021100101

المؤلفون: Laura Pandolfo, Luca Pulina, Enrico Grosso, Sara Spanu

المساهمون: Pandolfo, L, Spanu, S, Grosso, E, Pulina, L

المصدر: International Journal of Technology and Human Interaction. 16:24-38

مصطلحات موضوعية: user modeling, Process (engineering), business.industry, User modeling, Visitor pattern, culture heritage, Internet privacy, visitor behaviour, 020207 software engineering, 02 engineering and technology, Ontology (information science), sociological survey, Personalization, Task (project management), Human-Computer Interaction, Cultural heritage, Order (business), 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, Psychology, business, personalization, Information Systems

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38f3d92d492e938b83017b1fdd915b4e
https://doi.org/10.4018/ijthi.2020070102

المؤلفون: Luca Pulina, Martina Seidl

المصدر: Artificial Intelligence. 274:224-248

مصطلحات موضوعية: Propositional variable, Linguistics and Language, Theoretical computer science, Series (mathematics), Artificial Intelligence, Computer science, 020204 information systems, 0202 electrical engineering, electronic engineering, information engineering, 020201 artificial intelligence & image processing, 02 engineering and technology, Extension (predicate logic), Language and Linguistics, Satisfiability

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::99658ffc6c96bc7b24563d893681c339
https://doi.org/10.1016/j.artint.2019.04.002

المؤلفون: Dario Guidotti, Luca Pulina, Armando Tacchella

المساهمون: Guidotti, Dario, Pulina, Luca, Tacchella, Armando

مصطلحات موضوعية: Computer Science - Learning, Computer Science - Software Engineering

Relation: ispartofbook:FOMLAS 2020; http://hdl.handle.net/11388/239897; http://arxiv.org/abs/2011.09933v1

الاتاحة: http://hdl.handle.net/11388/239897
http://arxiv.org/abs/2011.09933v1

المؤلفون: Luca Pulina, Manuela Pulina, Valentina Santoni

المساهمون: Pulina, Luca, Pulina, Manuela, Santoni, Valentina

مصطلحات موضوعية: primary sector, inventory turnover, efficiency, regional analysis

Relation: volume:41; issue:4; firstpage:2711; lastpage:2724; numberofpages:14; journal:ECONOMICS BULLETIN; http://hdl.handle.net/11388/256058; http://www.accessecon.com/Pubs/EB/2021/Volume41/EB-21-V41-I4-P234.pdf

الاتاحة: http://hdl.handle.net/11388/256058
http://www.accessecon.com/Pubs/EB/2021/Volume41/EB-21-V41-I4-P234.pdf

المؤلفون: Laura Pandolfo, Luca Pulina

المصدر: WEBIST

مصطلحات موضوعية: Computer science, Extraction (chemistry), Benchmark (computing), Data mining, Ontology (information science), computer.software_genre, computer

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::910ce18d24cbbba0e2d2a0612a207e56
https://doi.org/10.5220/0010677000003058

المؤلفون: Olaf Beyersdorff, Ankit Shukla, Martina Seidl, Luca Pulina

المصدر: Theory and Applications of Satisfiability Testing – SAT 2021 ISBN: 9783030802226
SAT

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, Theoretical computer science, Computer science, Proof complexity, Scalability, Benchmarking, Solver, Implementation, Field (computer science), Power (physics)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::1511cb0faa8fe94bdcd1143fc3632593
https://doi.org/10.1007/978-3-030-80223-3_3

المؤلفون: Dario Guidotti, Armando Tacchella, Luca Pulina

المصدر: Automated Technology for Verification and Analysis ISBN: 9783030888848
ATVA

مصطلحات موضوعية: Artificial neural network, Computer science, business.industry, Artificial intelligence, business

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b9a5644394715273ab60a8aab20dffc9
https://doi.org/10.1007/978-3-030-88885-5_23

المؤلفون: Marco Maratea, Luca Pulina, Francesco Ricca

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.star.dist.unige.it/~marco/Data/12iclp.pdf.

مصطلحات موضوعية: Automated Algorithm Selection, Multi-Engine solvers Digital Object Identifier 10.4230/LIPIcs.xxx.yyy.p

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.7496; http://www.star.dist.unige.it/~marco/Data/12iclp.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.7496
http://www.star.dist.unige.it/~marco/Data/12iclp.pdf

المؤلفون: Marco Maratea, Luca Pulina, Francesco Ricca

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.star.dist.unige.it/~marco/Data/12jelia.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.4859; http://www.star.dist.unige.it/~marco/Data/12jelia.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.4859
http://www.star.dist.unige.it/~marco/Data/12jelia.pdf

المؤلفون: Marco Maratea, Maurizio Pianfetti, Luca Pulina

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.mrg.dist.unige.it/~marco/Data/11rcra.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.2437; http://www.mrg.dist.unige.it/~marco/Data/11rcra.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.640.2437
http://www.mrg.dist.unige.it/~marco/Data/11rcra.pdf

المؤلفون: Claudia Peschiera, Luca Pulina, Armando Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.easychair.org/publications/?page=226370374.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.6583; http://www.easychair.org/publications/?page=226370374

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.417.6583
http://www.easychair.org/publications/?page=226370374

المؤلفون: Marco Maratea, Luca Pulina, Francesco Ricca

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://drops.dagstuhl.de/opus/volltexte/2012/3608/pdf/6.pdf.

مصطلحات موضوعية: Automated Algorithm Selection, Multi-Engine solvers Digital Object Identifier 10.4230/LIPIcs.ICLP.2012.37

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.1241; http://drops.dagstuhl.de/opus/volltexte/2012/3608/pdf/6.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.403.1241
http://drops.dagstuhl.de/opus/volltexte/2012/3608/pdf/6.pdf

المؤلفون: Marco Maratea, Luca Pulina, Enrico Giunchiglia

المصدر: Constraints. 23:383-402

مصطلحات موضوعية: 060201 languages & linguistics, Discrete mathematics, 06 humanities and the arts, 02 engineering and technology, Solver, Satisfiability, Constraint (information theory), Computational Theory and Mathematics, Artificial Intelligence, Satisfiability modulo theories, 0602 languages and literature, 0202 electrical engineering, electronic engineering, information engineering, Discrete Mathematics and Combinatorics, 020201 artificial intelligence & image processing, Completeness (statistics), Constant (mathematics), Preference (economics), Software, Integer (computer science), Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6e40dbff0aba39ba8d81066938b44f7a
https://doi.org/10.1007/s10601-018-9293-6

المؤلفون: Luca Pulina, Armando Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://jsat.ewi.tudelft.nl/content/sd/JSAT7_5_Pulina.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.392.8024; http://jsat.ewi.tudelft.nl/content/sd/JSAT7_5_Pulina.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.392.8024
http://jsat.ewi.tudelft.nl/content/sd/JSAT7_5_Pulina.pdf

المؤلفون: Luca Pulina, O Tacchella

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ceur-ws.org/Vol-589/paper15.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.2071; http://ceur-ws.org/Vol-589/paper15.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.667.2071
http://ceur-ws.org/Vol-589/paper15.pdf

المؤلفون: Roman Kontchakov, Luca Pulina, Uli Sattler, Thomas Schneider, Petra Selmer, Frank Wolter, Michael Zakharyaschev

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.dcs.bbk.ac.uk/~roman/papers/IJCAI09-Extraction2.2.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.8086; http://www.dcs.bbk.ac.uk/~roman/papers/IJCAI09-Extraction2.2.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.163.8086
http://www.dcs.bbk.ac.uk/~roman/papers/IJCAI09-Extraction2.2.pdf