Sciweavers

3384 search results - page 270 / 677
» More Testable Properties
Sort
View
CCS
2010
ACM
15 years 6 months ago
Algebraic pseudorandom functions with improved efficiency from the augmented cascade
We construct an algebraic pseudorandom function (PRF) that is more efficient than the classic NaorReingold algebraic PRF. Our PRF is the result of adapting the cascade constructio...
Dan Boneh, Hart William Montgomery, Ananth Raghuna...
SMA
2010
ACM
187views Solid Modeling» more  SMA 2010»
15 years 6 months ago
Polygonizing extremal surfaces with manifold guarantees
Extremal surfaces are a class of implicit surfaces that have been found useful in a variety of geometry reconstruction applications. Compared to iso-surfaces, extremal surfaces ar...
Ruosi Li, Lu Liu, Ly Phan, Sasakthi S. Abeysinghe,...
ACTA
2007
114views more  ACTA 2007»
15 years 6 months ago
Hybridization methods for the analysis of nonlinear systems
Abstract In this article, we describe some recent results on the hybridization methods for the analysis of nonlinear systems. The main idea of our hybridization approach is to appl...
Eugene Asarin, Thao Dang, Antoine Girard
AES
2007
Springer
141views Cryptology» more  AES 2007»
15 years 6 months ago
Numerical methods for modelling leaching of pollutants in soils
Pesticides used in crop production and herbicides used for weed control are the major source of nonpoint-source pollutants to groundwater. The movement and degradation of pesticid...
M. Isabel Asensio, B. Ayuso, Luis Ferragut, G. San...
AMCS
2008
124views Mathematics» more  AMCS 2008»
15 years 6 months ago
Approximate Controllability of Infinite Dimensional Systems of the n-th Order
The objective of the article is to obtain general conditions for several types of controllability at once for an abstract differential equation of arbitrary order, instead of condi...
Jerzy Stefan Respondek