Whereas different hydrometeor types cannot be readily distinguished using radar reflectivity alone, this paper shows how the differential reflectivity available from dual-polarization radars can be used as an indicator of hydrometeor type (when supported by reflectivity factor also), and that the spatial variability of differential reflectivity is a useful addition. Various hydrometeor types, g...

Zchaff is an implementation of the well known Chaff algorithm [6]. It participated in the SAT 2002 Competition and won the Best Complete Solver in both industrial and handmade benchmark categories. It is a popular solver and can be compiled into a linkable library for easy integration with user applications. Successful integration examples include the BlackBox AI planner [1], NuSMV model checke...

The paper is concerned with the computational evaluation of a new branching heuristic, called reverse assignment sequence (RAS), for evolved DPLL Satisfiability solvers. Such heuristic, like several other recent ones, is based on the history of the conflicts obtained during the solution of an instance. A score is associated to each literal. When a conflict occurs, some scores are incremented wi...

In this paper I describe experiments in the application of dynamic restarts used in heuristic satisfiability algorithms. By modifying a state-of-the-art SAT solver, zchaff, I test three proposed modifications to typical restart policies: exponentially increasing restart thresholds, restricting restarts to occur only at certain critical points, and the addition of transient randomness after a re...

We propose a new decision heuristic for DPLL-based propositional SAT solvers. Its essence is that both the initial and the conflict clauses are arranged in a list and the next decision variable is chosen from the top -most unsatisfied clause. Various methods of initially organizing the list and moving the clauses within it are studied. Our approach is an extension of one used in Berkmin, and ad...

Expression levels of the NAC gene family were studied in rice infected with Rice dwarf virus (RDV), Rice black-streaked dwarf virus (RBSDV), Rice grassy stunt virus (RGSV), Rice ragged stunt virus (RRSV), and Rice transitory yellowing virus (RTYV). Microarray analysis showed that 75 (68%) OsNAC genes were differentially regulated during infection with RDV, RBSDV, RGSV, and RRSV compared with th...

Rice Bran Protein Fractions (RBPFs) albumin, globulin, glutelin and prolamin were extracted from untreated and parboiled rice bran and their comparative studies were made for the yield, protein content, bulk densities, water absorption capacities, Nitrogen Solubility Index (NSI), emulsion property and least gelation concentration. The maximum yield of the protein fractions were obtained in parb...

The influence of oil rate and quality of rice bran oil by enzymatic extraction ultrasonic assisted were studied through designed experiment. The optimum enzymatic hydrolysis conditions were determined by the way of the orthogonal test. The results showed: after lipase enzyme in the rice bran (40 mesh sieve) was killed by the hot steam, the solution compounding material liquid ratio was 1:5 (W/V...

Rice bran is a simple item that delivers fantastic health benefits in our daily diet. This study delivers the importance of utilising all parts of the whole grain, including the bran. The objective was to develop the recipes incorporated with rice bran and evaluate their organoleptic properties and estimate their glycemic index. Ten standard Indian subcontinent recipes namely, chapati, mixed ve...

To establish the effectiveness of a new phytosterol-containing spread derived from rice bran oil (RBO), a randomised, double-blind, cross-over human clinical trial was conducted over 12 weeks. A total of eighty mildly hypercholesterolaemic (total blood cholesterol level ≥ 5 and ≤ 7·5 mmol/l with a serum TAG level of ≤ 4·5 mmol/l) individuals were randomised into two groups (n 40). Group 1 consu...