Denis Richard

17 papers Journal 17
YearRankTypeTitle / Venue / Authors
2022 J jnl
Impact of weight loss on brain age: Improved brain health following bariatric surgery.
NeuroImage
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
2021 J jnl
Spontaneous neural activity changes after bariatric surgery: A resting-state fMRI study.
NeuroImage
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
2020 J jnl
Neuroanatomical changes in white and grey matter after sleeve gastrectomy.
NeuroImage
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
2007 J jnl
On the Additive Theory of Prime Numbers.
Fundam. Informaticae
Patrick Cégielski, Denis Richard, Maxim Vsemirnov
2003 J jnl
On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity.
Theor. Comput. Sci.
Patrick Cégielski, François Heroult, Denis Richard
2001 J jnl
Decidability of the theory of the natural integers with the cantor pairing function and the successor.
Theor. Comput. Sci.
Patrick Cégielski, Denis Richard
2001 J jnl
What are weak arithmetics?
Theor. Comput. Sci.
Denis Richard
1999 J jnl
On Arithmetical First-Order Theories Allowing Encoding and Decoding of Lists.
Theor. Comput. Sci.
Patrick Cégielski, Denis Richard
1998 J jnl
Undecidable Extensions of Skolem Arithmetic.
J. Symb. Log.
Alexis Bès, Denis Richard
1997 J jnl
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Ann. Pure Appl. Log.
Patrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie
1996 J jnl
Back and Forth between Continuous and Discrete for the Working Computer Scientist.
Ann. Math. Artif. Intell.
Jean-Pierre Reveillès, Denis Richard
1996 J jnl
Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate.
J. Symb. Log.
Patrick Cégielski, Yuri V. Matiyasevich, Denis Richard
1989 J jnl
Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary Integers.
J. Symb. Log.
Denis Richard
1985 J jnl
All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicate.
Discret. Math.
Denis Richard
1985 J jnl
Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and Divisibility.
J. Symb. Log.
Denis Richard
1985 J jnl
Preface.
Discret. Math.
Maurice Pouzet, Denis Richard
1985 J jnl
The Minisum and Minimax Location Problems Revisited.
Oper. Res.
Pierre Hansen, Dominique Peeters, Denis Richard, Jacques-François Thisse