8,197 research outputs found
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(CHN)N(ClO) (NDMAZ)
are reported. At T=70 mK, at a critical field 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(CHN)N(PF)
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
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
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
- …