-
Counting and Computing Join-Endomorphisms in Lattices (Revisited)
Authors:
Carlos Pinzón,
Santiago Quintero,
Sergio Ramírez,
Camilo Rueda,
Frank Valencia
Abstract:
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set $\mathcal{E}(L)$ of all join-endomorphisms of a given finite lattice $L$. In particular, we show for $\mathbf{M}_n$, the discrete order of $n$ elements extended with top and bottom, $| \mathcal{E}(\mathbf{M}_n) | =n!\mathcal{L}_n(-1)+(n+1)^2$ where $\mathcal{L}_n(x)$…
▽ More
Structures involving a lattice and join-endomorphisms on it are ubiquitous in computer science. We study the cardinality of the set $\mathcal{E}(L)$ of all join-endomorphisms of a given finite lattice $L$. In particular, we show for $\mathbf{M}_n$, the discrete order of $n$ elements extended with top and bottom, $| \mathcal{E}(\mathbf{M}_n) | =n!\mathcal{L}_n(-1)+(n+1)^2$ where $\mathcal{L}_n(x)$ is the Laguerre polynomial of degree $n$. We also study the following problem: Given a lattice $L$ of size $n$ and a set $S\subseteq \mathcal{E}(L)$ of size $m$, find the greatest lower bound ${\large\sqcap}_{\mathcal{E}(L)} S$. The join-endomorphism ${\large\sqcap}_{\mathcal{E}(L)} S$ has meaningful interpretations in epistemic logic, distributed systems, and Aumann structures. We show that this problem can be solved with worst-case time complexity in $O(mn)$ for distributive lattices and $O(mn + n^3)$ for arbitrary lattices. In the particular case of modular lattices, we present an adaptation of the latter algorithm that reduces its average time complexity. We provide theoretical and experimental results to support this enhancement. The complexity is expressed in terms of the basic binary lattice operations performed by the algorithm.
△ Less
Submitted 1 November, 2022;
originally announced November 2022.
-
Functional Clustering of Neuronal Signals with FMM Mixture Models
Authors:
Alejandro Rodríguez-Collado,
Cristina Rueda
Abstract:
The identification of unlabelled neuronal electric signals is one of the most challenging open problems in neuroscience, widely known as Spike Sorting. Motivated to solve this problem, we propose a model-based approach within the mixture modeling framework for clustering oscillatory functional data called MixFMM. The core of the approach is the FMM waves, which are non-linear parametric time funct…
▽ More
The identification of unlabelled neuronal electric signals is one of the most challenging open problems in neuroscience, widely known as Spike Sorting. Motivated to solve this problem, we propose a model-based approach within the mixture modeling framework for clustering oscillatory functional data called MixFMM. The core of the approach is the FMM waves, which are non-linear parametric time functions, flexible enough to describe different oscillatory patterns and simple enough to be estimated efficiently. In particular, specific model parameters describe the waveforms' phase, amplitude, and shape. A mixture model is defined using FMM waves as basic functions and gaussian errors, and an EM algorithm is proposed for estimating the parameters. In addition, the approach includes a method for the number of clusters selection. Spike Sorting has received considerable attention in the literature, and different functional clustering approaches have traditionally been considered. We compare those approaches with the MixFMM in a broad collection of datasets, including benchmarking simulated and real data. The MixFMM approach achieves outstanding results in a selection of indexes across datasets, and the significant improvements attained in specific scenarios motivate interesting neuronal insights.
△ Less
Submitted 11 March, 2022; v1 submitted 7 March, 2022;
originally announced March 2022.
-
A Unique Cardiac Electrophysiological 3D Model
Authors:
Cristina Rueda,
Alejandro Rodríguez-Collado,
Itziar Fernández,
Christian Canedo,
María Dolores Ugarte,
Yolanda Larriba
Abstract:
Mathematical models of cardiac electrical activity are one of the most important tools for elucidating information about the heart diagnostic. Even though it is one of the major problems in biomedical research, an efficient mathematical formulation for this modelling has still not been found.
In this paper, we present an outstanding mathematical model. It relies on a five dipole representation o…
▽ More
Mathematical models of cardiac electrical activity are one of the most important tools for elucidating information about the heart diagnostic. Even though it is one of the major problems in biomedical research, an efficient mathematical formulation for this modelling has still not been found.
In this paper, we present an outstanding mathematical model. It relies on a five dipole representation of the cardiac electric source, each one associated with the well-known waves of the electrocardiogram signal. The mathematical formulation is simple enough to be easily parametrized and rich enough to provide realistic signals. Beyond the physical basis of the model, the parameters are physiologically interpretable as they characterize the wave shape, similar to what a physician would look for in signals, thus making them very useful in diagnosis.
The model accurately reproduces the electrocardiogram and vectocardiogram signals of any diseased or healthy heart, bringing together different systems in a single model.
Furthermore, a novel algorithm accurately identifies the model parameters. This new discovery represents a revolution in electrocardiography research, solving one of the main problems in this field. It is especially useful for the automatic diagnosis of cardiovascular diseases, patient follow-up or decision-making on new therapies.
△ Less
Submitted 27 January, 2022;
originally announced February 2022.
-
Compelling new electrocardiographic markers for automatic diagnosis
Authors:
Cristina Rueda,
Itziar Fernández,
Yolanda Larriba,
Alejandro Rodríguez-Collado,
Christian Canedo
Abstract:
The automatic diagnosis of heart diseases from the electrocardiogram (ECG) signal is crucial in clinical decision-making. However, the use of computer-based decision rules in clinical practice is still deficient, mainly due to their complexity and a lack of medical interpretation. The objetive of this research is to address these issues by providing valuable diagnostic rules that can be easily imp…
▽ More
The automatic diagnosis of heart diseases from the electrocardiogram (ECG) signal is crucial in clinical decision-making. However, the use of computer-based decision rules in clinical practice is still deficient, mainly due to their complexity and a lack of medical interpretation. The objetive of this research is to address these issues by providing valuable diagnostic rules that can be easily implemented in clinical practice. In this research, efficient diagnostic rules friendly in clinical practice are provided. In this paper, interesting parameters obtained from the ECG signals analysis are presented and two simple rules for automatic diagnosis of Bundle Branch Blocks are defined using new markers derived from the so-called FMMecg delineator. The main advantages of these markers are the good statistical properties and their clear interpretation in clinically meaningful terms. High sensitivity and specificity values have been obtained using the proposed rules with data from more than 35000 patients from well known benchmarking databases. In particular, to identify Complete Left Bundle Branch Blocks and differentiate this condition from subjects without heart diseases, sensitivity and specificity values ranging from 93% to 99% and from 96% to 99%, respectively. The new markers and the automatic diagnosis are easily available at https://fmmmodel.shinyapps.io/fmmEcg/, an app specifically developed for any given ECG signal. The proposal is different from others in the literature and it is compelling for three main reasons. On the one hand, the markers have a concise electrophysiological interpretation. On the other hand, the diagnosis rules have a very high accuracy. Finally, the markers can be provided by any device that registers the ECG signal and the automatic diagnosis is made straightforwardly, in contrast to the black-box and deep learning algorithms.
△ Less
Submitted 12 January, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
FMM: An R Package for Modeling Rhythmic Patterns in Oscillatory Systems
Authors:
I. Fernández,
A. Rodríguez-Collado,
Y. Larriba,
A. Lamela,
C. Canedo,
C. Rueda
Abstract:
This paper is dedicated to the R package FMM which implements a novel approach to describe rhythmic patterns in oscillatory signals. The frequency modulated Möbius (FMM) model is defined as a parametric signal plus a gaussian noise, where the signal can be described as a single or a sum of waves. The FMM approach is flexible enough to describe a great variety of rhythmic patterns. The FMM package…
▽ More
This paper is dedicated to the R package FMM which implements a novel approach to describe rhythmic patterns in oscillatory signals. The frequency modulated Möbius (FMM) model is defined as a parametric signal plus a gaussian noise, where the signal can be described as a single or a sum of waves. The FMM approach is flexible enough to describe a great variety of rhythmic patterns. The FMM package includes all required functions to fit and explore single and multi-wave FMM models, as well as a restricted version that allows equality constraints between parameters representing a priori knowledge about the shape to be included. Moreover, the FMM package can generate synthetic data and visualize the results of the fitting process. The potential of this methodology is illustrated with examples of such biological oscillations as the circadian rhythm in gene expression, the electrical activity of the heartbeat and neuronal activity.
△ Less
Submitted 21 May, 2021;
originally announced May 2021.
-
A new approach to the gender pay gap decomposition by economic activity
Authors:
M. J. Lombardía,
E. López-Vizcaíno,
C. Rueda
Abstract:
The aim of this paper is to present an original approach to estimate the gender pay gap. We propose a model-based decomposition, similar to the most popular approaches, where the first component measures differences in group characteristics and the second component measures the unexplained effect; the latter being the real gap. The novel approach incorporates model selection and bias correction. %…
▽ More
The aim of this paper is to present an original approach to estimate the gender pay gap. We propose a model-based decomposition, similar to the most popular approaches, where the first component measures differences in group characteristics and the second component measures the unexplained effect; the latter being the real gap. The novel approach incorporates model selection and bias correction. %, avoiding the main limitation of standard approaches, which is the dependence on the choice of explanatory variables and the functional form in regression. The pay gap problem in a small area context is considered in this paper, although the approach is flexible to be applied to other contexts.
Specifically, the methodology is validated for analysing wage differentials by economic activities in the region of Galicia (Spain) and by analysing simulated data from an experimental design that imitates the generation of real data. The good performance of the proposed estimators is shown in both cases, specifically when compared with those obtained from the widely used Oaxaca-Blinder approach.
△ Less
Submitted 30 November, 2020;
originally announced December 2020.
-
Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems
Authors:
Michell Guzmán,
Sophia Knight,
Santiago Quintero,
Sergio Ramírez,
Camilo Rueda,
Frank Valencia
Abstract:
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of th…
▽ More
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characterize the notion of distributed information of a group of agents as the infimum of the set of join-preserving functions that represent the spaces of the agents in the group. We provide an alternative characterization of this notion as the greatest family of join-preserving functions that satisfy certain basic properties. For completely distributive lattices, we establish that distributed information of a group is the greatest information below all possible combinations of information in the spaces of the agents in the group that derive a given piece of information. We show compositionality results for these characterizations and conditions under which information that can be obtained by an infinite group can also be obtained by a finite group. Finally, we provide an application on mathematical morphology where dilations, one of its fundamental operations, define an scs on a powerset lattice. We show that distributed information represents a particular dilation in such scs.
△ Less
Submitted 8 February, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
A novel wave decomposition for oscillatory signals
Authors:
Cristina Rueda,
Alejandro Rodríguez-Collado,
Yolanda Larriba
Abstract:
Oscillatory systems arise in the different science fields. Complex mathematical formulations with differential equations have been proposed to model the dynamics of these systems. While they have the advantage of having a direct physiological meaning, they are not useful in practice as a result of the parameter adjustment complexity and the presence of noise. In this paper, a signal plus error mod…
▽ More
Oscillatory systems arise in the different science fields. Complex mathematical formulations with differential equations have been proposed to model the dynamics of these systems. While they have the advantage of having a direct physiological meaning, they are not useful in practice as a result of the parameter adjustment complexity and the presence of noise. In this paper, a signal plus error model is proposed to analyze oscillations, where the signal is a multicomponent $FMM$ and the noise is assumed Gaussian. The signal formulation is also a novel decomposition approach in AM-FM components, competing with Fourier and other decompositions. Several interesting theoretical properties are derived including the Ordinary Differential Equations describing the signal. Furthermore, the usefulness in real practice is demonstrate to analyze signals associated to neuron synapses and by addressing other questions in Neuroscience.
△ Less
Submitted 2 July, 2020; v1 submitted 10 June, 2020;
originally announced June 2020.
-
The hidden waves in the ECG uncovered: a sound automated interpretation method
Authors:
Cristina Rueda,
Yolanda Larriba,
Adrián Lamela
Abstract:
A novel approach for analysing cardiac rhythm data is presented in this paper. Heartbeats are decomposed into the five fundamental $P$, $Q$, $R$, $S$ and $T$ waves plus an error term to account for artefacts in the data which provides a meaningful, physical interpretation of the heart's electric system. The morphology of each wave is concisely described using four parameters that allow to all the…
▽ More
A novel approach for analysing cardiac rhythm data is presented in this paper. Heartbeats are decomposed into the five fundamental $P$, $Q$, $R$, $S$ and $T$ waves plus an error term to account for artefacts in the data which provides a meaningful, physical interpretation of the heart's electric system. The morphology of each wave is concisely described using four parameters that allow to all the different patterns in heartbeats be characterized and thus differentiated
This multi-purpose approach solves such questions as the extraction of interpretable features, the detection of the fiducial marks of the fundamental waves, or the generation of synthetic data and the denoising of signals. Yet, the greatest benefit from this new discovery will be the automatic diagnosis of heart anomalies as well as other clinical uses with great advantages compared to the rigid, vulnerable and black box machine learning procedures, widely used in medical devices.
The paper shows the enormous potential of the method in practice; specifically, the capability to discriminate subjects, characterize morphologies and detect the fiducial marks (reference points) are validated numerically using simulated and real data, thus proving that it outperforms its competitors.
△ Less
Submitted 26 May, 2020; v1 submitted 20 May, 2020;
originally announced May 2020.
-
Signatures of low-dimensional magnetism and short-range magnetic order in Co-based trirutiles
Authors:
R. Baral,
H. S. Fierro,
C. Rueda,
B. Sahu,
A. M. Strydom,
N. Poudel,
K. Gofryk,
F. S. Manciu,
C. Ritter,
T. W. Heitmann,
B. P. Belbasey,
S. Batiy,
M. P. Ghimire,
H. S. Nair
Abstract:
Features of low dimensional magnetism resulting from a square-net arrangement of Co atoms in trirutile CoTa$_2$O$_6$ is studied in the present work by means of density functional theory and is compared with the experimental results of specific heat and neutron diffraction. The small total energy differences between the ferromagnetic (FM) and antiferromagnetic (AFM) configuration of CoTa$_2$O$_6$ s…
▽ More
Features of low dimensional magnetism resulting from a square-net arrangement of Co atoms in trirutile CoTa$_2$O$_6$ is studied in the present work by means of density functional theory and is compared with the experimental results of specific heat and neutron diffraction. The small total energy differences between the ferromagnetic (FM) and antiferromagnetic (AFM) configuration of CoTa$_2$O$_6$ shows that competing magnetic ground states exist, with the possibility of transition from FM to AFM phase at low temperature. Our calculation further suggests the semi-conducting behavior for CoTa$_2$O$_6$ with a band gap of $\sim$0.41 eV. The calculated magnetic anisotropy energy is $\sim$2.5 meV with its easy axis along the [100] (in-plane) direction. Studying the evolution of magnetism in Co$_{1-x}$Mg$_x$Ta$_2$O$_6$ (x = 0, 0.1, 0.3, 0.5, 0.7 and 1). it is found that the sharp AFM transition exhibited by CoTa$_2$O$_6$ at $T_N$ = 6.2 K in its heat capacity vanishes with Mg-dilution, indicating the obvious effect of weakening the superexchange pathways of Co. The current specific heat study reveals the robust nature of $T_N$ for CoTa$_2$O$_6$ in applied magnetic fields. Clear indication of short-range magnetism is obtained from the magnetic entropy, however, diffuse components are absent in neutron diffraction data. At $T_N$, CoTa$_2$O$_6$ enters a long-range ordered magnetic state which can be described using a propagation vector, (1/4, 1/4, 0). Upon Mg-dilution at $x \geq$0.1, the long-range ordered magnetism is destroyed. The present results should motivate an investigation of magnetic excitations in this low-dimensional anisotropic magnet.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
A Concurrent Constraint Programming Interpretation of Access Permissions
Authors:
Carlos Olarte,
Elaine Pimentel,
Camilo Rueda
Abstract:
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them…
▽ More
A recent trend in object oriented (OO) programming languages is the use of Access Permissions (APs) as an abstraction for controlling concurrent executions of programs. The use of AP source code annotations defines a protocol specifying how object references can access the mutable state of objects. Although the use of APs simplifies the task of writing concurrent code, an unsystematic use of them can lead to subtle problems. This paper presents a declarative interpretation of APs as Linear Concurrent Constraint Programs (lcc). We represent APs as constraints (i.e., formulas in logic) in an underlying constraint system whose entailment relation models the transformation rules of APs. Moreover, we use processes in lcc to model the dependencies imposed by APs, thus allowing the faithful representation of their flow in the program. We verify relevant properties about AP programs by taking advantage of the interpretation of lcc processes as formulas in Girard's intuitionistic linear logic (ILL). Properties include deadlock detection, program correctness (whether programs adhere to their AP specifications or not), and the ability of methods to run concurrently. By relying on a focusing discipline for ILL, we provide a complexity measure for proofs of the above mentioned properties. The effectiveness of our verification techniques is demonstrated by implementing the Alcove tool that includes an animator and a verifier. The former executes the lcc model, observing the flow of APs and quickly finding inconsistencies of the APs vis-a-vis the implementation. The latter is an automatic theorem prover based on ILL. This paper is under consideration for publication in Theory and Practice of Logic Programming (TPLP).
△ Less
Submitted 13 February, 2018;
originally announced February 2018.
-
NTCCRT: A concurrent constraint framework for real-time interaction (extended version)
Authors:
Mauricio Toro,
Camilo Rueda,
Carlos Agón,
Gérard Assayag
Abstract:
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pd) and Max/MSP is possible to program concurrency, however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constrai…
▽ More
Writing multimedia interaction systems is not easy. Their concurrent processes usually access shared resources in a non-deterministic order, often leading to unpredictable behavior. Using Pure Data (Pd) and Max/MSP is possible to program concurrency, however, it is difficult to synchronize processes based on multiple criteria. Process calculi such as the Non-deterministic Timed Concurrent Constraint (ntcc) calculus, overcome that problem by representing multiple criteria as constraints. We propose using our framework Ntccrt to manage concurrency in Pd and Max. Ntccrt is a real-time capable inter- preter for ntcc. Using Ntccrt externals (binary plugins) in Pd we ran models for machine improvisation and signal processing.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
Gelisp: A Library to Represent Musical CSPs and Search Strategies
Authors:
Mauricio Toro,
Camilo Rueda,
Carlos Agón,
Gérard Assayag
Abstract:
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one for Common Lisp and a graphical one for OpenMusic. Using Gelisp, we solved a problem of automatic music generation proposed by composer Michael Jarrell and we found solutions for the All-interval series.
In this paper we present Gelisp, a new library to represent musical Constraint Satisfaction Problems and search strategies intuitively. Gelisp has two interfaces, a command-line one for Common Lisp and a graphical one for OpenMusic. Using Gelisp, we solved a problem of automatic music generation proposed by composer Michael Jarrell and we found solutions for the All-interval series.
△ Less
Submitted 9 October, 2015;
originally announced October 2015.
-
A Machine-Checked Proof for a Translation of Event-B Machines to JML
Authors:
Néstor Cataño,
Camilo Rueda,
Tim Wahls
Abstract:
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B events to JML method specifications, and deterministic and non-deterministic assignments to JML method post-conditions. This translation has previously been implemented as the EventB2Jml tool. We adopted a taking our own…
▽ More
We present a machine-checked soundness proof of a translation of Event-B to the Java Modeling Language (JML). The translation is based on an operator EventB2Jml that maps Evnet-B events to JML method specifications, and deterministic and non-deterministic assignments to JML method post-conditions. This translation has previously been implemented as the EventB2Jml tool. We adopted a taking our own medicine approach in the formalisation of our proof so that Event-B as well as JML are formalised in Event-B and the proof is discharged with the Rodin platform. Hence, for any Event-B substitution (whether an event or an assignment) and for the JML method specification obtained by applying EventB2Jml to the substitution, we prove that the semantics of the JML method specification is simulated by the semantics of the substitution. Therefore, the JML specification obtained as translation from the Event-B substitution is a refinement of the substitution. Our proof includes invariants and the standard Event-B initialising event, but it does not include full machines or Event-B contexts. We assume that the semantics of JML and Event-B operate both on the same initial and final states, and we justify our assumption.
△ Less
Submitted 9 September, 2013;
originally announced September 2013.