This paper presents an automatic verification technique for transactional memory Java programs executing under snapshot isolation level. We certify which transactions in a program are safe to execute under snapshot isolation without triggering the write-skew anomaly, opening the way to run-time optimizations that may lead to considerable performance enhancements. Our work builds on a novel deep...

Semiclassical approach has been developed for the one-dimensional interacting fermion systems. Starting from the incommensurate spin density wave (SDW) mean field state for the repulsive Hubbard model in 1D, the nonAbelian bosonized Lagrangian describing the spin-charge separation is obtained. The Berry phase term is derived from the chiral anomaly, and we obtain the massless Tomonaga-Luttinger...

We calculate anomaly induced conductivities from a holographic gauge theory model using Kubo formulas, making a clear conceptual distinction between thermodynamic state variables such as chemical potentials and external background fields. This allows us to pinpoint ambiguities in previous holographic calculations of the chiral magnetic conductivity. We also calculate the corresponding anomalous...

This paper develops an extension of expected utility theory by introducing various restrictions; e.g., probabilities have only decimal (or binary) fractions of finite depths not greater than a given constant, the preference relation in question may be incomplete. The basic idea is separation between measurement of utility for pure alternatives and extension to lotteries involving more risks suc...

Novel machine learning techniques for anomaly intrusion detection" (2004). ABSTRACT This paper explores the methodology of using kernels and Support Vector Machine (SVM) for intrusion detection. A new insight into two well known anomaly detection algorithms-STIDE and Markov Chain anomaly detectors, is achieved using kernel theory. We introduce two new classes of kernels used for intrusion detec...

Universal scaling relations for dissipative Tomonaga-Luttinger (TL) liquids with SU($N$) spin symmetry are obtained both fermions and bosons, by using asymptotic Bethe-ansatz solutions conformal field theory (CFT) in one-dimensional non-Hermitian quantum many-body systems symmetry. We uncover that the spectrum of TL is described sum one charge mode characterized a complex generalization $c=1$ U...

Spondylolisthesis consists of the slippage of a vertebra in relation to the one beneath. It is caused by separation of the neural arch from the vertebral body (spondylolysis), and predominantly occurs at the isthmus (pars interarticularis). Originally thought to be a congenital anomaly, its strict correlation with certain activities that seem to exert stress on lower spine was later demonstrate...

-