JavaScript is disabled for your browser. Some features of this site may not work without it.
Browsing by Title
Now showing items 1186311882 of 45607

Construction and Optimization of an Interferon Gamma Dipstick Assay for the Detection of AntigenSpecific Cell Mediated Immune Responses
Elton, Mara (20070706)Since 1957, when interferons were discovered, Interferon gamma (IFNy) has played a crucial role as a diagnostic tool for both humans and animals. Because IFNy is an antigeninduced protein produced by blood lymphocytes, ... 
Construction of Classes of Experimental Designs Using Transversals in Latin Squares and Hedayat's Sum Composition Method
Federer, Walter T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (197006) 
Construction of Confounded Mixed Factorial and Mixed Lattice Designs
Raktoe, B. L.; Federer, W. T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (1970) 
Construction of FSquares Using Permutations with Property A
Federer, Walter T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (200303) 
Construction of Lattice Square Designs
Federer, Walter T.; Wright, Jill; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (198606) 
Construction of Minimal Fractional Combinatorials
Federer, Walter T.; Raghavarao, Damaraju; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (200106) 
Construction of Orthogonal FSquares of Order n = qk
Federer, W. T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (197507) 
Construction of Orthogonal Series 1 Balanced Incomplete Block Designs  A New Technique
Federer, W. T.; Joiner, J. R.; Raghavarao, D.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (197305) 
Construction of Some Odd Resolution Saturated Fractional Replicates and Some Possible Values of the Determinants of Seminormalized (0, 1) Treatment Combination Matrices
Federer, Walter T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (197211) 
Constructions of Orthogonal F(2k, q) Squares
Federer, Walter T.; Cornell University. Biometrics Unit.; Cornell University. Dept. of Biometrics.; Cornell University. Dept. of Biological Statistics and Computational Biology. (2002) 
A Constructive Algorithm for Planning Production in MultiStage Systems with Stationary Demand
Jackson, P.; Roundy, R. (Cornell University Operations Research and Industrial Engineering, 198508)A Constructive Algorithm for Planning Production in MultiStage Systems with Stationary Demand 
A Constructive Alternative to Axiomatic Data Type Definitions
Cartwright, Robert (Cornell University, 198006)Many computer scientists advocate using axiomatic methods (such as algebraic specification) to specify a program data domain  the universe of abstract data objects and operations manipulated by a program. Unfortunately, ... 
Constructive Automata Theory Implemented with the Nuprl Proof Development System
Kreitz, Christoph (Cornell University, 198609)The Nuprl proof development system was designed for the computerassisted problem solving in mathematics and programming. In particular it can be used for the development of mathematical proofs and of programs which are ... 
A Constructive Completeness Proof for Intuitionistic Propositional Calculus
Underwood, Judith (Cornell University, 199012)This paper presents a constructive proof of completeness of Kripke models for the intuitionistic propositional calculus. The computational content of the proof is a form of the tableau decision procedure. If a formula ... 
Constructive Mathematics and Automatic Program Writers
Constable, Robert L. (Cornell University, 197011)One point made here is that formal constructive mathematics can be interpreted as a "highlevel" 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, 198305)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, 198910)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 TaskDirected Robot Programming
Donald, Bruce Randall; Jennings, James; rown, Russell (Cornell University, 199112)The primary goal of our research is tasklevel planning. We approach this goal by utilizing a blend of theory, implementation, and experimentation. We investigate tasklevel planning for autonomous agents, such as mobile ... 
A Constructive Theory of Recursive Functions
Constable, Robert L. (Cornell University, 197310)NO ABSTRACT SUPPLIED 
Constructive Verification Of Quasi DelayInsensitive Circuits
Longfield, Stephen (20150524)Selftimed circuits have recently regained active interest as their abilities in avoiding timing and voltage margins, disconnecting pipeline depth from occupancy, and achieving averagecase performance can help mitigate ...