Abstract. Let w be an equality word of two nonperiodic binary morphisms g, h : {a, b} . Suppose that no overflow occurs twice in w and that w contains at least 9 occurrences of a ...
A fragment of linear time temporal logic (LTL) is presented. It is proved that the satisfiability problem for this fragment is NPcomplete. The fragment is larger than previously kn...
Large volume public comment campaigns and web portals that encourage the public to customize form letters produce many near-duplicate documents, which increases processing and sto...
This letter addresses the problem of fetal electrocardiogram (FECG) extraction. A class of source extraction algorithms is proposed, which uses a combination of two different appr...
A novel method for microarray data classification is proposed in this letter. In this scheme, the sequential floating forward selection (SFFS) technique is used to select the inde...