Let (W,S) be a Coxeter system and let s ∈ S. We call s a right-angled generator of (W,S) if st = ts or st has infinite order for each t ∈ S. We call s an intrinsic reflection of W if s ∈ RW for all Coxeter generating sets R of W . We give necessary and sufficient conditions for a right-angled generator s ∈ S of (W,S) to be an intrinsic reflection of W .

In classical computation, a “write-only memory” (WOM) is little more than an oxymoron, and the addition of a WOM to a (deterministic or probabilistic) classical computer brings no advantage. We demonstrate a setup where a quantum computer using a WOM can solve problems that neither a classical computer with a WOM nor a quantum computer without a WOM can solve, when all other resource bounds are...

An n-dimensional chair consists of an n-dimensional box from which a smaller n-dimensional box is removed. A tiling of an n-dimensional chair has two nice applications in some memories using asymmetric codes. The first one is in the design of codes which correct asymmetric errors with limited-magnitude. The second one is in the design of n cells q-ary write-once memory codes. We show an equival...

We propose a tamper-evident storage system based on probe storage with a patterned magnetic medium. This medium supports normal read/write operations by outof-plane magnetisation of individual magnetic dots. We report on measurements showing that in principle the medium also supports a separate class of write-once operation that destroys the out-of-plane magnetisation property of the dots irrev...

Builders of groupware writing technologies need a better understanding of collaborative writing if their systems are to adequately address user needs. This paper presents a taxonomy of joint writing based on an analysis of interviews with authors who have written documents together. The taxonomy describes joint writing in terms of four components: roles played in the collaboration, activities p...

To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, case studies. In this position paper, we first present the problem of developing distributed database applications that are optimized for concurrent data access. The problem constraints are avoiding vendor lock-in, mak...

Taylor & Francis makes every effort to ensure the accuracy of all the information (the “Content”) contained in the publications on our platform. However, Taylor & Francis, our agents, and our licensors make no representations or warranties whatsoever as to the accuracy, completeness, or suitability for any purpose of the Content. Any opinions and views expressed in this publication are the opin...

We present a multi-grid algorithm in order to solve numerically the thermody-namic Bethe ansatz equations. We speciically adapt the program to compute the data of the conformal eld theory reached in the ultraviolet limit. Nature of the physical problem: resolve the thermodynamic Bethe ansatz equations corresponding to a factorized scattering theory and extract the data of the underlying conform...

The discovery, more than a decade ago, of the relation between DistributedComputing (DC) and Algebraic-Topology (AT) raised the specter of requiring checking task solvability to be intimately connected to expertise in AT. Yet, in the area of Centralized Algorithms proving a problem to be NP or PSPACE complete requires more algorithmic expertise than complexity one. In analogy, we show that in D...

Case reports are often seen as a relatively easy way of getting published. Despite this, much wasted time and effort on the part of authors, reviewers and editors might be saved if intending authors followed some simple guidelines before committing themselves to paper. The rejection rate for case reports is extremely high. There are two main reasons for this: inappropriate case selection and in...