We investigate characterizations of the Galois connection sInv–Aut between sets of finitary relations on a base set A and their automorphisms. In particular, for A = ω1, we construct a set R of relations that is closed under all invariant operations on relations and under arbitrary intersections, but is not closed under sInv Aut.

Kiwi Advanced Research and Education Network (KAREN) has been used to transfer large volumes of radio astronomical data between the AUT Radio Astronomical Observatory at Warkworth, New Zealand and the international organisations with which we are collaborating and conducting observations. Here we report on the current status of connectivity and on the results of testing different data transfer ...

In this work, the omega-amine alkanethiols, cysteamine (CA) and 11-amino-1-undecanethiol (11-AUT), were chemisorbed as self-assembled monolayers (SAMs) onto 250-microm gold microelectrodes that were microlithographically fabricated within eight-well cell culture plates and investigated as a means to improve neuron-to-electrode surface attachment (NESA). Dynamic contact angle (DCA) measurements ...

UNLABELLED Gastrointestinal disturbances are commonly reported in children with autism and may be associated with compositional changes in intestinal bacteria. In a previous report, we surveyed intestinal microbiota in ileal and cecal biopsy samples from children with autism and gastrointestinal dysfunction (AUT-GI) and children with only gastrointestinal dysfunction (Control-GI). Our results d...

1.1. Let G be a noncompact connected real semi-simple Lie group with trivial center and with no nontrivial compact connected normal subgroups, and g be its Lie algebra. The group Aut(G) (=Aut(g)) of automorphisms of G is a Lie group with finitely many connected components, and G is its identity component. We will denote the identity component of Aut(G) in the Zariski-topology by Int(G). Let X b...

Let G be a graph, u be a vertex of G, and B(u)(or BG(u)) be the set of u with all its neighbors in G. A sequence (B1, B2, ..., Bn) of subsets of an n-set S is a neighborhood sequence if there exists a graph G with a vertex set S and a permutation (v1, v2, ..., vn) of S such that B(vi) = Bi for i = 1, 2, ..., n. Define Aut(B1, B2, ..., Bn) as the set {f : f is a permutation of V (G) and (f(B1), ...

Gas hydrates are a costly problem when they plug oil and gas pipelines. The best way to determine the HFT and pressure is to measure these conditions experimentally for every gas system. Since this is not practical in terms of time and money, correlations are the other alternative tools. There are a small number of correlations for specific gravity method to predict the hydrate formation. As th...

We prove that there exists a positive integer Cn depending only on n such that for every smooth projective n-fold of general type X defined over C, the automorphism group Aut(X) of X satisfies ♯Aut(X) ≤ Cn · μ(X,KX ), where μ(X,KX ) is the volume ofX with respect toKX . MSC14E05,32J25.

We study fixed point properties of the automorphism group universal Coxeter Aut(Wn). In particular, we prove that whenever Aut(Wn) acts by isometries on complete d-dimensional CAT(0) space with d<⌊n2⌋, then it must fix a point. also does not have Kazhdan’s property (T). Further, strong restrictions are obtained homomorphisms to groups do contain copy Sym(n).