Preprocessing has proven important in enabling efficient Boolean satisfiability (SAT) solving. For many real application scenarios of SAT it is important to be able to extract a full satisfying assignment for original SAT instances from a satisfying assignment for the instances after preprocessing. We show how such full solutions can be efficiently reconstructed from solutions to the conjunctiv...

The detection of embedded object from ground penetrating radar GPR imagery is our goal. The GPR image is a cross sectional slices. The embedded objects are metal and/or plastic type. This research has many real world applications such as remote sensing, geology, medicine and civil. The proposed method starts with two dimensional 2D image preprocessing for each slice. The preprocessing involves ...

Protein content in chestnuts is an important parameter for evaluating the fruit quality. In this work, the pilot application of near infrared (NIR) spectroscopy in measuring protein content of chestnuts was implemented. 182 samples were involved and 5 preprocessing methods were compared. PLS regression models developed from the spectra of intact nuts and peeled nuts were established separately....

This paper investigates the application of wavelet transform as a preprocessor for neural networks (NN) in identifying internal turn-to-turn faults in transformer windings. The faulty and normal signals generated by numerical simulation of ElectroMagnetic Transient Program (EMTP) are preprocessed using discrete wavelet transform (DWT). The mean values of the wavelet coefficients are input into ...

Given a set of items and a submodular set-function f that determines the value of every subset of items, a demand query assigns prices to the items, and the desired answer is a set S of items that maximizes the pro t, namely, the value of S minus its price. The use of demand queries is well motivated in the context of combinatorial auctions. However, answering a demand query (even approximately...

A new class of complex nonsymmetric algebraic Riccati equations has been studied by Liu & Xue (2012, SIAM J. Matrix Anal. Appl., 33, 569–596), which is related to the M-matrix algebraic Riccati equations. Doubling algorithms, with properly chosen parameters, are used there for equations in this new class. It is pointed out that the number of iterations for the doubling algorithms may be relativ...

abstract process of evapotranspiration (eto) is a major component of the hydrologic cycle that its accurate estimation plays an important role to achieve sustainable development in water balance, irrigation system design and planning and management of water resources. being a function of different metrological parameters and their interactions, evapotranspiration is a complex, nonlinear phenome...

SAT solvers are often challenged with very hard problems that remain unsolved after hours of CPU time. The research community meets the challenge in two ways: (1) by improving the SAT solver technology, for example, perfecting heuristics for variable ordering, and (2) by inventing new ways of constructing simpler SAT problems, either using domain specific information during the translation from...

Reliable results are crucial when working with medical decision support systems. A decision support system should be reliable but also be interpretable, i.e. able to show how it has inferred its conclusions. In this thesis, the preprocessing perceptron is presented as a simple but effective and efficient analysis method to consider when creating medical decision support systems. The preprocessi...