Showing 1–26 of 26 results for author: Roche, A

PCA for Point Processes

Authors: Franck Picard, Vincent Rivoirard, Angelina Roche, Victor Panaretos

Abstract: We introduce a novel statistical framework for the analysis of replicated point processes that allows for the study of point pattern variability at a population level. By treating point process realizations as random measures, we adopt a functional analysis perspective and propose a form of functional Principal Component Analysis (fPCA) for point processes. The originality of our method is to base… ▽ More We introduce a novel statistical framework for the analysis of replicated point processes that allows for the study of point pattern variability at a population level. By treating point process realizations as random measures, we adopt a functional analysis perspective and propose a form of functional Principal Component Analysis (fPCA) for point processes. The originality of our method is to base our analysis on the cumulative mass functions of the random measures which gives us a direct and interpretable analysis. Key theoretical contributions include establishing a Karhunen-Loève expansion for the random measures and a Mercer Theorem for covariance measures. We establish convergence in a strong sense, and introduce the concept of principal measures, which can be seen as latent processes governing the dynamics of the observed point patterns. We propose an easy-to-implement estimation strategy of eigenelements for which parametric rates are achieved. We fully characterize the solutions of our approach to Poisson and Hawkes processes and validate our methodology via simulations and diverse applications in seismology, single-cell biology and neurosiences, demonstrating its versatility and effectiveness. Our method is implemented in the pppca R-package. △ Less

Submitted 30 April, 2024; originally announced April 2024.

Decoherence and turbulence sources in a long laser

Authors: Amy Roche, Svetlana Slepneva, Anton Kovalev, Alexander Pimenov, Andrei G. Vladimirov, Mathias Marconi, Massimo Giudici, Guillaume Huyet

Abstract: We investigate the turn-on process in a laser cavity where the roundtrip time is several orders of magnitude greater than the active medium timescales. In this long delay limit the electromagnetic field build-up can be mapped experimentally roundtrip after roundtrip. We show how coherence settles down starting from a stochastic initial condition. In the early stages of the turn-on, we show that po… ▽ More We investigate the turn-on process in a laser cavity where the roundtrip time is several orders of magnitude greater than the active medium timescales. In this long delay limit the electromagnetic field build-up can be mapped experimentally roundtrip after roundtrip. We show how coherence settles down starting from a stochastic initial condition. In the early stages of the turn-on, we show that power drop-outs emerge, persist for several round-trips and seed dark solitons. These latter structures exhibit a chaotic dynamics and emit radiation that can lead to an overall turbulent dynamics depending on the cavity dispersion. △ Less

Submitted 21 December, 2022; originally announced December 2022.

Comments: 6 pages, 8 figures

Adaptive nonparametric estimation in the functional linear model with functional output

Authors: Gaëlle Chagny, Anouar Meynaoui, Angelina Roche

Abstract: In this paper, we consider a functional linear regression model, where both the covariate and the response variable are functional random variables. We address the problem of optimal nonparametric estimation of the conditional expectation operator in this model. A collection of projection estimators over finite dimensional subspaces is first introduce. We provide a non-asymptotic bias-variance dec… ▽ More In this paper, we consider a functional linear regression model, where both the covariate and the response variable are functional random variables. We address the problem of optimal nonparametric estimation of the conditional expectation operator in this model. A collection of projection estimators over finite dimensional subspaces is first introduce. We provide a non-asymptotic bias-variance decomposition for the Mean Square Prediction error in the case where these subspaces are generated by the (empirical) PCA functional basis. The automatic trade-off is realized thanks to a model selection device which selects the best projection dimensions: the penalized contrast estimator satisfies an oracle-type inequality and is thus optimal in an adaptive point of view. These upper-bounds allow us to derive convergence rates over ellipsoidal smoothness spaces. The rates are shown to be optimal in the minimax sense: they match with a lower bound of the minimax risk, which is also proved. Finally, we conduct a numerical study, over simulated data and over two real-data sets. △ Less

Submitted 1 March, 2022; originally announced March 2022.

MSC Class: 62G05 (primary) 62J05; 62M20 (secondary)

Direct STM Measurements of R- and H-type Twisted MoSe2/WSe2 Heterostructures

Authors: Rachel Nieken, Anna Roche, Fateme Mahdikhanysarvejahany, Takashi Taniguchi, Kenji Watanabe, Michael R. Koehler, David G. Mandrus, John Schaibley, Brian J. LeRoy

Abstract: When semiconducting transition metal dichalcogenides heterostructures are stacked the twist angle and lattice mismatch leads to a periodic moiré potential. As the angle between the layers changes, so do the electronic properties. As the angle approaches 0- or 60-degrees interesting characteristics and properties such as modulations in the band edges, flat bands, and confinement are predicted to oc… ▽ More When semiconducting transition metal dichalcogenides heterostructures are stacked the twist angle and lattice mismatch leads to a periodic moiré potential. As the angle between the layers changes, so do the electronic properties. As the angle approaches 0- or 60-degrees interesting characteristics and properties such as modulations in the band edges, flat bands, and confinement are predicted to occur. Here we report scanning tunneling microscopy and spectroscopy measurements on the band gaps and band modulations in MoSe2/WSe2 heterostructures with near 0 degree rotation (R-type) and near 60 degree rotation (H-type). We find a modulation of the band gap for both stacking configurations with a larger modulation for R-type than for H-type as predicted by theory. Furthermore, local density of states images show that electrons are localized differently at the valence band and conduction band edges. △ Less

Submitted 17 March, 2022; v1 submitted 6 January, 2022; originally announced January 2022.

Comments: Published version

Journal ref: APL Materials 10, 031107 (2022)

Minimax estimation of Functional Principal Components from noisy discretized functional data

Authors: Ryad Belhakem, Franck Picard, Vincent Rivoirard, Angelina Roche

Abstract: Functional Principal Component Analysis is a reference method for dimension reduction of curve data. Its theoretical properties are now well understood in the simplified case where the sample curves are fully observed without noise. However, functional data are noisy and necessarily observed on a finite discretization grid. Common practice consists in smoothing the data and then to compute the fun… ▽ More Functional Principal Component Analysis is a reference method for dimension reduction of curve data. Its theoretical properties are now well understood in the simplified case where the sample curves are fully observed without noise. However, functional data are noisy and necessarily observed on a finite discretization grid. Common practice consists in smoothing the data and then to compute the functional estimates, but the impact of this denoising step on the procedure's statistical performance are rarely considered. Here we prove new convergence rates for functional principal component estimators. We introduce a double asymptotic framework: one corresponding to the sampling size and a second to the size of the grid. We prove that estimates based on projection onto histograms show optimal rates in a minimax sense. Theoretical results are illustrated on simulated data and the method is applied to the visualization of genomic data. △ Less

Submitted 25 October, 2021; originally announced October 2021.

Adaptive nonparametric estimation of a component density in a two-class mixture model

Authors: Gaelle Chagny, Antoine Channarond, Van Ha Hoang, Angelina Roche

Abstract: A two-class mixture model, where the density of one of the components is known, is considered. We address the issue of the nonparametric adaptive estimation of the unknown probability density of the second component. We propose a randomly weighted kernel estimator with a fully data-driven bandwidth selection method, in the spirit of the Goldenshluger and Lepski method. An oracle-type inequality fo… ▽ More A two-class mixture model, where the density of one of the components is known, is considered. We address the issue of the nonparametric adaptive estimation of the unknown probability density of the second component. We propose a randomly weighted kernel estimator with a fully data-driven bandwidth selection method, in the spirit of the Goldenshluger and Lepski method. An oracle-type inequality for the pointwise quadratic risk is derived as well as convergence rates over Holder smoothness classes. The theoretical results are illustrated by numerical simulations. △ Less

Submitted 5 February, 2021; v1 submitted 30 July, 2020; originally announced July 2020.

MSC Class: 62G07; 62G20

A note on dual modules and the transpose

Authors: Thomas Madsen, Alan Roche, C. Ryan Vinroot

Abstract: It is a classical result in matrix algebra that any square matrix over a field can be conjugated to its transpose by a symmetric matrix. For $F$ a non-Archimedean local field, Tupan used this to give an elementary proof that transpose inverse takes each irreducible smooth representation of ${\rm GL}_n(F)$ to its dual. We re-prove the matrix result and related observations using module-theoretic ar… ▽ More It is a classical result in matrix algebra that any square matrix over a field can be conjugated to its transpose by a symmetric matrix. For $F$ a non-Archimedean local field, Tupan used this to give an elementary proof that transpose inverse takes each irreducible smooth representation of ${\rm GL}_n(F)$ to its dual. We re-prove the matrix result and related observations using module-theoretic arguments. In addition, we write down a generalization that applies to central simple algebras with an involution of the first kind. We use this generalization to extend Tupan's method of argument to ${\rm GL}_n(D)$ for $D$ a quaternion division algebra over $F$. △ Less

Submitted 5 June, 2019; originally announced June 2019.

MSC Class: 16W10; 22E50; 15A24

Lasso in infinite dimension: application to variable selection in functional multivariate linear regression

Authors: Angelina Roche

Abstract: It is more and more frequently the case in applications that the data we observe come from one or more random variables taking values in an infinite dimensional space, e.g. curves. The need to have tools adapted to the nature of these data explains the growing interest in the field of functional data analysis. The model we study in this paper assumes a linear dependence between a quantity of inter… ▽ More It is more and more frequently the case in applications that the data we observe come from one or more random variables taking values in an infinite dimensional space, e.g. curves. The need to have tools adapted to the nature of these data explains the growing interest in the field of functional data analysis. The model we study in this paper assumes a linear dependence between a quantity of interest and several covariates, at least one of which has an infinite dimension. To select the relevant covariates in this context, we investigate adaptations of the Lasso method. Two estimation methods are defined. The first one consists in the minimization of a Group-Lasso criterion on the multivariate functional space H. The second one minimizes the same criterion but on a finite dimensional subspaces of H whose dimension is chosen by a penalized least squares method. We prove oracle inequalities of sparsity in the case where the design is fixed or random. To compute the solutions of both criteria in practice, we propose a coordinate descent algorithm. A numerical study on simulated and real data illustrates the behavior of the estimators. △ Less

Submitted 31 May, 2023; v1 submitted 29 March, 2019; originally announced March 2019.

Local bandwidth selection for kernel density estimation in bifurcating Markov chain model

Authors: S Valere Bitseki Penda, Angelina Roche

Abstract: We propose an adaptive estimator for the stationary distribution of a bifurcating Markov Chain on $\mathbb R^d$. Bifurcating Markov chains (BMC for short) are a class of stochastic processes indexed by regular binary trees. A kernel estimator is proposed whose bandwidth is selected by a method inspired by the works of Goldenshluger and Lepski [18]. Drawing inspiration from dimension jump methods f… ▽ More We propose an adaptive estimator for the stationary distribution of a bifurcating Markov Chain on $\mathbb R^d$. Bifurcating Markov chains (BMC for short) are a class of stochastic processes indexed by regular binary trees. A kernel estimator is proposed whose bandwidth is selected by a method inspired by the works of Goldenshluger and Lepski [18]. Drawing inspiration from dimension jump methods for model selection, we also provide an algorithm to select the best constant in the penalty. △ Less

Submitted 21 June, 2017; originally announced June 2017.

Comments: 18 pages, 2 figures

On numerical approximation schemes for expectation propagation

Authors: Alexis Roche

Abstract: Several numerical approximation strategies for the expectation-propagation algorithm are studied in the context of large-scale learning: the Laplace method, a faster variant of it, Gaussian quadrature, and a deterministic version of variational sampling (i.e., combining quadrature with variational approximation). Experiments in training linear binary classifiers show that the expectation-propagati… ▽ More Several numerical approximation strategies for the expectation-propagation algorithm are studied in the context of large-scale learning: the Laplace method, a faster variant of it, Gaussian quadrature, and a deterministic version of variational sampling (i.e., combining quadrature with variational approximation). Experiments in training linear binary classifiers show that the expectation-propagation algorithm converges best using variational sampling, while it also converges well using Laplace-style methods with smooth factors but tends to be unstable with non-differentiable ones. Gaussian quadrature yields unstable behavior or convergence to a sub-optimal solution in most experiments. △ Less

Submitted 14 November, 2016; originally announced November 2016.

Dualizing involutions for classical and similitude groups over local non-archimedean fields

Authors: Alan Roche, C. Ryan Vinroot

Abstract: Building on ideas of Tupan, we give an elementary proof of a result of Mœglin, Vignéras and Waldspurger on the existence of automorphisms of many $p$-adic classical groups that take each irreducible smooth representations to its dual. Our proof also applies to the corresponding similitude groups. Building on ideas of Tupan, we give an elementary proof of a result of Mœglin, Vignéras and Waldspurger on the existence of automorphisms of many $p$-adic classical groups that take each irreducible smooth representations to its dual. Our proof also applies to the corresponding similitude groups. △ Less

Submitted 27 July, 2016; originally announced July 2016.

MSC Class: 22E50; 20G05

A factorization result for classical and similitude groups

Authors: Alan Roche, C. Ryan Vinroot

Abstract: For most classical and similitude groups, we show that each element can be written as a product of two transformations that a) preserve or almost preserve the underlying form and b) whose squares are certain scalar maps. This generalizes work of Wonenburger and Vinroot. As an application, we re-prove and slightly extend a well-known result of Mœglin, Vignéras and Waldspurger on the existence of au… ▽ More For most classical and similitude groups, we show that each element can be written as a product of two transformations that a) preserve or almost preserve the underlying form and b) whose squares are certain scalar maps. This generalizes work of Wonenburger and Vinroot. As an application, we re-prove and slightly extend a well-known result of Mœglin, Vignéras and Waldspurger on the existence of automorphisms of $p$-adic classical groups that take each irreducible smooth representations to its dual. △ Less

Submitted 22 July, 2016; originally announced July 2016.

MSC Class: 20G15; 22E50

Journal ref: Can. Math. Bull. 61 (2018) 174-190

Composite Bayesian inference

Authors: Alexis Roche

Abstract: We revisit and generalize the concept of composite likelihood as a method to make a probabilistic inference by aggregation of multiple Bayesian agents, thereby defining a class of predictive models which we call composite Bayesian. This perspective gives insight to choose the weights associated with composite likelihood, either a priori or via learning; in the latter case, they may be tuned so as… ▽ More We revisit and generalize the concept of composite likelihood as a method to make a probabilistic inference by aggregation of multiple Bayesian agents, thereby defining a class of predictive models which we call composite Bayesian. This perspective gives insight to choose the weights associated with composite likelihood, either a priori or via learning; in the latter case, they may be tuned so as to minimize prediction cross-entropy, yielding an easy-to-solve convex problem. We argue that composite Bayesian inference is a middle way between generative and discriminative models that trades off between interpretability and prediction performance, both of which are crucial to many artificial intelligence tasks. △ Less

Submitted 17 April, 2019; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: Working paper: 4th version (v4), significantly improved wrt previous version (v3)

Local Optimization of Black-Box Function with High or Infinite-Dimensional Inputs

Authors: Angelina Roche

Abstract: An adaptation of Response Surface Methodology (RSM) when the covariate is of high or infinite dimensional is proposed, providing a tool for black-box optimization in this context. We combine dimension reduction techniques with classical multivariate Design of Experiments (DoE). We propose a method to generate experimental designs and extend usual properties (orthogonality, rotatability,...) of mul… ▽ More An adaptation of Response Surface Methodology (RSM) when the covariate is of high or infinite dimensional is proposed, providing a tool for black-box optimization in this context. We combine dimension reduction techniques with classical multivariate Design of Experiments (DoE). We propose a method to generate experimental designs and extend usual properties (orthogonality, rotatability,...) of multivariate designs to general high or infinite dimensional contexts. Different dimension reduction basis are considered (including data-driven basis). The methodology is illustrated on simulated functional data and we discuss the choice of the different parameters, in particular the dimension of the approximation space. The method is finally applied to a problem of nuclear safety. △ Less

Submitted 18 November, 2015; v1 submitted 9 June, 2015; originally announced June 2015.

Report number: MAP5 2015-11

Asteroids' physical models from combined dense and sparse photometry and scaling of the YORP effect by the observed obliquity distribution

Authors: J. Hanuš, J. Ďurech, M. Brož, A. Marciniak, B. D. Warner, F. Pilcher, R. Stephens, R. Behrend, B. Carry, D. Čapek, P. Antonini, M. Audejean, K. Augustesen, E. Barbotin, P. Baudouin, A. Bayol, L. Bernasconi, W. Borczyk, J. -G. Bosch, E. Brochard, L. Brunetto, S. Casulli, A. Cazenave, S. Charbonnel, B. Christophe , et al. (95 additional authors not shown)

Abstract: The larger number of models of asteroid shapes and their rotational states derived by the lightcurve inversion give us better insight into both the nature of individual objects and the whole asteroid population. With a larger statistical sample we can study the physical properties of asteroid populations, such as main-belt asteroids or individual asteroid families, in more detail. Shape models can… ▽ More The larger number of models of asteroid shapes and their rotational states derived by the lightcurve inversion give us better insight into both the nature of individual objects and the whole asteroid population. With a larger statistical sample we can study the physical properties of asteroid populations, such as main-belt asteroids or individual asteroid families, in more detail. Shape models can also be used in combination with other types of observational data (IR, adaptive optics images, stellar occultations), e.g., to determine sizes and thermal properties. We use all available photometric data of asteroids to derive their physical models by the lightcurve inversion method and compare the observed pole latitude distributions of all asteroids with known convex shape models with the simulated pole latitude distributions. We used classical dense photometric lightcurves from several sources and sparse-in-time photometry from the U.S. Naval Observatory in Flagstaff, Catalina Sky Survey, and La Palma surveys (IAU codes 689, 703, 950) in the lightcurve inversion method to determine asteroid convex models and their rotational states. We also extended a simple dynamical model for the spin evolution of asteroids used in our previous paper. We present 119 new asteroid models derived from combined dense and sparse-in-time photometry. We discuss the reliability of asteroid shape models derived only from Catalina Sky Survey data (IAU code 703) and present 20 such models. By using different values for a scaling parameter cYORP (corresponds to the magnitude of the YORP momentum) in the dynamical model for the spin evolution and by comparing synthetics and observed pole-latitude distributions, we were able to constrain the typical values of the cYORP parameter as between 0.05 and 0.6. △ Less

Submitted 29 January, 2013; originally announced January 2013.

Comments: Accepted for publication in A&A, January 15, 2013

Non-asymptotic Adaptive Prediction in Functional Linear Models

Authors: Elodie Brunel, André Mas, Angelina Roche

Abstract: Functional linear regression has recently attracted considerable interest. Many works focus on asymptotic inference. In this paper we consider in a non asymptotic framework a simple estimation procedure based on functional Principal Regression. It revolves in the minimization of a least square contrast coupled with a classical projection on the space spanned by the m first empirical eigenvectors o… ▽ More Functional linear regression has recently attracted considerable interest. Many works focus on asymptotic inference. In this paper we consider in a non asymptotic framework a simple estimation procedure based on functional Principal Regression. It revolves in the minimization of a least square contrast coupled with a classical projection on the space spanned by the m first empirical eigenvectors of the covariance operator of the functional sample. The novelty of our approach is to select automatically the crucial dimension m by minimization of a penalized least square contrast. Our method is based on model selection tools. Yet, since this kind of methods consists usually in projecting onto known non-random spaces, we need to adapt it to empirical eigenbasis made of data-dependent - hence random - vectors. The resulting estimator is fully adaptive and is shown to verify an oracle inequality for the risk associated to the prediction error and to attain optimal minimax rates of convergence over a certain class of ellipsoids. Our strategy of model selection is finally compared numerically with cross-validation. △ Less

Submitted 14 January, 2013; originally announced January 2013.

Signs, involutions and Jacquet modules

Authors: Alan Roche, Steven Spallone

Abstract: Let $G$ be a connected reductive $p$-adic group and let $θ$ be an automorphism of $G$ of order at most two. Suppose $π$ is an irreducible smooth representation of $G$ that is taken to its dual by $θ$. The space $V$ of $π$ then carries a non-zero bilinear form $(\mspace{7mu},\mspace{6mu})$, unique up to scaling, with the invariance property $(π(g)v, π({}^θg)w) = (v,w)$, for $g \in G$ and… ▽ More Let $G$ be a connected reductive $p$-adic group and let $θ$ be an automorphism of $G$ of order at most two. Suppose $π$ is an irreducible smooth representation of $G$ that is taken to its dual by $θ$. The space $V$ of $π$ then carries a non-zero bilinear form $(\mspace{7mu},\mspace{6mu})$, unique up to scaling, with the invariance property $(π(g)v, π({}^θg)w) = (v,w)$, for $g \in G$ and $v, w \in V$. The form is easily seen to be symmetric or skew-symmetric and we set $\varepsilon_θ(π) = \pm1$ accordingly. We use Cassleman's pairing (in commonly observed circumstances) to express $\varepsilon_θ(π)$ in terms of certain Jacquet modules of $π$ and thus, via the Langlands classification, reduce the problem of determining the sign to the case of tempered representations. For the transpose-inverse involution of the general linear group, we show that the associated signs are always one. △ Less

Submitted 20 April, 2012; originally announced April 2012.

Comments: 16 pages

MSC Class: 22E50; 20G05

Approximate inference via variational sampling

Authors: Alexis Roche

Abstract: A new method called "variational sampling" is proposed to estimate integrals under probability distributions that can be evaluated up to a normalizing constant. The key idea is to fit the target distribution with an exponential family model by minimizing a strongly consistent empirical approximation to the Kullback-Leibler divergence computed using either deterministic or random sampling. It is sh… ▽ More A new method called "variational sampling" is proposed to estimate integrals under probability distributions that can be evaluated up to a normalizing constant. The key idea is to fit the target distribution with an exponential family model by minimizing a strongly consistent empirical approximation to the Kullback-Leibler divergence computed using either deterministic or random sampling. It is shown how variational sampling differs conceptually from both quadrature and importance sampling and established that, in the case of random independence sampling, it may have much faster stochastic convergence than importance sampling under mild conditions. The variational sampling implementation presented in this paper requires a rough initial approximation to the target distribution, which may be found, e.g. using the Laplace method, and is shown to then have the potential to substantially improve over several existing approximate inference techniques to estimate moments of order up to two of nearly-Gaussian distributions, which occur frequently in Bayesian analysis. In particular, an application of variational sampling to Bayesian logistic regression in moderate dimension is presented. △ Less

Submitted 14 October, 2013; v1 submitted 8 May, 2011; originally announced May 2011.

Comments: Additional logistic regression experiments, minor edits. Retrieved from http://www.sciencepubco.com/index.php/IJASP/article/view/1293

MSC Class: 62-04

Journal ref: International Journal Of Advanced Statistics And Probability, 1(3), 110-120

EM algorithm and variants: an informal tutorial

Authors: Alexis Roche

Abstract: The expectation-maximization (EM) algorithm introduced by Dempster et al in 1977 is a very general method to solve maximum likelihood estimation problems. In this informal report, we review the theory behind EM as well as a number of EM variants, suggesting that beyond the current state of the art is an even much wider territory still to be discovered. The expectation-maximization (EM) algorithm introduced by Dempster et al in 1977 is a very general method to solve maximum likelihood estimation problems. In this informal report, we review the theory behind EM as well as a number of EM variants, suggesting that beyond the current state of the art is an even much wider territory still to be discovered. △ Less

Submitted 7 September, 2012; v1 submitted 7 May, 2011; originally announced May 2011.

Comments: Unpublished

MSC Class: 62-01

Selection of a Model of Cerebral Activity for fMRI Group Data Analysis

Authors: Merlin Keller, Alexis Roche, Marc Lavielle

Abstract: This thesis is dedicated to the statistical analysis of multi-sub ject fMRI data, with the purpose of identifying bain structures involved in certain cognitive or sensori-motor tasks, in a reproducible way across sub jects. To overcome certain limitations of standard voxel-based testing methods, as implemented in the Statistical Parametric Map** (SPM) software, we introduce a Bayesian model sele… ▽ More This thesis is dedicated to the statistical analysis of multi-sub ject fMRI data, with the purpose of identifying bain structures involved in certain cognitive or sensori-motor tasks, in a reproducible way across sub jects. To overcome certain limitations of standard voxel-based testing methods, as implemented in the Statistical Parametric Map** (SPM) software, we introduce a Bayesian model selection approach to this problem, meaning that the most probable model of cerebral activity given the data is selected from a pre-defined collection of possible models. Based on a parcellation of the brain volume into functionally homogeneous regions, each model corresponds to a partition of the regions into those involved in the task under study and those inactive. This allows to incorporate prior information, and avoids the dependence of the SPM-like approach on an arbitrary threshold, called the cluster- forming threshold, to define active regions. By controlling a Bayesian risk, our approach balances false positive and false negative risk control. Furthermore, it is based on a generative model that accounts for the spatial uncertainty on the localization of individual effects, due to spatial normalization errors. On both simulated and real fMRI datasets, we show that this new paradigm corrects several biases of the SPM-like approach, which either swells or misses the different active regions, depending on the choice of a cluster-forming threshold. △ Less

Submitted 18 May, 2010; originally announced May 2010.

Comments: PhD Thesis, 208 pages, Applied Statistics and Neuroimaging, University of Orsay, France

Hypergeometric solutions for third order linear ODEs

Authors: Edgardo S. Cheb-Terrab, Austin D. Roche

Abstract: In this paper we present a decision procedure for computing pFq hypergeometric solutions for third order linear ODEs, that is, solutions for the classes of hypergeometric equations constructed from the 3F2, 2F2, 1F2 and 0F2 standard equations using transformations of the form {x -> F(x), y -> P(x) y}, where F(x) is rational in x and P(x) is arbitrary. A computer algebra implementation of this wo… ▽ More In this paper we present a decision procedure for computing pFq hypergeometric solutions for third order linear ODEs, that is, solutions for the classes of hypergeometric equations constructed from the 3F2, 2F2, 1F2 and 0F2 standard equations using transformations of the form {x -> F(x), y -> P(x) y}, where F(x) is rational in x and P(x) is arbitrary. A computer algebra implementation of this work is present in Maple 12. △ Less

Submitted 14 April, 2008; v1 submitted 24 March, 2008; originally announced March 2008.

Comments: 11 pages, submitted to Journal of Physics A: Mathematical and Theoretical, March/24/2008 v2: rewrite section 3 citing existing related work and correct references v3: update definition of Schwarzian derivative, fix signs in second example and add one more reference

MSC Class: 34-xx

The Level-0 Muon Trigger for the LHCb Experiment

Authors: E. Aslanides, J. -P. Cachemiche, J. Cogan, B. Dinkespiler, S. Favard, P. -Y. Duval, R. Le Gac, O. Leroy, P. -L. Liotard, F. Marin, M. Menouni, A. Roche, A. Tsaregorodtsev

Abstract: A very compact architecture has been developed for the first level Muon Trigger of the LHCb experiment that processes 40 millions of proton-proton collisions per second. For each collision, it receives 3.2 kBytes of data and it finds straight tracks within a 1.2 microseconds latency. The trigger implementation is massively parallel, pipelined and fully synchronous with the LHC clock. It relies o… ▽ More A very compact architecture has been developed for the first level Muon Trigger of the LHCb experiment that processes 40 millions of proton-proton collisions per second. For each collision, it receives 3.2 kBytes of data and it finds straight tracks within a 1.2 microseconds latency. The trigger implementation is massively parallel, pipelined and fully synchronous with the LHC clock. It relies on 248 high density Field Programable Gate arrays and on the massive use of multigigabit serial link transceivers embedded inside FPGAs. △ Less

Submitted 2 May, 2007; originally announced May 2007.

Comments: 33 pages, 16 figures, submitted to NIM A

Journal ref: Nucl.Instrum.Meth.A579:989-1004,2007

An Abel ordinary differential equation class generalizing known integrable classes

Authors: E. S. Cheb-Terrab, A. D. Roche

Abstract: We present a multi-parameter non-constant-invariant class of Abel ordinary differential equations with the following remarkable features. This one class is shown to unify, that is, contain as particular cases, all the integrable classes presented by Abel, Liouville and Appell, as well as all those shown in Kamke's book and various other references. In addition, the class being presented includes… ▽ More We present a multi-parameter non-constant-invariant class of Abel ordinary differential equations with the following remarkable features. This one class is shown to unify, that is, contain as particular cases, all the integrable classes presented by Abel, Liouville and Appell, as well as all those shown in Kamke's book and various other references. In addition, the class being presented includes other new and fully integrable subclasses, as well as the most general parameterized class of which we know whose members can systematically be mapped into Riccati equations. Finally, many integrable members of this class can be systematically mapped into an integrable member of a different class. We thus find new integrable classes from previously known ones. △ Less

Submitted 23 February, 2004; v1 submitted 8 February, 2000; originally announced February 2000.

Comments: 11 pages. Original version: Aug/1999. Related Maple programs for Abel ODEs are available at http://lie.uwaterloo.ca/odetools.htm

MSC Class: 34G20

Journal ref: European Journal of Applied Mathematics (2003), vol. 14, pp. 217-229

Integrating factors for second order ODEs

Authors: E. S. Cheb-Terrab, A. D. Roche

Abstract: A systematic algorithm for building integrating factors of the form mu(x,y), mu(x,y') or mu(y,y') for second order ODEs is presented. The algorithm can determine the existence and explicit form of the integrating factors themselves without solving any differential equations, except for a linear ODE in one subcase of the mu(x,y) problem. Examples of ODEs not having point symmetries are shown to b… ▽ More A systematic algorithm for building integrating factors of the form mu(x,y), mu(x,y') or mu(y,y') for second order ODEs is presented. The algorithm can determine the existence and explicit form of the integrating factors themselves without solving any differential equations, except for a linear ODE in one subcase of the mu(x,y) problem. Examples of ODEs not having point symmetries are shown to be solvable using this algorithm. The scheme was implemented in Maple, in the framework of the "ODEtools" package and its ODE-solver. A comparison between this implementation and other computer algebra ODE-solvers in tackling non-linear examples from Kamke's book is shown. △ Less

Submitted 8 February, 2000; originally announced February 2000.

Comments: 21 pages - original version submitted Nov/1997. Related Maple programs for finding integrating factors together with the ODEtools package (versions for MapleV R4 and MapleV R5) are available at http://lie.uwaterloo.ca/odetools.htm

MSC Class: 34G20

Journal ref: Journal of Symbolic Computation, V. 27, No. 5, pp. 501-519 (1999)

Abel ODEs: Equivalence and Integrable Classes

Authors: E. S. Cheb-Terrab, A. D. Roche

Abstract: A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of the works by Abel, Liouville and Appell, is also shown. Computer algebra routines were developed to solve ODEs members of these classes by solving their rela… ▽ More A classification, according to invariant theory, of non-constant invariant Abel ODEs known as solvable and found in the literature is presented. A set of new integrable classes depending on one or no parameters, derived from the analysis of the works by Abel, Liouville and Appell, is also shown. Computer algebra routines were developed to solve ODEs members of these classes by solving their related equivalence problem. The resulting library permits a systematic solving of Abel type ODEs in the Maple symbolic computing environment. △ Less

Submitted 25 January, 2000; originally announced January 2000.

Comments: 31 pages; accepted (Jan/2000) for publication in Computer Physics Communications. Related maple programs for Abel ODEs together with the ODEtools package are available at http://lie.uwaterloo.ca/odetools.htm

MSC Class: 34G20

Integrating Factors and ODE Patterns

Authors: E. S. Cheb-Terrab, A. D. Roche, .

Abstract: A systematic algorithm for building integrating factors of the form mu(x,y') or mu(y,y') for non-linear second order ODEs is presented. When such an integrating factor exists, the algorithm determines it without solving any differential equations. Examples of ODEs not having point symmetries are shown to be solvable using this algorithm. The scheme was implemented in Maple, in the framework of t… ▽ More A systematic algorithm for building integrating factors of the form mu(x,y') or mu(y,y') for non-linear second order ODEs is presented. When such an integrating factor exists, the algorithm determines it without solving any differential equations. Examples of ODEs not having point symmetries are shown to be solvable using this algorithm. The scheme was implemented in Maple, in the framework of the ODEtools package and its ODE-solver. A comparison between this implementation and other computer algebra ODE-solvers in tackling non-linear examples from Kamke's book is shown. △ Less

Submitted 1 June, 1998; v1 submitted 26 November, 1997; originally announced November 1997.

Comments: 23 pages, LaTeX, revised version for the Journal of Symbolic Computation. Soft-package (On-Line help) and sample MapleV sessions available at: http://dft.if.uerj.br/odetools.htm or http://lie.uwaterloo.ca/odetools.htm HTML Demo at: http://lie.uwaterloo.ca/demos/odetools_intfactor.html