Now showing items 15863-15882 of 37378

    • Decay of Rotational Airflow with Flow Conditioner in Larger Diameter Ducts for Dust Concentration Measurement using Isokinetic Sampling 

      Tan, Z.; Zhang, Y.; Ford, S. (International Commission of Agricultural Engineering, 2003-12)
      This is a Technical Paper from International Commission of Agricultural Engineering (CIGR, Commission Internationale du Genie Rural) E-Journal Volume 5 (2003): Z. Tan, Y. Zhang, and S. Ford. Decay of Rotational Airflow ...
    • Deceit: A Flexible Distributed File System 

      Siegel, Alexander; Birman, Kenneth P.; Marzullo, Keith (Cornell University, 1989-11)
      Deceit, a distributed file system being developed at Cornell, focuses on flexible file semantics in relation to efficiency, scalability, and reliability. Deceit servers are interchangeable and collectively provide the ...
    • Decentralized Development: From Theory to Practice 

      Mier, Robert; Moe, Kari (Rutgers University Press, 1991)
      Robert Mier had been Commissioner of Economic Development, Kari Moe in the Mayors Office in the Harold Washington administration. Here they draw on that experience for a well referenced and detailed account of the Department ...
    • Deception Detection, Transmission, & Modality In Age, Sex, Social Class, & Personality 

      Sweeney, Charlotte (2013-05-26)
      The present research examined age, gender, social class, and personality in lie detection and transmission. This is the first study, to the best of our knowledge, where older adults and college students lied pro-socially. ...
    • Dechazeau, Melvin G. 

      Cornell University, Office of the Dean of the University Faculty (Cornell University, 1985)
      Memorial Statement for Professor Melvin G. deChazeau, who died in 1985. The memorial statements contained herein were prepared by the Office of the Dean of the University Faculty of Cornell University to honor its faculty ...
    • Decidability Extracted: Synthesizing "Correct-by-Construction" DecisionProcedures from Constructive Proofs 

      Caldwell, James (Cornell University, 1998-12)
      The topic of this thesis is the extraction of efficient and readable programs from formal constructive proofs of decidability. The proof methods employed to generate the efficient code are new and result in clean and ...
    • Decidability of Systems of Set Constraints with Negative Constraints 

      Aiken, Alexander; Kozen, Dexter; Wimmers, Ed (Cornell University, 1993-06)
      Set constraints are relations between sets of terms. They have been used extensively in various applications in program analysis and type inference. Recently, several algorithms for solving general systems of positive ...
    • Decidable Pairing Functions 

      Tenney, Richard Lee (Cornell University, 1972-08)
      In Chapter I of this paper we show that the usual, textbook pairing functions have decidable first-order theories. This will be done by exhibiting an infinite axiomatization of certain pairing functions which we characterize ...
    • Deciding in Partitionable Networks 

      Friedman, Roy; Keidar, Idit; Malki, Dalia; Birman, Ken; Dolev, Danny (Cornell University, 1995-11)
      Motivated by Chandra and Toueg's work, we study decision protocols in a model that closely approximates "real" distributed systems. Our results show how the weakest failure detector and associated consensus algorithm ...
    • Deciphering the Output of Anova Programs for Unequal-Subclass-Numbers Data Using Benchmark Data Sets 

      Searle, S. R.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (1979-03)
    • Decision Making And Inference Under Limited Information And High Dimensionality 

      Ermon, Stefano (2015-01-26)
      Statistical inference in high-dimensional probabilistic models is one of the central problems of statistical machine learning and stochastic decision making. To date, only a handful of distinct methods have been developed, ...
    • Decision Making In The Guatemalan Food And Nutrition Security Policy Community: Reflections On "Good" Process 

      Hill, Renee (2009-08-19)
      There have been many recent efforts to develop national policies, strategies and programs for the reduction of chronic malnutrition and food insecurity in Guatemala. While there are recognizable strengths of the decision ...
    • Decision making tools 

      Barrett, Kathy (DairyBusiness East, 2014-05)
      Use dairy profit discussion groups and dairy profit teams when considering dairy modernization projects.
    • Decision Support System for IPM in Potato/Tomato 

      Fry, William E.; Degaetano, Art (New York State IPM Program, 2010)
      A Decision Support System (DSS) for the management of potato and tomato late blight is being developed. A draft version is being evaluated by growers in New York. The DSS enables growers to access diverse tools in real ...
    • Decision-Making Guide for Bee Supplementation of Pumpkin Fields 

      Petersen, Jessica; Reiners, Stephen; Nault, Brian (New York State IPM Program, 2013)
      Vine crops such as pumpkin, squash, cucumber and watermelon are some of New York State’s most valuable vegetable crops. These crops require pollination by bees, the most well-known of which is the honey bee, Apis mellifera. ...
    • A Decision-Theoretic Approach to Resource Allocation in WirelessMultimedia Networks 

      Haas, Zygmunt; Halpern, Joseph Y.; Li, Li; Wicker, Stephen (Cornell University, 2000-03-16)
      The allocation of scarce spectral resources to support as many user applications as possible while maintaining reasonable quality of service is a fundamental problem in wireless communication. We argue that the problem ...
    • Declaration of the Nobility to President Benes, 1938 

      Nobility (Rozmluvy, 1990)
      The Czech nobility writes to Czechoslovak President Eduard Benes voicing their desire to preserve the unity of Bohemia in the face of the threat of German expansion and claims on the Sudetenland.
    • Declarative Reliable Multi-Party Protocols 

      Ostrowski, Krzysztof; Birman, Ken; Dolev, Danny (Cornell University, 2007-07-10)
      We propose a novel, declarative approach to im-plementing reliable multi-party protocols that enables efficient and scalable implementations. Our Proper-ties Framework (PF) is able to express semantics as simple as gossip ...
    • Decoding The Regulatory Mechanisms Of Two Quorum Sensing Proteins, Cepr And Cepr2, Of Burkholderia Cenocepacia 

      Ryan, Gina (2012-08-20)
      Burkholderia cenocepacia is an opportunistic pathogen of humans that encodes two LuxR-type acylhomoserine (AHL) synthases and three LuxR-type AHL receptors. Of these, cepI and cepR are tightly linked and form a cognate ...
    • DECOHESION OF GRAIN BOUNDARIES IN THREE-DIMENSIONAL STATISTICAL REPRESENTATIONS OF ALUMINUM POLYCRYSTALS 

      Iesulauro, Erin (2006-07-20)
      Since the 1950's, researchers have studied fatigue crack propagation utilizing fracture mechanics. Such work has provided advances in calculating stress intensity factors, determining elastic-plastic crack tip parameters, ...