Rohit A. Singh

Learn More
BACKGROUND Metal-on-metal total hip replacements (THRs) with large femoral heads have been associated with elevated levels of cobalt (Co) and chromium (Cr), which have been attributed to high levels of wear at the articular surface. Our unit recently published data showing a significant increase in the mean levels of Co ions in patients with a 36-mm(More)
A series of asymmetric bis-1,2,4-triazoles (4a–l) were synthesized from respective 1,2,4-triazole-3-thiocarbohydrazides (2a, b) via base catalyzed dehydrative cyclization of thiosemicarbazide intermediates (3a–l). The synthesized compounds were characterized by IR, 1H-NMR, 13C-NMR, and Mass spectral studies. The asymmetric bis-1,2,4-triazole derivatives(More)
Impingement syndrome is usually caused by irritation of the rotator cuff within the sub acromial space and this includes the coraco-acromial arch (Acromion and Coraco-acromial ligament), the acromio-clavicular joint and occasionally the coracoid. Iatrogenic causes such as sutures, pins, plates or wires left from previous surgery can cause similar symptoms.(More)
PURPOSE Although off-road motorcycling is one of the most popular sports activities practised by millions of people worldwide, little has been written on motocross injuries and their prevention. In the UK alone, motocross has grown into a phenomenally ambitious and popular franchise. There are >200 motocross clubs across the country holding >900 events(More)
Historically, the surgical treatment of flexor tendon injuries has always been associated with controversy. It was not until 1967, when the paper entitled Primary repair of flexor tendons in no man's land was presented at the American Society of Hand Surgery, which reported excellent results and catalyzed the implementation of this technique into worldwide(More)
A B S T R A C T New computing platforms have greatly increased the demand for programmers , but learning to program remains a big challenge. Program synthesis techniques have the potential to revolutionize programming by making it more accessible. In this dissertation, I present three systems , AutoProf, FlashFill, and Storyboard Programming Tool (Spt),(More)
Internal iliac aneurysms are usually silent and are identified as an incidental finding on a radiological investigation for an unrelated condition, unless catastrophic bleeding occurs. We present the first case of a middle-aged man with a large internal iliac aneurysm presenting with a foot drop and sciatic nerve pain. The endovascular management is(More)
Capsule endoscopy has revolutionized the investigation of small intestinal pathology with an increasing repertoire of indications. We present the first reported case of an aspirated capsule presenting after a long asymptomatic period that was removed with no permanent pulmonary sequelae. This report highlights a cohort of patients who could be susceptible(More)
The Foley catheter is described in the emergency treatment of penetrating cardiac injuries, and its intra-operative use to control bleeding while definitive measures for intravascular embolization are being made. We present the first reported case of the use of a urinary catheter to control haemorrhage in an extremity stab injury to obtain haemodynamic(More)
  • Rohit Singh, Prof Leslie Kaelbling, Lozano-Perez Tomas
  • 2013
SMT/SAT solvers are used by many tools for program verification and analysis. Most of these tools have an optimization layer which applies transformations (or " rewrite rules ") to simplify the internal representation of the problem. These hard coded rules can drastically affect the performance of the solver. They are usually hand-picked by experts and(More)