An abundance of evidence suggests that the size and quality of our social relationships improves humans' physical and mental health while increasing lifespan. However most of this evidence comes from observational rather than...
In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a species...
Abstract: In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a...
Abstract: In Australian and New Zealand waters, current knowledge on white shark (Carcharodon carcharias) movement ecology is based on individual tracking studies using relatively small numbers of tags. These studies describe a...
Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone...
Cylindrical Algebraic Decomposition (CAD, first introduced in [Col75]) of Euclidean space has become an important tool in mathematics and allows for practical quantifier elimination (QE) over the reals. Much research has gone...
Let [Formula: see text] be a group and [Formula: see text] be a descending sequence of finite-index normal subgroups. We establish explicit upper bounds on the diameters of the directed Cayley graphs of the [Formula: see text]...
We study nonaxisymmetric linearized gravitational perturbations of the Emparan-Reall black ring using numerical methods. We find an unstable mode whose onset lies within the "fat" branch of the black ring and continues into the...
Digital surveillance has played a key role in containing the COVID-19 outbreak in China, Singapore, Israel and South Korea. Google and Apple recently announced the intention to build interfaces to allow Bluetooth contact...
We revisit the classic problem of moving ladders of various lengths through a right-angled corridor. It has long been known that it is theoretically possible to tackle this problem through cylindrical algebraic decomposition...
A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other...
A perennial problem in computer-aided assessment is that “a right answer”, pedagogically speaking, is not the same thing as “a mathematically correct expression”, as verified by a computer algebra system, or indeed other...
In previous studies, the response to NO2 of a number of substituted azobenzenes was characterised for sensitivity and kinetics over a range of temperatures. These studies indicated that the optimal sensor of this sort must be...
We give new upper bounds for the diameters of finite groups which do not depend on a choice of generating set. Our method exploits the commutator structure of certain profinite groups, in a fashion analogous to the...
In previous studies, the response to NO2 of a number of substituted azobenzenes was characterised for sensitivity and kinetics over a range of temperatures. These studies indicated that the optimal sensor of this sort must be...
We construct new examples of expander Cayley graphs of finite groups, arising as congruence quotients of non-elementary subgroups of SL2(𝔽p[t]) modulo certain square-free ideals. We describe some applications of our results to...
International health research increasingly depends on collaboration and combination using medical data to advance treatment and drug discovery. The European Union (EU), through its General Data Protection Regulation, has...
OBJECTIVE: Recent primary care workforce pressures in the UK have prompted national reviews. Recommendations to increase the proportion of medical students entering general practice have led to interest in the role of medical...
International health research increasingly depends on collaboration and combination using medical data to advance treatment and drug discovery. The European Union (EU), through its General Data Protection Regulation, has...