Pattern Matching in Multiple Streams

We investigate the problem of deterministic pattern matching in multiple streams. In this model, one symbol arrives at a time and is associated with one of s streaming texts. The task at each time step is to report if there is a new match between a fixed pattern of length m and a newly updated stream. As is usual in the streaming context, the goal is to use as little space as possible while still reporting matches quickly. We give almost matching upper and lower space bounds for three distinct pattern matching problems. For exact matching we show that the problem can be solved in constant time per arriving symbol and O(m+s) words of space. For the k-mismatch and k-difference problems we give O(k) time solutions that require O(m+ks) words of space. In all three cases we also give space lower bounds which show our methods are optimal up to a single logarithmic factor. Finally we set out a number of open problems related to this new model for pattern matching.Comment: 13 pages, 1 figur

The University of Manitoba Faculty of Law 1966-1984

From its inception in 1914, the Manitoba Law School had been the joint responsibility of the University of Manitoba and The Law Society of Manitoba. Its four year programme was intended to combine both academic and practical training so that on its completion the graduating student obtained not only his Bachelor of Laws Degree but also his call to the Bar of Manitoba. By the early sixties, however, with the burgeoning of legal education in universities across the country, it became clear that an overhaul of the system was necessary in Manitoba. If legal education was to meet the demands of the last half of the 20th Century and the standards being set in Canada generally, then there had to be a tremendous input of resources. This could only come through the University which, in the sixties, was enjoying good government financing

On-Shell Recursion Relations for Generic Theories

We show that on-shell recursion relations hold for tree amplitudes in generic two derivative theories of multiple particle species and diverse spins. For example, in a gauge theory coupled to scalars and fermions, any amplitude with at least one gluon obeys a recursion relation. In (super)gravity coupled to scalars and fermions, the same holds for any amplitude with at least one graviton. This result pertains to a broad class of theories, including QCD, N=4 SYM, and N=8 supergravity.Comment: 19 pages, 3 figure

The Plasma Puddle as a Perturbative Black Hole

We argue that the weak coupling regime of a large N gauge theory in the Higgs phase contains black hole-like objects. These so-called ``plasma puddles'' are meta-stable lumps of hot plasma lying in locally un-Higgsed regions of space. They decay via O(1/N) thermal radiation and, perhaps surprisingly, absorb all incident matter. We show that an incident particle of energy E striking the plasma puddle will shower into an enormous number of decay products whose multiplicity grows linearly with E, and whose average energy is independent of E. Once these ultra-soft particles reach the interior they are thermalized by the plasma within, and so the object appears ``black.'' We determine some gross properties like the size and temperature of the the plasma puddle in terms of fundamental parameters in the gauge theory. Interestingly, demanding that the plasma puddle emit thermal Hawking radiation implies that the object is black (i.e. absorbs all incident particles), which implies classical stability, which implies satisfaction of the Bekenstein entropy bound. Because of the AdS/CFT duality and the many similarities between plasma puddles and black holes, we conjecture that black objects are a robust feature of quantum gravity.Comment: 23 pages, 3 figures, V2: minor changes, ref added, appendix A.5 moved to body of pape

Sequestering CP Violation and GIM-Violation with Warped Extra Dimensions

We propose a model of spontaneous CP violation to address the strong CP problem in warped extra dimensions that relies on sequestering flavor and CP violation. We assume that brane-localized Higgs Yukawa interactions respect a U(3) flavor symmetry that is broken only by bulk fermion mass and Yukawa terms. All CP violation arises from the vev of a CP-odd scalar field localized in the bulk. To suppress radiative corrections to theta-bar, the doublet quarks in this model are localized on the IR brane. We calculate constraints from flavor-changing neutral currents (FCNCs), precision electroweak measurements, CKM unitarity, and the electric dipole moments in this model and predict theta-bar to be at least about 10^-12.Comment: 38 page

Siting prisons, sighting communities: geographies of objection in a planning process

This paper reviews the planning process for a Scottish prison located near a former mining village. Analysing the letters of objection submitted by residents offers an opportunity to explore local views about prison and community and to relate these to the unique social and spatial history of the area. The planning process itself structured how residents were able to express themselves and defined what counted as a relevant objection. After deconstructing this process, the paper then restores and uses as a framework for analysis three geographies of objection stripped from local responses to the development proposal: the emotional, temporal, and spatial. Emotional expressions of objection added intensity and gave meaning to claims about the historical decline of the region and also conveyed a deep sense of the proposed building site as a lived space. Particular grounds of opposition—over fear of strangers, the fragility of a local orchid, and the pollution from mining—provide an opportunity to explore the complex nature of place meaning and community identity, ultimately leading to a conclusion that the meaning of place is always in flux. The paper argues that Simmel’s classic concept of the stranger, as the outsider who comes to stay, offers a useful analytic in understanding how the quality of proximal remoteness that prisons and other unwanted developments constitute participates in a constantly evolving sense of the local

Markov semigroups, monoids, and groups

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating set. This paper considers the natural generalizations of these concepts to semigroups and monoids. Two distinct potential generalizations to monoids are shown to be equivalent. Various interesting examples are presented, including an example of a non-Markov monoid that nevertheless admits a regular language of unique representatives over any generating set. It is shown that all finitely generated commutative semigroups are strongly Markov, but that finitely generated subsemigroups of virtually abelian or polycyclic groups need not be. Potential connections with word-hyperbolic semigroups are investigated. A study is made of the interaction of the classes of Markov and strongly Markov semigroups with direct products, free products, and finite-index subsemigroups and extensions. Several questions are posed.Comment: 40 pages; 3 figure

A programme for risk assessment and minimisation of progressive multifocal leukoencephalopathy developed for vedolizumab clinical trials

Introduction Over the past decade, the potential for drug-associated progressive multifocal leukoencephalopathy (PML) has become an increasingly important consideration in certain drug development programmes, particularly those of immunomodulatory biologics. Whether the risk of PML with an investigational agent is proven (e.g. extrapolated from relevant experience, such as a class effect) or merely theoretical, the serious consequences of acquiring PML require careful risk minimisation and assessment. No single standard for such risk minimisation exists. Vedolizumab is a recently developed monoclonal antibody to α4β7 integrin. Its clinical development necessitated a dedicated PML risk minimisation assessment as part of a global preapproval regulatory requirement. Objective The aim of this study was to describe the multiple risk minimisation elements that were incorporated in vedolizumab clinical trials in inflammatory bowel disease patients as part of the risk assessment and minimisation of PML programme for vedolizumab. Methods A case evaluation algorithm was developed for sequential screening and diagnostic evaluation of subjects who met criteria that indicated a clinical suspicion of PML. An Independent Adjudication Committee provided an independent, unbiased opinion regarding the likelihood of PML. Results Although no cases were detected, all suspected PML events were thoroughly reviewed and successfully adjudicated, making it unlikely that cases were missed. Conclusion We suggest that this programme could serve as a model for pragmatic screening for PML during the clinical development of new drugs