Fine needle aspiration cytology (FNAC) is an established tool for diagnosing liver tumours. It has recognised complications, however. Use of the procedure in abdominal tumours is fatal in 0.006 to 0.031% of cases. 2 Most deaths occur with liver tumours and are due to haemorrhage. Another complication is that metastases can seed along biopsy needle tracts, although this has been reported to be r...

In this paper we describe a method of program specialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. In the specialisation method, a partial evaluation of the proof procedure with respect to a given theory is rst obtained. Secondly an abstract interpretation of the partially evaluated program is computed, and this is...

We study the verification problem for closed-loop dynamical systems with neural-network controllers (NNCS). This is commonly reduced to computing set of reachable states. When considering and neural networks in isolation, there exist precise approaches that task based on representations respectively called Taylor models zonotopes. However, combination these NNCS non-trivial because, when conver...

This paper analyzes the test memory requirements for core-based systems-on-a-chips and identifies useless test data as one of the contributors to the total amount of test data. The useless test data comprises the padding bits necessary to compensate for the difference between the lengths of different chains in multiple scan chains designs. Although useless test data does not represent any relev...

Recently, a multicenter randomized controlled trial (RCT) by Cooper and colleagues indicated that decompressive craniectomy (DC) may be associated with a worse functional outcome in patients with diffuse traumatic brain injury (TBI), although DC can immediately and constantly reduce intracranial pressure (ICP). As this trial is well planned and of high quality, the unexpected result is meaningf...

We show a type-based method for useless variable elimination, i.e., transformation that eliminates variables whose values contribute nothing to the nal outcome of a computation, and prove its correctness. The algorithm is a surprisingly simple extension of the usual type reconstruction algorithm. Our method seems more attractive than Wand and Siveroni's 0CFA-based method in many respects. First...