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

Constrained Choice and Contingency: Military and Economic Competition as the Mechanism for Technological Determinism
Dafoe, Allan (20060803)The study of technology is divided. There are scholars, found especially in sociology and history, who emphasize interpretive flexibility, agency and historical contingency. These I label 'mildconstructivists.' Other ... 
Constrained Graphcut Texture Synthesis
Ramanarayanan, Ganesh; Bala, Kavita (Cornell University, 20050414)This paper describes constrained graphcut texture synthesis (CGS), a graphcutbased synthesis algorithm that creates output textures satisfying constraints. We show that constrained texture synthesis can be posed in a ... 
Constrained Optimization in Human Running
Gutmann, Anne (20070427)Walking humans spontaneously select different speed, frequency, and step length combinations depending on which of these three parameters is specified. This behavior can be explained by constrained optimization of cost of ... 
Constraining Physics Beyond The Cosmological Standard Model
Mueller, EvaMaria (20160201) 
Constraining the Body for Better ForceTracking Analysis
Thompson, Megan Elizabeth (20080304)My work has two goals: to develop a method capable of comfortably isolating a single group of muscles to improve in vivo human muscle testing and to investigate how well humans can track target force profiles. I designed, ... 
Constraints: A Uniform Approach to Aliasing and Typing
Lamport, Leslie; Schneider, Fred B. (Cornell University, 198409)No abstract supplied. 
Constructing a CounterArgument
Newell, Alexander F (2003) 
Constructing Dairy Facilities Tips for producers as they look for and work with a contractor.
Gooch, Curt A. (20000801) 
Constructing Hierarchical Spheres from Large Ultrathin Anatase TiO2 Nanosheets with Nearly 100% Exposed (001) Facets for Fast Reversible Lithium Storage
Chen, J.S.; Tan, Y.L.; Li, C.M.; Cheah, Y.L.; Madhavi, S.; Boey, F.Y.C.; Archer, L.A.; Lou, X.W. (AMER CHEMICAL SOC, 1155 16TH ST, NW, WASHINGTON, DC 20036 USA, 20100414)Synthesis of nanocrystals with exposed highenergy facets is a wellknown challenge in many fields of science and technology. The higher reactivity of these facets simultaneously makes them desirable catalysts for sluggish ... 
Constructing Institutions ? Collective Bargaining In Multinational Companies In The United States, Spain And Germany
Hauptmeier, Marco (20090819)How do employment relations change even though the formal structure of employment relations institutions remains stable? This dissertation draws on an analysis of collective bargaining in three multinational auto companies ... 
Constructing Order amid Violence: Comparative Military Interventions in the Era of Peacekeeping and CounterTerrorism
Watts, Stephen (20070206)This study is motivated by two questions: To what extent are countries engaged in military interventions willing to use force to promote democracy? And what are the likely consequences of such actions? Interveners face a ... 
Constructing Vertically Integrated Hardware Design Methodologies Using Embedded DomainSpecific Languages And JustInTime Optimization
Lockhart, Derek (20150817)The growing complexity and heterogeneity of modern applicationspecific integrated circuits has made hardware design methodologies a limiting factor in the construction of future computing systems. This work aims to alleviate ... 
Construction and Implementation of a Biomaterials Properties Database
Wang, Zi (20120517)This project aims to construct and implement a userdefined Matereality Database for biomaterial properties data, and also create data transfer link between the database and external analytical software (COMSOL). 
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, ... 
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 ...