Ntyft/ntyxt rules reduce to ntree rules

Groote and Vaandrager introduced the tyft/tyxt format for Transition System Specifications (TSSs), and established that for each TSS in this format that is well-founded, the bisimulation equivalence it induces is a congruence. In this paper, we construct for each TSS in tyft/tyxt format an equivalent TSS that consists of tree rules only. As a corollary we can give an affirmative answer to an open question, namely whether the well-foundedness condition in the congruence theorem for tyft/tyxt can be dropped. These results extend to tyft/tyxt with negative premises and predicates

Inhibition of the norepinephrine transporter by χ-conotoxin dendrimers.

Peptide dendrimers are a novel class of macromolecules of emerging interest with the potential of delayed renal clearance due to their molecular size and enhanced activity due to the multivalency effect. In this work, an active analogue of the disulfide-rich χ-conotoxin χ-MrIA (χ-MrIA), a norepinephrine reuptake (norepinephrine transporter) inhibitor, was grafted onto a polylysine dendron. Dendron decoration was achieved by employing copper-catalyzed alkyne-azide cycloaddition with azido-PEG chain-modified χ-MrIA analogues, leading to homogenous 4-mer and 8-mer χ-MrIA dendrimers with molecular weights ranging from 8 to 22 kDa. These dendrimers were investigated for their impact on peptide secondary structure, in vitro functional activity, and potential anti-allodynia in vivo. NMR studies showed that the χ-MrIA tertiary structure was maintained in the χ-MrIA dendrimers. In a functional norepinephrine transporter reuptake assay, χ-MrIA dendrimers showed slightly increased potency relative to the azido-PEGylated χ-MrIA analogues with similar potency to the parent peptide. In contrast to χ-MrIA, no anti-allodynic action was observed when the χ-MrIA dendrimers were administered intrathecally in a rat model of neuropathic pain, suggesting that the larger dendrimer structures are unable to diffuse through the spinal column tissue and reach the norepinephrine transporter.NHMRC Grants: 1045964 & 107211

Nonlinear stabilitty for steady vortex pairs

In this article, we prove nonlinear orbital stability for steadily translating vortex pairs, a family of nonlinear waves that are exact solutions of the incompressible, two-dimensional Euler equations. We use an adaptation of Kelvin's variational principle, maximizing kinetic energy penalised by a multiple of momentum among mirror-symmetric isovortical rearrangements. This formulation has the advantage that the functional to be maximized and the constraint set are both invariant under the flow of the time-dependent Euler equations, and this observation is used strongly in the analysis. Previous work on existence yields a wide class of examples to which our result applies.Comment: 25 page

In Situ Strain and Damage Monitoring of GFRP Laminates Incorporating Carbon Nanofibers under Tension

In this study, conductive carbon nanofibers (CNFs) were dispersed into epoxy resin and then infused into glass fiber fabric to fabricate CNF/glass fiber-reinforced polymer (GFRP) laminates. The electrical resistance and strain of CNF/GFRP laminates were measured simultaneously during tensile loadings to investigate the in situ strain and damage monitoring capability of CNF/GFRP laminates. The damage evolution and conduction mechanisms of the laminates were also presented. The results indicated that the percolation threshold of CNFs content for CNF/GFRP laminates was 0.86 wt % based on a typical power law. The resistance response during monotonic tensile loading could be classified into three stages corresponding to different damage mechanisms, which demonstrated a good ability of in situ damage monitoring of the CNF/GFRP laminates. In addition, the capacity of in situ strain monitoring of the laminates during small strain stages was also confirmed according to the synchronous and reversible resistance responses to strain under constant cyclic tensile loading. Moreover, the analysis of the resistance responses during incremental amplitude cyclic tensile loading with the maximum strain of 1.5% suggested that in situ strain and damage monitoring of the CNF/GFRP laminates were feasible and stable

Ice-rich (periglacial) vs icy (glacial) depressions in the Argyre region, Mars: a proposed cold-climate dichotomy of landforms

On Mars, so-called “scalloped depressions” are widely observed in Utopia Planitia (UP) and Malea Planum (MP). Typically, they are rimless, metres- to decametres-deep, incised sharply, tiered inwardly, polygonised and sometimes pitted. The depressions seemingly incise terrain that is icy and possibly thermokarstic, i.e. produced by the thermal destabilisation of the icy terrain. Agewise, the depressions are thought to be relatively youthful, originating in the Late Amazonian Epoch.Here, we report the presence of similar depressions in the Argyre region (AR) (30–60° S; 290–355° E). More importantly, we separate and differentiate these landforms into two groups: (ice-rich) periglacial depressions (Type-1); and, (icy) glacial depressions (Type-2a-c). This differentiation is presented to the Mars community for the first time.Based on a suite of morphological and geological characteristics synonymous with ice-complexes in the Lena Peninsula (eastern Russia) and the Tuktoyaktuk Coastlands (Northwest Territories, Canada), we propose that the Type-1 depressions are ice-rich periglacial basins that have undergone volatile depletion largely by sublimation and as the result of thermal destabilisation. In keeping with the terms and associated definitions derived of terrestrial periglacial-geomorphology, ice-rich refers to permanently frozen-ground in which ice lenses or segregation ice (collectively referenced as excess ice) have formed.We suggest that the depressions are the product of a multi-step, cold-climate geochronology:(1) Atmospheric precipitation and surface accumulation of an icy mantle during recent high obliquities.(2) Regional or local triple-point conditions and thaw/evaporation of the mantle, either by exogenic forcing, i.e. obliquity-driven rises of aerial and sub-aerial temperatures, or endogenic forcing, i.e. along Argyre impact-related basement structures.(3) Meltwater migration into the regolith, at least to the full depth of the depressions.(4) Freeze-thaw cycling and the formation of excess ice.(5) Sublimation of the excess ice and depression formation as high obliquity dissipates and near-surface ice becomes unstable.The Type-2 depressions exhibit characteristics suggestive of (supra-glacial) dead-ice basins and snow/ice suncups observed in high-alpine landscapes on Earth, e.g. the Swiss Alps and the Himalayas. Like the Type-1 depressions, the Type-2 depressions could be the work of sublimation; however, the latter differ from the former in that they seem to develop within a glacial-like icy mantle that blankets the surface rather than within an ice-rich and periglacially-revised regolith at/near the surface.Interestingly, the Type-2 depressions overlie the Type-1 depressions at some locations. If the periglacial/glacial morphological and stratigraphical dichotomy of depressions is valid, then this points to recent glaciation at some locations within the AR being precursed by at least one episode of periglaciation. This also suggests that periglaciation has a deeper history in the region than has been thought hitherto. Moreover, if the hypothesised differences amongst the Argyre-based depressions are mirrored in Utopia Planitia and Malea Planum, then perhaps this periglacial-glacial dichotomy and its associated geochronology are as relevant to understanding late period landscape-evolution in these two regions as it is in the AR

Effective Field Theory for Layered Quantum Antiferromagnets with Non-Magnetic Impurities

We propose an effective two-dimensional quantum non-linear sigma model combined with classical percolation theory to study the magnetic properties of site diluted layered quantum antiferromagnets like La$_{2}$Cu$_{1-x}$M$_x$O$_{4}$ (M$=$Zn, Mg). We calculate the staggered magnetization at zero temperature, $M_s(x)$, the magnetic correlation length, $\xi(x,T)$, the NMR relaxation rate, $1/T_1(x,T)$, and the N\'eel temperature, $T_N(x)$, in the renormalized classical regime. Due to quantum fluctuations we find a quantum critical point (QCP) at $x_c \approx 0.305$ at lower doping than the two-dimensional percolation threshold $x_p \approx 0.41$. We compare our results with the available experimental data.Comment: Final version accepted for publication as a Rapid Communication on Physical Review B. A new discussion on the effect of disorder in layered quantum antiferromagnets is include

A Single Laser System for Ground-State Cooling of 25-Mg+

We present a single solid-state laser system to cool, coherently manipulate and detect $^{25}$Mg$^+$ ions. Coherent manipulation is accomplished by coupling two hyperfine ground state levels using a pair of far-detuned Raman laser beams. Resonant light for Doppler cooling and detection is derived from the same laser source by means of an electro-optic modulator, generating a sideband which is resonant with the atomic transition. We demonstrate ground-state cooling of one of the vibrational modes of the ion in the trap using resolved-sideband cooling. The cooling performance is studied and discussed by observing the temporal evolution of Raman-stimulated sideband transitions. The setup is a major simplification over existing state-of-the-art systems, typically involving up to three separate laser sources

Quasinormal modes from potentials surrounding the charged dilaton black hole

We clarify the purely imaginary quasinormal frequencies of a massless scalar perturbation on the 3D charged-dilaton black holes. This case is quite interesting because the potential-step appears outside the event horizon similar to the case of the electromagnetic perturbations on the large Schwarzschild-AdS black holes. It turns out that the potential-step type provides the purely imaginary quasinormal frequencies, while the potential-barrier type gives the complex quasinormal modes.Comment: 19 pages, 8 figure

Genetic clustering on the hippocampal surface for genome-wide association studies

Imaging genetics aims to discover how variants in the human genome influence brain measures derived from images. Genome-wide association scans (GWAS) can screen the genome for common differences in our DNA that relate to brain measures. In small samples, GWAS has low power as individual gene effects are weak and one must also correct for multiple comparisons across the genome and the image. Here we extend recent work on genetic clustering of images, to analyze surface-based models of anatomy using GWAS. We performed spherical harmonic analysis of hippocampal surfaces, automatically extracted from brain MRI scans of 1254 subjects. We clustered hippocampal surface regions with common genetic influences by examining genetic correlations (rg) between the normalized deformation values at all pairs of surface points. Using genetic correlations to cluster surface measures, we were able to boost effect sizes for genetic associations, compared to clustering with traditional phenotypic correlations using Pearson's r

Possible origins of macroscopic left-right asymmetry in organisms

I consider the microscopic mechanisms by which a particular left-right (L/R) asymmetry is generated at the organism level from the microscopic handedness of cytoskeletal molecules. In light of a fundamental symmetry principle, the typical pattern-formation mechanisms of diffusion plus regulation cannot implement the "right-hand rule"; at the microscopic level, the cell's cytoskeleton of chiral filaments seems always to be involved, usually in collective states driven by polymerization forces or molecular motors. It seems particularly easy for handedness to emerge in a shear or rotation in the background of an effectively two-dimensional system, such as the cell membrane or a layer of cells, as this requires no pre-existing axis apart from the layer normal. I detail a scenario involving actin/myosin layers in snails and in C. elegans, and also one about the microtubule layer in plant cells. I also survey the other examples that I am aware of, such as the emergence of handedness such as the emergence of handedness in neurons, in eukaryote cell motility, and in non-flagellated bacteria.Comment: 42 pages, 6 figures, resubmitted to J. Stat. Phys. special issue. Major rewrite, rearranged sections/subsections, new Fig 3 + 6, new physics in Sec 2.4 and 3.4.1, added Sec 5 and subsections of Sec