Deterministic two-way transducers define the robust class of regular functions which is, among other good properties, closed under composition. However, the best known algorithms for composing two-way transducers cause a double exponential blow-up in the size of the inputs. In this paper, we introduce a class of transducers for which the composition has polynomial complexity. It is the class of...

In this article, we develop the Sinc-Galerkin method based on double exponential transformation for solving a class of weakly singular nonlinear two-point boundary value problems with nonhomogeneous boundary conditions. Also several examples are solved to show the accuracy efficiency of the presented method. We compare the obtained numerical results with results of the other existing methods in...

this paper presents a new mathematical model for a redundancyallocation problem (rap) withcold-standby redundancy strategy and multiple component choices.the applications of the proposed model arecommon in electrical power, transformation,telecommunication systems,etc.manystudies have concentrated onone type of time-to-failure, butin thispaper, two components of time-to-failures which follow hy...

Three well studied progress conditions for implementing concurrent algorithms without locking are, obstruction-freedom, non-blocking and wait-freedom. Obstruction-freedom is weaker than non-blocking which, in turn, is weaker than wait-freedom. While obstruction-freedom and non-blocking have the potential to significantly improve the performance of concurrent applications, wait-freedom (although...

We investigate the effectiveness of Inverse Laplace Transform (ILT) analysis method to extract distribution relaxation rates from nuclear magnetic resonance data with stretched exponential relaxation. Stretched-relaxation is a hallmark rates, and an analytical expression exists for this case spin-1/2 nucleus. compare theoretical those extracted via ILT several values stretching exponent at diff...

using the riemann-liouville fractional differintegral operator, the lie theory is reformulated. the fractional poisson bracket over the fractional phase space as 3n state vector is defined to be the fractional lie derivative. its properties are outlined and proved. a theorem for the canonicity of the transformation using the exponential operator is proved. the conservation of its generator is p...

A key result in the theory of modal mu-calculus is disjunctive normal form theorem by Janin & Walukiewicz, stating that every formula semantically equivalent to a so-called formula. These formulas have good computational properties and play pivotal role mu-calculus. It therefore an interesting question what best normalisation procedure for rewriting into minimal size. The constructions are know...