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

The Efficient Calculation of Powers of Polynomials
Horowitz, Ellis (Cornell University, 197204)Suppose we are given a polynomial $P(x_{1},\ldots,x_{r})$ in $r \geq 1$ variables, let $m$ bound the degree of $P$ in all variables $x_{i}, l \leq i \leq r$, and we wish to raise $P$ to the $n^{th}$ power, $n>1$. In a ... 
Efficient CO2 Sorbents Based on Silica Foam with Ultralarge Mesopores
Qi, Genggeng; Fu, Liling; Choi, Brian Hyun; Giannelis, Emmanuel P. (Energy & Environmental Science, 20120419)A series of highcapacity, amine impregnated sorbents based on a costeffective silica foam with ultralarge mesopores is reported. The sorbents exhibit fast CO2 capture kinetics, high adsorption capacity (of up to 5.8 ... 
Efficient Code Certification
Kozen, Dexter (Cornell University, 199801)We introduce a simple and efficient approach to the certification of compiled code. We ensure a basic but nontrivial level of code safety, including control flow safety, memory safety, and stack safety. The system is ... 
Efficient Computation of Interprocedural Control Dependence
Ezick, James; Bilardi, Gianfranco; Pingali, Keshav (Cornell University, 20010906)Control dependence information is useful for a wide range of software maintenance and testing tasks. For example, program slicers use it to determine statements and predicates that might affect the value of a particular ... 
The Efficient Computation of Sparse Jacobian Matrices Using Automatic Differentiation
Coleman, Thomas F.; Verma, Arun (Cornell University, 199512)This paper is concerned with the efficient computation of sparse Jacobian matrices of nonlinear vector maps using automatic differentiation (AD). Specifically, we propose the use of a graph coloring technique, bicoloring, ... 
The efficient computation of sparse Jacobian matrices using automaticdifferentiation
Coleman, Thomas F.; Verma, Arun (Cornell University, 199511)This paper is concerned with the efficient computation of sparse Jacobian matrices of nonlinear vector maps using automatic differentiation (AD). Specifically, we propose the use of a graph coloring technique, bicoloring, ... 
An Efficient Computational Framework For Uncertainty Quantification In Multiscale Systems
Ma, Xiang (20110131)To accurately predict the performance of physical systems, it becomes essential for one to include the effects of input uncertainties into the model system and understand how they propagate and alter the final solution. ... 
Efficient Computational Techniques For High Dimensional Stochastic Modeling
Wan, Jiang (20130819)Modeling of physical systems in the presence of uncertainties is critical in many respects. Therefore it is necessary to quantitatively characterize these uncertainties. There are two major types of problems with respect ... 
Efficient Concatenable Ordered Lists
Pugh, William W. (Cornell University, 198704)A new approach for providing an efficient implementation of concatenable ordered lists is discussed. The structures described have an equivalence to search trees. In balanced search trees the tree is continually modified ... 
Efficient Concurrency Control for Libraries of Typed Objects
Raeuchle, Thomas (Cornell University, 198609)Concurrency control algorithms use a conflict detection strategy to determine operations that have to be delayed to provide a correct serialization order. To keep the cost of detecting conflicts feasible, most algorithms ... 
Efficient Content Distribution With Managed Swarms
Peterson, Ryan (20120131)Content distribution has become increasingly important as people have become more reliant on Internet services to provide large multimedia content. Efficiently distributing content is a complex and difficult problem: large ... 
Efficient ContinuousTime Dynamic Network Flow Algorithms
Fleischer, L.; Tardos, E. (Cornell University Operations Research and Industrial Engineering, 199608)Efficient ContinuousTime Dynamic Network Flow Algorithms 
Efficient Design Of Inbound Logistics Networks
Dong, Zhijie (20150817)Logistics is a vitally important part of the economy, and it is now a $1.45 trillion industry in the United States representing 8.3 percent of GDP. Efficient design of routes and schedules for moving materials into ... 
Efficient Dynamic Network Flow Algorithms
Hoppe, Bruce (Cornell University, 199506)Dynamic network flows model transportation. A dynamic network consists of a graph with capacities and transit times on its edges. Flow moves through a dynamic network over time. Edge capacities restrict the rate of ... 
Efficient Error Recovery For Reliable Multicast
Xiao, Zhen (Cornell University, 20010103)Multicast is an efficient mechanism for distributing data from one sender to multiple receivers. Many applications need a reliable multicast service which is not provided by the existing IP multicast protocol. Providing ... 
Efficient Estimations from a Slowly Convergent RobbinsMonro Process
Ruppert, D. (Cornell University Operations Research and Industrial Engineering, 198802)Efficient Estimations from a Slowly Convergent RobbinsMonro Process 
Efficient Generation of Memory Reference Strings Based on the LRU Stack Model of Program Behaviour
Babaoglu,Ozalp (Cornell University, 198110)We consider the problem of generating memory reference strings that are to be used instead of real program address traces with the generator based on the LeastRecentlyUsed Stack Model (LRUSM) of program behaviour. A ... 
Efficient Geometric Algorithms for Robot Sensing and Control
Briggs, Amy (Cornell University, 199502)This thesis addresses the problem of automatically generating solutions to robotics tasks that are specified at a high level. In particular, we consider the problems of robot motion planning and the planning of sensor ... 
Efficient group sequential designs when there are several effect sizes under consideration
Jennison, C.; Turnbull, B. (Cornell University Operations Research and Industrial Engineering, 200410)Efficient group sequential designs when there are several effect sizes under consideration 
Efficient Hierarchical Radiosity in Complex Environments
Smits, Brian Edward (Cornell University, 199408)This thesis presents methods for speeding up the global illumination computations by using bounds on error to eliminate work that is not needed for a solution of a given accuracy. This work makes the hieerarchical ...