We aim to generalize Büchi’s fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted timed setting. For this, we investigate subclasses of weighted timed automata and show how we can extend existing timed MSO logics with weights. Here, we focus on the class of weighted event-recording automata and define a weighted extension of the full logic MSOer(Σ) in...

Monitoring disturbances in process dispersion using control chart is mostly based on the assumption that quality characteristic follows normal distribution, which not case many real-life situations. This paper proposes a set of new charts homogeneously weighted moving average (HWMA) scheme, for efficient detection shifts standard deviation (σ). These are variety σ estimators and investigated as...

We aim to generalize Büchi’s fundamental theorem on the coincidence of recognizable and MSO-definable languages to a weighted timed setting. For this, we investigate subclasses of weighted timed automata and show how we can extend existing timed MSO logics with weights. Here, we focus on the class of weighted event-recording automata and define a weighted extension of the full logic MSOer(Σ) in...

We propose a fully-dynamic distributed algorithm for the all-pairs shortest paths problem on general networks with positive real edge weights. If ∆σ is the number of pairs of nodes changing the distance after a single edge modification σ (insert, delete, weight decrease, or weight increase) then the message complexity of the proposed algorithm is O(n∆σ) in the worst case, where n is the number ...

mangrove sediments were collected during wet and dry seasons from nine stations in khamir,laft and natural reservoir mangrove-dense areas of hormozgan province in the south of iran. σ pcbs ranged from 5.33 to 15.5 ng/g dry weight and the dominant congener was no.153. average σ ddts for khamir and laft mangroves were 16.58 ± 1.51 and 18.8 ± 9.98 ng/g dry weight. ddt was more abundant than dde an...

We study the Submass Finding Problem: Given a string s over a weighted alphabet, i.e., an alphabet Σ with a weight function μ : Σ → N, we refer to a mass M ∈ N as a submass of s if s has a substring whose weights sum up to M . Now, for a set of input masses {M1, . . . ,Mk}, we want to find those Mi which are submasses of s, and return one or all occurrences of substrings with mass Mi. We presen...

A standard finite dimensional nonlinear control system is considered, along with a state constraint set S and a target set Σ. It is proven that open loop S-constrained controllability to Σ implies closed loop Sconstrained controllability to the closed δ-neighborhood of Σ, for any specified δ > 0. When the target set Σ satisfies a small time S-constrained controllability condition, conclusions o...

In this paper, given a knot K , for any integer m we construct a new surface ΣK(m) from a smoothly embedded surface Σ in a smooth 4–manifold X by performing a surgery on Σ . This surgery is based on a modification of the ‘rim surgery’ which was introduced by Fintushel and Stern, by doing additional twist spinning. We investigate the diffeomorphism type and the homeomorphism type of (X,Σ) after ...

The fundamental laws of physics are described from the modern point of view by gauge theories with continuous gauge groups. With some modification the gauge principle can (and should) be applied to discrete dynamical systems with nontrivial symmetries also. We consider specifics of introduction of gauge invariance into W -equivariant discrete dynamical systems with finite sets of states Σ, wher...

We deal with a variant of the well-known Longest Common Subsequence (LCS) problem for weighted sequences. A (biological) weighted sequence determines the probability for each symbol to occur at a given position of the sequence (such sequences are also called Position Weighted Matrices, PWM). Two possible such versions of the problem were proposed by (Amir et al., 2009 and 2010), they are called...