Sciweavers

3356 search results - page 152 / 672
» Computing education for sustainability
Sort
View
CORR
2010
Springer
65views Education» more  CORR 2010»
15 years 6 months ago
Efficient Computation of Optimal Trading Strategies
Given the return series for a set of instruments, a trading strategy is a switching function that transfers wealth from one instrument to another at specified times. We present ef...
Victor Boyarshinov, Malik Magdon-Ismail
CORR
2010
Springer
58views Education» more  CORR 2010»
15 years 6 months ago
A calculus for costed computations
We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of own...
Matthew Hennessy
CORR
2006
Springer
78views Education» more  CORR 2006»
15 years 6 months ago
FLAIM: A Multi-level Anonymization Framework for Computer and Network Logs
FLAIM (Framework for Log Anonymization and Information Management) addresses two important needs not well addressed by current log anonymizers. First, it is extremely modular and ...
Adam J. Slagell, Kiran Lakkaraju, Katherine Luo
CORR
2007
Springer
110views Education» more  CORR 2007»
15 years 6 months ago
Computing Integer Powers in Floating-Point Arithmetic
We introduce two algorithms for accurately evaluating powers to a positive integer in floating-point arithmetic, assuming a fused multiply-add (fma) instruction is available. We ...
Peter Kornerup, Vincent Lefèvre, Jean-Miche...
CORR
2007
Springer
75views Education» more  CORR 2007»
15 years 6 months ago
On Ullman's theorem in computer vision
Both in the plane and in space, we invert the nonlinear Ullman transformation for 3 points and 3 orthographic cameras. While Ullman’s theorem assures a unique reconstruction mod...
Oliver Knill, Jose Ramirez-Herran