5,949 research outputs found
BRUNEL Mathieu Ismaël
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. BRUNEL Mathieu Ismaël. In: Havelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. Les inspecteurs généraux de l'Instruction publique. Dictionnaire biographique 1802-1914. Paris : Institut national de recherche pédagogique, 1986. pp. 199-200. (Histoire biographique de l'enseignement, 11
Ariane Brun del Re, Isabelle Kirouac Massicotte et Mathieu Simard, dir. L’espace-temps dans les littératures périphériques du Canada
No full textAriane Brun del Re, Isabelle Kirouac Massicotte et Mathieu Simard, dir. L’espace-temps dans les littératures périphériques du Canada
Compte rend
Ariane Brun del Re, Isabelle Kirouac Massicotte et Mathieu Simard, dir. L’espace-temps dans les littératures périphériques du Canada
No full textAriane Brun del Re, Isabelle Kirouac Massicotte et Mathieu Simard, dir. L’espace-temps dans les littératures périphériques du Canada
Compte rend
Cut-elimination, substitution and normalisation
No full textDate of Acceptance: 01/2015We present a proof (of the main parts of which there is a formal version, checked with the Isabelle proof assistant) that, for a G3-style calculus covering all of intuitionistic zero-order logic, with an associated term calculus, and with a particular strongly normalising and confluent system of cut-reduction rules, every reduction step has, as its natural deduction translation, a sequence of zero or more reduction steps (detour reductions, permutation reductions or simplifications). This complements and (we believe) clarifies earlier work by (e.g.) Zucker and Pottinger on a question raised in 1971 by Kreisel.Peer reviewe
Les procès criminels de Saint-Denis-d’Anjou et Chemiré-sur-Sarthe (1501-1512)
No full textRegistre des procès criminels de Saint-Denis-d’Anjou et de Chemiré-sur-Sarthe Isabelle Mathieu Conservés dans les dépôts des Archives départementales de Maine-et-Loire, les procès criminels de Saint-Denis et Chemiré offrent un témoignage direct de la vie judiciaire telle qu’elle peut se dérouler au Bas Moyen Âge. Les châtellenies de Saint-Denis-d’Anjou et Chemiré-sur-Sarthe, situées aux confins nord de l’Anjou, appartiennent à l’important temporel du chapitre de la cathédrale Saint-Maurice ..
Les justices seigneuriales en Anjou et dans le Maine (Isabelle Mathieu)
No full textParution : Isabelle Mathieu, Les justices seigneuriales en Anjou et dans le Maine à la fin du Moyen Âge, Rennes, Presses universitaires de Rennes, 2011. La présente étude s’attache à décrypter l’organisation et le fonctionnement de juridictions situées au premier niveau de l’appareil judiciaire. Longtemps dépeintes comme inefficaces, incompétentes, partiales et même âpres au gain, les justices seigneuriales font l’objet, depuis plusieurs années déjà, d’une révision historiographique qui montr..
Isabelle Mathieu. Les justices seigneuriales en Anjou et dans le Maine à la fin du Moyen Âge. Rennes : Presses universitaires de Rennes, 2011
No full textGlogowski Inès. Isabelle Mathieu. Les justices seigneuriales en Anjou et dans le Maine à la fin du Moyen Âge. Rennes : Presses universitaires de Rennes, 2011. In: Bibliothèque de l'école des chartes. 2011, tome 169, livraison 2. pp. 625-627
Collectionner : une vie pour l’art - Mathieu Mercier
No full textCette plaquette accompagne l’exposition d’une partie de la collection de l’artiste Mathieu Mercier au centre d’art Micro-ondes de Vélizy. C’est là un objet à bien des égards déconcertant et, il faut le dire, frustrant. Il se compose de textes/portraits de collectionneurs (outre Mathieu Mercier, Daniel Bosser, Jacques Charles, Claire et François Durand-Rueil, Isabelle et Jean-Conrad Lemaître) et d’un ensemble de photographies d’Aurélien Mole accompagné d’un texte du même Mole. Trop littéraux e..
Séminaire "Chantiers de l'écologie politique", 3e séance : Isabelle Stengers / Mathieu Potte-Bonneville, 21 décembre 2012, Paris-Ouest
No full textLa 3e séance du séminaire "Chantiers de l'écologie politique" accueillera Isabelle Stengers (Université Libre de Bruxelles, GECo), pour "Fabuler notre avenir. Science fiction et écologie." Mathieu Potte-Bonneville (ENS Lyon) sera son discutant. Date Vendredi 21 décembre, 14h-16h Lieu Université Paris Ouest Nanterre La Défense Bâtiment E, salle 108 Comment venir ? par le train et le RER Plan du campus de Paris Ouest Nanterre La Défense Présentation du séminaire Ce séminaire a pour ambition d’..
sj-docx-1-cjo-10.1177_00084174221088417 - Supplemental material for Participation and Functional Independence in Adults With Recessive Spastic Ataxia of Charlevoix-Saguenay
No full textSupplemental material, sj-docx-1-cjo-10.1177_00084174221088417 for Participation and Functional Independence in Adults With Recessive Spastic Ataxia of Charlevoix-Saguenay by Samar Muslemani, Isabelle Lessard, Caroline Lavoie, Isabelle Côté, Bernard Brais, Jean Mathieu, and Cynthia Gagnon in Canadian Journal of Occupational Therapy</p
- …
