background: various studies are seeking to find new methods to improve techniques of laryngeal mask airway (lma) insertion and reduce possible complications. in this study, we embarked on a clinical study to investigate the advantages of a new insertion method of laryngeal mask and to compare it with the classic method. materials and methods: two hundred patients aged 20-60 years old in 2012 we...

Petrophysical evaluation of petroleum reservoirs is one of the most challenging tasks for hydrocarbon reserve determination. One critical petrophysical parameter is the water saturation which is normally calculated from Archie’s equation. Carbonate reservoirs, however, due to their complex mineralogy are not good candidates for Archie’s equation because Archie’s parameters are strongly dependen...

Abstract We present an automated reasoning framework for synthesizing recursion-free programs using saturation-based theorem proving. Given a functional specification encoded as first-order logical formula, we use prover to both establish validity of this formula and discover program fragments satisfying the specification. As result, when deriving proof correctness, also synthesize that is corr...