Now showing items 22864-22883 of 33572

  • Location Optimization To Determine Telecenter Network In Rural Turkey 

    Asik, Ozlem (2014-01-27)
    In different parts of the world, telecenters have been in use to make people get benefit from information and communication technologies (ICT). In those centers disadvantaged people can access internet and use electronic ...
  • Locavore Preferences for Wild Fish and Game: Implications for Wildlife-based Recreation in New York State 

    Tidball, Keith G.; Tidball, Moria M.; Larson, Lincoln R.; Curtis, Paul D.; Poindexter, L.; Stedman, Richard C. (2014-09)
  • LOCKSS at Cornell 

    Kehoe, William R (Digital Library Federation, 2005-04-15)
    A 15-minute presentation on the experience of hosting a LOCKSS cache (Lots of Copies Keep Stuff Safe)at Cornell University Library during 2003-2005, from the technical point of view.
  • LOCKSS: Lots of Copies Keep Stuff Safe 

    Reich, Victoria (2006-10-27)
    People with responsibility for scholarly assets agree that digital preservation is important. Tomorrow's readers will need today's materials; without preservation they won't exist. Librarians and publishers are asking two ...
  • Log-Based Recovery in Asychronous Distributed Systems 

    Kane, Kenneth P. (Cornell University, 1989-12)
    Replication has been shown to be an important tool in the design of high- performance and highly-available distributed systems. When applied to data, however, replication significantly complicates the problem of maintaining ...
  • Log-normal Durations Can Give Long Range Dependence 

    Hannig, J.; Marron, J. S.; Samorodnitsky, G.; Smith, F. D. (Cornell University Operations Research and Industrial Engineering, 2001-12)
    Log-normal Durations Can Give Long Range Dependence
  • Logarithmic Time Parallel Algorithms for Recognizing Comparability and Interval Graphs 

    Novick, Mark B. (Cornell University, 1989-06)
    We give fast parallel algorithms for recognizing ad representing comparability graphs that can be transitively oriented, and interval graphs, the intersection graphs of intervals along the real line. Under the CRCW PRAM ...
  • Logging of Time Elements with Digital Video Technology in Baby Piglet Production 

    Quendler, E.; Martetschloger, R.; Baumgartner, J.; Koller, M.; Schick, M.; Boxberger, J.; Mosenbacher, I. (International Commission of Agricultural Engineering, 2007-12)
    This is a paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 9 (2007): Logging of Time Elements with Digital Video Technology in Baby Piglet ...
  • A Logic for Correct Program Development 

    Bates, Joseph L. (Cornell University, 1981-03)
    Existing verification technology, though theoretically adequate, is not directly applicable to the construction of large software systems. This thesis explores the view that reasoning about code is not the proper paradigm ...
  • A Logic for Expressions with Side Effects 

    Boehm, Hans-J. (Cornell University, 1981-11)
    This paper presents a simple programming logic LES, which is particularly well suited for reasoning about so-called expression languages, i.e. languages that incorporate imperative features into expressions rather than ...
  • A Logic for the Russell Programming Language 

    Boehm, Hans-J. (Cornell University, 1984-02)
    We consider a programming language with a number of characteristics detrimental to conventional axiomatic descriptions. These include arbitrary side effects in expressions, aliasing among variables, very general recursive ...
  • The Logic of Aliasing 

    Cartwright, Robert; Oppen, Derek (Cornell University, 1978-11)
    We give a new version of Hoare's logic which correctly handles programs with aliased variables. The central proof rules of the logic (procedure call and assignment) are proved sound and complete.
  • A Logic of Events 

    Bickford, Mark; Constable, Robert L. (Cornell University, 2003-03-07)
    There is a well-established theory and practice for creating correct-by-construction functional programs by extracting them from constructive proofs of assertions of the form "For all x:A there exists y:B.R(x,y))." There ...
  • The Logic of Events, a framework to reason about distributed systems 

    Bickford, Mark; Constable, Robert; Rahli, Vincent (2012 Languages for Distributed Algorithms (LADA) workshop, 2012-01-23)
  • Logical Aspects of Set Constraints 

    Kozen, Dexter (Cornell University, 1994-05)
    Set constraints are inclusion relations between sets of ground terms over a ranked alphabet. They have been used extensively in program analysis and type inference. Here we present an equational axiomatization of the ...
  • Logical Attestation: An Authorization Architecture for Trustworthy Computing 

    Sirer, Emin Gun; de Bruijn, William; Reynolds, Patrick; Shieh, Alan; Walsh, Kevin; Williams, Dan; Schneider, Fred (2011-09-20)
    ABSTRACT This paper describes the design and implementation of a new operating system authorization architecture to support trustworthy computing. Called logical attestation, this architecture provides a sound framework ...
  • Logics and Models of Real Time: A Survey 

    Alur, Rajeev; Henzinger, Thomas A. (Cornell University, 1992-01)
    We survey logic-based and automata-based languages and techniques for the specification and verification of real-time systems. In particular, we discuss three syntactic extensions of temporal logic: time-bounded operators, ...
  • Logics of Programs 

    Kozen, Dexter; Tiuryn, Jerzy (Cornell University, 1989-01)
    None Available
  • Logistical Models For Planning And Operating Medical Countermeasure Distribution Networks During Public Health Emergencies 

    King, Kathleen (2012-08-20)
    Public health emergencies require rapid responses from federal, state, and local authorities to prevent widespread mortality and morbidity. However, existing response plans seldom account for the variety of risks and ...
  • Loneliness and Wellbeing in Young and Older Adulthood 

    Chue, Amanda (2010-05-17)
    The present research investigated the relationships between loneliness and emotional, physical, and cognitive wellbeing in young and older adulthood. Self-report questionnaires were administered to 101 young and 95 older ...