César Domínguez

César Domínguez
Universidad de La Rioja (Spain) | UNIRIOJA · Mathematics and Computation

About

79
Publications
17,596
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
686
Citations
Introduction
Skills and Expertise

Publications

Publications (79)
Preprint
Full-text available
The development of mobile and on the edge applications that embed deep convolutional neural models has the potential to revolutionise biomedicine. However, most deep learning models require computational resources that are not available in smartphones or edge devices; an issue that can be faced by means of compact models. The problem with such mode...
Preprint
Full-text available
Nowadays, Machine Learning and Deep Learning methods have become the state-of-the-art approach to solve data classification tasks. In order to use those methods, it is necessary to acquire and label a considerable amount of data; however, this is not straightforward in some fields, since data annotation is time consuming and might require expert kn...
Preprint
Full-text available
Background and objectives. Domain shift is a generalisation problem of machine learning models that occurs when the data distribution of the training set is different to the data distribution encountered by the model when it is deployed. This is common in the context of biomedical image segmentation due to the variance of experimental conditions, e...
Preprint
Full-text available
Forms are a widespread type of template-based document used in a great variety of fields including, among others, administration, medicine, finance, or insurance. The automatic extraction of the information included in these documents is greatly demanded due to the increasing volume of forms that are generated in a daily basis. However, this is not...
Article
Full-text available
Video is a medium increasingly used in education. The styles of videos produced for academic purposes have been studied in the literature based mainly on those initially designed by instructors for use in MOOCs. In this work, we define a novel taxonomy of academic video design styles based on the videos produced by students. We have defined 10 diff...
Article
The study of the relationships between self-regulated learning and formative assessment is an active line of research in the educational community. A recent review of the literature highlights that the study of these connections has been mainly unidirectional, focusing on how formative assessment helps students to self-regulate their learning, bein...
Chapter
Due to the increasing volume of forms that are generated in a daily basis, the automatic extraction of the information included in these template-based documents is greatly demanded. However, this is not a straightforward task due to the great diversity of templates with different location of form entities, and the quality of the scanned documents....
Article
Background and objectives Infectious diseases produced by antimicrobial resistant microorganisms are a major threat to human, and animal health worldwide. This problem is increased by the virulence and spread of these bacteria. Surface motility has been regarded as a pathogenicity element because it is essential for many biological functions, but a...
Article
Object detection models based on deep learning techniques have been successfully applied in several contexts; however, non-expert users might find challenging the use of these techniques due to several reasons, including the necessity of trying different algorithms implemented in heterogeneous libraries, the configuration of hyperparameters, the la...
Article
Background and objectives Deep learning techniques are the state-of-the-art approach to solve image classification problems in biomedicine; however, they require the acquisition and annotation of a considerable volume of images. In addition, using deep learning libraries and tuning the hyperparameters of the networks trained with them might be chal...
Article
Background and objectives Spheroids are the most widely used 3D models for studying the effects of different micro-environmental characteristics on tumour behaviour, and for testing different preclinical and clinical treatments. In order to speed up the study of spheroids, imaging methods that automatically segment and measure spheroids are instrum...
Chapter
Full-text available
A correct localisation of tables in a document is instrumental for determining their structure and extracting their contents; therefore, table detection is a key step in table understanding. Nowadays, the most successful methods for table detection in document images employ deep learning algorithms; and, particularly, a technique known as fine-tuni...
Chapter
Nowadays, the use of transfer learning, a deep learning technique, is growing to solve imaging problems in several contexts such as biomedicine where the amount of images is limited. However, applying transfer learning might be challenging for users without experience due to the complexity of the deep learning frameworks. To facilitate the task of...
Chapter
Image classification is a computer vision task that has several applications in diverse fields like security, biology or medicine; and, currently, deep learning techniques have become the state-of-the-art to create image classification models. This growing use of deep learning techniques is due to the large amount of data, the fast increase of the...
Article
A capstone project is an extensive learning experience traditionally developed during a student's final academic year. Assessing such a complex assignment involves several challenges and is usually based upon the evaluations of at least two different people: the capstone project advisor, and one or more other assessors. Quantitative studies compari...
Article
Full-text available
Deep learning techniques are currently the state of the art approach to deal with image classification problems. Nevertheless, non-expert users might find challenging the use of these techniques due to several reasons, including the lack of enough images, the necessity of trying different models and conducting a thorough comparison of the results o...
Article
Contribution: Internships designed to provide training and an initial period of contact with industry, prior to a computer science engineering capstone project, have a very positive impact on both industry and academic capstone projects. Background: Internships and capstone projects are widely used to integrate work-related learning in computer eng...
Preprint
Full-text available
A correct localisation of tables in a document is instrumental for determining their structure and extracting their contents; therefore, table detection is a key step in table understanding. Nowadays, the most successful methods for table detection in document images employ deep learning algorithms; and, particularly, a technique known as fine-tuni...
Article
Full-text available
Fungi have diverse biotechnological applications in, among others, agriculture, bioenergy generation, or remediation of polluted soil and water. In this context, culture media based on colour change in response to degradation of dyes are particularly relevant, but measuring dye decolourisation of fungal strains mainly relies on a visual and semiqua...
Conference Paper
Full-text available
Resumen En diferentes estudios internacionales se observa una influencia muy positiva de las prácticas en empresa sobre los resultados académicos en las asignaturas que las siguen. La colaboración en el plan de estudios con la asociación de empresas de informática más importante de nuestra región dio lugar a una asignatu-ra obligatoria y otra optat...
Conference Paper
This study evaluates the impact of part-time internships (PTI) on concurrent subjects and students' satisfaction, in a Computer Science (CS) Engineering degree program. PTI offer some advantages: the technologies learned have a very positive influence on the quality of subsequent capstone projects (CP), students maintain in contact with the univers...
Article
Full-text available
Background Deep learning techniques have been successfully applied to bioimaging problems; however, these methods are highly data demanding. An approach to deal with the lack of data and avoid overfitting is the application of data augmentation, a technique that generates new training samples from the original dataset by applying different kinds of...
Article
It is important for both computer science academics and students to clearly comprehend the differences between academic and professional perspectives in terms of assessing a deliverable. It is especially interesting to determine whether the aspects deemed important to evaluate by a computer science expert are the same as those established by academ...
Article
Background and objective: Deep learning techniques have been successfully applied to tackle several image classification problems in bioimaging. However, the models created from deep learning frameworks cannot be easily accessed from bioimaging tools such as ImageJ or Icy; this means that life scientists are not able to take advantage of the resul...
Article
This study analyzes the impact of adding a review exercises module to an online tool used in a software engineering degree program. The objective of the module is to promote students’ self-learning effort to improve their performance. We also intend to determine if this new feature has any effect on the amount of code copies detected in lab session...
Article
In this work, we explore the differences between proctored and unproctored Internet administration for a Basque language low-stakes test considering demographic factors such as age, gender, and knowledge level in the subject. To this aim, we have developed an ad hoc application that allows us to establish a set of filters and techniques that succes...
Article
In today’s globalized world, it seems important that students can telecollaborate in a team by making effective use of information and communication technologies. This collaboration format can positively influence their academic performance, enhance engineering student interest in the subject, and improve skills such as communication and teamwork....
Chapter
Full-text available
Due to the broad use of deep learning methods in Bioimaging, it seems convenient to create a framework that facilitates the task of analysing different models and selecting the best one to solve each particular problem. In this work-in-progress, we are developing a Python framework to deal with such a task in the case of bioimage classification. Na...
Chapter
Nowadays, deep learning techniques are playing an important role in different areas due to the fast increase in both computer processing capacity and availability of large amount of data. Their applications are diverse in the field of bioimage analysis, e.g. for classifying and segmenting microscopy images, for automating the localization of protei...
Article
Introduction Suicide is a current public health problem and among the main causes of mortality in adolescents and young adults. The main goal of this study was to analyse suicidal ideation in a representative sample of Spanish adolescents. Specifically, the prevalence rates of suicide ideation, the psychometric properties of the Paykel Suicide Scal...
Article
Full-text available
Background: Fungi have diverse biotechnological applications in, among others, agriculture, bioenergy generation, or remediation of polluted soil and water. In this context, culture media based on color change in response to degradation of dyes are particularly relevant; but measuring dye decolorisation of fungal strains mainly relies on a visual...
Chapter
Full-text available
Object detection is an area of computer vision with applications in several contexts such as biomedicine and security; and it is currently growing thanks to the availability of datasets of images, and the use of deep learning techniques. In order to apply object detection algorithms is instrumental to know the quality of the regions detected by the...
Article
Introduction: Suicide is a current public health problem and among the main causes of mortality in adolescents and young adults. The main goal of this study was to analyse suicidal ideation in a representative sample of Spanish adolescents. Specifically, the prevalence rates of suicide ideation, the psychometric properties of the Paykel Suicide Sc...
Article
Full-text available
Introduction. Suicide is today a public health problem among the leading cause of mortality among adolescents and young adults. The main goal of the present study was to analyze suicidal ideation in a representative sample of Spanish adolescents. Specifically, the prevalence rates of suicide ideation, the psychometric properties of the Paykel Suici...
Article
Background and objective: The effective processing of biomedical images usually requires the interoperability of diverse software tools that have different aims but are complementary. The goal of this work is to develop a bridge to connect two of those tools: ImageJ, a program for image analysis in life sciences, and OpenCV, a computer vision and...
Article
Background and objectives: Disk diffusion testing, known as antibiogram, is widely applied in microbiology to determine the antimicrobial susceptibility of microorganisms. The measurement of the diameter of the zone of growth inhibition of microorganisms around the antimicrobial disks in the antibiogram is frequently performed manually by speciali...
Article
Background and objective: The manual transformation of DNA fingerprints of dominant markers into the input of tools for population genetics analysis is a time-consuming and error-prone task; especially when the researcher deals with a large number of samples. In addition, when the researcher needs to use several tools for population genetics analy...
Conference Paper
The classification of organisms is a daily-basis task in biology as well as other contexts. This process is usually carried out by comparing a set of descriptors associated with each object. However, general-purpose statistical packages offer a limited number of methods to perform such a comparison, and specific tools are required for each concrete...
Article
In the last few years, self- and peer-assessment have been increasingly employed not only as an evaluation method, but also as a learning procedure. The consistency and difference between self- and peer-assessments as compared to instructor-assessments have been previously studied, and a friendship bias was discovered. In this study, we introduce e...
Article
Full-text available
Different learning methods such as project-based learning, spiral learning and peer assessment have been implemented in science disciplines with different outcomes. This paper presents a proposal for a project management course in the context of a computer science degree. Our proposal combines three well-known methods: project-based learning, spira...
Article
Full-text available
Resumen Nuestro equipo de investigación se compone de seis profesores de La Rioja que colaboramos estrechamente con tres profesores del País Vasco. Inicialmente nuestras experiencias innovadoras se centraron en asignaturas de bases de datos. Destacamos un experimento donde los estudiantes realizaron un trabajo junto a un alumno de otra universidad...
Article
DNA fingerprinting is a genetic typing technique that allows the analysis of the genomic relatedness between samples, and the comparison of DNA patterns. The analysis of DNA gel fingerprint images usually consists of five consecutive steps: image pre-processing, lane segmentation, band detection, normalization and fingerprint comparison. In this ar...
Article
Full-text available
DNA fingerprinting is a technique for comparing DNA patterns that has applications in a wide variety of contexts. Several commercial and freely-available tools can be used to analyze DNA fingerprint gel images; however, commercial tools are expensive and usually difficult to use; and, free tools support the basic functionality for DNA fingerprint a...
Conference Paper
This study describes the capstone projects evolution over the last ten years at our university. During this period, two different degrees have existed: "Technical Engineering in Computer Science" with graduated students from 2005 through 2012, and a "Degree in Computer Science Engineering" from 2013 through 2014. Herein, the evolution of some impor...
Article
Full-text available
DNA fingerprinting is a genetic typing technique that allows the analysis of the genomic relatedness between samples, and the comparison of DNA patterns. This technique has multiple applications in different fields (medical diagnosis, forensic science, parentage testing, food industry, agriculture and many others). An important task in molecular ep...
Article
This study presents a tool for students and professors (advisors) to assist in the management and development of Capstone Projects (CP) in Computer Science Engineering. The tool emphasizes planning and monitoring tasks in particular, by providing information on other CPs of a given profile, as well as support for document management (deliverables,...
Article
In carrying out their capstone projects, students use knowledge and skills acquired throughout their degree program to create a product or provide a technical service. An assigned advisor guides the students and supervises the work, and a committee assesses the projects. This study compares student and staff perceptions of key aspects of completing...
Article
This study evaluates several aspects related to capstone projects in a computer science degree: level of advisor involvement, type of student, and type of project. We consider the points of view of students, advisors, and evaluation committees. Students claimed the level of advisor involvement to be significantly greater than that perceived by the...
Article
Telecollaboration is defined as a collaborative activity that involves people from distant geographic locations working together through Internet tools and other resources. This technique has not been frequently used in learning experiences and has produced diverse academic results, as well as degrees of satisfaction. This paper describes a telecol...
Article
Background: Undergraduate students in computer science engineering undertake a capstone project that should integrate the specific knowledge and skills acquired during their studies. The advisor assigned to supervise the process undertakes a multifaceted commitment that varies among advisors. Purpose: This study develops and validates an instrument...
Article
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization process starts from a given specification and builds a parameterized specification by adding a parameter as a new variable to some operations. Given a model of the parameteri...
Conference Paper
Full-text available
El área de bases de datos permite la aplicación de un modelo de aprendizaje basado en la actividad práctica. Dentro de esta área hemos desarrollado una experiencia entre dos universidades incorporando la telecolaboración de forma sistemática. Se han formando equipos con estudiantes que no se conocen entre sí y que han trabajado a distancia. El proy...
Technical Report
Este informe recoge la documentación generada para llevar a cabo una práctica interuniversitaria en el área de base de datos durante los cursos 09/10 y 10/11. Se ha desarrollado una experiencia entre la UPV/EHU y la Universidad de la Rioja incorporando de forma sistemática la telecolaboración, formando equipos de trabajo con estudiantes de las dos...
Article
In this paper, we present a complete formalization in the Coq theorem prover of an important algorithm in computational algebra, namely the calculation of the effective homology of a bicomplex. As a necessary tool, we encode a hierarchy of algebraic structures in constructive type theory, including graded and infinite data structures. The experienc...
Article
This paper describes an active method for database design learning through practical tasks development by student teams in a face-to-face course. This method integrates project-based learning, and project management techniques and tools. Some scaffolding is provided at the beginning that forms a skeleton that adapts to a great variety of student-pr...
Article
Full-text available
This paper provides an abstract definition of a class of logics, called diagrammatic logics, together with a definition of morphisms and 2-morphisms between them. The definition of the 2-category of diagrammatic logics relies on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is applied to the forma...
Article
Full-text available
In this article, two different mechanized reasoning tools (Coq and Isabelle/HOL) are used in order to prove some basic but significant properties extracted from a symbolic computation system called Kenzo. In particular, we focused on a property called ‘cancellation theorem’, which can be applied to the proof of the idempotence property of a differe...
Conference Paper
Full-text available
Computational content encoded into constructive type theory proofs can be used to make computing experiments over concrete data structures. In this paper, we explore this possibility when working in Coq with chain complexes of infinite type (that is to say, generated by infinite sets) as a part of the formalization of a hierarchy of homological alg...
Article
Full-text available
Resumen El acceso a la universidad es un derecho reconocido para todos los alumnos y la universidad pública española debe estar preparada para satisfacer las necesidades especiales del colectivo de personas con discapacidades. En este trabajo, tras revisar la legislación concerniente a la discapacidad en la universidad y analizar algunos datos rela...
Article
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization process starts from a given specification and builds a parameterized specification by adding a parameter as a new variable to some operations. Given a model of the parameteri...
Article
Full-text available
This paper provides an abstract definition of some kinds of logics, called diagrammatic logics, together with a definition of morphisms and of 2-morphisms between diagrammatic logics. The definition of the 2-category of diagrammatic logics rely on category theory, mainly on adjunction, categories of fractions and limit sketches. This framework is a...
Article
Full-text available
The parameterization process used in the symbolic computation systems Kenzo and EAT is studied here as a general construction in a categorical framework. This parameterization process starts from a given specification and builds a parameterized specification by transforming some operations into parameterized operations, which depend on one addition...
Conference Paper
Full-text available
In this work we propose a representation of graded algebraic structures and morphisms over them appearing in the field of Homological Algebra in the proof assistants Isabelle and Coq. We provide particular instances of these representations in both systems showing the correctness of the representation. Moreover the adequacy of such representations...
Article
Full-text available
Resumen El objetivo principal de este trabajo es hacer una reflexión sobre la normalización de bases de datos en la actualidad, incluyendo su utilidad práctica, el enfoque seguido en su enseñanza y su utilización en proyectos reales. Identificamos cómo muchos libros de fundamentos de bases de datos pasan por alto aspectos fundamentales en el proces...
Conference Paper
This work is an attempt to formalize, using the Coq proof assistant, the algebraic specification of the data structures appearing in two symbolic computation systems for algebraic topology called EAT and Kenzo. The specification of these structures have been obtained through an operation, called imp operation, between different specification framew...
Article
The specification of the data structures used in EAT, a software system for symbolic computation in algebraic topology, is based on an operation that defines a link among different specification frameworks like hidden algebras and coalgebras. In this paper, this operation is extended using the notion of institution, giving rise to three institution...
Article
In this paper the analysis of the data, structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We show how the order-sorted algebraic specification formalism can be adapted,...
Article
Full-text available
The aim of this work is to present an ongoing project to formalize, in the framework of diagrammatic logic (due to Dominique Duval and Christian Lair) some data structures appearing in Sergeraert's symbolic computation systems Kenzo and EAT. More precisely, we intend to translate into the diagrammatic setting a previous work based on standard algeb...
Article
El presente trabajo se centra en la especificación de sistemas de cálculo simbólico en Topología Algebraica. En particular, se estudian dos sistemas llamados EAT y Kenzo. Estos programas realizan cálculos de grupos de homología y de homotopía de espacios topológicos complejos, como por ejemplo espacios de lazos iterados. A través de ambos sistemas...
Conference Paper
In this paper the analysis of the data structures used in a symbolic computation system, called Kenzo, is undertaken. We deal with the specification of the inheritance relationship since Kenzo is an object-oriented system, written in CLOS, the Common Lisp Object System. We focus on a particular case, namely the relationship between simplicial sets...
Conference Paper
This paper is devoted to the formal study of the data structures appearing in a symbolic computation system, namely the EAT system. One of the main features of the EAT system is that it intensively uses functional programming techniques. This implies that some formalisms for the algebraic specification of systems must be adapted to this functional...