A class of relational structures is said to have the extension preservation property if every first-order sentence that is preserved under extensions on the class is equivalent to an existential sentence. The class of all finite structures does not have the extension preservation property. We study the property on classes of finite structures that are better behaved. We show that the property h...

Predicting protein functional classes such as localization sites and modifications plays a crucial role in function annotation. Given a tremendous amount of sequence data yielded from high-throughput sequencing experiments, the need of efficient and interpretable prediction strategies has been rapidly amplified. Our previous approach for subcellular localization prediction, PSLDoc, archives hig...

Farach, Kannan and Warnow (1995) defined Problem MCA (matrix completion to additive) and proved it to be NP-complete: given a partial dissimilarity d on a finite set X, does there exist a tree metric extending d to all pairs of elements of X. We use a previously described simple method of phylogenetic reconstruction, and its extension to partial dissimilarities, to characterize some classes of ...

The author recently published a report1 on an experiment with forty classes, 1153 pupils, in four New York City Schools. The present report deals with a similar experiment with sixteen classes, containing 573 pupils, in three Lynchburg, Va., schools. The important difference between the experiments is the amount of continuous work required by the tests. The New York classes were given four ten ...

This paper extends and applies algebraic invariants and constructions for mixing finite group extensions of shifts of finite type. For a finite abelian group G, Parry showed how to define a G-extension SA from a square matrix over Z+G, and classified the extensions up to topological conjugacy by the strong shift equivalence class of A over Z+G. Parry asked in this case if the dynamical zeta fun...

Traditional object-oriented programming languages do not support the dynamic type change of an object so as to model the behavior of real world entities which change their status over time. This is a severe limitation in the context of a database programming language. Moreover, traditional object-oriented languages do not model the fact that the behavior of real world entities may depend on the...

This paper presents a state-based approach to testing aspect-oriented programs. Aspectual state models, as an extension to the testable FREE state model of classes, are exploited to capture the impact of aspects on the state models of classes. To generate test suites for adequately testing object behavior and interaction between classes and aspects in terms of message sequences, we transform an...

PURPOSE:This study aimed to examine the effects of non-face-to-face learning on health-related physical fitness and balance in adolescents according coronavirus disease 2019 (COVID-19).METHODS:Twenty-nine middle-school students (14 girls 15 boys) were enrolled. We measured students’ (body composition, muscle strength, endurance, flexibility, cardiac endurance) (static dynamic) before after 12 w...

in this paper we first construct the non-split extension $overline{g}= 2^{6} {^{cdot}}sp(6,2)$ as a permutation group acting on 128 points. we then determine the conjugacy classes using the coset analysis technique, inertia factor groups and fischer matrices, which are required for the computations of the character table of $overline{g}$ by means of clifford-fischer theory. there are two inerti...

Within an algebraic analysis approach, the purpose of the paper is to constructively solve the following problem: given two fixed multidimensional linear systems S1 and S2, parametrize the multidimensional linear systems S which contain S1 as a subsystem and satisfy that S/S1 is isomorphic to S2. In order to study this problem, we use Baer’s classical interpretation of the extension functor and...