We present a pumping lemma for the class of ε-contractions of pushdown graphs of level n, for each n. A pumping lemma was proposed by Blumensath, but there is an irrecoverable error in his proof; we present a new proof. Our pumping lemma also improves the bounds given in the invalid paper of Blumensath. 1998 ACM Subject Classification F.1.1 Models of Computation

Serotonin (5-HT) stimulates both pharyngeal pumping and egg laying in Caenorhabditis elegans. Four distinct 5-HT receptors have been partially characterized, but little is known about their function in vivo. SER-7 exhibits most sequence identity to the mammalian 5-HT7 receptors and couples to a stimulation of adenyl cyclase when expressed in COS-7 cells. However, many 5-HT7-specific agonists ha...

Understanding and quantification of wellbore skin improves our ability to accurately measure or estimate hydrologic parameters with tests at wells such as pumping tests, flowmeter tests, and slug tests. This paper presents observations and results from a series of field, laboratory, and modeling tests which, together, explain the source of wellbore skin at wells at a research wellfield and whic...

The existing knowledge regarding seawater intrusion and particularly upconing, in which both problems are linked to pumping, entirely relies on theoretical assumptions. Therefore, in this paper, an attempt is made to capture the effects of pumping on seawater intrusion and upconing using 2D resistivity measurement. For this work, two positions, one perpendicular and the other parallel to the se...

Bose-Einstein condensation in a gas of magnons pumped by an incoherent pumping source is experimentally studied at room temperature. We demonstrate that the condensation can be achieved in a gas of bosons under conditions of incoherent pumping. The critical transition point is shown to be almost independent of the frequency spectrum of the pumping source and is solely determined by the density ...

Analytical solutions for constant-rate pumping tests are widely used to infer aquifer properties. In this note, we implement a methodology that approximates the time-varying pumping record as a series of segments with linearly varying pumping rates. We validate our approach using an analytical solution for a sinusoidally varying pumping test. We also apply our methodology to analyze synthetic t...

In contrast to conventional generators, self-excited induction generators are found to be most suitable machines for wind energy conversion in remote and windy areas due to many advantages over grid connected machines. This papers presents a Self-Excited Induction Generator (SEIG) driven by wind turbine and supplying an induction motor which is coupled to a centrifugal pump. A method to describ...

We propose to realize adiabatic topological spin and valley pumping by using silicene, subject to the modulation of an in-plane ac electric field with amplitude Ey and a vertical electric field consisting of an electrostatic component and an ac component with amplitudes and . By tuning and , topological valley pumping or spin-valley pumping can be achieved. The low-noise valley and spin current...

The possibility to perform charge-pumping measurements on power VDMOS transistors is investigated. By analyzing the spatial distributions of the charge-pumping threshold and flat-band voltages it is concluded that the charge-pumping measurements can be carried out in the subthreshold region of the device. This conclusion is confirmed by twodimensional transient numerical modeling of the charge-...

Respiration in fishes involves buccal pumping, which is characterized by the generation of nearly continuous water flow over the gills because of the rhythmic expansion/compression of the pharyngeal cavity. This mechanism is achieved by the functions of the vascular, skeletal, and muscular systems. However, the process by which the embryo establishes the mechanism remains a mystery. Morphologic...