Buscar
Mostrando ítems 21-30 de 41
On the semantics of hybrid ASP systems based on Clingo
(MDPI, 2023-03)
[Abstract]: Over the last decades, the development of Answer Set Programming (ASP) has brought about an expressive modeling language powered by highly performant systems. At the same time, it gets more and more difficult ...
Evolving Cellular Automata Schemes for Protein Folding Modeling Using the Rosetta Atomic Representation
(Springer, 2022)
[Abstract] Protein folding is the dynamic process by which a protein folds into its final native structure. This is different to the traditional problem of the prediction of the final protein structure, since it requires ...
A Polynomial Reduction of Forks Into Logic Programs
(Elsevier, 2022)
[Abstract] In this research note we present additional results for an earlier published paper [1]. There, we studied the problem of projective strong equivalence (PSE) of logic programs, that is, checking whether two logic ...
Experimental Analysis of the Relevance of Features and Effects on Gender Classification Models for Social Media Author Profiling
(SCITEPRESS, 2021)
[Abstract] Automatic user profiling from social networks has become a popular task due to its commercial applications
(targeted advertising, market studies...). Automatic profiling models infer demographic characteristics
of ...
Accelerating 3D printing of pharmaceutical products using machine learning
(Elsevier, 2022)
[Abstract] Three-dimensional printing (3DP) has seen growing interest within the healthcare industry for its ability to fabricate personalized medicines and medical devices. However, it may be burdened by the lengthy ...
Comparing the Reasoning Capabilities of Equilibrium Theories and Answer Set Programs
(MDPI, 2022)
[Abstract] Answer Set Programming (ASP) is a well established logical approach in artificial intelligence that is widely used for knowledge representation and problem solving. Equilibrium logic extends answer set semantics ...
Linear-Time Temporal Answer Set Programming
(Cambridge University Press, 2023)
[Abstract]: In this survey, we present an overview on (Modal) Temporal Logic Programming in view of its application to Knowledge Representation and Declarative Problem Solving. The syntax of this extension of logic programs ...
Automatic depression score estimation with word embedding models
(Elsevier, 2022)
[Abstract]: Depression is one of the most common mental health illnesses. The biggest obstacle lies in an efficient and early detection of the disorder. Self-report questionnaires are the instruments used by medical experts ...
Machine learning predicts 3D printing performance of over 900 drug delivery systems
(Elsevier B.V., 2021-09)
[Abstract]: Three-dimensional printing (3DP) is a transformative technology that is advancing pharmaceutical research by producing personalized drug products. However, advances made via 3DP have been slow due to the lengthy ...
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
(Elsevier B.V., 2020-11)
[Abstract]: Artificial intelligence (AI) has the potential to reshape pharmaceutical formulation development through its ability to analyze and continuously monitor large datasets. Fused deposition modeling (FDM) ...