We present a novel framework to exert a topology control over a level set evolution. Level set methods offer several advantages over parametric active contours, in particular automated topological changes. In some applications, ...

A novel numerical technique for the modelling of interfaces is introduced for the analysis of reinforced brittle materials. The method exploits the partition of unity property of finite element shape functions. By considering ...

Integral representations for the solution of linear elliptic partial differential equations (PDEs) can be obtained using Green's theorem. However, these representations involve both the Dirichlet and the Neumann values on ...

A p-adaptive scheme is developed in order to overcome volumetric locking in low order finite elements. A special adaptive scheme is used which is based on the partition of unity concept. This allows higher order polynomial ...

The Paley graph is a well-known self-complementary pseudo-random graph, defined over a finite field of odd order. We describe an attempt at an analogous construction using fields of even order. Some properties of the graph ...

We incorporate a physically derived parameterization of gravity drainage, in terms of a convective upwelling velocity, into a one-dimensional, thermodynamic sea- ice model of the kind currently used in coupled climate ...

Is the future predictable? If we know the initial state of a system exactly, then do the laws of physics determine its state arbitrarily far into the future? In Newtonian mechanics, the answer is yes. Similarly in ...

A concise overview is given of various numerical methods that can be used to analyse localisation and failure in engineering materials. The importance of the cohesive-zone approach is emphasised and various ways of ...

Autonomous vehicles need to be able to plan trajectories to a specified goal that avoid obstacles, and are robust to the inherent uncertainty in the problem. This uncertainty arises due to uncertain state estimation, ...

General purpose computing architectures are being called on to work on amore diverse application mix every day. This has been fueled by the needfor reduced time to market and economies of scale that are the hallmarksof ...

The properties of quantum information in space-time can be investigated by studying operational tasks, such as ‘summoning’, in which an unknown quantum state is supplied at one point, and a call is made at another for it ...

A service-providing system consists of hosts that provide services such as data, content, computational and memory resources and data-based services to other entities in the system. Consumers that wish to use services ...

An efficient, accurate, and flexible numerical method is proposed for the solution of the swimming problem of one or more autophoretic particles in the purely diffusive limit. The method relies on successive boundary element ...

In this short technical report, we present a simple yet effective reliable broadcast protocol for sensor networks. This protocol disseminates packets throughout the sensor network by flooding and recovers from losses ...

Spatially-resolved measurements of flame temperature have been demonstrated with diode lasers for the first time. The technique is based on the use of blue diode lasers to perform laser-induced fluorescence on indium atoms ...

We give a short proof that every finite graph (or matroid) has a tree-decomposition that displays all maximal tangles. This theorem for graphs is a central result of the graph minors project of Robertson and Seymour and ...

Abstract Background Microarrays are commonly used to investigate both the therapeutic potential and functional effects of RNA interfering (RNAi) oligonucleotides such as microRNA (miRNA) and small interfering RNA (siRNA). ...

We present the design, analysis and construction of a biologicallyinspired tactile sensor. The sensor can measure normal and lateralforces, conform to the surfaces with which it comes in contact andincrease the friction ...

The self-propulsion of a spherical squirmer - a model swimming organism that achieves locomotion via steady tangential movement of its surface - is quantified across the transition from viscously to inertially dominated ...

We present a stream algorithm for the Singular-Value Decomposition (SVD) of anM X N matrix A. Our algorithm trades speed of numerical convergence for parallelism,and derives from a one-sided, cyclic-by-rows Hestenes SVD. ...