We parametrise the space of all possible flavour non-universal $\mathfrak{u}(1)_X$ extensions Standard Model that embed inside anomaly-free semi-simple gauge theories, including up to three right-handed neutrinos. More generally, we abelian (i.e.) by any number $\mathfrak{u}(1)$'s) SM with such completions. The resulting is a collection planes dimensions $\leq 6$. Numerically, find roughly $2.5...

We report the discovery of TOI-1444b, a 1.4-$R_\oplus$ super-Earth on 0.47-day orbit around Sun-like star discovered by {\it TESS}. Precise radial velocities from Keck/HIRES confirmed planet and constrained mass to be $3.87 \pm 0.71 M_\oplus$. The RV dataset also indicates possible non-transiting, 16-day ($11.8\pm2.9M_\oplus$). tentative detection phase curve variation secondary eclipse TOI-144...

The aim of this work is the parallel solution of large two and three dimensional CFD problems using unstructured grids. A general framework has been formulated to enable both parallel and sequential execution of a single source FORTRAN code. This is achieved via the straightforward insertion of OPlus (Oxford Parallel Library for Unstructured Solvers) sub-routine calls. Hence, the user's code ca...

This paper gives the first separation between the power of formulas and circuits of equal depth in the AC[⊕] basis (unbounded fan-in AND, OR, NOT and MOD2 gates). We show, for all d(n) ≤ O( logn log logn ), that there exist polynomial-size depth-d circuits that are not equivalent to depth-d formulas of size n (moreover, this is optimal in that n cannot be improved to n). This result is obtained...