In this paper, we have dened and studied a generalized form of topological vector spaces called s-topological vector spaces. s-topological vector spaces are dened by using semi-open sets and semi-continuity in the sense of Levine. Along with other results, it is proved that every s-topological vector space is generalized homogeneous space. Every open subspace of an s-topological vector space is...

the notion of generalized locally bounded $i$-topological vectorspaces is introduced. some of their important properties arestudied. the relationship between this kind of spaces and thelocally bounded $i$-topological vector spaces introduced by wu andfang [boundedness and locally bounded fuzzy topological vectorspaces, fuzzy math. 5 (4) (1985) 87$-$94] is discussed. moreover, wealso use the fam...

Robustness and correctness are essential criteria for SAT and QBF solvers. We develop automated testing and debugging techniques designed and optimized for SAT and QBF solver development. Our fuzz testing techniques are able to find critical solver defects that lead to crashes, invalid satisfying assignments and incorrect satisfiability results. Moreover, we show that sequential and concurrent ...

Semi-analytic models of galaxy formation postulate the existence of virialized gaseous halos around galaxies at high redshifts. A small fraction of the light emitted by any high-redshift quasar is therefore expected to scatter off the free electrons in the halo of its host galaxy. The broadening of the scattered emission lines of the quasar can be used to measure the temperature of these electr...

Program sensitivity measures how robust a program’s outputs are to changes in its input. This is a useful measure in fields like differential privacy and cyber-physical systems, in order to guarantee that small input changes have a limited effect on the program behavior. A natural way to formalize program sensitivity is in terms of metrics on the input and output spaces, requiring that an r-sen...

We develop the idea of self-indexing and the technology of gradient-like vector fields in the setting of Morse theory on a complex algebraic stratification. Our main result is the local existence, near a Morse critical point, of gradientlike vector fields satisfying certain “stratified dimension bounds up to fuzz” for the ascending and descending sets. As a global consequence of this, we derive...

The cotton fiber, as a single-celled trichome, is a biological model system for studying cell differentiation and elongation. However, the complexity of gene expression and regulation in the fiber complicates genetic research. In this study, we investigated the genome-wide transcriptome profiling in Texas Marker-1 (TM-1) and five naked seed or fuzzless mutants (three dominant and two recessive)...

in this work, we introduce notion of connectedness on fuzzy soft topological spaces and present fundamentals properties. we also investigate effect to fuzzy soft connectedness. moreover, c_i-connectedness which plays an important role in fuzzy topological space extend to fuzzy soft topological spaces.