Denis Richard

Publication Activity (10 Years)

Years Active: 1985-2022
Publications (10 Years): 3

Top Topics

Multiple Sclerosis Lesions

Computational Neuroscience

Cerebrospinal Fluid

Top Venues

Publications

Yashar Zeighami, Mahsa Dadar, Justine Daoust, Mélissa Pelletier, Laurent Biertho, Léonie Bouvet-Bouchard, Stephanie Fulton, André Tchernof, Alain Dagher, Denis Richard, Alan C. Evans, Andréanne Michaud
Impact of weight loss on brain age: Improved brain health following bariatric surgery. NeuroImage 259 (2022)
Yashar Zeighami, Sylvain Iceta, Mahsa Dadar, Mélissa Pelletier, Mélanie Nadeau, Laurent Biertho, Annie Lafortune, André Tchernof, Stephanie Fulton, Alan C. Evans, Denis Richard, Alain Dagher, Andréanne Michaud
Spontaneous neural activity changes after bariatric surgery: A resting-state fMRI study. NeuroImage 241 (2021)
Andréanne Michaud, Mahsa Dadar, Mélissa Pelletier, Yashar Zeighami, Isabel Garcia-Garcia, Sylvain Iceta, Yvonne Yau, Mélanie Nadeau, Simon Marceau, Laurent Biertho, André Tchernof, D. Louis Collins, Denis Richard, Alain Dagher
Neuroanatomical changes in white and grey matter after sleeve gastrectomy. NeuroImage 213 (2020)
Patrick Cégielski, Denis Richard, Maxim Vsemirnov
On the Additive Theory of Prime Numbers. Fundam. Informaticae 81 (1-3) (2007)
Patrick Cégielski, François Heroult, Denis Richard
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity. Theor. Comput. Sci. 303 (1) (2003)
Denis Richard
What are weak arithmetics? Theor. Comput. Sci. 257 (1-2) (2001)
Patrick Cégielski, Denis Richard
Decidability of the theory of the natural integers with the cantor pairing function and the successor. Theor. Comput. Sci. 257 (1-2) (2001)
Patrick Cégielski, Denis Richard
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists. Theor. Comput. Sci. 222 (1-2) (1999)
Alexis Bès, Denis Richard
Undecidable Extensions of Skolem Arithmetic. J. Symb. Log. 63 (2) (1998)
Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France. Ann. Pure Appl. Log. 89 (1) (1997)
Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. J. Symb. Log. 61 (2) (1996)
Jean-Pierre Reveillès, Denis Richard
Back and Forth between Continuous and Discrete for the Working Computer Scientist. Ann. Math. Artif. Intell. 16 (1996)
Denis Richard
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers. J. Symb. Log. 54 (4) (1989)
Denis Richard
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility. J. Symb. Log. 50 (4) (1985)
Maurice Pouzet, Denis Richard
Preface. Discret. Math. 53 (1985)
Denis Richard
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate. Discret. Math. 53 (1985)
Pierre Hansen, Dominique Peeters, Denis Richard, Jacques-François Thisse
The Minisum and Minimax Location Problems Revisited. Oper. Res. 33 (6) (1985)