-
Flexible Estimation of the Heterogeneous Non-Parametric Component in a Relative Survival Cure Model
Authors:
Fabrizio Di Mari,
Roberto Rocci,
Silvia Rossi,
Giovanna Tagliabue,
Roberta De Angelis
Abstract:
Estimating the cure fraction in a diseased population, especially in the presence of competing mortality causes, is crucial for both patients and clinicians. It offers a valuable measure for monitoring and interpreting trends in disease outcomes. When information on the cause of death is unavailable or unreliable, the Relative Survival (RS) framework is the preferred approach for estimating Net Su…
▽ More
Estimating the cure fraction in a diseased population, especially in the presence of competing mortality causes, is crucial for both patients and clinicians. It offers a valuable measure for monitoring and interpreting trends in disease outcomes. When information on the cause of death is unavailable or unreliable, the Relative Survival (RS) framework is the preferred approach for estimating Net Survival, which represents survival in a hypothetical scenario where the disease of interest is the only possible cause of death. In the context of cancer, RS often reaches a plateau, indicating that a portion of diagnosed patients is cured, as they have the same risk of dying as a comparable group of healthy individuals with similar demographic characteristics. Classical RS cure models use logistic regression to estimate the fraction of cured patients. However, this functional form is somewhat arbitrary, and misspecifying it can severely distort the resulting cure indicators. Consequently, evaluations of the efficacy of cancer treatments at the population level could be inaccurate, leading to biased decision-making regarding patient care. In this paper, we address this issue by relaxing the parametric assumption and considering flexible functions of the covariates within the framework of \textit{Generalized Models} and \textit{Neural Networks}. We design an EM algorithm for these RS cure models and conduct a simulation study to compare our proposals with the classical approach. We apply our methodology to a real-world dataset from a historical Italian cancer registry. The results demonstrate that our proposed models outperform the classical approach and provide valuable insights into the survival outcomes of Italian colon cancer patients.
△ Less
Submitted 7 April, 2025;
originally announced April 2025.
-
Evaluating Convolutional Neural Networks for COVID-19 classification in chest X-ray images
Authors:
Leonardo Gabriel Ferreira Rodrigues,
Danilo Ferreira da Silva,
Larissa Ferreira Rodrigues,
João Fernando Mari
Abstract:
Coronavirus Disease 2019 (COVID-19) pandemic rapidly spread globally, impacting the lives of billions of people. The effective screening of infected patients is a critical step to struggle with COVID-19, and treating the patients avoiding this quickly disease spread. The need for automated and scalable methods has increased due to the unavailability of accurate automated toolkits. Recent researche…
▽ More
Coronavirus Disease 2019 (COVID-19) pandemic rapidly spread globally, impacting the lives of billions of people. The effective screening of infected patients is a critical step to struggle with COVID-19, and treating the patients avoiding this quickly disease spread. The need for automated and scalable methods has increased due to the unavailability of accurate automated toolkits. Recent researches using chest X-ray images suggest they include relevant information about the COVID-19 virus. Hence, applying machine learning techniques combined with radiological imaging promises to identify this disease accurately. It is straightforward to collect these images once it is spreadly shared and analyzed in the world. This paper presents a method for automatic COVID-19 detection using chest Xray images through four convolutional neural networks, namely: AlexNet, VGG-11, SqueezeNet, and DenseNet-121. This method had been providing accurate diagnostics for positive or negative COVID-19 classification. We validate our experiments using a ten-fold cross-validation procedure over the training and test sets. Our findings include the shallow fine-tuning and data augmentation strategies that can assist in dealing with the low number of positive COVID-19 images publicly available. The accuracy for all CNNs is higher than 97.00%, and the SqueezeNet model achieved the best result with 99.20%.
△ Less
Submitted 26 December, 2024;
originally announced December 2024.
-
Improving Sickle Cell Disease Classification: A Fusion of Conventional Classifiers, Segmented Images, and Convolutional Neural Networks
Authors:
Victor Júnio Alcântara Cardoso,
Rodrigo Moreira,
João Fernando Mari,
Larissa Ferreira Rodrigues Moreira
Abstract:
Sickle cell anemia, which is characterized by abnormal erythrocyte morphology, can be detected using microscopic images. Computational techniques in medicine enhance the diagnosis and treatment efficiency. However, many computational techniques, particularly those based on Convolutional Neural Networks (CNNs), require high resources and time for training, highlighting the research opportunities in…
▽ More
Sickle cell anemia, which is characterized by abnormal erythrocyte morphology, can be detected using microscopic images. Computational techniques in medicine enhance the diagnosis and treatment efficiency. However, many computational techniques, particularly those based on Convolutional Neural Networks (CNNs), require high resources and time for training, highlighting the research opportunities in methods with low computational overhead. In this paper, we propose a novel approach combining conventional classifiers, segmented images, and CNNs for the automated classification of sickle cell disease. We evaluated the impact of segmented images on classification, providing insight into deep learning integration. Our results demonstrate that using segmented images and CNN features with an SVM achieves an accuracy of 96.80%. This finding is relevant for computationally efficient scenarios, paving the way for future research and advancements in medical-image analysis.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
Endpoint estimates and sparse domination in nonhomogeneous trees
Authors:
José M. Conde-Alonso,
Filippo De Mari,
Matteo Monti,
Elena Rizzo,
Maria Vallarino
Abstract:
We prove endpoint and sparse-like bounds for Bergman projectors on nonhomogeneous, radial trees $X$ that model manifolds with possibly unbounded geometry. The natural Bergman measures on $X$ may fail to be doubling, and even locally doubling, with respect to the right metric in our setting. Weighted consequences of our sparse domination results are also considered, and are in line with the known r…
▽ More
We prove endpoint and sparse-like bounds for Bergman projectors on nonhomogeneous, radial trees $X$ that model manifolds with possibly unbounded geometry. The natural Bergman measures on $X$ may fail to be doubling, and even locally doubling, with respect to the right metric in our setting. Weighted consequences of our sparse domination results are also considered, and are in line with the known results in the disk. Our endpoint results are partly a consequence of a new Calderón-Zygmund theory for discrete, non-locally doubling metric spaces.
△ Less
Submitted 30 October, 2024;
originally announced October 2024.
-
Calderón-Zygmund theory on some Lie groups of exponential growth
Authors:
Filippo De Mari,
Matteo Levi,
Matteo Monti,
Maria Vallarino
Abstract:
Let $G = N \rtimes A$, where $N$ is a stratified Lie group and $A= \mathbb R_+$ acts on $N$ via automorphic dilations. We prove that the group $G$ has the Calderón-Zygmund property, in the sense of Hebisch and Steger, with respect to a family of flow measures and metrics. This generalizes in various directions previous works by Hebisch and Steger and Martini, Ottazzi and Vallarino, and provides a…
▽ More
Let $G = N \rtimes A$, where $N$ is a stratified Lie group and $A= \mathbb R_+$ acts on $N$ via automorphic dilations. We prove that the group $G$ has the Calderón-Zygmund property, in the sense of Hebisch and Steger, with respect to a family of flow measures and metrics. This generalizes in various directions previous works by Hebisch and Steger and Martini, Ottazzi and Vallarino, and provides a new approach in the development of Calderón-Zygmund theory in Lie groups of exponential growth. We also prove a weak type $(1,1)$ estimate for the Hardy-Littlewood maximal operator naturally arising in this setting.
△ Less
Submitted 3 November, 2023;
originally announced November 2023.
-
Horocyclic harmonic Bergman spaces on homogeneous trees
Authors:
Filippo De Mari,
Matteo Monti,
Elena Rizzo
Abstract:
The main focus of this contribution is on the harmonic Bergman spaces $\mathcal{B}_α^{p}$ on the $q$-homogeneous tree $\mathfrak{X}_q$ endowed with a family of measures $σ_α$ that are constant on the horocycles tangent to a fixed boundary point and turn out to be doubling with respect to the corresponding horocyclic Gromov distance. A central role is played by the reproducing kernel Hilbert space…
▽ More
The main focus of this contribution is on the harmonic Bergman spaces $\mathcal{B}_α^{p}$ on the $q$-homogeneous tree $\mathfrak{X}_q$ endowed with a family of measures $σ_α$ that are constant on the horocycles tangent to a fixed boundary point and turn out to be doubling with respect to the corresponding horocyclic Gromov distance. A central role is played by the reproducing kernel Hilbert space $\mathcal{B}_α^{2}$ for which we find a natural orthonormal basis and formulae for the kernel. We also consider the atomic Hardy space and the bounded mean oscillation space. Appealing to an adaptation of Calderón-Zygmund theory and to standard boundedness results for integral operators on $L^p_α$ spaces with Hörmander-type kernels, we determine the boundedness properties of the Bergman projection.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Groups with the real chain condition on non-pronormal subgroups
Authors:
Ulderico Dardano,
Fausto De Mari
Abstract:
It is shown that a gerenalised radical group has no chain of non-pronormal subgroups with the same order type as the set of the real numbers if and only if either the group is minimax or all subgroups are pronormal.
It is shown that a gerenalised radical group has no chain of non-pronormal subgroups with the same order type as the set of the real numbers if and only if either the group is minimax or all subgroups are pronormal.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
A real chain condition for groups
Authors:
Ulderico Dardano,
Fausto De Mari
Abstract:
We consider a very weak chain condition for a poset, that is the absence of subsets which are order isomorphic to the set of real numbers in their natural ordering; we study generalised radical groups in which this finiteness condition is set on the poset of subgroups which do not have certain properties which are generalizations of normality. This completes many previous results which considered…
▽ More
We consider a very weak chain condition for a poset, that is the absence of subsets which are order isomorphic to the set of real numbers in their natural ordering; we study generalised radical groups in which this finiteness condition is set on the poset of subgroups which do not have certain properties which are generalizations of normality. This completes many previous results which considered (apparently) stronger chain conditions.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Harmonic Bergman projectors on homogeneous trees
Authors:
Filippo De Mari,
Matteo Monti,
Maria Vallarino
Abstract:
In this paper we investigate some properties of the harmonic Bergman spaces $\mathcal A^p(σ)$ on a $q$-homogeneous tree, where $q\geq 2$, $1\leq p<\infty$, and $σ$ is a finite measure on the tree with radial decreasing density, hence nondoubling. These spaces were introduced by J.~Cohen, F.~Colonna, M.~Picardello and D.~Singman. When $p=2$ they are reproducing kernel Hilbert spaces and we compute…
▽ More
In this paper we investigate some properties of the harmonic Bergman spaces $\mathcal A^p(σ)$ on a $q$-homogeneous tree, where $q\geq 2$, $1\leq p<\infty$, and $σ$ is a finite measure on the tree with radial decreasing density, hence nondoubling. These spaces were introduced by J.~Cohen, F.~Colonna, M.~Picardello and D.~Singman. When $p=2$ they are reproducing kernel Hilbert spaces and we compute explicitely their reproducing kernel. We then study the boundedness properties of the Bergman projector on $L^p(σ)$ for $1<p<\infty$ and their weak type (1,1) boundedness for radially exponentially decreasing measures on the tree. The weak type (1,1) boundedness is a consequence of the fact that the Bergman kernel satisfies an appropriate integral Hörmander's condition.
△ Less
Submitted 28 September, 2023; v1 submitted 27 May, 2022;
originally announced May 2022.
-
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Authors:
Igor Melatti,
Federico Mari,
Toni Mancini,
Milan Prodanovic,
Enrico Tronci
Abstract:
Within electrical distribution networks, substation constraints management requires that aggregated power demand from residential users is kept within suitable bounds. Efficiency of substation constraints management can be measured as the reduction of constraints violations w.r.t. unmanaged demand. Home batteries hold the promise of enabling efficient and user-oblivious substation constraints mana…
▽ More
Within electrical distribution networks, substation constraints management requires that aggregated power demand from residential users is kept within suitable bounds. Efficiency of substation constraints management can be measured as the reduction of constraints violations w.r.t. unmanaged demand. Home batteries hold the promise of enabling efficient and user-oblivious substation constraints management. Centralized control of home batteries would achieve optimal efficiency. However, it is hardly acceptable by users, since service providers (e.g., utilities or aggregators) would directly control batteries at user premises. Unfortunately, devising efficient hierarchical control strategies, thus overcoming the above problem, is far from easy.
We present a novel two-layer control strategy for home batteries that avoids direct control of home devices by the service provider and at the same time yields near-optimal substation constraints management efficiency. Our simulation results on field data from 62 households in Denmark show that the substation constraints management efficiency achieved with our approach is at least 82% of the one obtained with a theoretical optimal centralized strategy.
△ Less
Submitted 15 August, 2021;
originally announced August 2021.
-
Unitarization of the Horocyclic Radon Transform on Symmetric Spaces
Authors:
Francesca Bartolucci,
Filippo De Mari,
Matteo Monti
Abstract:
We consider the Radon transform for a dual pair $(X,Ξ)$, where $X=G/K$ is a noncompact symmetric space and $Ξ$ is the space of horocycles of $X$. We address the unitarization problem that was considered (and solved in some cases) by Helgason, namely the determination of a pseudo-differential operator such that the pre-composition with the Radon transform extends to a unitary operator…
▽ More
We consider the Radon transform for a dual pair $(X,Ξ)$, where $X=G/K$ is a noncompact symmetric space and $Ξ$ is the space of horocycles of $X$. We address the unitarization problem that was considered (and solved in some cases) by Helgason, namely the determination of a pseudo-differential operator such that the pre-composition with the Radon transform extends to a unitary operator $\mathcal{Q}\colon L^2(X)\to L_\flat^2(Ξ)$, where $L_\flat^2(Ξ)$ is a closed subspace of $L^2(Ξ)$ which accounts for the Weyl symmetries. Furthermore, we show that the unitary extension intertwines the quasi-regular representations of $G$ on $L^2(X)$ and $L_\flat^2(Ξ)$.
△ Less
Submitted 9 August, 2021;
originally announced August 2021.
-
Parallel Statistical Model Checking for Safety Verification in Smart Grids
Authors:
T. Mancini,
F. Mari,
I. Melatti,
I. Salvo,
E. Tronci,
J. K. Gruber,
B. Hayes,
M. Prodanovic,
L. Elmegaard
Abstract:
By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution System Operators to optimise (through suitable time-dependent tariffs) management of the electric grid by avoiding demand peaks. Unfortunately, even wit…
▽ More
By using small computing devices deployed at user premises, Autonomous Demand Response (ADR) adapts users electricity consumption to given time-dependent electricity tariffs. This allows end-users to save on their electricity bill and Distribution System Operators to optimise (through suitable time-dependent tariffs) management of the electric grid by avoiding demand peaks. Unfortunately, even with ADR, users power consumption may deviate from the expected (minimum cost) one, e.g., because ADR devices fail to correctly forecast energy needs at user premises. As a result, the aggregated power demand may present undesirable peaks. In this paper we address such a problem by presenting methods and a software tool (APD-Analyser) implementing them, enabling Distribution System Operators to effectively verify that a given time-dependent electricity tariff achieves the desired goals even when end-users deviate from their expected behaviour. We show feasibility of the proposed approach through a realistic scenario from a medium voltage Danish distribution network.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
Authors:
Stefano Sinisi,
Vadim Alimguzhin,
Toni Mancini,
Enrico Tronci,
Federico Mari,
Brigitte Leeners
Abstract:
In Silico Clinical Trials (ISTC), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments, reduce the need for animal and human testing, and enable precision medicine. In this paper we present methods and an algorithm that, by means of extensive computer simul…
▽ More
In Silico Clinical Trials (ISTC), i.e., clinical experimental campaigns carried out by means of computer simulations, hold the promise to decrease time and cost for the safety and efficacy assessment of pharmacological treatments, reduce the need for animal and human testing, and enable precision medicine. In this paper we present methods and an algorithm that, by means of extensive computer simulation--based experimental campaigns (ISTC) guided by intelligent search, optimise a pharmacological treatment for an individual patient (precision medicine). e show the effectiveness of our approach on a case study involving a real pharmacological treatment, namely the downregulation phase of a complex clinical protocol for assisted reproduction in humans.
△ Less
Submitted 20 June, 2021;
originally announced June 2021.
-
Memory retrieval dynamics and storage capacity of a modular network model of association cortex with featural decomposition
Authors:
Carlo Fulvi Mari
Abstract:
The primate heteromodal cortex presents an evident functional modularity at a mesoscopic level, with physiological and anatomical evidence pointing to it as likely substrate of long-term memory. In order to investigate some of its properties, a model of multimodular autoassociator is studied. Each of the many modules represents a neocortical functional ensemble of recurrently connected neurons and…
▽ More
The primate heteromodal cortex presents an evident functional modularity at a mesoscopic level, with physiological and anatomical evidence pointing to it as likely substrate of long-term memory. In order to investigate some of its properties, a model of multimodular autoassociator is studied. Each of the many modules represents a neocortical functional ensemble of recurrently connected neurons and operates as a Hebbian autoassociator, storing a number of local features which it can recall upon cue. The global memory patterns are made of combinations of features sparsely distributed across the modules. Intermodular connections are modelled as a finite-connectivity random graph. Any pair of features in any respective pair of modules is allowed to be involved in several memory patterns; the coarse-grained modular network dynamics is defined in such a way as to overcome the consequent ambiguity of associations. Effects of long-range homeostatic synaptic scaling on network performance are also assessed.
The dynamical process of cued retrieval almost saturates a natural upper bound while producing negligible spurious activation. The extent of finite-size effects on storage capacity is quantitatively evaluated. In the limit of infinite size, the functional relationship between storage capacity and number of features per module reduces to that which other authors found by methods from equilibrium statistical mechanics, which suggests that the origin of the functional form is of a combinatorial nature. In contrast with its apparent inevitability at intramodular level, long-range synaptic scaling results to be of minor relevance to both retrieval and storage capacity, casting doubt on its existence in the neocortex. A conjecture is also posited about how statistical fluctuation of connectivity across the network may underpin spontaneous emergence of semantic hierarchies through learning.
△ Less
Submitted 7 December, 2021; v1 submitted 23 April, 2021;
originally announced April 2021.
-
On groups in which subnormal subgroups of infinite rank are commensurable with some normal subgroup
Authors:
Ulderico Dardano,
Fausto De Mari
Abstract:
We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show that if such a G is periodic, then all subnormal subgroups are commensurable with a normal subgroup, provided either the Hirsch-Plotkin radical of G has infinite…
▽ More
We study soluble groups G in which each subnormal subgroup H with infinite rank is commensurable with a normal subgroup, i.e. there exists a normal subgroup N such that the intersection of H and N has finite index in both H and N. We show that if such a G is periodic, then all subnormal subgroups are commensurable with a normal subgroup, provided either the Hirsch-Plotkin radical of G has infinite rank or G is nilpotent-by-abelian (and has infinite rank).
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Continuous Wavelet Frames on the Sphere: The Group-Theoretic Approach Revisited
Authors:
S. Dahlke,
F. De Mari,
E. De Vito,
M. Hansen,
M. Hasannasab,
M. Quellmalz,
G. Steidl,
G. Teschke
Abstract:
In \cite{AV99}, Antoine and Vandergheynst propose a group-theoretic approach to continuous wavelet frames on the sphere. The frame is constructed from a single so-called admissible function by applying the unitary operators associated to a representation of the Lorentz group, which is square-integrable modulo the nilpotent factor of the Iwasawa decomposition. We prove necessary and sufficient cond…
▽ More
In \cite{AV99}, Antoine and Vandergheynst propose a group-theoretic approach to continuous wavelet frames on the sphere. The frame is constructed from a single so-called admissible function by applying the unitary operators associated to a representation of the Lorentz group, which is square-integrable modulo the nilpotent factor of the Iwasawa decomposition. We prove necessary and sufficient conditions for functions on the sphere, which ensure that the corresponding system is a frame. We strengthen a similar result in \cite{AV99} by providing a complete and detailed proof.
△ Less
Submitted 24 December, 2020;
originally announced December 2020.
-
Unitarization of the Horocyclic Radon Transform on Homogeneous Trees
Authors:
Francesca Bartolucci,
Filippo De Mari,
Matteo Monti
Abstract:
Following previous work in the continuous setup, we construct the unitarization of the horocyclic Radon transform on a homogeneous tree X and we show that it intertwines the quasi regular representations of the group of isometries of X on the tree itself and on the space of horocycles.
Following previous work in the continuous setup, we construct the unitarization of the horocyclic Radon transform on a homogeneous tree X and we show that it intertwines the quasi regular representations of the group of isometries of X on the tree itself and on the space of horocycles.
△ Less
Submitted 4 August, 2021; v1 submitted 16 February, 2020;
originally announced February 2020.
-
Radon Transform: Dual Pairs and Irreducible Representations
Authors:
Giovanni S. Alberti,
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We illustrate the general point of view developed in [SIAM J. Math. Anal., 51(6), 4356-4381] that can be described as a variation of Helgason's theory of dual $G$-homogeneous pairs $(X,Ξ)$ and which allows us to prove intertwining properties and inversion formulae of many existing Radon transforms. Here we analyze in detail one of the important aspects in the theory of dual pairs, namely the injec…
▽ More
We illustrate the general point of view developed in [SIAM J. Math. Anal., 51(6), 4356-4381] that can be described as a variation of Helgason's theory of dual $G$-homogeneous pairs $(X,Ξ)$ and which allows us to prove intertwining properties and inversion formulae of many existing Radon transforms. Here we analyze in detail one of the important aspects in the theory of dual pairs, namely the injectivity of the map label-to-manifold $ξ\to\hatξ$ and we prove that it is a necessary condition for the irreducibility of the quasi-regular representation of $G$ on $L^2(Ξ)$. We further explain how the theory in [SIAM J. Math. Anal., 51(6), 4356-4381] applies to the classical Radon and X-ray transforms in $\mathbb R^3$.
△ Less
Submitted 4 February, 2020;
originally announced February 2020.
-
Inferring population statistics of receptor neurons sensitivities and firing-rates from general functional requirements
Authors:
Carlo Fulvi Mari
Abstract:
On the basis of the evident ability of neuronal olfactory systems to evaluate the intensity of an odorous stimulus and at the same time also recognise the identity of the odorant over a large range of concentrations, a few biologically-realistic hypotheses on some of the underlying neural processes are made. In particular, it is assumed that the receptor neurons mean firing-rate scale monotonicall…
▽ More
On the basis of the evident ability of neuronal olfactory systems to evaluate the intensity of an odorous stimulus and at the same time also recognise the identity of the odorant over a large range of concentrations, a few biologically-realistic hypotheses on some of the underlying neural processes are made. In particular, it is assumed that the receptor neurons mean firing-rate scale monotonically with odorant intensity, and that the receptor sensitivities range widely across odorants and receptor neurons hence leading to highly distributed representations of the stimuli. The mathematical implementation of the phenomenological postulates allows for inferring explicit functional relationships between some measurable quantities. It results that both the dependence of the mean firing-rate on odorant concentration and the statistical distribution of receptor sensitivity across the neuronal population are power-laws, whose respective exponents are in an arithmetic, testable relationship.
In order to test quantitatively the prediction of power-law dependence of population mean firing-rate on odorant concentration, a probabilistic model is created to extract information from data available in the experimental literature. The values of the free parameters of the model are estimated by an info-geometric Bayesian maximum-likelihood inference which keeps into account the prior distribution of the parameters. The eventual goodness of fit is quantified by means of a distribution-independent test.
[CONTINUES]
△ Less
Submitted 2 May, 2020; v1 submitted 3 February, 2020;
originally announced February 2020.
-
Cone-Adapted Shearlets and Radon Transforms
Authors:
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We show that the cone-adapted shearlet coefficients can be computed by means of the limited angle horizontal and vertical (affine) Radon transforms and the one-dimensional wavelet transform. This yields formulas that open new perspectives for the inversion of the Radon transform.
We show that the cone-adapted shearlet coefficients can be computed by means of the limited angle horizontal and vertical (affine) Radon transforms and the one-dimensional wavelet transform. This yields formulas that open new perspectives for the inversion of the Radon transform.
△ Less
Submitted 16 October, 2019;
originally announced October 2019.
-
Unitarization and Inversion Formulae for the Radon Transform between Dual Pairs
Authors:
Giovanni S. Alberti,
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We consider the Radon transform associated to dual pairs $(X,Ξ)$ in the sense of Helgason, with $X=G/K$ and $Ξ=G/H$, where $G=\mathbb{R}^d\rtimes K$, $K$ is a closed subgroup of ${\rm GL}(d,\mathbb{R})$ and $H$ is a closed subgroup of $G$. Under some technical assumptions, we prove that if the quasi regular representations of $G$ acting on $L^2(X)$ and $L^2(Ξ)$ are irreducible, then the Radon tran…
▽ More
We consider the Radon transform associated to dual pairs $(X,Ξ)$ in the sense of Helgason, with $X=G/K$ and $Ξ=G/H$, where $G=\mathbb{R}^d\rtimes K$, $K$ is a closed subgroup of ${\rm GL}(d,\mathbb{R})$ and $H$ is a closed subgroup of $G$. Under some technical assumptions, we prove that if the quasi regular representations of $G$ acting on $L^2(X)$ and $L^2(Ξ)$ are irreducible, then the Radon transform admits a unitarization intertwining the two representations. If, in addition, the representations are square integrable, we provide an inversion formula for the Radon transform based on the voice transform associated to these representations.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
On the Atomic Decomposition of Coorbit Spaces with Non-Integrable Kernel
Authors:
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Lukas Sawatzki,
Gabriele Steidl,
Gerd Teschke,
Felix Voigtlaender
Abstract:
This paper ist concerned with recent progress in the context of coorbit space theory. Based on a square integrable group representation, the coorbit theory provides new families of associated smoothness spaces, where the smoothness of a function is measured by the decay of the associated voice transform. Moreover, by discretizing the representation, atomic decomposi- tions and Banach frames can be…
▽ More
This paper ist concerned with recent progress in the context of coorbit space theory. Based on a square integrable group representation, the coorbit theory provides new families of associated smoothness spaces, where the smoothness of a function is measured by the decay of the associated voice transform. Moreover, by discretizing the representation, atomic decomposi- tions and Banach frames can be constructed. Usually, the whole machinery works well if the associated reproducing kernel is integrable with respect to a weighted Haar measure on the group. In recent studies, it has turned out that to some extent coorbit spaces can still be established if this condition is violated. In this paper, we clarify in which sense atomic decompositions and Banach frames for these generalized coorbit spaces can be obtained.
△ Less
Submitted 17 July, 2018;
originally announced July 2018.
-
Radon transform intertwines shearlets and wavelets
Authors:
Francesca Bartolucci,
Filippo De Mari,
Ernesto De Vito
Abstract:
We prove that the unitary affine Radon transform intertwines the quasi-regular representation of a class of semidirect products, built by shearlet dilation groups and translations, and the tensor product of a standard wavelet representation with a wavelet-like representation. This yields a formula for shearlet coefficients that involves only integral transforms applied to the affine Radon transfor…
▽ More
We prove that the unitary affine Radon transform intertwines the quasi-regular representation of a class of semidirect products, built by shearlet dilation groups and translations, and the tensor product of a standard wavelet representation with a wavelet-like representation. This yields a formula for shearlet coefficients that involves only integral transforms applied to the affine Radon transform of the signal, thereby opening new perspectives in the inversion of the Radon transform.
△ Less
Submitted 28 March, 2017;
originally announced March 2017.
-
Groups with finiteness conditions on the lower central series of non-normal subgroups
Authors:
Fausto De Mari
Abstract:
It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $γ_{k}(G)$ is finite if the set $\{γ_{k}(H)\;|\;H\ntriangleleft G\}$ is finite. Moreover, locally graded groups with finitely many $k$th terms of lower central series of infinite non-…
▽ More
It is known that any locally graded group with finitely many derived subgroups of non-normal subgroups is finite-by-abelian. This result is generalized here, by proving that in a locally graded group $G$ the subgroup $γ_{k}(G)$ is finite if the set $\{γ_{k}(H)\;|\;H\ntriangleleft G\}$ is finite. Moreover, locally graded groups with finitely many $k$th terms of lower central series of infinite non-normal subgroups are also completely described.
△ Less
Submitted 18 April, 2017; v1 submitted 5 December, 2016;
originally announced December 2016.
-
Recent Progress in Shearlet Theory: Systematic Construction of Shearlet Dilation Groups, Characterization of Wavefront Sets, and New Embeddings
Authors:
Giovanni S. Alberti,
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Hartmut Führ
Abstract:
The class of generalized shearlet dilation groups has recently been developed to allow the unified treatment of various shearlet groups and associated shearlet transforms that had previously been studied on a case-by-case basis. We consider several aspects of these groups: First, their systematic construction from associative algebras, secondly, their suitability for the characterization of wavefr…
▽ More
The class of generalized shearlet dilation groups has recently been developed to allow the unified treatment of various shearlet groups and associated shearlet transforms that had previously been studied on a case-by-case basis. We consider several aspects of these groups: First, their systematic construction from associative algebras, secondly, their suitability for the characterization of wavefront sets, and finally, the question of constructing embeddings into the symplectic group in a way that intertwines the quasi-regular representation with the metaplectic one. For all questions, it is possible to treat the full class of generalized shearlet groups in a comprehensive and unified way, thus generalizing known results to an infinity of new cases. Our presentation emphasizes the interplay between the algebraic structure underlying the construction of the shearlet dilation groups, the geometric properties of the dual action, and the analytic properties of the associated shearlet transforms.
△ Less
Submitted 10 May, 2016;
originally announced May 2016.
-
Continuous and discrete frames generated by the evolution flow of the Schrödinger equation
Authors:
Giovanni S. Alberti,
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Stefano Vigogna
Abstract:
We study a family of coherent states, called Schrödingerlets, both in the continuous and discrete setting. They are defined in terms of the Schrödinger equation of a free quantum particle and some of its invariant transformations.
We study a family of coherent states, called Schrödingerlets, both in the continuous and discrete setting. They are defined in terms of the Schrödinger equation of a free quantum particle and some of its invariant transformations.
△ Less
Submitted 9 December, 2016; v1 submitted 15 October, 2015;
originally announced October 2015.
-
Simulator Semantics for System Level Formal Verification
Authors:
Toni Mancini,
Federico Mari,
Annalisa Massini,
Igor Melatti,
Enrico Tronci
Abstract:
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system under simulation. However, even though such approaches aim to (bounded) formal verification, as a matter of fact, the simulator behaviour is not f…
▽ More
Many simulation based Bounded Model Checking approaches to System Level Formal Verification (SLFV) have been devised. Typically such approaches exploit the capability of simulators to save computation time by saving and restoring the state of the system under simulation. However, even though such approaches aim to (bounded) formal verification, as a matter of fact, the simulator behaviour is not formally modelled and the proof of correctness of the proposed approaches basically relies on the intuitive notion of simulator behaviour. This gap makes it hard to check if the optimisations introduced to speed up the simulation do not actually omit checking relevant behaviours of the system under verification.
The aim of this paper is to fill the above gap by presenting a formal semantics for simulators.
△ Less
Submitted 23 September, 2015;
originally announced September 2015.
-
Optimization of anemia treatment in hemodialysis patients via reinforcement learning
Authors:
Pablo Escandell-Montero,
Milena Chermisi,
José M. Martínez-Martínez,
Juan Gómez-Sanchis,
Carlo Barbieri,
Emilio Soria-Olivas,
Flavio Mari,
Joan Vila-Francés,
Andrea Stopper,
Emanuele Gatti,
José D. Martín-Guerrero
Abstract:
Objective: Anemia is a frequent comorbidity in hemodialysis patients that can be successfully treated by administering erythropoiesis-stimulating agents (ESAs). ESAs dosing is currently based on clinical protocols that often do not account for the high inter- and intra-individual variability in the patient's response. As a result, the hemoglobin level of some patients oscillates around the target…
▽ More
Objective: Anemia is a frequent comorbidity in hemodialysis patients that can be successfully treated by administering erythropoiesis-stimulating agents (ESAs). ESAs dosing is currently based on clinical protocols that often do not account for the high inter- and intra-individual variability in the patient's response. As a result, the hemoglobin level of some patients oscillates around the target range, which is associated with multiple risks and side-effects. This work proposes a methodology based on reinforcement learning (RL) to optimize ESA therapy.
Methods: RL is a data-driven approach for solving sequential decision-making problems that are formulated as Markov decision processes (MDPs). Computing optimal drug administration strategies for chronic diseases is a sequential decision-making problem in which the goal is to find the best sequence of drug doses. MDPs are particularly suitable for modeling these problems due to their ability to capture the uncertainty associated with the outcome of the treatment and the stochastic nature of the underlying process. The RL algorithm employed in the proposed methodology is fitted Q iteration, which stands out for its ability to make an efficient use of data.
Results: The experiments reported here are based on a computational model that describes the effect of ESAs on the hemoglobin level. The performance of the proposed method is evaluated and compared with the well-known Q-learning algorithm and with a standard protocol. Simulation results show that the performance of Q-learning is substantially lower than FQI and the protocol.
Conclusion: Although prospective validation is required, promising results demonstrate the potential of RL to become an alternative to current protocols.
△ Less
Submitted 14 September, 2015;
originally announced September 2015.
-
Different faces of the shearlet group
Authors:
Stefan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Sören Häuser,
Gabriele Steidl,
Gerd Teschke
Abstract:
Recently, shearlet groups have received much attention in connection with shearlet transforms applied for orientation sensitive image analysis and restoration. The square integrable representations of the shearlet groups provide not only the basis for the shearlet transforms but also for a very natural definition of scales of smoothness spaces, called shearlet coorbit spaces. The aim of this paper…
▽ More
Recently, shearlet groups have received much attention in connection with shearlet transforms applied for orientation sensitive image analysis and restoration. The square integrable representations of the shearlet groups provide not only the basis for the shearlet transforms but also for a very natural definition of scales of smoothness spaces, called shearlet coorbit spaces. The aim of this paper is twofold: first we discover isomorphisms between shearlet groups and other well-known groups, namely extended Heisenberg groups and subgroups of the symplectic group. Interestingly, the connected shearlet group with positive dilations has an isomorphic copy in the symplectic group, while this is not true for the full shearlet group with all nonzero dilations. Indeed we prove the general result that there exist, up to adjoint action of the symplectic group, only one embedding of the extended Heisenberg algebra into the Lie algebra of the symplectic group.
Having understood the various group isomorphisms it is natural to ask for the relations between coorbit spaces of isomorphic groups with equivalent representations. These connections are examined in the second part of the paper. We describe how isomorphic groups with equivalent representations lead to isomorphic coorbit spaces. In particular we apply this result to square integrable representations of the connected shearlet groups and metaplectic representations of subgroups of the symplectic group. This implies the definition of metaplectic coorbit spaces.
Besides the usual full and connected shearlet groups we also deal with Toeplitz shearlet groups.
△ Less
Submitted 28 January, 2015; v1 submitted 17 April, 2014;
originally announced April 2014.
-
Geometric classification of semidirect products in the maximal parabolic subgroup of $\operatorname{Sp}(2,\mathbb{R})$
Authors:
Filippo De Mari,
Ernesto De Vito,
Stefano Vigogna
Abstract:
We classify up to conjugation by $\operatorname{GL}(2,\mathbb{R})$ (more precisely, block diagonal symplectic matrices) all the semidirect products inside the maximal parabolic of $\operatorname{Sp}(2,\mathbb{R})$ by means of an essentially geometric argument. This classification has already been established without geometry, under a stricter notion of equivalence, namely conjugation by arbitrary…
▽ More
We classify up to conjugation by $\operatorname{GL}(2,\mathbb{R})$ (more precisely, block diagonal symplectic matrices) all the semidirect products inside the maximal parabolic of $\operatorname{Sp}(2,\mathbb{R})$ by means of an essentially geometric argument. This classification has already been established without geometry, under a stricter notion of equivalence, namely conjugation by arbitrary symplectic matrices. The present approach might be useful in higher dimensions and provides some insight.
△ Less
Submitted 24 February, 2014;
originally announced February 2014.
-
Coorbit spaces with voice in a Fréchet space
Authors:
Stephan Dahlke,
Filippo De Mari,
Ernesto De Vito,
Demetrio Labate,
Gabrielle Steidl,
Gerd Teschke,
Stefano Vigogna
Abstract:
We set up a new general coorbit space theory for reproducing representations of a locally compact second countable group $G$ that are not necessarily irreducible nor integrable. Our basic assumption is that the kernel associated with the voice transform belongs to a Fréchet space $\mathcal T$ of functions on $G$, which generalizes the classical choice $\mathcal T=L_w^1(G)$. Our basic example is…
▽ More
We set up a new general coorbit space theory for reproducing representations of a locally compact second countable group $G$ that are not necessarily irreducible nor integrable. Our basic assumption is that the kernel associated with the voice transform belongs to a Fréchet space $\mathcal T$ of functions on $G$, which generalizes the classical choice $\mathcal T=L_w^1(G)$. Our basic example is $ \mathcal T=\bigcap_{p\in(1,+\infty)} L^p(G)$, or a weighted versions of it. By means of this choice it is possible to treat, for instance, Paley-Wiener spaces and coorbit spaces related to Shannon wavelets and Schrödingerlets.
△ Less
Submitted 17 February, 2014;
originally announced February 2014.
-
Reproducing subgroups of Sp(2,R). Part II: admissible vectors
Authors:
Giovanni S. Alberti,
Filippo De Mari,
Ernesto De Vito,
Lucia Mantovani
Abstract:
In part I we introduced the class ${\mathcal E}_2$ of Lie subgroups of $Sp(2,\R)$ and obtained a classification up to conjugation (Theorem 1.1). Here, we determine for which of these groups the restriction of the metaplectic representation gives rise to a reproducing formula. In all the positive cases we characterize the admissible vectors with a generalized Calderón equation. They include product…
▽ More
In part I we introduced the class ${\mathcal E}_2$ of Lie subgroups of $Sp(2,\R)$ and obtained a classification up to conjugation (Theorem 1.1). Here, we determine for which of these groups the restriction of the metaplectic representation gives rise to a reproducing formula. In all the positive cases we characterize the admissible vectors with a generalized Calderón equation. They include products of 1D-wavelets, directional wavelets, shearlets, and many new examples.
△ Less
Submitted 12 December, 2012;
originally announced December 2012.
-
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
Authors:
Vadim Alimguzhin,
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software.
Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control sof…
▽ More
Many Control Systems are indeed Software Based Control Systems, i.e. control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of control software.
Available algorithms and tools (e.g., QKS) may require weeks or even months of computation to synthesize control software for large-size systems. This motivates search for parallel algorithms for control software synthesis.
In this paper, we present a Map-Reduce style parallel algorithm for control software synthesis when the controlled system (plant) is modeled as discrete time linear hybrid system. Furthermore we present an MPI-based implementation PQKS of our algorithm. To the best of our knowledge, this is the first parallel approach for control software synthesis.
We experimentally show effectiveness of PQKS on two classical control synthesis problems: the inverted pendulum and the multi-input buck DC/DC converter. Experiments show that PQKS efficiency is above 65%. As an example, PQKS requires about 16 hours to complete the synthesis of control software for the pendulum on a cluster with 60 processors, instead of the 25 days needed by the sequential algorithm in QKS.
△ Less
Submitted 22 February, 2013; v1 submitted 8 October, 2012;
originally announced October 2012.
-
On Model Based Synthesis of Embedded Control Software
Authors:
Vadim Alimguzhin,
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for control software. Given the formal model of a plant as a Discrete Time Linear Hybrid System and the implementation specifications (that is, number…
▽ More
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for control software. Given the formal model of a plant as a Discrete Time Linear Hybrid System and the implementation specifications (that is, number of bits in the Analog-to-Digital (AD) conversion) correct-by-construction control software can be automatically generated from System Level Formal Specifications of the closed loop system (that is, safety and liveness requirements), by computing a suitable finite abstraction of the plant.
With respect to given implementation specifications, the automatically generated code implements a time optimal control strategy (in terms of set-up time), has a Worst Case Execution Time linear in the number of AD bits $b$, but unfortunately, its size grows exponentially with respect to $b$. In many embedded systems, there are severe restrictions on the computational resources (such as memory or computational power) available to microcontroller devices.
This paper addresses model based synthesis of control software by trading system level non-functional requirements (such us optimal set-up time, ripple) with software non-functional requirements (its footprint). Our experimental results show the effectiveness of our approach: for the inverted pendulum benchmark, by using a quantization schema with 12 bits, the size of the small controller is less than 6% of the size of the time optimal one.
△ Less
Submitted 18 February, 2013; v1 submitted 17 July, 2012;
originally announced July 2012.
-
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
Authors:
Vadim Alimguzhin,
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. This paper addresses control software synthesis for discrete time nonlinear systems. We present a…
▽ More
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software. This paper addresses control software synthesis for discrete time nonlinear systems. We present a methodology to overapproximate the dynamics of a discrete time nonlinear hybrid system H by means of a discrete time linear hybrid system L(H), in such a way that controllers for L(H) are guaranteed to be controllers for H. We present experimental results on the inverted pendulum, a challenging and meaningful benchmark in nonlinear Hybrid Systems control.
△ Less
Submitted 17 July, 2012;
originally announced July 2012.
-
Reproducing subgroups of $Sp(2,\mathbb{R})$. Part I: algebraic classification
Authors:
Giovanni S. Alberti,
Luca Balletti,
Filippo De Mari,
Ernesto De Vito
Abstract:
We classify the connected Lie subgroups of the symplectic group $Sp(2,\mathbb{R})$ whose elements are matrices in block lower triangular form. The classification is up to conjugation within $Sp(2,\mathbb{R})$. Their study is motivated by the need of a unified approach to continuous 2D signal analyses, as those provided by wavelets and shearlets.
We classify the connected Lie subgroups of the symplectic group $Sp(2,\mathbb{R})$ whose elements are matrices in block lower triangular form. The classification is up to conjugation within $Sp(2,\mathbb{R})$. Their study is motivated by the need of a unified approach to continuous 2D signal analyses, as those provided by wavelets and shearlets.
△ Less
Submitted 2 November, 2015; v1 submitted 30 September, 2011;
originally announced September 2011.
-
A mock metaplectic representation
Authors:
Filippo De Mari,
Ernesto De Vito
Abstract:
We obtain necessary and sufficient conditions for the admissible vectors of a new unitary non irreducible representation $U$. The group $G$ is an arbitrary semidirect product whose normal factor $A$ is abelian and whose homogeneous factor $H$ is a locally compact second countable group acting on a Riemannian manifold $M$. The key ingredient in the construction of $U$ is a $C^1$ intertwining map be…
▽ More
We obtain necessary and sufficient conditions for the admissible vectors of a new unitary non irreducible representation $U$. The group $G$ is an arbitrary semidirect product whose normal factor $A$ is abelian and whose homogeneous factor $H$ is a locally compact second countable group acting on a Riemannian manifold $M$. The key ingredient in the construction of $U$ is a $C^1$ intertwining map between the actions of $H$ on the dual group $\hat A$ and on $M$. The representation $U$ generalizes the restriction of the metaplectic representation to triangular subgroups of $Sp(d,\R)$, whence the name "mock metaplectic". For simplicity, we content ourselves with the case where $A=\R^n$ and $M=\R^d$. The main technical point is the decomposition of $U$ as direct integral of its irreducible components. This theory is motivated by some recent developments in signal analysis, notably shearlets. Many related examples are discussed.
△ Less
Submitted 26 September, 2011;
originally announced September 2011.
-
Model Based Synthesis of Control Software from System Level Formal Specifications
Authors:
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software.
We present an algorithm, along with a tool QKS implementing it, that from a formal model (as a…
▽ More
Many Embedded Systems are indeed Software Based Control Systems, that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of embedded systems control software.
We present an algorithm, along with a tool QKS implementing it, that from a formal model (as a Discrete Time Linear Hybrid System) of the controlled system (plant), implementation specifications (that is, number of bits in the Analog-to-Digital, AD, conversion) and System Level Formal Specifications (that is, safety and liveness requirements for the closed loop system) returns correct-by-construction control software that has a Worst Case Execution Time (WCET) linear in the number of AD bits and meets the given specifications.
We show feasibility of our approach by presenting experimental results on using it to synthesize control software for a buck DC-DC converter, a widely used mixed-mode analog circuit, and for the inverted pendulum.
△ Less
Submitted 27 April, 2013; v1 submitted 28 July, 2011;
originally announced July 2011.
-
From Boolean Functional Equations to Control Software
Authors:
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a context a fundamental step in the software (hardware) synthesis process is finding effective solutions to the functional equation defined by K. This entails finding a (set of) boolean function(s) F (typically represented u…
▽ More
Many software as well digital hardware automatic synthesis methods define the set of implementations meeting the given system specifications with a boolean relation K. In such a context a fundamental step in the software (hardware) synthesis process is finding effective solutions to the functional equation defined by K. This entails finding a (set of) boolean function(s) F (typically represented using OBDDs, Ordered Binary Decision Diagrams) such that: 1) for all x for which K is satisfiable, K(x, F(x)) = 1 holds; 2) the implementation of F is efficient with respect to given implementation parameters such as code size or execution time. While this problem has been widely studied in digital hardware synthesis, little has been done in a software synthesis context. Unfortunately the approaches developed for hardware synthesis cannot be directly used in a software context. This motivates investigation of effective methods to solve the above problem when F has to be implemented with software. In this paper we present an algorithm that, from an OBDD representation for K, generates a C code implementation for F that has the same size as the OBDD for F and a WCET (Worst Case Execution Time) at most O(nr), being n = |x| the number of arguments of functions in F and r the number of functions in F.
△ Less
Submitted 22 May, 2012; v1 submitted 1 June, 2011;
originally announced June 2011.
-
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
Authors:
Federico Mari,
Igor Melatti,
Ivano Salvo,
Enrico Tronci
Abstract:
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of SBCS control software. In previous works we presented an algorithm, along with a tool QKS implementing it, that from a forma…
▽ More
Many Embedded Systems are indeed Software Based Control Systems (SBCSs), that is control systems whose controller consists of control software running on a microcontroller device. This motivates investigation on Formal Model Based Design approaches for automatic synthesis of SBCS control software. In previous works we presented an algorithm, along with a tool QKS implementing it, that from a formal model (as a Discrete Time Linear Hybrid System, DTLHS) of the controlled system (plant), implementation specifications (that is, number of bits in the Analog-to-Digital, AD, conversion) and System Level Formal Specifications (that is, safety and liveness requirements for the closed loop system) returns correct-by-construction control software that has a Worst Case Execution Time (WCET) linear in the number of AD bits and meets the given specifications. In this technical report we present full experimental results on using it to synthesize control software for two versions of buck DC-DC converters (single-input and multi-input), a widely used mixed-mode analog circuit.
△ Less
Submitted 20 June, 2012; v1 submitted 27 May, 2011;
originally announced May 2011.
-
Extremely Dilute Modular Neuronal Networks: Neocortical Memory Retrieval Dynamics
Authors:
Carlo Fulvi Mari
Abstract:
A model of the columnar functional organization of neocortical association areas is studied. The neuronal network is composed of many Hebbian autoassociators, or modules, each of which interacts with a relatively small number of the others. Every module encodes and stores a number of elementary percepts, or features. Memory items, or patterns, are peculiar combinations of features sparsely distrib…
▽ More
A model of the columnar functional organization of neocortical association areas is studied. The neuronal network is composed of many Hebbian autoassociators, or modules, each of which interacts with a relatively small number of the others. Every module encodes and stores a number of elementary percepts, or features. Memory items, or patterns, are peculiar combinations of features sparsely distributed over the multi-modular network. Any feature stored in any module can be involved in several of the stored patterns; feature-sharing is in fact source of local ambiguities and, consequently, a potential cause of erroneous memory retrieval activity spreading through the model network.
The memory retrieval dynamics of the large multi-modular autoassociator is investigated by means of quantitative analysis and numerical simulations. An oscillatory retrieval process is found to be very efficient in overcoming feature-sharing drawbacks; it requires a mechanism that modulates the robustness of local attractors to noise, and neuronal activity sparseness such that quiescent and active modules are about equally noisy. Correlated activation of interconnected modules and extramodular neuronal contacts more effective than the intramodular ones seem to be general requirements in order to efficiently achieve satisfactory quality of memory retrieval. It is also shown that, even in ideal conditions, some spots of the network cannot be reached by retrieval activity spread. The locations of these activity isles depend on the pattern to retrieve and on the cue, while their extension only depends on architecture of the graph and statistics of the stored patterns. The existence of these isles determines an upper-bound to retrieval quality that does not depend on the specific retrieval dynamics adopted, nor on whether feature-sharing is permitted. The oscillatory retrieval process nearly saturates this bound.
△ Less
Submitted 11 May, 2020; v1 submitted 30 July, 2001;
originally announced July 2001.
-
Random Networks of Spiking Neurons: Instability in the Xenopus tadpole moto-neural pattern
Authors:
Carlo Fulvi Mari
Abstract:
A large network of integrate-and-fire neurons is studied analytically when the synaptic weights are independently randomly distributed according to a Gaussian distribution with arbitrary mean and variance. The relevant order parameters are identified, and it is shown that such network is statistically equivalent to an ensemble of independent integrate-and-fire neurons with each input signal given…
▽ More
A large network of integrate-and-fire neurons is studied analytically when the synaptic weights are independently randomly distributed according to a Gaussian distribution with arbitrary mean and variance. The relevant order parameters are identified, and it is shown that such network is statistically equivalent to an ensemble of independent integrate-and-fire neurons with each input signal given by the sum of a self-interaction deterministic term and a Gaussian colored noise. The model is able to reproduce the quasi-synchronous oscillations, and the dropout of their frequency, of the central nervous system neurons of the swimming Xenopus tadpole. Predictions from the model are proposed for future experiments.
△ Less
Submitted 21 February, 2020; v1 submitted 15 March, 2000;
originally announced March 2000.
