3. The method employs triangularly shaped electrical pulses, with a steep rise front and a slow exponential decay. The outward flow of current at the cathode fires conducted impulses in both larger and smaller axons, and the inward flow inactivates differentially the conduction in the smaller ones. 4. The differential effect of anodal currents rests upon the greater internal conductance and greater conduction velocity of larger fibres.5. The method has the advantage over the conventional polarization block of simpler surgical preparation, longer nerve survival and minimal latency distortion. However, it cannot be applied in experiments requiring physiological stimulation of peripheral receptors.
Most of the logics commonly used in verification, such as LTL, CTL, CTL * , and PDL can be embedded into the two-variable fragment of the µ-calculus. It is also known that properties occurring at arbitrarily high levels of the alternation hierarchy can be formalised using only two variables. This raises the question whether the number of fixedpoint variables in µ-formulae can be bounded in general.We answer this question negatively, and prove that the variablehierarchy of the µ-calculus is semantically strict. For any k, we provide examples of formulae with k variables that are not equivalent to any formula with fewer variables. In particular, this implies that Parikh's Game Logic is less expressive than the µ-calculus, thus resolving an open issue raised by Parikh in 1983.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.