-
Continuous emission ultrasound: a new paradigm to ultrafast ultrasound imaging
Authors:
A. Adam,
B. Nicolas,
A. Basarab,
H. Liebgott
Abstract:
Current imaging techniques in echography rely on the pulse-echo (PE) paradigm which provides a straight-forward access to the in-depth structure of tissues. They inherently face two major challenges: the limitation of the pulse repetition frequency, directly linked to the imaging framerate, and, due to the emission scheme, their blindness to the phenomena that happen in the medium during the major…
▽ More
Current imaging techniques in echography rely on the pulse-echo (PE) paradigm which provides a straight-forward access to the in-depth structure of tissues. They inherently face two major challenges: the limitation of the pulse repetition frequency, directly linked to the imaging framerate, and, due to the emission scheme, their blindness to the phenomena that happen in the medium during the majority of the acquisition time. To overcome these limitations, we propose a new paradigm for ultrasound imaging, denoted by continuous emission ultrasound imaging (CUEI) \cite{CEUIpatent2023}, for a single input single output (SISO) device.
A continuous insonification of the medium is done by the probe using a coded waveform inspired from the radar and sonar literature. A framework coupling a sliding window approach (SWA) and pulse compression methods processes the recorded echoes to rebuild a motion-mode (M-mode) image from the medium with a high temporal resolution compared to state-of-the-art ultrafast imaging methods.
A study on realistic simulated data, with regards to the motion of the medium, has been carried out and, achieved results assess an unequivocal improvement of the slow time frequency up to, at least, two orders of magnitude compared to ultrafast US imaging methods. This enhancement leads, therefore, to a ten times improvement in the temporal separability of the imaging system. In addition, it demonstrates the capability of CEUI to catch relatively short and quick events, in comparison to the imaging period of PE methods, at any instant of the acquisition.
△ Less
Submitted 4 March, 2024;
originally announced March 2024.
-
Numerical computation of high-order expansions of invariant manifolds of high-dimensional tori
Authors:
Joan Gimeno,
Àngel Jorba,
Begoña Nicolás,
Estrella Olmedo
Abstract:
In this paper we present a procedure to compute reducible invariant tori and their stable and unstable manifolds in stroboscopic Poincaré maps. The method has two steps. In the first step we compute, by means of a quadratically convergent scheme, the Fourier series of the torus, its Floquet transformation, and its Floquet matrix. If the torus has stable and/or unstable directions, in the second st…
▽ More
In this paper we present a procedure to compute reducible invariant tori and their stable and unstable manifolds in stroboscopic Poincaré maps. The method has two steps. In the first step we compute, by means of a quadratically convergent scheme, the Fourier series of the torus, its Floquet transformation, and its Floquet matrix. If the torus has stable and/or unstable directions, in the second step we compute the Taylor-Fourier expansions of the corresponding invariant manifolds up to a given order. The paper also discusses the case in which the torus is highly unstable so that a multiple shooting strategy is needed to compute the torus. If the order of the Taylor expansion of the manifolds is fixed and N is the number of Fourier modes, the whole computational effort (torus and manifolds) increases as O(N log N) q and the memory required behaves as O(N). This makes the algorithm very suitable to compute high-dimensional tori for which a huge number of Fourier modes are needed. Besides, the algorithm has a very high degree of parallelism. The paper includes examples where we compute invariant tori (of dimensions up to 5) of quasi-periodically forced ODEs. The computations are run in a parallel computer and its efficiency with respect to the number of processors is also discussed.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Weakly supervised cross-modal learning in high-content screening
Authors:
Watkinson Gabriel,
Cohen Ethan,
Bourriez Nicolas,
Bendidi Ihab,
Bollot Guillaume,
Genovesio Auguste
Abstract:
With the surge in available data from various modalities, there is a growing need to bridge the gap between different data types. In this work, we introduce a novel approach to learn cross-modal representations between image data and molecular representations for drug discovery. We propose EMM and IMM, two innovative loss functions built on top of CLIP that leverage weak supervision and cross site…
▽ More
With the surge in available data from various modalities, there is a growing need to bridge the gap between different data types. In this work, we introduce a novel approach to learn cross-modal representations between image data and molecular representations for drug discovery. We propose EMM and IMM, two innovative loss functions built on top of CLIP that leverage weak supervision and cross sites replicates in High-Content Screening. Evaluating our model against known baseline on cross-modal retrieval, we show that our proposed approach allows to learn better representations and mitigate batch effect. In addition, we also present a preprocessing method for the JUMP-CP dataset that effectively reduce the required space from 85Tb to a mere usable 7Tb size, still retaining all perturbations and most of the information content.
△ Less
Submitted 12 November, 2023; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Requirement for preclinical prioritization of neuroprotective strategies in stroke: Incorporation of preconditioning
Authors:
Tauskela Joseph S.,
Blondeau Nicolas
Abstract:
Acute neuroprotection in numerous human clinical trials has been an abject failure. Major systemic-and procedural-based issues have subsequently been identified in both clinical trials and preclinical animal model experimentation. As well, issues related to the neuroprotective moiety itself have contributed to clinical trial failures, including late delivery, mono-targeting, low potency and poor t…
▽ More
Acute neuroprotection in numerous human clinical trials has been an abject failure. Major systemic-and procedural-based issues have subsequently been identified in both clinical trials and preclinical animal model experimentation. As well, issues related to the neuroprotective moiety itself have contributed to clinical trial failures, including late delivery, mono-targeting, low potency and poor tolerability. Conditioning (pre-or post-) strategies can potentially address these issues and are therefore gaining increasing attention as approaches to protect the brain from cerebral ischemia. In principle, conditioning can address concerns of timing (preconditioning could be pre-emptively applied in high-risk patients, and post-conditioning after patients experience an unannounced brain infarction) and signaling (multi-modal). However, acute neuroprotection and conditioning strategies face a common translational issue: a myriad of possibilities exist, but with no strategy to select optimal candidates. In this review, we argue that what is required is a neuroprotective framework to identify the "best" agent(s), at the earliest investigational stage possible. This may require switching mindsets from identifying how neuroprotection can be achieved to determining how neuroprotection can fail, for the vast majority of candidates. Understanding the basis for failure can in turn guide supplementary treatment, thereby forming an evidence-based rationale for selecting combinations of therapies. An appropriately designed in vitro (neuron culture, brain slices) approach, based on increasing the harshness of the ischemic-like insult, can be useful in identifying the "best" conditioner or acute neuroprotective therapy, as well as how the two modalities can be combined to overcome individual limitations. This would serve as a base from which to launch further investigation into therapies required to protect the neurovascular unit in in vivo animal models of cerebral ischemia. Based on these respective approaches, our laboratories suggest that there is merit in examining synaptic activity-and nutraceutical-based preconditioning / acute neuroprotection.
△ Less
Submitted 9 August, 2019;
originally announced August 2019.
-
Critical mingling and universal correlations in model binary active liquids
Authors:
Bain Nicolas,
Bartolo Denis
Abstract:
Ensembles of driven or motile bodies moving along opposite directions are generically reported to self-organize into strongly anisotropic lanes. Here, building on a minimal model of self-propelled bodies targeting opposite directions, we first evidence a critical phase transition between a mingled state and a phase-separated lane state specific to active particles. We then demonstrate that the min…
▽ More
Ensembles of driven or motile bodies moving along opposite directions are generically reported to self-organize into strongly anisotropic lanes. Here, building on a minimal model of self-propelled bodies targeting opposite directions, we first evidence a critical phase transition between a mingled state and a phase-separated lane state specific to active particles. We then demonstrate that the mingled state displays algebraic structural correlations also found in driven binary mixtures. Finally, constructing a hydrodynamic theory, we single out the physical mechanisms responsible for these universal long-range correlations typical of ensembles of oppositely moving bodies.
△ Less
Submitted 7 April, 2017; v1 submitted 8 December, 2016;
originally announced December 2016.
-
A Noise-Robust Method with Smoothed \ell_1/\ell_2 Regularization for Sparse Moving-Source Map**
Authors:
Mai Quyen Pham,
Benoit Oudompheng,
Jérôme I. Mars,
Barbara Nicolas
Abstract:
The method described here performs blind deconvolution of the beamforming output in the frequency domain. To provide accurate blind deconvolution, sparsity priors are introduced with a smooth \ell_1/\ell_2 regularization term. As the mean of the noise in the power spectrum domain is dependent on its variance in the time domain, the proposed method includes a variance estimation step, which allows…
▽ More
The method described here performs blind deconvolution of the beamforming output in the frequency domain. To provide accurate blind deconvolution, sparsity priors are introduced with a smooth \ell_1/\ell_2 regularization term. As the mean of the noise in the power spectrum domain is dependent on its variance in the time domain, the proposed method includes a variance estimation step, which allows more robust blind deconvolution. Validation of the method on both simulated and real data, and of its performance, are compared with two well-known methods from the literature: the deconvolution approach for the map** of acoustic sources, and sound density modeling.
△ Less
Submitted 1 April, 2016;
originally announced April 2016.
-
Logic and Branching Automata
Authors:
Bedon Nicolas
Abstract:
In this paper we study the logical aspects of branching automata, as defined by Lodaya and Weil. We first prove that the class of languages of finite N-free posets recognized by branching automata is closed under complementation. Then we define a logic, named P-MSO as it is a extension of monadic second-order logic with Presburger arithmetic, and show that it is precisely as expressive as branchi…
▽ More
In this paper we study the logical aspects of branching automata, as defined by Lodaya and Weil. We first prove that the class of languages of finite N-free posets recognized by branching automata is closed under complementation. Then we define a logic, named P-MSO as it is a extension of monadic second-order logic with Presburger arithmetic, and show that it is precisely as expressive as branching automata. As a consequence of the effectiveness of the construction of one formalism from the other, the P-MSO theory of the class of all finite N-free posets is decidable.
△ Less
Submitted 14 October, 2015; v1 submitted 10 July, 2015;
originally announced July 2015.
-
Colorful paths for 3-chromatic graphs
Authors:
Bessy Stéphane,
Bousquet Nicolas
Abstract:
In this paper, we prove that every 3-chromatic connected graph, except $C_7$, admits a 3-vertex coloring in which every vertex is the beginning of a 3-chromatic path. It is a special case of a conjecture due to S.~Akbari, F.~Khaghanpoor, and S.~Moazzeni, cited in [P.J. Cameron, Research problems from the BCC22, \emph{Discrete Math.}
{\bf 311} (2011), 1074--1083], stating that every connected gra…
▽ More
In this paper, we prove that every 3-chromatic connected graph, except $C_7$, admits a 3-vertex coloring in which every vertex is the beginning of a 3-chromatic path. It is a special case of a conjecture due to S.~Akbari, F.~Khaghanpoor, and S.~Moazzeni, cited in [P.J. Cameron, Research problems from the BCC22, \emph{Discrete Math.}
{\bf 311} (2011), 1074--1083], stating that every connected graph $G$ other than $C_7$ admits a $χ(G)$-coloring such that every vertex of $G$ is the beginning of a colorful path (i.e. a path of on $χ(G)$ vertices containing a vertex of each color). We also provide some support for the conjecture in the case of 4-chromatic graphs.
△ Less
Submitted 3 March, 2015;
originally announced March 2015.
-
Algorithm for Sensor Network Attitude Problem
Authors:
Mikael Carmona,
Olivier Michel,
Jean-Louis Lacoume,
Nathalie Sprynski,
Barbara Nicolas
Abstract:
Sensor network attitude problem consists in retrieving the attitude of each sensor of a network knowing some relative orientations between pairs of sensors. The attitude of a sensor is its orientation in an absolute axis system. We present in this paper a method for solving the sensor network attitude problem using quaternion formalism which allows to apply linear algebra tools. The proposed algor…
▽ More
Sensor network attitude problem consists in retrieving the attitude of each sensor of a network knowing some relative orientations between pairs of sensors. The attitude of a sensor is its orientation in an absolute axis system. We present in this paper a method for solving the sensor network attitude problem using quaternion formalism which allows to apply linear algebra tools. The proposed algorithm solves the problem when all of the relative attitudes are known. A complete characterisation of the algorithm is established: spatial complexity, time complexity and robustness. Our algorithm is validated in simulations and with real experiments.
△ Less
Submitted 7 April, 2011;
originally announced April 2011.
-
Passive tomography for elastic waves in solids
Authors:
Mikael Carmona,
Olivier Michel,
Jean-Louis Lacoume,
Nathalie Sprynski,
Barbara Nicolas
Abstract:
In this paper we derive relations between the cross-correlation of ambient noises recorded at two different points and the Green's function of the elastic waves in a medium with viscous dam**. The Green's function allows to estimate physical parameters such as speeds or distances. Furthermore, this work is extended by introducing the Green's correlation function proposed by J-L. Lacoume in [Laco…
▽ More
In this paper we derive relations between the cross-correlation of ambient noises recorded at two different points and the Green's function of the elastic waves in a medium with viscous dam**. The Green's function allows to estimate physical parameters such as speeds or distances. Furthermore, this work is extended by introducing the Green's correlation function proposed by J-L. Lacoume in [Lacoume07]. Some recent works proved the possible reconstruction of the Green's function for scalar waves from the cross-correlation function of ambient noise. In this work, we consider vector waves propagating in a three dimensional solid medium. Two approaches are developed. Firstly, we extend theoretical derivations proposed by Y. Colin de Verdi`ere in [ColinDeVerdiere09], relating cross-correlation of scalar waves to 1D Green's function using linear operator theory. The second approach recasts the three dimensional problem in the framework of Fourier theory. This allows to improve physical understanding of the underlying physical processes as outlined in [Lacoume07].
△ Less
Submitted 24 March, 2011; v1 submitted 8 April, 2010;
originally announced April 2010.