Mark Vella

  • Citations Per Year
Learn More
BACKGROUND Morbid obesity is an increasingly common condition with serious associated morbidity and decreased life expectancy. The only treatment with long-term efficacy for this condition is surgical intervention. Laparoscopic adjustable gastric banding (LAGB) is a procedure increasingly performed in European centres and recently approved by the FDA in(More)
A spigelian hernia is a rare cause of acute abdominal pain and its diagnosis is often difficult to make. A CT scan of the patient demonstrated an incarcerated spigelian hernia containing small bowel which had subsequently reduced spontaneously. The patient underwent laparoscopic repair of her spigelian hernia the following day and made a fast and uneventful(More)
Anastomotic leak (AL) in colorectal surgery leads to significant morbidity, mortality and poorer oncological outcomes. Diagnosis of AL is frequently delayed as current methods of detection are not 100% sensitive or specific. ‘Biomarkers’, such as cytokines and markers of ischaemia, from the milieu of the anastomosis may aid early detection. This paper aims(More)
Weak Bisimulation is a process calculus equivalence relation, applied for the verification of communicating concurrent systems [26]. In this paper we propose the application of Weak Bisimulation for Enterprise Application Integration verification. Formal verification is carried out by taking the system specification and design models of an integrated system(More)