Abstract A mark of the cognitive should allow us to specify theoretical principles for demarcating from non-cognitive causes behaviour in organisms. Specific criteria are required settle question when evolution life cognition first emerged. An answer this however avoid two pitfalls. It overintellectualising minds other organisms, ascribing them capacities which they have no need given lives lea...

We explore a method for automatically recompiling quantum circuit A into target B, with the goal that both circuits have same action on specific input i.e. B|in> = A|in>. This is of particular relevance to hybrid, NISQ-era algorithms dynamical simulation or eigensolving. The user initially specifies B as blank template: layout parameterised unitary gates configured identity. compilation then pr...

The chewing of khat leaves is an established tradition in East Africa but is much less prevalent in other areas of the world and is mostly limited to Somali communities. However, our understanding of what constitutes problematic khat use in the Somali community in Victoria, Australia, is limited. The objectives of this study were to better understand the views of Somali community representative...

Les graphes et les hyper-graphes sont souvent utilisés pour la reconnaissance de modèles complexes et non-rigides en vision par ordinateur, soit par appariement de graphes ou par appariement de nuages de points par graphes. La plupart des formulations recourent à la minimisation d’une fonction d’énergie difficile contenant des termes géométriques ou structurels, souvent couplés avec des termes ...

Gene expression is subject to stochastic variation which leads to fluctuations in the rate of protein production. Recently, a study in yeast at a genomic scale showed that, in some cases, gene expression variability alters phenotypes while, in other cases, these remain unchanged despite fluctuations in the expression of other genes. These studies suggested that noise in gene expression is a phy...

Stochastic process algebras have been introduced in order to enable compositional performance analysis. The size of the state space is a limiting factor, especially if the system consists of many cooperating components. To fight state space explosion, compositional aggregation based on congruence relations can be applied. This paper addresses the computational complexity of minimisation algorit...

We present model reduction techniques to improve the efficiency and scalability of verifying probabilistic systems over a finite time horizon. We propose a finite-horizon variant of probabilistic bisimulation for discrete-time Markov chains, which preserves a bounded fragment of the temporal logic PCTL. In addition to a standard partitionrefinement based minimisation algorithm, we present on-th...