| Department | Computer Science and Information Technologies |
| Knowledgment area | Algebra |
| Research | Research group Information Retrieval Lab |
| Research lines | No data available from Curriculum Management System at UDC. (SUXI). |
| Contacto | UDC directory |
This section shows the teaching given in degrees, masters and other officers studies in last 6 years.
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 51 |
|
Discrete Mathematics
Degree in Computer Engineering
Programa de Simultaneidad del Grado en Ingeniería Informática y Grado en Ciencia e Ingeniería de Datos
|
Core | 0 | 90 |
|
Final Year Dissertation. Mention in Computer Science
Degree in Computer Engineering
|
Compulsory | 0 | 4 |
|
Logic
Degree in Artificial Intelligence
|
Core | 0 | 30 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
| Algebra | Core | 0 | 30 |
| Discrete Mathematics | Core | 0 | 120 |
| Discrete Mathematics | Core | 0 | 15 |
| Discrete Mathematics | Core | 0 | 15 |
| Logic | Core | 0 | 40 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 30 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 140 |
|
Discrete Mathematics
Degree in Data Science and Engineering
|
Core | 0 | 10 |
|
Discrete Mathematics
Degree in Artificial Intelligence
|
Core | 0 | 10 |
|
Logic
Degree in Artificial Intelligence
|
Core | 0 | 30 |
|
Software Verification and Validation
Degree in Computer Engineering
|
Optional | 0 | 10 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 89.5 |
|
Discrete Mathematics
Degree in Computer Engineering
|
Core | 0 | 30 |
|
Discrete Mathematics
Degree in Artificial Intelligence
|
Core | 0 | 30 |
|
Logic
Degree in Artificial Intelligence
|
Core | 0 | 30 |
|
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 60 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Operating Systems
Degree in Computer Engineering
|
Compulsory | 0 | 60 |
| Subject and involved studies | Type | Distance hours | Total hours |
|---|---|---|---|
|
Algebra
Degree in Computer Engineering
|
Core | 0 | 20 |
|
Concurrency and Parallelism
Degree in Computer Engineering
|
Compulsory | 0 | 19 |
|
Knowledge Representation and Automatic Reasoning
Degree in Computer Engineering
|
Optional | 0 | 21 |
Defined tutoring by teacher for 2024/2025 academic course.
| Quarter | Day | Site |
|---|---|---|
| 2nd quarter |
Thursday
10:30 a 12:30 |
Laboratorio 4.2 |
| 2nd quarter |
Friday
10:30 a 12:30 |
Laboratorio 4.2 |
Directed or codirected by current teacher since 2013 year.
Select merit type and year to query research merits.
ARLEKIN: Razonamiento Automático y Aprendizaje con Inducción de Conocimiento (Automated Reasoning and LEarning with Knowledge INduction)
| Funding entity | Ministerio de Ciencia e Innovación |
| Main researches | Pedro Cabalar Fernández, José Santos Reyes |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/09/2021 to 31/08/2024 |
TARDIS: Temporal Automated Reasoning for Dynamic Intelligent Systems
| Funding entity | Ministerio de Economía y Competitividad |
| Main researches | Pedro Cabalar |
| Type | Proyecto Programas Nacionales |
| Dates | From 01/01/2018 to 31/12/2020 |
Accelerating 3D printing of pharmaceutical products using machine learning
| Authors | Jun Jie Ong, Brais Muñiz, Simon Gaisford, Pedro Cabalar, Abdul W. Basit, Gilberto Pérez, Alvaro Goyanes |
| Journal | INTERNATIONAL JOURNAL OF PHARMACEUTICS Vol. 4 |
| DOI | https://doi.org/10.1016/j.ijpx.2022.100120 |
Machine learning predicts 3D printing performance of over 900 drug delivery systems
| Authors | Brais Muñiz, Moe Elbadawi, Jun Jie Ong, Thomas Pollard, Zhe Song, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Journal | JOURNAL OF CONTROLLED RELEASE Vol. 337 (pages 530 to 545) |
| DOI | https://doi.org/10.1016/j.jconrel.2021.07.046 |
M3DISEEN: A novel machine learning approach for predicting the 3D printability of medicines
| Authors | Moe Elbadawi, Brais Muñiz, Francesca K.H. Gavins, Jun Jie Ong, Simon Gaisford, Gilberto Pérez, Abdul W. Basit, Pedro Cabalar, Alvaro Goyanes |
| Journal | INTERNATIONAL JOURNAL OF PHARMACEUTICS Vol. 590 |
| DOI | https://doi.org/10.1016/j.ijpharm.2020.119837 |
Explainable Machine Learning for Liver Transplantation
XAI-Healthcare 2021 Workshop (AIME 2021)
International
| Authors | Pedro Cabalar, Brais Muñiz, Gilberto Pérez, Francisco Suárez |
| Place | Murcia (España) |
aspBEEF: Explaining Predictions Through Optimal Clustering (preliminary report)
14th Workshop on Answer Set Programming and Other Computing Paradigms (ICLP 2021)
International
| Authors | Pedro Cabalar, Rodrigo Martín, Brais Muñiz, Gilberto Pérez |
| Place | Porto (Portugal) |
A system for explainable answer set programming
Declarative Problem Solving Workshop 2020 (DPSW20) - ECAI2020
International
| Authors | Pedro Cabalar, Jorge Fandinno, Brais Muñiz |
| Place | Santiago de Compostela (España) |
Academic or management positions held by teacher.