In a breakthrough result, Reingold [17] showed that the Undirected st-Connectivity problem can be solved in O(log n) space. The next major challenge in this direction is whether one can extend it to directed graphs, and thereby lowering the deterministic space complexity ofRL or NL. In this paper, we show that Reingold’s algorithm, the O(log n)space algorithm by Armoni et al. [3] and the O(log ...

Explicit combinatorial cancellation-free rules are given for the product of an equivariant line bundle class with a Schubert class in the torus-equivariant K-theory of a KacMoody flag manifold. The weight of the line bundle may be dominant or antidominant, and the coefficients may be described either by Lakshmibai-Seshadri paths or by the λ-chain model of the first author and Postnikov [LP, LP1...

In recent years, a rapidly growing number of small embedded systems have been used in very high volumes. One example is the automotive industry, where the number of Electronic Control Units (ECU) in a single car is approaching 100 for high end automobiles and several dozens are used in mid-range cars. Small system-on-chip microcontrollers are often used with static operating systems. As on-chip...

A recent comparison between deep VLA Hi observations and dynamical models of the Virgo cluster spiral galaxy NGC 4654 has shown that only a model involving a combination of a tidal interaction and ram pressure can reproduce the data.

Maturation and translation of mRNA in eukaryotes requires the addition of the 7-methylguanosine cap. In vertebrates, the cap methyltransferase, RNA guanine-7 methyltransferase (RNMT), has an activating subunit, RNMT-Activating Miniprotein (RAM). Here we report the first crystal structure of the human RNMT in complex with the activation domain of RAM. A relatively unstructured and negatively cha...

When a sufficient current density passes through the MTJ, the spin-polarized current will exert a spin transfer torque to switch the magnetization of the free layer. This is the fundamental of the novel write mechanism in STT-RAM, current-induced magnetization switching. It allows STT-RAM to have a smaller cell size and write current than MRAM, and also capable of what MRAM promises: fast, dens...

Variance components for birth, weaning, yearling and final weight in Australian Hereford, Angus and Zebu Cross cattle were estimated by Restricted Maximum Likelihood. Six different animal models were fitted for each trait and breed, ranging from a simple model with animals as the only random effect to the most comprehensive model allowing for both genetic and environmental maternal effects and ...

This article proposes a new, more efficient method to compute the minus two log likelihood, its gradient, and the Hessian for structural equation models (SEMs) in reticular action model (RAM) notation. The method exploits the beneficial aspect of RAM notation that the matrix derivatives used in RAM are sparse. For an SEM with K variables, P parameters, and P' entries in the symmetrical or asymm...

In multi-label text categorization, one or more labels (or categories) can be assigned to a single document. In many such categorization tasks, there can be correlation on the assignment of subsets of the set of categories. This can be exploited to improve machine learning techniques devoted to multi-label text categorization. In this paper, we examine a Virtual Generalizing Random Access Memor...