A 19-year-old female patient sustained a closed spiral midshaft femoral fracture and subsequently underwent femoral intramedullary nail insertion. At followup she complained of difficulty in walking and was found to have a unilateral in-toeing gait. CT imaging revealed 30 degrees of internal rotation at the fracture site, which had healed. A circumferential osteotomy was performed distal to the...

Formal verification of railway control software has been identified to be one of the “grand challenges” [Jac04] of Computer Science. In this thesis, we demonstrate the successful application of various SAT-based model checking techniques to verify train control systems. Starting with a propositional model for a control system, more specifically an interlocking, we show how execution of the syst...

Geographic Data for Solid State Interlocking (SSI) systems detail site-specific behaviour of the railway interlocking. This report demonstrates how five vital safety properties of such data can be verified automatically using model checking. A prototype of a model checker for Geographic Data has been implemented by replacing the parser and compiler of NuSMV. The resulting tool, gdlSMV, directly...

We report the clinical and radiographic outcomes and complications of revision surgery using a cementless interlocking stem with an allograft-prosthesis composite (APC). This study included 11 patients with an average follow-up of 73 years. Of the 11 revisions, 1 was aseptic, 7 were septic, and 3 were periprosthetic femoral fractures. The mean Harris hip score improved from 25.6 points before s...

1. THE PROBLEM One of the most familiar brand names in the world of toys is Lego ; the name immediately brings interlocking building blocks to mind. Interlocking blocks fit together in restricted ways. Typically, a block of order q (length q+ 1) has q +1 protrusions on its top and q + 1 indentations on its bottom, so that the indentations on the bottom of one block can lock on to the protrusion...

Incidence of Fat embolism syndrome (FES) in fractures is about 16.3 but sometimes it is as high as 50% to 62%. The fat embolism is common in fatty bed ridden patients and in whom reamed interlocking is performed under tourniquet with prolonged injury-surgery interval. However in the case discussed here FES occurred under the exact opposite circumstances. In this 23 year lean and thin female wit...

Several formal methods have been proposed for the specification and safety verification of railway applications. In order to be successful they need industrial strength tools to support the animation, proof, model checking and simulation of such systems. The complexity of railway systems means that capability of the analysis tools have consistently been improving. In our approach we propose tha...

Bridges with reinforeerneut corrosion problems are now under careful inspection in Taiwan. Costly maintenance programs are underway and raising S"erious safety concem. There are various engineering solutions to salt-induced corrosion. Among them epoxycoated reinforcing bars, commonly referred to as rebar, are frequently used in marine environment and other areas due to its durability, reasonabl...

Some individuals with Prader-Willi syndrome exhibit strengths in solving jigsaw puzzles. We compared visuospatial ability and jigsaw puzzle performance and strategies of 26 persons with Prader-Willi syndrome and 26 MA-matched typically developing controls. Individuals with Prader-Willi syndrome relied on piece shape. Those in the control group used a different, picture-focused strategy. Individ...

An essentially complete formal specification of safety requirements for railway interlockings has been developed. The work is part of as project with the Swedish National Rail Administration investigating the feasibility of using formal methods for the analysis of interlockings in a production setting. An overview of the specification is given and two ongoing case studies on verifying interlock...