• Publications
  • Influence
The continuous Skolem-Pisot problem
TLDR
We study decidability and complexity questions related to a continuous analogue of the Skolem-Pisot problem concerning the zeros and nonnegativity of a linear recurrent sequence. Expand
  • 41
  • 3
  • PDF
Transfection mediated by gemini surfactants: engineered escape from the endosomal compartment.
The structure of the lipoplex formed from DNA and the sugar-based cationic gemini surfactant 1, which exhibits excellent transfection efficiency, has been investigated in the pH range 8.8-3.0Expand
  • 186
  • 2
Targeted Gene Delivery to Human Airway Epithelial Cells with Synthetic Vectors Incorporating Novel Targeting Peptides Selected by Phage Display
Human airway epithelial cell targeting peptides were identified by biopanning on 1HAEo-cells, a well characterised epithelial cell line. Bound phage were recovered after three rounds of binding, highExpand
  • 47
  • 2
A new methodology for automatic fault tree construction based on component and mark libraries
Abstract During the design stage of the development of a new system, automated fault tree construction would produce results a lot sooner than the manual process and hence be highly beneficial inExpand
  • 4
  • 2
  • PDF
Gemini surfactants: new synthetic vectors for gene transfection.
The superior surfactant properties of cationic gemini surfactants are applied to the complex problem of introducing genes into cells. Of almost 250 new compounds tested, of some 20 differentExpand
  • 278
  • 1
  • PDF
On undecidability bounds for matrix decision problems
TLDR
In this paper we show an elementary proof of undecidability of the reachability problem for a set of 5 two-dimensional affine transformations. Expand
  • 30
  • 1
On the Undecidability of the Identity Correspondence Problem and its Applications for Word and Matrix Semigroups
TLDR
We introduce the Identity Correspondence Problem (ICP) in the spirit of Post’s Correspondence problem and show that it is undecidable. Expand
  • 24
  • 1
  • PDF
Mortality for 2×2 Matrices Is NP-Hard
TLDR
We study the computational complexity of determining whether the zero matrix belongs to a finitely generated semigroup of two dimensional integer matrices (the mortality problem). Expand
  • 19
  • 1
  • PDF
Scalar Ambiguity and Freeness in Matrix Semigroups over Bounded Languages
TLDR
There has been much research into freeness properties of finitely generated matrix semigroups under various constraints, mainly related to dimensions of the generator matrices and the semiring over which the matrices are defined. Expand
  • 4
  • 1
  • PDF
Biophysical characterization of an integrin-targeted lipopolyplex gene delivery vector.
Nonviral gene delivery vectors now show good therapeutic potential: however, detailed characterization of the composition and macromolecular organization of such particles remains a challenge. ThisExpand
  • 32