We report results for the temperature profiles of turbulent Rayleigh-Bénard convection (RBC) in the interior of a cylindrical sample of aspect ratio Γ≡D/L=0.50 (D and L are the diameter and height, respectively). Both in the classical and in the ultimate state of RBC we find that the temperature varies as A×ln(z/L)+B, where z is the distance from the bottom or top plate. In the classical state,...

This paper studies the relationship between optimal award and scarcity of ideas in innovation contests. We consider contests with different distributions of idea qualities and conduct comparative static analysis of optimal – revenue maximizing – awards with respect to the distributions. We find that a distribution with scarcer ideas leads to higher optimal awards if the marginal value of innova...

Marinescu said that the real problem when doing faultinjection testing is finding good strategies to inject faults. He then focused on answering the when, where, and what to inject questions. He first introduced the notion of injection triggers, a mechanism that allows testers to specify with an arbitrary degree of precision when to inject. Then he showed a static analysis tool that can automat...

This paper proposes a geometric solution to the problem of prime decomposability of concurrent processes first explored by R. Milner and F. Moller in [MM93]. Concurrent programs are given a geometric semantics using cubical areas, for which a unique factorization theorem is proved. An effective factorization method which is correct and complete with respect to the geometric semantics is derived...

6.

This work postulates a mechanism by which random genotypic variation is directed towards favourable phenotypic variation. Evolvability is a poorly understood concept at present; it is unclear precisely how the genotype-phenotype map aligns random genotypic mutation with favourable phenotypic variation. By static analysis of the distribution of functionality within the genotype, an emergent bias...