Symbolic execution is a static-analysis technique that has been used for applications such as test-input generation and change analysis. Symbolic execution’s path sensitivity makes scaling it difficult. Despite recent advances that reduce the number of paths to explore, the scalability problem remains. Moreover, there are applications that require the analysis of all paths in a program fragment...

A new arsenic removal process was designed combining: 1) iron nanoparticle addition, b) electrocoagulation, and c) electromagnetic separation. Results showed that arsenic could be removed with more than 99 % efficiency from liquid waste samples. Parameters that were found to have importance on the process were: a) nanoparticle dosage, b) electric voltage drop during electrocoagulation, b) pH of...

OBJECTIVE To present our experience of endoscopic electrocoagulation of sphenopalatine artery for persistent posterior epistaxis despite conservative measures. METHODS Seven endoscopic electrocoagulation of sphenopalatine artery was done for four patients from early 2001 till the present for recalcitrant epistaxis despite conservative treatment. The basic principle of this surgical method is ...

The reuse of treated domestic wastewater is an imperative source water for numerous purposes. treatment municipal can be process by utilizing the technique electrocoagulation. Electrocoagulation (EC) eco-friendly that combines functions and advantages conventional coagulation, flotation, electrochemistry in treatment. aim present study was to assess potential electrocoagulation removing COD, BO...

The performance of electrocoagulation using iron electrodes for the removal of hexavalent chromium from synthetic aqueous solutions and actual industrial electroplating wastewater was studied. Parameters affecting the electrocoagulation process, such as initial pH, applied current density, initial metal ion concentration, COD and time of electroprocessing were investigated. The optimum pH was f...

Long-term consumption of water containing excessive fluoride can lead to fluorosis of the teeth and bones. Electrocoagulation (EC) is an electrochemical technique, in which a variety of unwanted dissolved particles and suspended matter can be effectively removed from an aqueous solution by electrolysis. Continuous flow experiments with monopolar aluminium electrodes for fluoride removal were un...

BACKGROUND Electrocoagulation is a technique involving the electrolytic addition of coagulating metal ions directly from sacrificial electrodes. These ions coagulate with turbidity agents in the water, in a similar manner to the addition of coagulating chemicals such as alum and ferric chloride, and allow the easier removal of the pollutants. Purpose of this study was to conduct experimental in...

Here, we report in vivo 3-D visualization of the layered organization of a rat olfactory bulb (OB) by a swept source optical coherence tomography (SS-OCT). The SS-OCT operates at a wavelength of 1334 nm with respective theoretical depth and lateral resolutions of 6.7 μm and 15.4 μm in air and hence it is possible to get a 3D structural map of OB in vivo at the micron level resolution with milli...

OBJECTIVE To determine which inflammatory cell types are present in entheses from patients with spondyloarthropathy (SpA) compared with patients with rheumatoid arthritis (RA) or osteoarthritis (OA). METHODS Enthesis specimens were obtained during orthopaedic procedures in eight patients with SpA, four with RA, and three with OA. After decalcification, the lymphocyte subsets (CD3, CD4, CD8, C...