1,970 research outputs found
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
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
La narration pour développer la production orale en Toute Petite Section / Petite Section
No full textThis dissertation focuses on the language production of children who are in first year of nursery school, year in which language heterogeneity is very high. The aim of this work is to observe, through a narrative task, the improvement in young children's oral lexical and syntactic skills. This objective led me to establish groups of homogeneous language levels in order to work on different language objectives. It is based on the PArler Raconter en Maternelle (PARM) approach by Laurence Buson, Solange Rossato and Isabelle Rousset (JLC, 2023) and more specifically on two albums, Chat Noé and Abracablabla! After outlining current knowledge on the subject, this work proposes an experiment set up in a class of double level in Cycle 1. The analyses will look only at the Petits parleurs and Bons parleurs groups. The results of the study show the importance of working on oral language in small level groups and the effectiveness of storytelling in developing young children's oral production.Ce mémoire s’intéresse à la production langagière des élèves de première année de maternelle, année durant laquelle l’hétérogénéité langagière est très importante. L’objectif de ce travail est d’observer à travers une tâche de narration, l’amélioration des compétences lexicales et syntaxiques à l’oral des jeunes enfants. Cet objectif m’a conduit à établir des groupes de niveaux langagiers homogènes afin de travailler des objectifs langagiers différents. Il prend appuie sur la démarche PArler Raconter en Maternelle (PARM) de Laurence Buson, Solange Rossato et Isabelle Rousset (JLC, 2023) et plus précisément sur deux albums, Chat Noé et Abracablabla !. Après avoir exposé les connaissances actuelles sur ce sujet, ce travail propose une expérimentation mise en place dans une classe de double niveau de Cycle 1. Les analyses regarderont seulement le groupe des Petits parleurs et celui des Bons parleurs. Les résultats de l’étude menée montrent l’importance de travailler l’oral en petits groupes de niveaux et l’efficacité du travail de narration pour développer la production orale des jeunes enfants
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
Isabelle Bell to Susan Niemcewicz, December 23, 1800
No full textIsabelle Bell wrote to Susan U. Niemcewicz in Elizabethtown, New Jersey. Bell expressed her disappointment in not receiving a line from Susan. She sent Bell Lucretia Rephans subscription epistle, but Susan refrained from writing a letter to her. Bell did not execute any of Susan’s commissions in New York because her time there was short. Miss Resham heard that Mr. B Livingston told his sister, Mrs. J. Livingston that he would offer Bell a salary to live in his house and take charge of his children’s education. Asked if Susan what she thought of her being an author and if Susan would subscribe to a small volume that may have the good fortune to rival the poems of the immortal Scarron.https://digitalcommons.kean.edu/lhc_1800s/1143/thumbnail.jp
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
: A software platform for centralizing, enriching and spatializing heterogeneous data
No full textContributeurs : Violette Abergel, Marco Callieri, Isabelle Cao, Livio De Luca, Anaïs Guillem, Olivier Malavergne, Adeline Manuel, Ariane Néroulidis, Thomas Pouyet, Roxane Roussel, Miled Rousset, Sarah Tournon, Aurore Pfitzmann //Author contributions : Conceptualization: L.D.L.; Data curation: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Formal analysis: ; Funding acquisition: L.D.L.; Investigation: ; Methodology: ; Project administration: L.D.L., A.P.; Resources: ; Software: ; Supervision: L.D.L.; Validation: L.D.L.; Visualization: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – original draft: V.A., M.C., I.C., L.D.L., A.G., O.M., A.M., A.N., T.P., R.R., M.R., S.T.; Writing – review & editing: L.D.L.International audiencePresentation of the tools making up the n-Dame ecosystem designed by members of the “Digital Data” Working Group of the Chantier Scientifique Notre-Dame.Présentation des outils composant l'écosystème n-Dame conçu par les membres du Groupe de Travail "Données numériques" du Chantier Scientifique Notre-Dame
- …
