The collection of papers in the present volume represents the convergence of two research communities who had the common goal of exploring the formal basis of evidentiality. In the fall of 2007, a research seminar focusing on the cross-linguistic typology of evidentials was held at UBC. In the spring of 2008, GLOW hosted a workshop on the semantics evidentials whose broad goal of the workshop w...

The mechanistic target of rapamycin (mTOR) is a highly conserved protein that regulates growth and proliferation in response to environmental and hormonal cues. Broadly speaking, organisms are constantly faced with the challenge of interpreting their environment and making a decision between "grow or do not grow." mTOR is a major component of the network that makes this decision at the cellular...

JL SYCHOPHYSIOLOGICAL RESEARCH in the past has concentrated primarily on correlating physiological patterns with the psychological states or emotional reactions in one individual.~ It has always been assumed that the situation in which the individual finds himself is a contributing or modifying influence in the physiological reactions obtained. Recent studies in our laboratory have attempted to...

‘Broadly speaking, spatial analysis can be defined as the formal quantitative study of phenomena that manifest themselves in space. This implies an attention to location, area, distance and interaction’ (Anselin et al., 1993). Spatial analysis has been a popular topic in geospatial sciences. Spatial analysis was viewed as being deeply rooted in spatial statistics, and quantitative geographers h...

of the many metabolic abnormalities present in diabetes that has been used to define the presence of this disease. Diabetes comprises a heterogeneous group of disorders, all characterized by hyperglycaemia, though the underlying pathogenesis differs amongst subgroups. Broadly speaking, diabetes mellitus can be divided into two categories based on the severity of insulin deficiency present. Type...

It is generally impossible to probe a quantum system without disturbing it. However, it is possible to exploit the back action of quantum measurements and strong couplings to tailor and protect the coherent evolution of a quantum system. This is a profound and counterintuitive phenomenon known as quantum Zeno dynamics. Here we demonstrate quantum Zeno dynamics with a rubidium Bose-Einstein cond...

Data pre-processing is an important topic in Text Classification (TC). It aims to convert the original textual data in a data-mining-ready structure, where the most significant text-features that serve to differentiate between textcategories are identified. Broadly speaking, textual data pre-processing techniques can be divided into three groups: (i) linguistic, (ii) statistical, and (iii) hybr...

Self-organisation occurs in natural phenomena when a spontaneous increase in order is produced by the interactions of elements of a complex system. Thermodynamically, this increase must be offset by production of entropy which, broadly speaking, can be understood as a decrease in order. Ideally, self-organisation can be used to guide the system towards a desired regime or state, while “exportin...

Optimization of control ow is an important problem in the synthesis of embedded systems. While considerable progress has been made in data-oriented optimizations, control optimization has been fairly limited to those carried out by compilers at the register transfer level. Control optimizations are needed to make the nal system design insensitive to individual programming styles, and more impor...

A simple technique for using theorem continuation functions interactively with HOL's sub-goal package is presented. An interesting aspect of the technique is that it hinges on the existence of assignable variables in ML. Suppose we wish to prove a /\ b ==> b /\ a using HOL's subgoal package 1]: 1 #g "a /\ b ==> b /\ a" ;; "a /\ b ==> b /\ a" The natural proof is to assume the antecedent a /\ b ...