In earlier papers a critic for automatically generalizing conjectures in the context of failed inductive proofs was presented. The critic exploits the partial success of the search control heuristic known as rippling. Through empirical testing a natural generalization and extension of the basic critic emerged. Here we describe our extended generalization critic together with some promising expe...

A notion of embedding appropriate to higher-order syntax is described. This provides a representation of annotated formulae in terms of the diierence between pairs of formulae. We deene substitution and uniication for such annotated terms. Using this representation of annotated terms, the proof search guidance technique of rippling can be extended to higher-order theorems. We illustrate this by...

A lattice-gas cellular automaton (LGCA) model is used to simulate rippling and aggregation in myxobacteria. An efficient way of representing cells of different cell size, shape and orientation is presented that may be easily extended to model later stages of fruiting body formation. This LGCA model is designed to investigate whether a refractory period, a minimum response time, a maximum oscill...

We study the swelling behavior of finlike polymer line gratings supported on a rigid substrate and show that the edge-supported polymer laminae undergo a rippling instability with a well-defined ripple wavelength λ transverse to the plane of the solid supporting substrate and a ripple amplitude that monotonically decreases from its maximum at the free-edge. These ripple patterns develop due to ...

Rippling muscle disease is caused by mutations in the gene encoding caveolin-3 (CAV3), the muscle-specific isoform of the scaffolding protein caveolin, a protein involved in the formation of caveolae. In healthy muscle, caveolin-3 is responsible for the formation of caveolae, which are highly organized sarcolemmal clusters influencing early muscle differentiation, signalling and Ca(2+) homeosta...

Rippling muscle disease (RMD) is a rare muscle disorder characterised by muscle stiffness, exercise induced myalgia, and cramp-like sensations. It is genetically heterogeneous and can be acquired, but most cases show autosomal dominant inheritance due to mutations in the caveolin-3 (CAV3) gene. We report a novel heterozygous missense mutation in CAV3 in a Belgian family with autosomal dominant ...

When compressive strain is applied to a single-layered material, the layer generally ripples along the third dimension to release the strain energy. In contrast, such a rippling effect is not favored when it is under tensile strain. Here, using first-principles density-functional calculations, we show that molecular adsorption on boron-doped graphene (BG) can be largely tuned by exploiting the ...

Magnetosheath jets are currently an important topic in the field of magnetosheath physics. It is thought that 97% produced by shock rippling at quasi-parallel shocks. Recently, large statistical studies have been performed, however, it not clear whether also produces found downstream quasi-perpendicular We analyze four types events with signatures characteristic jets, namely increased density a...