It has been well-known that Finite State Machines (FSMs) are difficult to test. The problem of FSM testing can be regarded as an identification problem: to design input sequence (test) capable to distinguish a given (fault-free) FSM from all other (faulty) ones. Testing methods based on checking experiments theory [1,2] are not widely used in practical, because of the high upper bound of checki...

In this paper, we present two efficient algorithms computing scalar multiplications of a point in an elliptic curve defined over a small finite field, the Frobenius map of which has small trace. Both methods use the identity which expresses multiplication-by-m maps by polynomials of Frobenius maps. Both are applicable for a large family of elliptic curves and more efficient than any other metho...

OBJECTIVE We assessed the accuracy of the FreeStyle Mini (FSM) meter for use in glycemic clamp and meal protocols in comparison with the HemoCue Glucose 201 DM Analyzer (HemoCue) and the YSI 2300 STAT Glucose Oxidase Analyzer (YSI). METHODS Seven volunteers with type 2 diabetes mellitus, 35-69 years old, underwent a frequently sampled meal test and a graded hyperglycemic test, on two separate...

Stochastic computational elements, which perform computation based on stochastic bit streams, have several advantages compared to deterministic computational elements, such as high fault-tolerance and low hardware cost. Additionally, researchers have shown that a linear Finite State Machine (FSM) can be used to compute some functions stochastically, such as the exponentiation and tanh functions...

We present in this paper an approach to approximate the Frobenius-Perron transfer operator from a sequence of time-ordered images, that is, a movie dataset. Unlike time-series data, successive images do not provide a direct access to a trajectory of a point in a phase space; more precisely, a pixel in an image plane. Therefore, we reconstruct the velocity field from image sequences based on the...

The bigraded Frobenius characteristic of the Garsia-Haiman module M μ is known [7] [10] to be given by the modified Macdonald polynomial˜H μ [X; q, t]. It follows from this that, for μ n the symmetric polynomial ∂ p1˜H μ [X; q, t] is the bigraded Frobenius characteristic of the restriction of M μ from S n to S n−1. The theory of Macdonald polynomials gives explicit formulas for the coefficients...

Fluorescent speckle microscopy (FSM) is a technology used to analyze the dynamics of macromolecular assemblies in vivo and in vitro. Speckle formation by random association of fluorophores with a macromolecular structure was originally discovered for microtubules. Since then FSM has been expanded to study other cytoskeleton and cytoskeleton-binding proteins. Specialized software has been develo...

In fertility-sparing management (FSM), two different issues can be distinguished: the risk of recurrence/death and chance childbearing. Survival is principal outcome in oncology, definitions overall survival progression-free are therefore well defined widely accepted. The introduction FSM to clinical practice was determined by desire young cancer patients still have children. Initially, small g...

Reactivity to unforeseen disturbances is one of the most crucial characteristics for biped robots walk robustly in real world. Nevertheless, conventional walking methods generally have limited capability generating rapid reactions disturbances, because these it necessary wait until end preplanned time period proceed next phase. In this study, improve reactivity, we develop an event-based finite...

The purpose of this research was to examine whether children would benefit from a feedforward self-modeling (FSM) video and to explore possible explanatory mechanisms for the potential benefits, using a self-regulation framework. To this end, children were involved in learning two five-skill trampoline routines. For one of the routines, a FSM video was provided during acquisition, whereas only ...