A sartorial query language facilitates the formulation of queries to a (string) database. One step towards an implementation of such a query language can be taken by defining a logical formalism expressing a known solution for the particular problem at hand. The simplicity of the logic is a desired property, because the simpler the logic that the query language is based on, the more efficiently...

We study the parameterized space complexity of model-checking first-order logic with a bounded number of variables. By restricting the number of the quantifier alternations we obtain problems complete for a natural hierarchy between parameterized logarithmic space and FPT. We call this hierarchy the tree hierarchy, provide a machine characterization, and link it to the recently introduced class...

A collection of partial isometries whose range and initial projections satisfy a specified set of conditions often gives rise to a partial representation of a group. The Calgebra generated by the partial isometries is thus a quotient of the universal C-algebra for partial representations of the group, from which it inherits a crossed product structure, of an abelian C-algebra by a partial actio...

The biosynthesis of the azamacrolide epilachnene by the coccinellid beetle Epilachna varivestis has been studied with 2H-labeled oleic acid, 2H-labeled L-serine, and 13C,15N-labeled L-serine. The incorporation of these precursors into epilachnene defines the origin of the alkaloid's entire carbon/nitrogen skeleton. GC/MS and GC/IR studies of alkaloid produced by Epilachna fed with deuteriated o...

Let k and l be positive integers with l ≤ k − 2. It is proved that there exists a positive integer c depending on k and l such that every graph of order (2k−1−l/k)n+c contains n vertex disjoint induced subgraphs, where these subgraphs are isomorphic to each other and they are isomorphic to one of four graphs: (1) a clique of order k, (2) an independent set of order k, (3) the join of a clique o...

Let k and l be positive integers with l ≤ k − 2. It is proved that there exists a positive integer c depending on k and l such that every graph of order (2k−1−l/k)n+c contains n vertex disjoint induced subgraphs, where these subgraphs are isomorphic to each other and they are isomorphic to one of four graphs: (1) a clique of order k, (2) an independent set of order k, (3) the join of a clique o...

let l := u3(11). in this article, we classify groups with the same order and degree pattern as an almost simple group related to l. in fact, we prove that l, l:2 and l:3 are od-characterizable, and l:s3 is 5-fold od-characterizable.

The defect tolerance of halide perovskite materials has led to efficient optoelectronic devices based on thin-film geometries with unprecedented speed. Moreover, it has motivated research on perovskite nanowires because surface recombination continues to be a major obstacle in realizing efficient nanowire devices. Recently, ordered vertical arrays of perovskite nanowires have been realized, whi...

Raffaelea (Ophiostomatales) is a genus of more than 20 ophiostomatoid fungi commonly occurring in symbioses with wood-boring ambrosia beetles. We examined ambrosia beetles and plant hosts in the USA and Taiwan for the presence of these mycosymbionts and found 22 isolates representing known and undescribed lineages in Raffaelea. From 28S rDNA and β-tubulin sequences, we generated a molecular phy...

A detailed account of the stability and accuracy properties of the SBP-SAT technique for numerical time integration is presented. We show how the technique can be used to formulate both global and multi-stage methods with high order of accuracy for both stiff and non-stiff problems. Linear and nonlinear stability results, including A-stability, L-stability and B-stability are proven using the e...