Background: An oscillating bone saw is rarely used to perform laminectomy. The purpose of this study was to describea relatively quick and harmless technique for multilevel laminectomy in patients with lumbar spinal stenosis (LSS) usingan oscillating bone saw to find out how this instrument affects the time of surgery and rate of complications.Methods: This prospective study w...

The aim of this research was to evaluate the effective parameters such as pH, current density (mA/cm2), H2O2/Fe2+ molar ratio, volume ratio of H2O2 to pharmaceutical wastewater (PhW) (ml/l) and reaction time (min) on the electro-Fenton process for the ibuprofen (as a pharmaceutical waste in water) removal. Since a synthetic wastewater with the same concentration of ibuprofen in a real pharmaceu...

Background: Early diagnosis of neonatal sepsis is quite challenging. I/T ratio (immature to mature neutrophil ratio) is a highly sensitive marker of sepsis but is time-consuming and subjective. Off late, volume conductivity and scatter (VCS) of neutrophils are among the newer parameters available for screening a septic neonate. This study aimed to determine the correlation between the I/T ratio...

Background: As a human carcinogen, formaldehyde is a toxic chemical imposing adverse effects on public health and environment. Due to its high reactivity, colorless nature, sustainability, purity in commercial forms, and low prices, the production and consumption of this compound has expanded vastly in industries. Methods: In this study, a UVC photoreactor with a total volume of 120 mL was us...

CF-induction is a sound and complete procedure for finding hypotheses in full clausal theories. It is based on the principle of Inverse Entailment (IE), and consists of two procedures: construction of a bridge theory and generalization of it. There are two possible ways to realize the generalization task in CF-induction. The one uses a single deductive operator, called γ-operator, and the other...

In this extended abstract we report on results recently achieved for answering instance queries relaxed by concept similarity measures [4]. Traditionally, Description Logic (DL) reasoning systems only support crisp inference services, like subsumption and instances queries. The latter can be effectively used to perform different types of search tasks: Given an ABox describing a set of individua...

ILP systems which use some form of Inverse Entailment (IE) are based on clause refinement through a hypotheses space bounded by a most specific clause. In this paper we give a new analysis of refinement operators in this setting. In particular, Progol’s refinement operator is revisited and discussed. It is known that Progol’s refinement operator is incomplete with respect to the general subsump...

This technical report presents an environment representation for use in vision-based navigation. The representation has two useful properties: 1) it has constant size, which can enable strong run-time guarantees to be made for control algorithms using it, and 2) it is structurally similar to a camera image space, which effectively allows control to operate in the sensor space rather than employ...