2,323 research outputs found
GAILLARD Alexandre Théodore
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. GAILLARD Alexandre Théodore. 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. 361-362. (Histoire biographique de l'enseignement, 11
Carcassonne, le couvent des franciscains
No full textBergeret Agnès, Remy Isabelle, Réveillas Hélène, Gaillard Arnaud. Carcassonne, le couvent des franciscains. In: Archéologie du Midi médiéval. Tome 25, 2007. pp. 165-170
Aurélia Gaillard : Le Corps des statues, le vivant et son simulacre à l'âge classique (de Descartes à Diderot ), 2003
No full textVissière Isabelle. Aurélia Gaillard : Le Corps des statues, le vivant et son simulacre à l'âge classique (de Descartes à Diderot ), 2003. In: Dix-huitième Siècle, n°36, 2004. Femmes des Lumières. p. 579
Isabelle Gaillard, La télévision. Histoire d’un objet de consommation, 1945-1985
No full textAvec cet ouvrage issu d’une thèse soutenue en 2006, Isabelle Gaillard, maître de conférences en histoire contemporaine à l’université Pierre-Mendès-France de Grenoble, revient sur une période de l’histoire de la télévision qui, sans être éloignée dans le temps, fonctionnait selon des logiques totalement différentes – et souvent antinomiques – avec celles qui domineront « la télévision » par la suite. En effet, l’ouvrage trouve son unité conceptuelle en délimitant une période qui va de l’aprè..
Isabelle Gaillard, La télévision. Histoire d’un objet de consommation, 1945-1985
No full textAvec cet ouvrage issu d’une thèse soutenue en 2006, Isabelle Gaillard, maître de conférences en histoire contemporaine à l’université Pierre-Mendès-France de Grenoble, revient sur une période de l’histoire de la télévision qui, sans être éloignée dans le temps, fonctionnait selon des logiques totalement différentes – et souvent antinomiques – avec celles qui domineront « la télévision » par la suite. En effet, l’ouvrage trouve son unité conceptuelle en délimitant une période qui va de l’aprè..
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
La télévision. Histoire d'un objet de consommation, 1945-1985
No full textPasser du statut d'invention à celui d'institution... difficile objectif que la télévision remplit pourtant parfaitement au cours des années 1945-1985. Suivant ce constat, l'auteur tente dans cet ouvrage de comprendre comment la " boîte aux images ", ignorée de neuf Français sur dix dans les années 1950, est devenue en une trentaine d'années seulement la " télé ", cet élément incontournable du quotidien. En saisissant les différents moments clés de l'histoire d'un objet devenu culte, elle détaille ici sa fulgurante ascension à travers trois grands moments : d'un produit de laboratoire, " l'étrange lucarne " incarne ensuite la convoitise pour finir comme un banal objet du quotidien, symbolique de l'accès aux loisirs et au bien-être, dans les années 1980. Revisitant la période des Trente Glorieuses par le prisme d'une histoire de la consommation de masse, Isabelle Gaillard parvient dans cette étude à mettre en avant le rôle des divers acteurs du marché de la télévision, à en déterminer les enjeux. Plus que l'histoire d'un objet, c'est celle des protagonistes d'une société de biens en pleine mutation qu'elle transmet dans ce livre
La télévision. Histoire d'un objet de consommation, 1945-1985
No full textPasser du statut d'invention à celui d'institution... difficile objectif que la télévision remplit pourtant parfaitement au cours des années 1945-1985. Suivant ce constat, l'auteur tente dans cet ouvrage de comprendre comment la " boîte aux images ", ignorée de neuf Français sur dix dans les années 1950, est devenue en une trentaine d'années seulement la " télé ", cet élément incontournable du quotidien. En saisissant les différents moments clés de l'histoire d'un objet devenu culte, elle détaille ici sa fulgurante ascension à travers trois grands moments : d'un produit de laboratoire, " l'étrange lucarne " incarne ensuite la convoitise pour finir comme un banal objet du quotidien, symbolique de l'accès aux loisirs et au bien-être, dans les années 1980. Revisitant la période des Trente Glorieuses par le prisme d'une histoire de la consommation de masse, Isabelle Gaillard parvient dans cette étude à mettre en avant le rôle des divers acteurs du marché de la télévision, à en déterminer les enjeux. Plus que l'histoire d'un objet, c'est celle des protagonistes d'une société de biens en pleine mutation qu'elle transmet dans ce livre
Christine Vergnolle-Mainar et Bertrand Desailly (dir.) Environnement et Sociétés : Territoires, Risques, Développement et Éducation
No full textGaillard Jean-Christophe. Christine Vergnolle-Mainar et Bertrand Desailly (dir.) Environnement et Sociétés : Territoires, Risques, Développement et Éducation. In: Revue de géographie alpine, tome 94, n°4, 2006. La montagne comme ménagerie / Mountain areas as menageries sous la direction de Isabelle Mauz. p. 135
- …
