GI-IRlab-Artigos: Envíos recentes

Mostrando ítems 11-15 de 24

    • Niching methods integrated with a differential evolution memetic algorithm for protein structure prediction 

      Varela, Daniel; Santos Reyes, José (Elsevier, 2022-06)
      [Abstract]: A memetic version between an evolutionary algorithm (differential evolution) and the local search provided by protein fragment replacements was defined for protein structure prediction. In this problem, it is ...

    • Linear-Time Temporal Answer Set Programming 

      Aguado, Felicidad; Cabalar, Pedro; Diéguez Lodeiro, Martín; Pérez, Gilberto; Schaub, Torsten; Schuhmann, Anna; Vidal, Concepción (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 

      Pérez, Anxo; Parapar, Javier; Barreiro, Álvaro (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 ...

    • Accelerating 3D printing of pharmaceutical products using machine learning 

      Ong, Jun Jie; Muñiz, Brais; Gaisford, Simon; Cabalar, Pedro; Basit, Abdul W; Pérez, Gilberto; Goyanes, Álvaro (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 

      Fandiño, Jorge; Pearce, David; Vidal, Concepción; Woltran, Stefan (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 ...