Now showing items 23549-23568 of 37358

    • Language Features that Support Program Verification (illustrated in PL/C) 

      Constable, Robert L. (Cornell University, 1976-04)
      The author of a program can convince its readers (including himself) that it computes as he intended by writing into the program text a precise description of what it should do. This description can include a clear proof ...
    • A Language for Securely Referencing Persistent Information in a Federated System 

      Liu, Jed; Myers, Andrew C. (2014-01-17)
      Referential integrity, which guarantees that named resources can be accessed when referenced, is an important property for reliability and security. In distributed systems, however, the attempt to provide referential ...
    • Language Learning without Overgeneralization 

      Kapur, Shyam; Bilardi, Gianfranco (Cornell University, 1990-11)
      Language learnability is investigated in the Gold paradigm of inductive inference from positive data. Angluin gave a characterization of learnable families in this framework. Here, learnability of families of recursive ...
    • Language Mechanisms for Controlling and Mitigating Timing Channels 

      Zhang, Danfeng; Askarov, Aslan; Myers, Andrew (2012-03-22)
      We propose a new language-based approach to mitigating timing channels. In this language, well-typed programs provably leak only a bounded amount of information over time through external timing channels. By incorporating ...
    • A Language of Love: The effect of social primes on written narratives 

      Bowen, Jeffrey (2011-05)
      Considerable work has been done in the fields of social and developmental psychology addressing the role of close relationships in influencing behaviors, thoughts, and emotions. Additionally, there is a growing psychological ...
    • Language Support For Reliable, Extensible Large-Scale Software Systems 

      Qi, Xin (2010-04-09)
      Large software systems, which often consist of many interacting components, are hard to develop. For example, a compiler may contain tens of components modeling abstract syntax tree (AST) nodes, and various components for ...
    • Language Use Of Successful Liars 

      Berzack, Antony (2011-08-31)
      Little research has been done to determine whether the cues to deception researched by academia and delivered to law enforcement agencies are equally useful for detecting both skilled and unskilled liars. This study ...
    • Language, literature, and national consciousness 

      Anderson, Benedict R. O'G, (Benedict Richard O'Gorman), 1936-2015; Weiss, John Hubbel; Kramnick, Isaac; Cohen, Walter, 1949- (9/21/1984)
      Panel members discuss the interrelationship between language, literature and nationalism.
    • A Language-Based Approach to Security 

      Schneider, Fred; Morrisett, Greg; Harper, Robert (Cornell University, 2000-11-20)
      Language-based security leverages program analysis and program rewriting to enforce security policies. The approach promises efficient enforcement of fine-grained access control policies and depends on a trusted computing ...
    • Language-Based Games 

      Bjorndahl, Adam (2014-08-18)
      We introduce language-based games, in which utility is defined over descriptions in a given language. By choosing the right language, we can capture psychological games [9] and reference-dependent preference [15]. Of special ...
    • Language-Based Security 

      Kozen, Dexter (Cornell University, 1999-06)
      Security of mobile code is a major issue in today's global computing environment. When you download a program from an untrusted source, how can you be sure it will not do something undesirable? In this paper I will discuss ...
    • Language-Dependent Recall Of Autobiographical Memories In English-Mandarin Bilingual Singaporeans 

      Ng Wenlin, Mairin (2016-02-01)
      AUTOBIOGRAPHICAL MEMORIES IN BILINGUAL SINGAPOREANS Children start to form autobiographical memories (i.e., personal experiences and ideas about the self) early on and this plays a key role in one's identity and psychological ...
    • Languages Of Culture In Peruvian Literature, 1941-1994 

      Oyata, Martin (2010-10-20)
      This dissertation seeks to explain, from the viewpoint of the Peruvian experience, how literature has served to both create and scrutinize the language of culture. I depart from the methodological assumption- extrapolated ...
    • Languages Simultaneously Complete for One-Way and Two-Way Log-Tape Automata 

      Hartmanis, Juris; Mahaney, Stephen R. (Cornell University, 1980-02)
      In this paper we study languages accepted by nondeterministic $\log n$-tape automata which scan their input only once and relate their computational power to two-way, $\log n$-tape automata. We show that for the one-way, ...
    • Laparoscopic ablation of the nephrosplenic space in a seven year old Quarter Horse gelding 

      Conant, Eva (2009-09-30)
      Dusty, a seven year old Quarter Horse gelding, presented to Cornell University’s Large Animal Emergency Service in June 2009 for evaluation of a colic that had not responded to treatment in the field. Physical examination ...
    • Laparoscopic embryo transfer in Arabian Sand Cats 

      Tejada, Marina (2010-02-17)
      Arabian Sand cats (Felis margarita) are currently listed as near-threatened on the IUCN (International Union for Conservation of Nature) Red List due to concerns regarding low population size and decline in the wild. Two ...
    • Larchant-RDOSS: a distributed shared persistent memory and its garbage collector 

      Shapiro, Marc; Ferreira, Paulo (Cornell University, 1994-12)
      Larchant-RDOSS is a distributed shared memory that persists on reliable storage across process lifetimes. Memory management is automatic: including consistent caching of data and of locks, collecting objects unreachable ...
    • Larder Beetle 

      Klass, Carolyn (Dept. of Entomology, Cornell University, 2009-12-10)
      A 2 page overview about the larder beetle and management information for New York State residents.
    • A large deviation principle for Minkowski sums of heavy-tailed random compact convex sets with finite expectation 

      Mikosch, Thomas; Pawlas, Zbynek; Samorodnitsky, Gennady (2010-08-16)
      We prove large deviation results for Minkowski sums of iid random compact sets where we assume that the summands have a regularly varying distribution and finite expectation. The main focus is on random convex compact ...