Like many cinephiles, I spend a lot of time with DVDs and Blu-rays, fair amount that releases from the Criterion Collection, not only important contributor to eve...

The outcome for endoscopic management of pancreatic fluid collections is dependent on the type of collection being treated. While pseudocysts have an excellent treatment response, the outcomes are modest for walled ‐off pancreatic necrosis. Recent advances in cross‐sectional body imaging have enabled more accurate distinction of pancreatic fluid collections, which in turn facilitates correct tr...

In component-based development, object-oriented modelling notations such as UML are being proposed as a way of providing richer specifications of components. Much more so than in bespoke software development, this requires a high level of precision coupled with sufficient expressive power. Expressive power is delivered by adding textual annotations, such as invariants, pre & post conditions, to...