3,202 research outputs found
SIMONIS Adolphe Dominique Florent Joseph dit SIMONIS-EMPIS
No full textHavelange Isabelle, Huguet Françoise, Lebedeff-Choppin Bernadette. SIMONIS Adolphe Dominique Florent Joseph dit SIMONIS-EMPIS. 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. 613-614. (Histoire biographique de l'enseignement, 11
Camil Ménard et Florent Villeneuve (dir.), Spiritualité contemporaine, Défis culturels et théologiques, Québec, Fides (coll. Héritage et projet), 1996
No full textGrellier Isabelle. Camil Ménard et Florent Villeneuve (dir.), Spiritualité contemporaine, Défis culturels et théologiques, Québec, Fides (coll. Héritage et projet), 1996. In: Revue d'histoire et de philosophie religieuses, 78e année n°1, Janvier-mars 1998. pp. 111-112
Camil Ménard et Florent Villeneuve (dir.), Spiritualité contemporaine, Défis culturels et théologiques, Québec, Fides (coll. Héritage et projet), 1996
No full textGrellier Isabelle. Camil Ménard et Florent Villeneuve (dir.), Spiritualité contemporaine, Défis culturels et théologiques, Québec, Fides (coll. Héritage et projet), 1996. In: Revue d'histoire et de philosophie religieuses, 78e année n°1, Janvier-mars 1998. pp. 111-112
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
De la fourche à la fourchette : agro-alimentaire et traçabilité numérique
No full textTable ronde, avec Jean-François Heymans, Pascal Leglise, Isabelle Piot-Lepetit, Florent Saucède, Marianne Sindic, Antoine ClinquartInternational audienc
Convertisseur de matrice
No full textUtilitaire gratuit pour Windows - ESO Rennes - https://github.com/ESO-Rennes/convertisseur-matriceCet utilitaire permet de convertir très simplement et en quelques clics, une matrice (tableau à double entrée) vers un tableau à 3 colonnes et vice-versa. "Convertisseur de matrices" est un utilitaire qui a été développé en 2009 en C++ au sein du laboratoire ESO-Rennes (UMR 6590 CNRS à l'Université Rennes 2). Le cadrage fonctionnel a été défini par Florent Demoraes (Enseignant-chercheur en géographie) et le logiciel a été programmé par Isabelle Brémond (Ingénieur d'étude en informatique). Ce développement a répondu à un besoin exprimé dans le cadre d'un programme financé par l'ANR METAL (Métropoles d'Amérique latine dans la mondialisation : reconfigurations territoriales, mobilité spatiale, action publique, piloté par Françoise Dureau). Il comble ainsi un manque dans la mesure où aucun utilitaire équivalent aussi facile d'emploi n'existait à l'époque. Les tableaux ainsi formatés en 3 colonnes peuvent servir de fichiers d’entrée au "calculateur de voisinage" (voir référence hal-01280319). "Convertisseur de matrices" est un logiciel gratuit fonctionnant sous Windows. Vous pouvez le télécharger et l'utiliser librement. Nous vous demandons simplement de citer « Convertisseur de matrices - Laboratoire ESO-Rennes - UMR 6590 CNRS - Université Rennes 2 » si vous publiez des travaux dans lesquels vous l'utilisez. Si vous souhaitez optimiser cet utilitaire, ou obtenir de plus amples renseignements sur le code source de l'application, veuillez contacter Isabelle Brémond ([email protected]). L'installateur du logiciel, le manuel d'utilisation et un jeu de données d'exemple sont fournis sur GitHub
Convertisseur de matrice
No full textUtilitaire gratuit pour Windows - ESO Rennes - https://github.com/ESO-Rennes/convertisseur-matriceCet utilitaire permet de convertir très simplement et en quelques clics, une matrice (tableau à double entrée) vers un tableau à 3 colonnes et vice-versa. "Convertisseur de matrices" est un utilitaire qui a été développé en 2009 en C++ au sein du laboratoire ESO-Rennes (UMR 6590 CNRS à l'Université Rennes 2). Le cadrage fonctionnel a été défini par Florent Demoraes (Enseignant-chercheur en géographie) et le logiciel a été programmé par Isabelle Brémond (Ingénieur d'étude en informatique). Ce développement a répondu à un besoin exprimé dans le cadre d'un programme financé par l'ANR METAL (Métropoles d'Amérique latine dans la mondialisation : reconfigurations territoriales, mobilité spatiale, action publique, piloté par Françoise Dureau). Il comble ainsi un manque dans la mesure où aucun utilitaire équivalent aussi facile d'emploi n'existait à l'époque. Les tableaux ainsi formatés en 3 colonnes peuvent servir de fichiers d’entrée au "calculateur de voisinage" (voir référence hal-01280319). "Convertisseur de matrices" est un logiciel gratuit fonctionnant sous Windows. Vous pouvez le télécharger et l'utiliser librement. Nous vous demandons simplement de citer « Convertisseur de matrices - Laboratoire ESO-Rennes - UMR 6590 CNRS - Université Rennes 2 » si vous publiez des travaux dans lesquels vous l'utilisez. Si vous souhaitez optimiser cet utilitaire, ou obtenir de plus amples renseignements sur le code source de l'application, veuillez contacter Isabelle Brémond ([email protected]). L'installateur du logiciel, le manuel d'utilisation et un jeu de données d'exemple sont fournis sur GitHub
Convertisseur de matrice
No full textUtilitaire gratuit pour Windows - ESO Rennes - https://github.com/ESO-Rennes/convertisseur-matriceCet utilitaire permet de convertir très simplement et en quelques clics, une matrice (tableau à double entrée) vers un tableau à 3 colonnes et vice-versa. "Convertisseur de matrices" est un utilitaire qui a été développé en 2009 en C++ au sein du laboratoire ESO-Rennes (UMR 6590 CNRS à l'Université Rennes 2). Le cadrage fonctionnel a été défini par Florent Demoraes (Enseignant-chercheur en géographie) et le logiciel a été programmé par Isabelle Brémond (Ingénieur d'étude en informatique). Ce développement a répondu à un besoin exprimé dans le cadre d'un programme financé par l'ANR METAL (Métropoles d'Amérique latine dans la mondialisation : reconfigurations territoriales, mobilité spatiale, action publique, piloté par Françoise Dureau). Il comble ainsi un manque dans la mesure où aucun utilitaire équivalent aussi facile d'emploi n'existait à l'époque. Les tableaux ainsi formatés en 3 colonnes peuvent servir de fichiers d’entrée au "calculateur de voisinage" (voir référence hal-01280319). "Convertisseur de matrices" est un logiciel gratuit fonctionnant sous Windows. Vous pouvez le télécharger et l'utiliser librement. Nous vous demandons simplement de citer « Convertisseur de matrices - Laboratoire ESO-Rennes - UMR 6590 CNRS - Université Rennes 2 » si vous publiez des travaux dans lesquels vous l'utilisez. Si vous souhaitez optimiser cet utilitaire, ou obtenir de plus amples renseignements sur le code source de l'application, veuillez contacter Isabelle Brémond ([email protected]). L'installateur du logiciel, le manuel d'utilisation et un jeu de données d'exemple sont fournis sur GitHub
“Laboratoires” innovateurs pour l’habitabilité des espaces montagneux: exemples vertueux dans l’Apennin émilien (Italie)
No full textL’Apennin émilien, comme de nombreux espaces de montagne, n’échappe pas à l’épineux problème démographique du vieillissement de la population d’une part et de la dépopulation d’autre part. En outre, malgré la con-fiance excessive de nombreuses personnes dans la puissance des « nou-velles » technologies et dans leurs capacités à rapprocher et à virtuali-ser, certaines réalités montrent très clairement que l’ère de la communi-cation numérique n’a pas annulé la prégnance du milieu et encore moins la distance euclidienne et son impact sur le fonctionnement des sociétés. Le départ contraint de la population jeune par absence de perspectives s’est accompagné par celui des plus âgés, désarmés face à la disparition pro-gressive des commerces et des services de proximité. La délicate situa-tion budgétaire de la plupart des administrations locales et régionales a en outre aggravé ces problèmes.
S’il reste essentiel que les politiques publiques et le troisième secteur s’occupent des zones marginales de montagne, il devient encore plus important que les citoyens jouent un rôle actif dans l’élaboration d’actions qui s’opposent au déclin de ces territoires. Ce déclin prend bien entendu différentes formes : de l’immédiate dégradation environne-mentale à la plus discrète mais non moins importante amnésie collective et institutionnelle.
En réaction à ces problèmes, plusieurs types de propositions mises en œuvre avec succès sont apparus ponctuellement ces dernières années dans l’Apennin émilien, dont ceux qui sont l’objet de ce texte
I remember teaching English at Seabrook
No full textIn this "I remember" memoir, Isabell Waugh, a former teacher at Seabrook, compares and constrasts the different groups of students she taught. She remembers that native-born American teenagers tended to be more concerned with athletics and social activities, than academic matters. In comparison, Estonian and Japanese parents did not tolerate low academic performance, so students from the two groups often competed intensely with each other for academic achievement and recognition. Isabelle recalls that the Estonians were, in general, more sophisticated and better educated. Most of the children knew 3-5 languages, and were more advanced in math and science. She sensed that some Estonian parents felt that their homes at Seabrook were temporary, and that they would be returning to Estonia at some point. The Seabrook Educational and Cultural Center has been soliciting current and past residents of Seabrook Farms for an "I remember" project. Residents are asked to create narratives regarding their experiences at Seabrook Farms. These memories help preserve the history and multi-cultural heritage of Seabrook Farms
- …
