Most efforts to combine formal methods and software testing go in the direction of exploiting formal methods to solve testing problems, most commonly test case generation. Here we take the reverse viewpoint and show how the technique of partition testing can be used to improve a formal proof technique (induction for correctness of loops). We first compute a partition of the domain of the induct...

Abstract Modern magnetic nanomaterials are increasingly embracing new technologies including smart coatings, intelligent lubricants, and functional working fluids in energy systems. Motivated by studying the manufacturing magnetofluid dynamics of electroconductive viscous nanofluids, this work, we analyzed magnetohydrodynamics (MHD) convection flow heat transfer an incompressible nanofluid cont...

The ability of rapidly growing hyphae to generate new polarity axes that result in the formation of a branch represents one of the most important yet least understood aspects of fungal cell biology. Branching is central to the development of mycelial colonies and also appears to play a key role in fungal interactions with other organisms. This review presents a description of the two major patt...

OBJECTIVES A sleeve lobectomy is a widely accepted procedure for enabling the pulmonary parenchyma to be spared. Induction chemoradiotherapy (CRT) followed by surgery is one treatment option for locally advanced non-small cell lung cancer (NSCLC), but CRT is considered to have a negative effect on subsequent surgery, especially for anastomotic healing. In this study, we describe our experience ...

Dual-tree algorithms are a widely used class of branch-and-bound algorithms. Unfortunately, developing dual-tree algorithms for use with different trees and problems is often complex and burdensome. We introduce a four-part logical split: the tree, the traversal, the point-to-point base case, and the pruning rule. We provide a meta-algorithm which allows development of dual-tree algorithms in a...

We have examined the effect of doxapram on neostigmine-evoked antagonism of vecuronium neuromuscular block in a double-blind study in anaesthetized patients. Neuromuscular transmission was measured with a Datex Relaxograph. The mean time to recovery of the first contraction of the train-of-four (T1) from 25% to 75% was significantly longer in the presence of doxapram (138 (SEM 21) s; n = 23) th...

In this paper, we apply an unsupervised word sense discrimination technique based on clustering similar contexts (Purandare and Pedersen, 2004) to the problems of name discrimination and email clustering. Names of people, places, and organizations are not always unique. This can create a problem when we refer to or seek out information about such entities. When this occurs in written text, we s...