Dynamic test sequence compaction is an effective means of reducing test application time and often results in higher fault coverages and reduced test generation time as well. A new algorithm for dynamic test sequence compaction is presented that uses genetic techniques to evolve test sequences. Test sequences provided by a test generator and previously evolved sequences already included in the ...

In this article we consider the sequences of sample and population covariance operators for a sequence of arrays of Hilbertian random elements. Then under the assumptions that sequences of the covariance operators norm are uniformly bounded and the sequences of the principal component scores are uniformly sumable, we prove that the convergence of the sequences of covariance operators would impl...

Sequence alignment is a method to establish similarity between sequences. Sometimes it is necessary to compare many sequences simultaneously to establish evolutionary relationship between them. The process of aligning multiple sequences simultaneously to achieve maximum similarity is called Multiple Sequence Alignment problem. Multiple Protein Sequence Alignment is an NP Hard problem. So there ...

Synaptic Plasticity, the foundation for learning and memory formation in the human brain, manifests in various forms. Here, we combine the standard spike timing correlation based Hebbian plasticity with a non-Hebbian synaptic decay mechanism for training a recurrent spiking neural model to generate sequences. We show that inclusion of the adaptive decay of synaptic weights with standard STDP he...

We consider the problem of decidability for Context Logic for sequences, ranked trees and unranked trees. We show how to translate quantifier-free formulae into finite automata that accept just the sequences or trees which satisfy the formulae. Satisfiability is thereby reduced to the language emptiness problem for finite automata, which is simply a question of reachability. This reduction show...

the set of all non-increasing non-negative integer sequences $pi=(d_1‎, ‎d_2,ldots,d_n)$ is denoted by $ns_n$‎. ‎a sequence $piin ns_{n}$ is said to be graphic if it is the degree sequence of a simple graph $g$ on $n$ vertices‎, ‎and such a graph $g$ is called a realization of $pi$‎. ‎the set of all graphic sequences in $ns_{n}$ is denoted by $gs_{n}$‎. ‎the complete product split graph on $l‎ ...

In this paper, we introduce and study the concepts of $mathcal{I}_2$-convergence, $mathcal{I}_2^{*}$-convergence for double sequences of fuzzy real numbers, where $mathcal{I}_2$ denotes the ideal of subsets of $mathbb N times mathbb N$. Also, we study some properties and relations of them.

background: the purpose of this study is to demonstrate the advantages of gradient echo (gre) sequences in the detection and characterization of cerebral venous sinus thrombosis compared to conventional magnetic resonance sequences. methods: a total of 17 patients with cerebral venous thrombosis (cvt) were evaluated using different magnetic resonance imaging (mri) sequences. the mri sequences i...

zero tillage practices have a direct effect on soil microbial communities modifying soil productivity and sustainability. the crop sequences used can change the aforementioned properties, too. in this study, we evaluated the effect of crop sequences under zero tillage management on soil biological and chemical properties including vertical distribution of soil organic carbon, soil basal respira...

Echinoderm diseases have attracted little interest in contrast to the other commercial marine organisms. This study reports the pathogenesis pattern of juvenile Holothuria scabra. 11 pure bacteria were isolated from lesions of juvenile H. scabra with the symptoms of skin ulceration disease. Phylogenetic identification based on 16S rRNA gene sequences analysis revealed that they belonged to the ...