Sciweavers

3179 search results - page 348 / 636
» Applications of PCF Theory
Sort
View
WCE
2007
13 years 11 months ago
Reliability of Fatigue Damaged Structure Using FORM, SORM and Fatigue Model
—The methodologies to calculate failure probability and to estimate the reliability of fatigue loaded structures are developed. The applicability of the methodologies is evaluate...
Ouk Sub Lee, Dong Hyeok Kim
CRYPTO
2010
Springer
167views Cryptology» more  CRYPTO 2010»
13 years 10 months ago
Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost
Multiparty computation protocols have been known for more than twenty years now, but due to their lack of efficiency their use is still limited in real-world applications: the goal...
Ivan Damgård, Claudio Orlandi
DGCI
2009
Springer
13 years 10 months ago
Grey Level Estimation for Discrete Tomography
Abstract. Discrete tomography is a powerful approach for reconstructing images that contain only a few grey levels from their projections. Most theory and reconstruction algorithms...
Kees Joost Batenburg, W. van Aarle, Jan Sijbers
GECCO
2008
Springer
157views Optimization» more  GECCO 2008»
13 years 10 months ago
Self-adaptive mutation rates in genetic algorithm for inverse design of cellular automata
Self-adaptation is used a lot in Evolutionary Strategies and with great success, yet for some reason it is not the mutation adaptation of choice for Genetic Algorithms. This poste...
Ron Breukelaar, Thomas Bäck
BIRTHDAY
2010
Springer
13 years 10 months ago
Dynamic Rippling, Middle-Out Reasoning and Lemma Discovery
Abstract. We present a succinct account of dynamic rippling, a technique used to guide the automation of inductive proofs. This simplifies termination proofs for rippling and hence...
Moa Johansson, Lucas Dixon, Alan Bundy