Now showing items 17519-17538 of 37676

• #### An Efficient Algorithm for Nonlinear Minimax Problems ﻿

(Cornell University, 1990-03)
We present a new method for solving a nonlinear minimax problem. This new algorithm exploits the structure and characterisation of the solution whenever possible. The exploitation is based on the results that have been ...
• #### An Efficient Algorithm for One-Step Planar Compliant Motion Planning with Uncertainty ﻿

(Cornell University, 1989-03)
• #### Efficient CO2 Sorbents Based on Silica Foam with Ultra-large Mesopores ﻿

(Energy & Environmental Science, 2012-04-19)
A series of high-capacity, amine impregnated sorbents based on a cost-effective silica foam with ultra-large mesopores is reported. The sorbents exhibit fast CO2 capture kinetics, high adsorption capacity (of up to 5.8 ...
• #### Efficient Code Certification ﻿

(Cornell University, 1998-01)
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 ﻿

(Cornell University, 2001-09-06)
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 ﻿

(Cornell University, 1995-12)
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, bi-coloring, ...
• #### The efficient computation of sparse Jacobian matrices using automaticdifferentiation ﻿

(Cornell University, 1995-11)
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, bi-coloring, ...
• #### An Efficient Computational Framework For Uncertainty Quantification In Multiscale Systems ﻿

(2011-01-31)
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. ...