3,875 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
Interviews with Carl T. Bode, Isabelle Fritschen, Joseph H. Hirt, Mary G. Hirt, and Minnie Campbell
No full textInterviews with Carl T. Bode, Isabelle Fritschen, Joseph H. Hirt, Mary G. Hirt, and Minnie Campbell. The recording includes a variety of German-language songs. The last half of the recording is dedicated to Minnie Campbell telling about her time working for Mother Bickerdyke. The first few minutes of the recording are missing. 00:00:13 - Song, The Messenger Bird sung by Joseph H. Hirt and translated by Isabelle Fritschen 00:01:35 - Song, Birdie in the Window, sung by Mary Gertrude Hirt 00:02:59 - Story of Peter John Thielen\u27s experience in the Franco-Prussian War told by Joseph Hirt 00:05:27 - Grandfather\u27s experience with wild cattle told by Isabelle Fritschen 00:07:31 - Carl T. Bode introduction 00:08:46 - Nursery rhyme about hands 00:09:09 - The Cuckoo and the Donkey 00:09:42 - Sleep Baby Sleep 00:10:24 - Golden Evening Sun 00:11:00 - Beautiful Moon 00:12:10 - My Homeland 00:13:50 - Minnie Campbell Introduction 00:14:05 - Experiences as Mother Bickerdyke\u27s secretary 00:14:35 - Mother Bickerdyke\u27s 81st birthday celebration in Bunker Hill, KS 00:19:59 - Mother Bickerdyke\u27s portrait 00:23:55 - How Lydia Foster, Mother Bickerdyke\u27s Black maid came to live with her. 00:26:34 - Mother Bickerdyke\u27s death 00:29:34 - Mother Bickerdyke\u27s burial in Galesburg, Illinois 00:30:28 - Working for Mother Bickerdyke 00:34:01 - Going to School as a student of James Bickerdyke, Mother Bickerdyke\u27s son 00:35:26 - Decline of Bunker Hill, KS 00:37:15 - Russell stealing the county seat from Bunker Hill 00:38:09 - Closing of the Dorrance, KS bank 00:39:00 - Mother Bickerdyke\u27s personality 00:42:34 - Experience with Nina Brown Baker author of Cyclone in Calico 00:48:24 - Mother Bickerdyke Home for Widows and Children in Ellsworth, KS 00:51:13 - Post scripthttps://scholars.fhsu.edu/sackett/1014/thumbnail.jp
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
Recommended from our members
Summary of ISABELLE cryogenic systems workshop
No full textTwenty-four people participated in the ISABELLE Cryogenic System Workshop which was held on June 2 and 3, 1976. The magnet cooling system for ISABELLE, as described in the new proposal, utilizes supercritical helium as the refrigerant instead of pool-boiling helium as in earlier proposals. This new and more cost-effective system was described in detail with discussion of the design parameters for the refrigerator itself, turbomachinery required and the refrigerant distribution system. The testing and prototype development program for ISABELLE cryogenic system components was also reviewed. A small cryogenic turbocompressor/expander system is now on order for testing with an ISABELLE half-cell (2 dipoles and 1 quadrupole)
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
Jean-Michel Leniaud et Isabelle Saint-Martin dir., Historiographie de l'histoire de l'art religieux en France à l'époque moderne et contemporaine, bilan bibliographique (1975-2000) et perspectives
No full textBellamy-Brown Sybille. Jean-Michel Leniaud et Isabelle Saint-Martin dir., Historiographie de l'histoire de l'art religieux en France à l'époque moderne et contemporaine, bilan bibliographique (1975-2000) et perspectives. In: Livraisons d'histoire de l'architecture, n°11, 1er semestre 2006. pp. 151-152
Willa Cather and Isabelle McClung Hambourg camping
No full textWilla Cather and Isabelle McClung with an unidentified man, possibly Ben Brown, camping, maybe in the Black Hills, where they went with Cather's brother Roscoe in the summer of 1905. In the left foreground Willa and Isabelle sit in front of a tent. The man stands just to the right, between the campsite and the pair of horses tethered beside a wagon. The landscape is flat grassland
Recommended from our members
Impact of the e-p option on ISABELLE experimental areas
No full textThere have been many suggestions for the expansion of existing or planned storage rings to include high energy e-p collisions. There is a general concensus that a facility with protons colliding with electrons and positrons of selectible helicity would provide great insight into weak interactions, nucleon structure, etc., in a way not duplicated at e/sup +/e/sup -/, pp nor anti pp machines. Some aspects of the addition of a 10 to 20 GeV electron ring to Isabelle are discussed
Steeplechase Ball. Assembly debutantes making bow at Steeplechase, Misses Isabelle Brown, Elise Waggoner, Gail Potts, Mary Leonard and Judy Morton
No full textFive of The Assembly debutantes, who were honored at the Steeplechase Ball Friday, were photographed as they practiced the deep bows they made when introduced at the ball. Shown left to right are Misses Isabelle Brown, Elise Waggoner, Gail Potts, Mary Leonard and Judy Morton.https://mavmatrix.uta.edu/specialcollections_startelegram1950s/22614/thumbnail.jp
Recommended from our members
Impact of the e-p option on Isabelle experimental areas
No full textThere have been many suggestions for the expansion of existing or planned storage rings to include high energy e-p collisions. We will not discuss the physics potential here, but there is a general concensus that a facility with protons colliding with electrons and positrons of selectible helicity would provide great insight into weak interactions, nucleon structure, etc., in a way not duplicated at e/sup +/e/sup -/, pp, nor anti pp machines. In this report, some aspects of the addition of a 10 to 20 GeV electron ring to Isabelle are discussed
- …
