Denis Richard - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2022

Impact of weight loss on brain age: Improved brain health following bariatric surgeryYashar 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. neuroimage, 259:119415, 2022. [doi]

2021

Spontaneous neural activity changes after bariatric surgery: A resting-state fMRI studyYashar 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. neuroimage, 241:118419, 2021. [doi]

2020

Neuroanatomical changes in white and grey matter after sleeve gastrectomyAndré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. neuroimage, 213:116696, 2020. [doi]

2007

On the Additive Theory of Prime NumbersPatrick Cégielski, Denis Richard, Maxim Vsemirnov. FUIN, 81(1-3):83-96, 2007. [doi]

2003

On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremityPatrick Cégielski, François Heroult, Denis Richard. TCS, 1(303):53-62, 2003. [doi]

2001

Decidability of the theory of the natural integers with the cantor pairing function and the successorPatrick Cégielski, Denis Richard. TCS, 257(1-2):51-77, 2001. [doi]

What are weak arithmetics?Denis Richard. TCS, 257(1-2):17-29, 2001. [doi]

1999

On Arithmetical First-Order Theories Allowing Encoding and Decoding of ListsPatrick Cégielski, Denis Richard. TCS, 222(1-2):55-75, 1999. [doi]

1998

Undecidable Extensions of Skolem ArithmeticAlexis Bès, Denis Richard. JSYML, 63(2):379-401, 1998.

1997

Preface - Logic Colloquium 94, 21-30 July 1994, Clermont-Ferrand, FrancePatrick Cégielski, Leszek Pacholski, Denis Richard, Jerzy Tomasik, Alex Wilkie. APAL, 89(1):1, 1997.

1996

Definability and Decidability Issues in Extensions of the Integers with the Divisibility PredicatePatrick Cégielski, Yuri Matiyasevich, Denis Richard. JSYML, 61(2):515-540, 1996.

Back and Forth between Continuous and Discrete for the Working Computer ScientistJean-Pierre Reveillès, Denis Richard. AMAI, 16:89-152, 1996.

1989

Definability in Terms of the Successor Function and the Coprimeness Predicate in the Set of Arbitrary IntegersDenis Richard. JSYML, 54(4):1253-1287, 1989.

1985

The Minisum and Minimax Location Problems RevisitedPierre Hansen, Dominique Peeters, Denis Richard, Jacques-François Thisse. ior, 33(6):1251-1265, 1985. [doi]

PrefaceMaurice Pouzet, Denis Richard. DM, 53:1-2, 1985. [doi]

Answer to a Problem Raised by J. Robinson: the Arithmetic of Positive or Negative Integers is Definable From Successor and DivisibilityDenis Richard. JSYML, 50(4):927-935, 1985.

All arithmetical sets of powers of primes are first-order definable in terms of the successor function and the coprimeness predicateDenis Richard. DM, 53:221-247, 1985. [doi]

Sign in or sign up to see more results.

runs on WebDSL