The Theory plug-in enables modellers to extend the mathematical modelling notation for Event-B, with accompanying support for reasoning about the extended language. Previous version of the Theory plug-in has been implemented based on Rodin 2.x. This presentation outline the main improvements to the Theory plug-in, to be compatible with Rodin 3.x, in terms of both reliability and usability. We w...

This in vitro study evaluated the seal created by varying depths of mineral trioxide aggregate (MTA) plugs placed in an orthograde fashion in five groups of 10 teeth. One group received a 2 mm thick orthograde apical plug of MTA, the second group a 5 mm apical MTA plug, and the third group a 2 mm apical MTA plug with a second 2 mm increment, 24 h later. The remaining portion of the canal in the...

A plug of wetting liquid is driven at constant pressure through a bifurcation in a microchannel. For a plug advancing in a straight channel, we find that the viscous dissipation in the bulk may be estimated using Poiseuille's law while Bretherton and Tanner's laws model the additional dissipation occurring at the rear and front interfaces. At a second stage, we focus on the behavior of the plug...

introduction: the aim of this study was to compare the marginal adaptation of mineral trioxide aggregate (mta) and calcium-enriched mixture(cem) cement apical plugs in open apex teeth in dry, blood- and saliva-contaminated canals. methods and materials: a total of 120 human extracted single-rooted teeth were used. the teeth were decoronated and canals were cleaned and shaped up to #80 k-files. ...

“a city can be read through its streets”. stéphane douady, professor of dynamics of out-of-equilibrium systems in paris diderot university began his speech with these words. he continued by explaining the significance of the street structure: “when we think of a city, we first think of the houses. while they can be replaced when destroyed or abandoned, the streets remain stable”. dr. douady’s m...

A broad overview of approaches to data fusion is provided in [1]. The most powerful current approach to real-time, scan-based data fusion is multi-hypothesis tracking (MHT), which was first introduced in the late 1970s [11] and made feasible in the mid-1980s with the track-oriented approach [9]. A number of enhancements to the basic approach have appeared over the years [1]. If contact measurem...

BACKGROUND Low transsphincteric fistulas less than 1/3 of the sphincter complex are easy to treat by fistulotomy with a high success rate. High transsphincteric fistulas remain a surgical challenge. Various surgical procedures are available, but recurrence rates of these techniques are disappointingly high. The mucosal flap advancement is considered the gold standard for the treatment of high p...

BACKGROUND Open mesh used in anterior inguinal hernia repair can be configured as a flat patch (Lichtenstein operation) or as a cone-shaped preformed plug and supplementary patch (plug-and-patch operation; Perfix Plug; Davol Inc, Cranston, RI). METHODS One hundred forty-one patients were randomly allocated and blinded to receive either a Lichtenstein patch or a Perfix plug-and-patch. Informat...

Dense phase pneumatic conveying is widely used to transport granular materials or powder due to its efficiencies gained on cost and abrasion and erosion. To date these systems have been designed and analyzed using average frictional representation for the conveyed plug. This study explores the effect of this friction force by measuring strains on the pipe wall when the plug is moving passed the...

The management of technical debt and the use of productivity games are important aspects of developing software projects. A productivity game was created in the form of a competitive source control plug-in that rewards technical debt-reducing actions. The plug-in was tested by simulating source control usage with in a small sample project. Analysis showed that the plug-in appropriately assigned...