1,675 research outputs found
Consumption dynamics and demographics of Canadian wine consumers: Retailing insights from the tasting room channel
No full textJohan Bruwer, Isabelle Lesschaeve, Benjamin L. Campbel
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
Isabelle Bell to Susan Niemcewicz, December 23, 1800
Get PDFIsabelle 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
Interviews with Carl T. Bode, Isabelle Fritschen, Joseph H. Hirt, Mary G. Hirt, and Minnie Campbell
Get PDFInterviews 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
Ethno-Cultural Vegetable Value Chain Structure and Supply Characteristics in Ontario.
No full textAn analysis of the wholesale availability of okra, Chinese long eggplant and Indian round eggplant in the greater Toronto area (GTA). Market observation at the Ontario Food Terminal (OFT) included recording each observation of these products including the price, country of origin and photographs of the product. Interviews were completed with ECV producers, wholesalers and retailers. All three crops are available at the OFT. Locally-produced Indian round eggplant was rarely available, Chinese long eggplant commonly available and okra available but of inferior in quality to imports. The value chain structure in the GTA includes relational networks and market structures. The central role of supermarkets in the market was confirmed, privately-held specifications define ECV quality in the market. Imported supplies of ECV’s have undergone superior post-harvest handling procedures to most Ontario-grown ECV supplies. Ontario-grown ECV’s with proper post-harvest handling met quality standards and received competitive prices.Vineland Research and Innovation Centr
Consumer Perception for Horticultural Products and Related Agricultural Practices
No full textNew Directions Research ProgramIn recent years, growing interest towards foods produced from alternative agricultural practices have been seen among consumers. This thesis is an investigation of consumer understanding and attitudes towards information regarding sustainable, organic and local foods and agricultural practices and how such information could affect consumer food product expectation and sensory acceptability. Using internet questionnaires constructed based on common definitions and popular beliefs, 172 primary grocery shoppers were surveyed regarding their perception concerning information related to these alternative agricultural practices and foods. Results obtained from statistical analyses revealed the existence of various dimensions concerning the understanding and attitudes towards these concepts. Segmentations based on their understanding and attitudes towards these concepts were also found within the sampled population. Furthermore, by utilizing the theory of assimilation and contrast, a three-part sensory study was conducted, with 49 consumers from the Niagara Peninsula, to examine the impact of information regarding production methods (organic vs. conventional) and product origins (local vs. imported) on consumer expectation and acceptability of yellow peaches. Despite of some peach samples being under-ripe, a significant positive labeling effect has been observed in hedonic rating and perceived intensity of sensory characteristics when the joint organic and local label was presented. A similar labeling effect, however, was not observed in monetary valuation of willingness to pay.Ontario Ministry of Agriculture, Food and Rural Affair
Wine tourists' destination region brand image perception and antecedents: conceptualization of a winescape framework
No full textThis study conceptualizes the winescape framework using a wine region’s image as perceived by wine tourists, in the process integrating grounded theory, namely servicescape, destination choice, and place-based marketing theories. Using an a priori approach, it identifies the winescape construct in a framework of eight dimensions within the wine tourism environment in a study with 996 respondents in a well-known Canadian wine region. The most important dimension of the winescape is the region’s natural beauty/setting (landscape). Other high impact characteristics are the service staff and friendly local people, overall ambience and the diversity of wine estates. The dynamic of first-time and repeat visitation plays a key role in visitors’ wine tourism behavior and their perception of the winescape. The decision to engage in wine tourism is generally impulsive, even spurious, and the motivations guiding the visitors’ behavior predominantly hedonic in nature.Johan Bruwer and Isabelle Lesschaev
Formalization of Isabelle Meta Logic in NuPRL
No full textNuPRL and Isabelle are two general purpose theorem provers. Both of them are based on a version of Constructive Higher Order Type Theory. In an earlier work the author has proposed an informal semantics of Isabelle Meta Logic in an extension of NuPRL Type Theory. An automated converter, based on this semantics, has been developed, that translates Isabelle theorem statements into NuPRL. This work presents a formalization of the above semantics in NuPRL. It starts with a deep embedding of Isabelle type and term syntax into NuPRL Constructive Type Theory. Next, two internal NuPRL functions are defined. One of them maps Isabelle types into NuPRL types and the other maps Isabelle terms into elements of appropriate NuPRL types. These two functions provide an interpretation of Isabelle in NuPRL. Finally, interpretations of all Isabelle Meta Logic rules are proven as theorems in some classical extension of NuPRL Type Theory. This formalization is aimed to provide a more secure foundation for the interaction between two systems
Sources of information used by tourists travelling to visit Canadian winery tasting rooms
No full textThis study investigated the source(s) of information people (n ¼ 976) used when deciding to embark on a wine tourism excursion by visiting winery tasting rooms in a Canadian wine region environment. The overall aim was to establish whether there are differences between local and international (overseas) visitors to winery tasting rooms in terms of the sources of
information they use to plan their visit and how situational, tourism product, and sociodemographic
variables relate to these. Specific differences exist in the types of information sources used by locally and overseas-based wine tourists. Locally based visitors use formal sources such as the winery’s own website, own brochure or pamphlet, a restaurant, and attending a wine festival or event significantly more than overseas visitors. Overseas-based visitors on the other hand, use word-of-mouth (WOM) less than local visitors, but billboards or road signage while driving past significantly more, the latter signifying their relative unfamiliarity with the area and individual wineries. Across the board wine tourists did not differ much in their use of
these sources by gender or age generation, but the main purpose of the visit and mode of
transport used to travel to the winery were pivotal in strongly differentiating the visitor groups.Johan Bruwer and Isabelle Lesschaev
- …
