In a previous paper we have established the theory of transsnite reduction for orthogonal term rewriting systems. In this paper we perform the same task for the lambda calculus. From the viewpoint of innnitary rewriting, the BB ohm model of the lambda calculus can be seen as an innnitary term model. In contrast to term rewriting, there are several diierent possible notions of innnite term, whic...

We investigate the polarity-dependent field-induced resistive switching phenomenon driven by electric pulses in perovskite oxides. Our data show that the switching is a common occurrence restricted to an interfacial layer between a deposited metal electrode and the oxide. We determine through impedance spectroscopy that the interfacial layer is no thicker than 10 nm and that the switch is accom...

The HfO2/TiO2/HfO2 trilayer-structure resistive random access memory (RRAM) devices have been fabricated on Pt- and TiN-coated Si substrates with Pt top electrodes by atomic layer deposition (ALD). The effect of the bottom electrodes of Pt and TiN on the resistive switching properties of trilayer-structure units has been investigated. Both Pt/HfO2/TiO2/HfO2/Pt and Pt/HfO2/TiO2/HfO2/TiN exhibit ...

Abstract This study was carried out with a view to establishing routine for the selection of optimum electrode spacing accurate measurement resistivity within unusually thin (5–100 cm) subsurface layer in agro geophysics. The Hummel’s image theory 2-Layer Wenner Vertical Electrical Sounding (VES) formed theoretical basis study. For purpose simulation, computer program developed using theory. si...

The mechanism regulating the equilibrium electrostatic potential in the scrape-off layer (SOL) of magnetic confinement devices is elucidated. Based on a generalized Ohm’s law and the boundary conditions at the magnetic presheath entrance, an analytical expression for the equilibrium electrostatic potential is derived. Results imply that the relative importance of the plasma dynamics at the shea...

The action of Ba(++) on membrane potential (E(m)) and resistance (R(m)) of frog (R. pipiens) sartorius fibers was studied. In normal Cl(-) Ringer's, Ba(++) (<9 mM) did not depolarize or induce contractions, but increased R(m) slightly above the control value of 3.8 +/- 0.6 K ohm-cm(2). In Cl(-)-free Ringer's (methane sulfonate) R(m) was 28.8 +/- 2.8 K ohm-cm(2), and low concentrations of Ba(++)...