Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

Corn (Zea mays L.) root tonoplast vesicles were treated with the primary-amine specific reagent, fluorescamine (FL). Modification by FL caused a differential inhibition to the coupled activities of tonoplast H(+)-ATPase. Within the range of 0 to 5 micromoles of FL per milligram of protein, the proton pumping rate was significantly reduced but ATP hydrolysis was only slightly affected. Yet, the ...

A liquid-metal based spiral magnetohydrodynamic (MHD) micropump is proposed in this work. The micropump was fabricated in a polydimethylsiloxane (PDMS)-glass hybrid microfluidic chip. This pump utilized two parallel liquid-metal-filled channels as electrodes to generate a parallel electrical field across the pumping channel between the two electrodes. To prevent contact and cross contamination ...

Many mathematical proofs are hard to generate for humans and even harder for automated theorem provers. Classical techniques of automated theorem proving involve the application of basic rules, of built-in special procedures, or of tactics. Melis (Melis 1993) introduced a new method for analogical reasoning in automated theorem proving. In this paper we show how the derivational analogy replay ...

The review aims to provide a common understanding of the use late-time drawdown interpret aquifer pumping tests. first part provides an overview in literature illustrate where and how term is being used. A discussion on practical implications using its significance then presented. shows three main ways: application Cooper Jacob time-drawdown method, description third segment unconfined drawdown...

When pumping from a single well in a real (heterogeneous) aquifer, the steady state drawdown at the well is proportional to the pumping rate through a value called the equivalent transmissivity, Tea, which, in short, is the value that best suits Thiem's formula. Equivalent transmissivity is not a local value, but some representative value of a certain area surrounding the well. By means of nume...