The present work deals with comparison of microwave assisted extraction to that of conventional solvent extraction for the extraction of rice bran oil (RBO); focusing on extraction yield and oil composition. Microwave assisted extraction act as a green process over other method and proved that it is effective method for extraction of oil. The investigation also focuses on the study of functiona...

Rice is the major foodgrain of the world and it is the principle cereal consumed in India and other parts of Asia1. Milling of paddy to obtain edible rice grain yields two major byproducts of economic and nutritional importance, namely, paddy husk and rice bran. Paddy husk has no food value but has several industrial uses. Rice bran, on the other hand, can serve as an animal feed, as a human fo...

BACKGROUND The cholesterol-lowering abilities of rice bran's fiber and oil apart from its fatty acid composition remain unclear. OBJECTIVE The objective of the study was to assess the effects of defatted rice bran and rice bran oil in an average American diet on blood lipids in moderately hypercholesterolemic persons. DESIGN Study 1 used a parallel-arm design. Twenty-six healthy volunteers ...

We design an evolutionary heuristic for the combinatorial problem of de-novo DNA assembly with short, overlapping, accurately sequenced single DNA reads of uniform length, from both strands of a genome without long repeated sequences. The representation of a candidate solution is a novel segmented permutation: an ordering of DNA reads into contigs, and of contigs into a DNA scaffold. Mutation a...

Rsat is a DPLL–based solver that inherits many of the effective techniques introduced by MiniSat [3, 4] and Zchaff [6]. Rsat employs three improvements that have proven quite effective empirically. First, it employs techniques for reducing the time spent on Boolean constraint propagation. Next, it introduces a new technique that enables the solver to better focus on subproblems. Finally, Rsat e...

This paper describes the integration of zChaff and MiniSat, currently two leading SAT solvers, with Isabelle/HOL. Both SAT solvers generate resolution-style proofs for (instances of) propositional tautologies. These proofs are verified by the theorem prover. The presented approach significantly improves Isabelle’s performance on propositional problems, and exhibits counterexamples for unprovabl...

The variable branching heuristics used in the most recent and most effective SAT solvers, including zChaff and BerkMin, can be viewed as consisting of a simple mechanism for rewarding the variables participating in conflicts during the search process. In this paper we propose to extend the simple rewarding mechanism used in zChaff and BerkMin, and develop different rewarding mechanisms based on...