All Outputs (54)

Label-free separation and sorting of human monocytes and T-cells by electrowetting and dielectrophoresis (2013)
Conference Proceeding

We report a label-free separation and sorting approach based on electrowetting-on-dielectric (EWOD) and dielectrophoresis (DEP) to manipulate human monocyte (THP-1) and T-cell (Jurkat) lines in droplets without any impact on cell viability. In additi... Read More about Label-free separation and sorting of human monocytes and T-cells by electrowetting and dielectrophoresis.

Reduction of control input variance of feed drive systems using sliding-mode control with non-linear sliding surface (2013)
Conference Proceeding

Ball-screw drives have been widely used in industrial applications delivering high precision motion in work machines, such as machine tools, where both high speed and positioning accuracy are required. Most of control schemes used in industrial appli... Read More about Reduction of control input variance of feed drive systems using sliding-mode control with non-linear sliding surface.

Optimization problems for fast AAM fitting in-the-wild (2013)
Conference Proceeding

We describe a very simple framework for deriving the most-well known optimization problems in Active Appearance Models (AAMs), and most importantly for providing efficient solutions. Our formulation results in two optimization problems for fast and e... Read More about Optimization problems for fast AAM fitting in-the-wild.

Attributes for causal inference in electronic healthcare databases (2013)
Conference Proceeding

Side effects of prescription drugs present a serious issue. Existing algorithms that detect side effects generally require further analysis to confirm causality. In this paper we investigate attributes based on the Bradford-Hill causality criteria... Read More about Attributes for causal inference in electronic healthcare databases.

Tension space analysis: Exploring community requirements for networked urban screens (2013)
Conference Proceeding

This paper draws on the design process, implementation and early evaluation results of an urban screens network to highlight the tensions that emerge at the boundary between the technical and social aspects of design. While public interactive screens... Read More about Tension space analysis: Exploring community requirements for networked urban screens.

Mummies and masquerades: English and Caribbean connections (2013)
Conference Proceeding

The composite mumming play script that the Ecclesfield-based Victorian children's author Juliana Horatia Ewing published in 1884 found its way to St. Kitts and Nevis in the Caribbean, where it was it was taken up enthusiastically by the black populat... Read More about Mummies and masquerades: English and Caribbean connections.

Nottingham's Owd 'Oss Mummers and their scrapbooks (2013)
Conference Proceeding

Nottingham's Owd 'Oss Mummers were formed in the late 1960s as an offshoot of the Nottingham Traditional Music Club, and continued into the 1980s. They have not totally disappeared, although they are now in new guises. The author joined them shortly... Read More about Nottingham's Owd 'Oss Mummers and their scrapbooks.

Measuring the directional distance between fuzzy sets (2013)
Conference Proceeding

The measure of distance between two fuzzy sets is a fundamental tool within fuzzy set theory. However, current distance measures within the literature do not account for the direction of change between fuzzy sets; a useful concept in a variety of app... Read More about Measuring the directional distance between fuzzy sets.

The under-performing unfold: a new approach to optimising corecursive programs (2013)
Conference Proceeding

This paper presents a new approach to optimising corecursive programs by factorisation. In particular, we focus on programs written using the corecursion operator unfold. We use and expand upon the proof techniques of guarded coinduction and unfold f... Read More about The under-performing unfold: a new approach to optimising corecursive programs.

User requirements for the development of smartphone self-reporting applications in healthcare (2013)
Conference Proceeding

Two case studies of the development of Smartphone self-reporting mHealth applications are described: a wellness diary for asthma management combined with Bluetooth pulse oximeter and manual peak flow measurements; and a questionnaire for ecological a... Read More about User requirements for the development of smartphone self-reporting applications in healthcare.

hp-adaptive two-grid discontinuous Galerkin finite element methods for quasi-Newtonian fluid flows (2013)
Conference Proceeding

We develop the a posteriori error analysis, with respect to a mesh-dependent energy norm, of two-grid hp-version discontinuous Galerkin finite element methods for quasi-Newtonian flows. The performance of the proposed estimators within an hp-adaptive... Read More about hp-adaptive two-grid discontinuous Galerkin finite element methods for quasi-Newtonian fluid flows.

Two-grid hp-DGFEM for second order quasilinear elliptic PDEs based on an incomplete Newton iteration (2013)
Conference Proceeding

In this paper we propose a class of so-called two-grid hp-version discontinuous Galerkin finite element methods for the numerical solution of a second-order quasilinear elliptic boundary value problem based on the application of a single step of a no... Read More about Two-grid hp-DGFEM for second order quasilinear elliptic PDEs based on an incomplete Newton iteration.

Mirror symmetry and Fano manifolds (2013)
Conference Proceeding

We consider mirror symmetry for Fano manifolds, and describe how one can recover the classification of 3-dimensional Fano manifolds from the study of their mirrors. We sketch a program to classify 4-dimensional Fano manifolds using these ideas.

Application of hp-adaptive discontinuous Galerkin methods to bifurcation phenomena in pipe flows (2013)
Conference Proceeding

In this article we consider the a posteriori error estimation and adaptive mesh refinement of hp-version discontinuous Galerkin finite element approximations of the bifurcation problem associated with the steady incompressible Navier-Stokes equations... Read More about Application of hp-adaptive discontinuous Galerkin methods to bifurcation phenomena in pipe flows.