Self-assembly is deemed to be an effective and inspiring strategy construct programmable innovative super-ordered structures. Here, we have, for the first time, achieved large-area two-dimensional (2D) emptiness arrays in graphene by silicon dioxide self-assembly pre-occupancy. The prominent uniform periodicity of 2D can flexibly adjusted. synergistic interaction between pre-occupancy structura...

This report discusses the feasibility of automating the proofs of transformations between partially ordered models. It extends the work of the author’s initial report [12] on model transformations with constructive type theory, by formalising a model as a partial order over classes, and a model transformation as a nested set of pre and post-conditions. This opens up the proofs of common kinds o...

Although five patients with severe pre-eclamptic toxaemia (PET) had increased anticomplementary activity in their serum, there was no evidence of complement activation in the plasma of four of the five patients. These results are not implicated in the pathogenesis of PET. No significant correlation was found between anticomplementary activity and pregnancy-associated alpha2-glycoprotein.

In the Cluster Editing problem, a graph is to be changed to a disjoint union of cliques by at most k operations of edge insertion or edge deletion. Improving on the best previously known quadratic-size polynomial-time kernelization, we describe how a crown-type structural reduction rule can be used to obtain a 6k kernelization bound.

The removal of intervening sequences (introns) from a primary RNA transcript is catalyzed by the spliceosome, a large ribonucleoprotein complex. At the start of each splicing cycle, the spliceosome assembles anew in a sequentially ordered manner on the pre-mRNA intron to be removed. We describe here the identification of a series of naphthalen-2-yl hydroxamate compounds that inhibit pre-mRNA sp...

We present transformations of linearly ordered sets into ordered abelian groups and ordered fields. We study effective properties of the transformations. In particular, we show that a linear order L has a ∆2 copy if and only if the corresponding ordered group (ordered field) has a computable copy. We apply these codings to study the effective categoricity of linear ordered groups and fields.

in an earlier work we showed that for ordered fields f not isomorphic to the reals r, there are continuous 1-1 unctions on [0, 1]f which map some interior point to a boundary point of the image (and so are not open). here we show that over closed bounded intervals in the rationals q as well as in all non-archimedean ordered fields of countable cofinality, there are uniformly continuous 1-1 func...

let $s$ be an ordered semigroup. a fuzzy subset of $s$ is anarbitrary mapping   from $s$ into $[0,1]$, where $[0,1]$ is theusual interval of real numbers. in this paper,  the concept of fuzzygeneralized bi-ideals of an ordered semigroup $s$ is introduced.regular ordered semigroups are characterized by means of fuzzy leftideals, fuzzy right ideals and fuzzy (generalized) bi-ideals.finally, two m...