Now showing items 11822-11841 of 44634

    • Constructive Mathematics and Automatic Program Writers 

      Constable, Robert L. (Cornell University, 1970-11)
      One point made here is that formal constructive mathematics can be interpreted as a "high-level" programming language; another point is that there are good reasons for doing so. Among them is the fact that a theoretical ...
    • Constructive Mathematics as a Programming Logic I: Some Principles of Theory 

      Constable, Robert L. (Cornell University, 1983-05)
      The design of a programming system is guided by certain beliefs, principles, and practical constraints. These considerations are not always manifest from the rules defining the system. In this paper, the author discusses ...
    • A Constructive Proof of Higman's Lemma 

      Murthy, Chetan R.; Russell, James R. (Cornell University, 1989-10)
      Higman's Lemma is a special case of the more general Kruskal's tree embedding theorem and the graph minor theorem. Prior to this work, only classical (and impredicative) proofs of the Lemma were known. Recently, there ...
    • Constructive Recognizability for Task-Directed Robot Programming 

      Donald, Bruce Randall; Jennings, James; rown, Russell (Cornell University, 1991-12)
      The primary goal of our research is task-level planning. We approach this goal by utilizing a blend of theory, implementation, and experimentation. We investigate task-level planning for autonomous agents, such as mobile ...
    • A Constructive Theory of Recursive Functions 

      Constable, Robert L. (Cornell University, 1973-10)
    • Constructive Verification Of Quasi Delay-Insensitive Circuits 

      Longfield, Stephen (2015-05-24)
      Self-timed circuits have recently regained active interest as their abilities in avoiding timing and voltage margins, disconnecting pipeline depth from occupancy, and achieving average-case performance can help mitigate ...
    • Consultative Metadata Services @ Cornell University 

      Kovari, Jason (2014-06)
      Slides from Kovari's presentation about consultative services provided by Cornell University Library's Metadata Services unit.
    • Consumer attitudes and willingness to pay for genetically modified foods: A cross-country comparison 

      McCluskey, Jill J.; Curtis, Kynda R.; Li, Quan; Wahl, Thomas I.; Grimsrud, Kristine M. (NABC, 2003)
      Cultural differences and values strongly influence attitudes to and acceptance of GM foods. While consumers in Norway and Japan avoid them, while those in China were generally accepting of GM foods. Younger people there ...
    • Consumer Cognition and Pricing in the Nines of Oligopolistic Markets 

      Basu, Kaushik (2006-08-30)
      The paper fully characterizes the Bertrand equilibria of oligopolistic markets where consumers may ignore the last (i.e., the right-most) digits of prices. Consumers, in this model, do not do this reflexively or out ...
    • Consumer Concerns About Hormones in Food, BCERF Fact Sheet No. 37 

      Gandhi, Renu; Snedeker, Suzanne M. (Cornell University Program on Breast Cancer and Environmental Risk Factors, 2000-06)
      This fact sheet addresses some of the consumer concerns about the use of hormones and growth promoters in the meat and dairy industries. This includes why hormones are used in food production, how they are used, the ...
    • Consumer Concerns About Pesticides in Food, BCERF Fact Sheet No. 24 

      Gandhi, Renu; Snedeker, Suzanne M. (Cornell University Program on Breast Cancer and Environmental Risk Factors, 1999-03)
      This fact sheet provides information on federal pesticide residue food monitoring programs, what federal monitoring show, food safety for children, tips on how to avoid pesticide residues in food products, agricultural ...
    • Consumer concerns: Give us all the data! 

      Hansen, Michael (NABC, 1991)
      If consumers are to trust in the food they eat, data about impact of genetic engineering must be made readily available. Consumers have the right to know about health impacts. Public is concerned that health and safety ...
    • Consumer Economics at Cornell: A Chronicle 

      Bymers, Gwen (Department of Consumer Economics and Housing, 1979)
    • Consumer Food Preferences: Three Essays On Labeling, Anti-Obesity Policies And Social Presence 

      Streletskaya, Nadezhda (2016-05-29)
      This dissertation is comprised of three independent research essays focused around consumer food preferences in the U.S. The first essay, entitled "Taxes, Subsidies, and Advertising Efficacy in Changing Eating Behavior: ...
    • Consumer impact on nutritional products 

      Snyder, Steve; Rosenberg, Roberta (NABC, 2002)
      Industry will continue to play a valuable role in developing healthy, effective, and safe ingredients, and in making new functional foods available to the consumer. These contributions fall into four major categories: ...
    • Consumer issues relating to products from new DNA-editing techniques 

      Jaffe, Gregory (NABC, 2014)
      Agricultural biotechnology; DNA editing; genome engineering; targetable nucleases; TALEN; CRISPR/cas9; DNA-targeting; mutagenesis; regulation; modern breeding technologies;
    • Consumer perspective 

      Walter, Rick (NABC, 1997)
      The international discussion, regulation and public opinion about biotechnology is extremely diverse and the discussion must be moved forward with great focus and by coordination the efforts of all involved.
    • Consumers Need More Voice on State Panels 

      Bonner, Ray (Los Angeles Times, 1975-06-08)
    • Consumers' Responses To Reduced Personal Space In A Service Setting 

      Robson, Stephani (2010-08-05)
      Three inter-related studies examined consumers' responses to closely spaced tables during a service experience. The first study evaluated emotional responses to a projected dining experience when dining tables were spaced ...
    • Consuming Culture: The Latin American Museum In Neoliberalism 

      Briceno, Battistine (2009-10-13)
      This dissertation studies figures of economy in museum fictions appearing in Latin American novels, performance art, and theater from the late 1970s to the 2000s in order to describe the cultural transformation in the ...