Field-induced commensurate long-range order in the Haldane-gap system NDMAZ

High-field neutron diffraction studies of the new quantum-disordered S=1 linear-chain antiferromagnet Ni(C$_5$H$_{14}$N$_2$)$_2$N$_3$(ClO$_4$) (NDMAZ) are reported. At T=70 mK, at a critical field $H_c=13.4$ T applied along the (013) direction, a phase transition to a commensurate N\'{e}el-like ordered state is observed. The results are discussed in the context of existing theories of quantum phase transitions in Haldane-gap antiferromagnets, and in comparions with previous studies of the related system Ni(C$_5$H$_{14}$N$_2$)$_2$N$_3$(PF$_6$)

Large-N reduction for N=2 quiver Chern-Simons theories on S^3 and localization in matrix models

We study reduced matrix models obtained by the dimensional reduction of N=2 quiver Chern-Simons theories on S^3 to zero dimension and show that if a reduced model is expanded around a particular multiple fuzzy sphere background, it becomes equivalent to the original theory on S^3 in the large-N limit. This is regarded as a novel large-N reduction on a curved space S^3. We perform the localization method to the reduced model and compute the free energy and the vacuum expectation value of a BPS Wilson loop operator. In the large-N limit, we find an exact agreement between these results and those in the original theory on S^3.Comment: 46 pages, 11 figures; minor modification

On Observing Dynamic Prioritised Actions in SOC

We study the impact on observational semantics for SOC of priority mechanisms which combine dynamic priority with local pre-emption. We define manageable notions of strong and weak labelled bisimilarities for COWS, a process calculus for SOC, and provide alternative characterisations in terms of open barbed bisimilarities. These semantics show that COWS’s priority mechanisms partially recover the capability to observe receive actions (that could not be observed in a purely asynchronous setting) and that high priority primitives for termination impose specific conditions on the bisimilarities

Progresses in the validation of the FLUKA atmospheric neutrino flux calculations

The FLUKA calculation of the atmospheric neutrino fluxes have been cross-checked by comparing predictions on lepton fluxes in atmosphere to experimental data. The dependence of predicted neutrino fluxes on the shape and normalization of primary spectrum is also investigatedComment: Presented at TAUP2001 (Sep. 8-12, Assergi, Italy). 5 pages, 1 figur

Session-Based Programming for Parallel Algorithms: Expressiveness and Performance

This paper investigates session programming and typing of benchmark examples to compare productivity, safety and performance with other communications programming languages. Parallel algorithms are used to examine the above aspects due to their extensive use of message passing for interaction, and their increasing prominence in algorithmic research with the rising availability of hardware resources such as multicore machines and clusters. We contribute new benchmark results for SJ, an extension of Java for type-safe, binary session programming, against MPJ Express, a Java messaging system based on the MPI standard. In conclusion, we observe that (1) despite rich libraries and functionality, MPI remains a low-level API, and can suffer from commonly perceived disadvantages of explicit message passing such as deadlocks and unexpected message types, and (2) the benefits of high-level session abstraction, which has significant impact on program structure to improve readability and reliability, and session type-safety can greatly facilitate the task of communications programming whilst retaining competitive performance

An Introduction to Pervasive Interface Automata

Pervasive systems are often context-dependent, component based systems in which components expose interfaces and offer one or more services. These systems may evolve in unpredictable ways, often through component replacement. We present pervasive interface automata as a formalism for modelling components and their composition. Pervasive interface automata are based on the interface automata of Henzinger et al, with several significant differences. We expand their notion of input and output actions to combinations of input, output actions, and callable methods and method calls. Whereas interfaces automata have a refinement relation, we argue the crucial relation in pervasive systems is component replacement, which must include consideration of the services offered by a component and assumptions about the environment. We illustrate pervasive interface autmotata and component replacement with a small case study of a pervasive application for sports predictions

YAMAT-seq: an efficient method for high-throughput sequencing of mature transfer RNAs.

Besides translation, transfer RNAs (tRNAs) play many non-canonical roles in various biological pathways and exhibit highly variable expression profiles. To unravel the emerging complexities of tRNA biology and molecular mechanisms underlying them, an efficient tRNA sequencing method is required. However, the rigid structure of tRNA has been presenting a challenge to the development of such methods. We report the development of Y-shaped Adapter-ligated MAture TRNA sequencing (YAMAT-seq), an efficient and convenient method for high-throughput sequencing of mature tRNAs. YAMAT-seq circumvents the issue of inefficient adapter ligation, a characteristic of conventional RNA sequencing methods for mature tRNAs, by employing the efficient and specific ligation of Y-shaped adapter to mature tRNAs using T4 RNA Ligase 2. Subsequent cDNA amplification and next-generation sequencing successfully yield numerous mature tRNA sequences. YAMAT-seq has high specificity for mature tRNAs and high sensitivity to detect most isoacceptors from minute amount of total RNA. Moreover, YAMAT-seq shows quantitative capability to estimate expression levels of mature tRNAs, and has high reproducibility and broad applicability for various cell lines. YAMAT-seq thus provides high-throughput technique for identifying tRNA profiles and their regulations in various transcriptomes, which could play important regulatory roles in translation and other biological processes