Sciweavers

3256 search results - page 348 / 652
» Mixin-Based Programming in C
Sort
View
107
Voted
AUTOMATICA
2006
97views more  AUTOMATICA 2006»
15 years 23 days ago
Receding horizon control applied to optimal mine planning
In this paper we show that the problem of optimal mine planning can be cast in the framework of receding horizon control. Traditional formulations of this problem have cast it in ...
Graham C. Goodwin, María M. Seron, Richard ...
73
Voted
JSC
2008
85views more  JSC 2008»
15 years 20 days ago
Descent via isogeny on elliptic curves with large rational torsion subgroups
We outline PARI programs which assist with various algorithms related to descent via isogeny on elliptic curves. We describe, in this context, variations of standard inequalities w...
E. Victor Flynn, C. Grattoni
108
Voted
JCS
2006
118views more  JCS 2006»
15 years 20 days ago
Enforcing Robust Declassification and Qualified Robustness
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems release sensitive information as part of their in...
Andrew C. Myers, Andrei Sabelfeld, Steve Zdancewic
78
Voted
MP
2006
94views more  MP 2006»
15 years 20 days ago
Optimization-based simulation of nonsmooth rigid multibody dynamics
We present a time-stepping method to simulate rigid multibody dynamics with inelastic collision, contact, and friction. The method progresses with fixed time step without backtrac...
Mihai Anitescu
112
Voted
NAR
2006
129views more  NAR 2006»
15 years 19 days ago
AliWABA: alignment on the web through an A-Bruijn approach
Multiple sequence alignment programs are an invaluable tool in computational biology. A-Bruijn Alignment (ABA) is a method for multiple sequence alignment that represents an align...
Neil C. Jones, Degui Zhi, Benjamin J. Raphael