57,145 research outputs found

    Magnetoresistor monitors relay performance

    Get PDF
    Magnetoresistor monitors the action of relays without disturbing circuit parameters or degrading relay performance. The magnetoresistor measures the relay magnetic flux produced under transient conditions to establish the characteristic signature of the relay

    An effective characterization of the alternation hierarchy in two-variable logic

    Get PDF
    We characterize the languages in the individual levels of the quantifier alternation hierarchy of first-order logic with two variables by identities. This implies decidability of the individual levels. More generally we show that the two-sided semidirect product of a decidable variety with the variety J is decidable
    corecore