BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
We establish a new spectral inequality for the quantified estimation of the Hs-norm, s≥0 of a finite linear combination of eigenfunctions in a domain in terms of its Hs-norm in a strictly open subset of the whole domain. The corresponding upper bound depends exponentially on the square root of the frequency number associated to the linear combination.
We study an inverse problem for Light Sheet Fluorescence Microscopy (LSFM), where the density of fluorescent molecules needs to be reconstructed. Our first step is to present a mathematical model to describe the measurements obtained by an optic camera during an LSFM experiment. Two meaningful stages are considered: excitation and fluorescence. We propose a paraxial model to describe the excitation process which is directly related with the Fermi pencil-beam equation. For the fluorescence stage, we use the transport equation to describe the transport of photons towards the detection camera. For the mathematical inverse problem that we obtain after the modeling, we present a uniqueness result, recasting the problem as the recovery of the initial condition for the heat equation in R×(0,∞) from measurements in a space-time curve. Additionally, we present numerical experiments to recover the density of the fluorescent molecules by discretizing the proposed model and facing this problem as the solution of a large and sparse linear system. Some iterative and regularized methods are used to achieve this objective. The results show that solving the inverse problem achieves better reconstructions than the direct acquisition method that is currently used.
In medical SPECT imaging, we seek to simultaneously obtain the internal radioactive sources and the attenuation map using not only ballistic measurements but also first order scattering measurements. The problem is modeled using the radiative transfer equation by means of an explicit nonlinear operator that gives the ballistic and scattering measurements as a function of the radioactive source and attenuation distributions. First, by differentiating this nonlinear operator we obtain a linearized inverse problem. Then, under regularity hypothesis for the source distribution and attenuation map and considering small attenuations, we rigorously prove that the linear operator is invertible and we compute its inverse explicitly. This allows to prove local uniqueness for the nonlinear inverse problem. Finally, using the previous inversion result for the linear operator, we propose a new type of iterative algorithm for simultaneous source and attenuation recovery for SPECT based on Neumann series and a Newton-Raphson algorithm.
Using uniform global Carleman estimates for discrete elliptic and semi-discrete hyperbolic equations, we study Lipschitz and logarithmic stability for the inverse problem of recovering a potential in a semi-discrete wave equation, discretized by finite differences in a 2-d uniform mesh, from boundary or internal measurements. The discrete stability results, when compared with their continuous counterparts, include new terms depending on the discretization parameter h. From these stability results, we design a numerical method to compute convergent approximations of the continuous potential.
Fixed points are fundamental states in any dynamical system. In the case of gene regulatory networks (GRNs) they correspond to stable genes profiles associated to the various cell types. We use Kauffman's approach to model GRNs with random Boolean networks (RBNs). We start this paper by proving that, if we fix the values of the source nodes (nodes with in-degree 0), the expected number of fixed points of any RBN is one (independently of the topology we choose). For finding such fixed points we use the α-asynchronous dynamics (where every node is updated independently with probability 0 < α < 1). In fact, it is well-known that asynchrony avoids the cycle attractors into which parallel dynamics tends to fall. We perform simulations and we show the remarkable property that, if for a given RBN with scale-free topology and α-asynchronous dynamics an initial configuration reaches a fixed point, then every configuration also reaches a fixed point. By contrast, in the parallel regime, the percentage of initial configurations reaching a fixed point (for the same networks) is dramatically smaller. We contrast the results of the simulations on scale-free networks with the classical Erdos-Renyi model of random networks. Everything indicates that scale-free networks are extremely robust. Finally, we study the mean and maximum time/work needed to reach a fixed point when starting from randomly chosen initial configurations.
The rotated multipliers method is performed in the case of the boundary stabilization by means of a(linear or non-linear) Neumann feedback. this method leads to new geometrical cases concerning the "active" part of the boundary where the feedback is apllied. Due to mixed boundary conditions, these cases generate singularities. Under a simple geometrical conditon concerning the orientation of boundary, we obtain a stabilization result in both cases.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.