«useless states»

Farther Remarks on the Useless State of the Lower Limbs, in Consequence of a Curvature of the Spine, Being a Supplement to a Former Treatise on That Subject

Detecting Useless Transitions in Pushdown Automata

Pushdown automata may contain transitions that are never used in any accepting run of the automaton. We present an algorithm for detecting such useless transitions. A finite automaton that captures the possible stack content during runs of the pushdown automaton, is first constru

Asymptotic State Vector Collapse, and Unitarily Nonequivalent Representations of Qed

The state vector evolution in the interaction of initial measured pure state with collective quantum system or the field with a very large number of degrees of freedom N is analysed in a nonperturbative QED formalism. As the example the measurement of the electron final state sca

States of light via reducible quantization

Multi-photon and coherent states of light are formulated in a non-Fock representation. The standard properties of such states are recovered as certain limiting cases. The new formalism leads to field operators which can be multipled at the same point in space and thus the main so

Software Defined Networking Reactive Stateful Firewall

Network security is a crucial issue of Software Defined Networking (SDN). It is probably, one of the key features for the success and for the future pervasion of the SDN technology. In this perspective, we propose a SDN reactive stateful firewall. Our solution is integrated into

Finite-State Machine Embeddings for Non-Concurrent Error Detection and Identi£cation

In digital sequential systems that operate over several time steps, a state-transition fault at any time step during the operation of the system corrupts its state in a way that can render its future functionality useless. In this paper, we develop a methodology for systematicall

A generalized composition algorithm for weighted finite-state transducers

This paper describes a weighted finite-state transducer composition algorithm that generalizes the concept of the composition filter and presents filters that remove useless epsilon paths and push forward labels and weights along epsilon paths. This filtering permits the composti

Controlling State-Space Abstraction in Bayesian Networks (Abstract)

Many applications require computational systems to respond to queries by a particular deadline. Failure to meet the deadlines may render the returned solution useless. Moreover, the deadlines of such time-critical applications are often uncertain at system design time. Anytime al

Cryptanalysis of GSM encryption algorithm A5/1

The A5/1 algorithm is one of the most famous stream cipher algorithms used for over-the-air communication privacy in GSM. The purpose of this paper is to analyze several weaknesses of A5/1, including an improvement to an attack and investigation of the A5/1 state transition. Biha

Antioxidant supplements in exercise: worse than useless?

TO THE EDITOR: In a recent paper by Higashida et al. (5), the authors report that very large doses of antioxidant vitamins do not prevent the exercise-induced adaptive responses of muscle mitochondria, GLUT4, and insulin action to exercise. As clearly stated in the paper, their d