Sciweavers

652 search results - page 8 / 131
» Linear Explicit Substitutions
Sort
View
FOCM
2008
68views more  FOCM 2008»
14 years 11 months ago
Explicit Volume-Preserving Splitting Methods for Linear and Quadratic Divergence-Free Vector Fields
Robert I. McLachlan, Hans Z. Munthe-Kaas, G. R. W....
AUTOMATICA
2010
98views more  AUTOMATICA 2010»
14 years 11 months ago
Explicit use of probabilistic distributions in linear predictive control
: The guarantee of feasibility given feasibility at initial time is an issue that has been overlooked by many of the recent papers on stochastic model predictive control. Effective...
Basil Kouvaritakis, Mark Cannon, Sasa V. Rakovic, ...
SACRYPT
2005
Springer
15 years 5 months ago
Proving the Security of AES Substitution-Permutation Network
In this paper we study the substitution-permutation network (SPN) on which AES is based. We introduce AES∗ , a SPN identical to AES except that fixed S-boxes are replaced by ran...
Thomas Baignères, Serge Vaudenay
ESOP
2000
Springer
15 years 3 months ago
Sharing Continuations: Proofnets for Languages with Explicit Control
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
Julia L. Lawall, Harry G. Mairson
DIM
2007
ACM
15 years 3 months ago
Using reputation to augment explicit authorization
Online social networks are formed when web applications allow users to contribute to an online community. The explosive growth of these social networks taxes the management capaci...
Phillip J. Windley, Devlin Daley, Bryant Cutler, K...