We performed a prospective, randomized controlled study on 60 patients with fresh closed diaphyseal tibial fractures to determine the effect of percutaneous autologous bone marrow injection on union rate. Sixty patients were randomized into a group of 30 patients each. 30 patients were treated with reamed intramedullary interlocking nail and 30 patients were treated with combination of reamed i...

In this project the verification of safety conditions for the control of a railway interlocking system written in ladder logic is carried out. All translation steps have been implemented and tested for a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the translatio...

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

In this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1. The development of a mathematical model of a railway interlocking system and the trans...

Interlocking of the zygapophysial joints of the lower cervical spine may occur on one or both sides. This paper reports thirty-seven cases of unilateral interlocking (hemiluxation). In the literature unilateral interlocking is usually regarded as a form of dislocation, a term which includes other types of displacement as well. Thus, in the oldcr literature, the term dislocation often refers to ...

This paper describes a framework currently under development for modelling, simulation, and verification of relay interlocking systems as used by the Danish railways. The framework is centred around a domain-specific language (DSL) for describing such systems, and provides (1) a graphical editor for creating DSL descriptions, (2) a validator for checking that DSL descriptions are statically wel...

It is an open problem, posed in [3], to determine the minimal k such that an open flexible k-chain can interlock with a flexible 2-chain. It was first established in [5] that there is an open 16-chain in a trapezoid frame that achieves interlocking. This was subsequently improved in [6] to establish interlocking between a 2-chain and an open 11-chain. Here we improve that result once more, esta...

From 01 February, the Information Society and Media Directorate General of the Commission has two new Directorates and three new Units. This reorganisation completes the changes following President Barroso's decision to bring together under the responsibility of Commissioner Viviane Reding, all three aspects of modern day electronic communications –in the fields of broadcasting, computer networ...

For supporting the analysis of railway interlocking systems in the early stage of their design we propose the use of model checking. We investigate the use of the formal modelling language CSP and the corresponding model checker FDR. In this paper, we describe the basics of this formalism and introduce our formal model of a railway interlocking system. Checking this model against the given safe...

Interlocking nailing is a widely accepted and performed treatment for tibial shaft fractures. The addition of percutaneously placed transfixation screws increases the stabilisation provided by intramedullary nailing; however, the technical complexity associated with the procedure has introduced new potential complications. We report a pseudoaneurysm of the anterior tibial artery caused by a pro...