A lattice gas cellular automation (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 oscil...

Particle acceleration and heating at mildly relativistic magnetized shocks in electron-ion plasma are investigated with unprecedentedly high-resolution two-dimensional particle-in-cell simulations that include ion-scale shock rippling. Electrons super-adiabatically heated the shock, most of energy transfer from protons to electrons takes place or downstream shock. We first demonstrate rippling ...

Abstract In a collisionless shock the energy of directed flow is converted to heating and acceleration charged particles, magnetic compression. low-Mach number shocks downstream ion distribution made directly transmitted ions. higher-Mach reflection important. With increase Mach number, rippling develops, which expected affect dynamics. Using tracing in model front, distributions ions are analy...

We describe a program for nding closed form solutions to nite sums. The program was built to test the applicability of the proof planning search control technique in a domain of mathematics outwith induction. This experiment was successful. The series summing program extends previous work in this area and was built in a short time just by providing new series summing methods to our existing ind...

We show that the interaction between flexural phonons, when corrected by the exchange of electron-hole excitations, may drive the graphene sheet into a quantum critical point characterized by the vanishing of the bending rigidity of the membrane. Ripples arise then due to spontaneous symmetry breaking, following a mechanism similar to that responsible for the condensation of the Higgs field in ...

Prosthetic implants are frequently used for breast augmentation and breast reconstruction following mastectomy. Unfortunately, long-term aesthetic results of prosthetic breast restoration may be hindered by complications such as rippling, capsular contracture, and implant malposition. The advent of use of acellular dermal matrices has greatly improved the outcomes of prosthetic breast reconstru...

Rippling is a technique developed for inductive theorem proving which uses syntactic differences of terms to guide the proof search. Annotations (like colors) to terms are used to maintain this information. This technique has several advantages, e.g. it is highly goal oriented and involves little search. In this paper we give a general formalisation of coloring terms in a higher-order setting. ...

Rippling is a technique developed for inductive theorem proving which uses syntactic diierences of terms to guide the proof search. Annotations (like colors) to terms are used to maintain this information. This technique has several advantages, e.g. it is highly goal oriented and involves little search. In this paper we give a general formalisation of coloring terms in a higher-order setting. W...