286 research outputs found
Improving the lipid profile in hypercholesterolemia-induced rabbit by supplementation of germinated brown rice.
It is imperative that there be a diet designed specifically to improve lipid profile in order to impede the progress of atherosclerosis. Because rice is a staple food in Asia, it will be chosen as the diet of interest. This study sets out to discover whether consumption of different processed rice diets may result in a change of the lipid profile. The experiment was done on male New Zealand white rabbits after 10 weeks of treatment with diet containing 0.5% cholesterol. The experimental diets include white rice (WR), brown rice (BR), and germinated brown rice (GBR). Among them, rabbits fed a GBR diet demonstrated significantly lower levels of total cholesterol (TC), low-density lipoprotein (LDL), LDL/HDL, and atherogenic index (AI) and a higher level of high-density lipoprotein (HDL). Results from atherosclerotic plaque assessment further support the findings. The level of malondialdehyde (MDA), which acts as an indicator for oxidative stress, was also reduced by GBR diet. The positive change in lipid profile in the rabbits fed GBR appeared to correspond with the higher amounts of γ-oryzanol, tocopherol, and monounsaturated fatty acid (MUFA) content
An Abort-Aware Model of Transactional Programming
Abstract. There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better exploit the parallelism of modern multi-processor machines, such as multi-core microprocessors. We introduce Transactional State Machines (TSMs) as an abstract finite-data model of transactional shared-memory concurrent programs. TSMs are a variant of concurrent boolean programs (or concurrent extended recursive state machines) augmented with additional constructs for specifying potentially nested transactions. Namely, some procedures (or code segments) can be marked as transactions and are meant to be executed “atomically”, and there are also explicit commit and abort operations for transactions. The TSM model is non-blocking and allows interleaved executions where multiple processes can simultaneously be executing inside transactions. It also allows nested transactions, transactions which may never terminate, and transactions which may be aborted explicitly, or aborted automatically by the run-time environment due to memory conflicts. We show that concurrent executions of TSMs satisfy a correctness criterion closely related to serializability, which we call stutter-serializability, with respect to shared memory. We initiate a study of model checking problems for TSMs. Model checking arbitrary TSMs is easily seen to be undecidable, but we show it is decidable in the following case: when recursion is exclusively used inside transactions in all (but one) of the processes, we show that model checking such TSMs against all stutterinvariant ω-regular properties of shared memory is decidable.
An abort-aware model of transactional programming
Abstract There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better exploit the parallelism of modern multi-processor machines, such as multi-core microprocessors. We introduce Transactional State Machines (TSMs) as an abstract finite-data model of transactional shared-memory concurrent programs. TSMs are a variant of concurrent boolean programs (or concurrent extended recursive state machines) augmented with additional constructs for specifying potentially nested transactions. Namely, some procedures (or code segments) can be marked as transactions and are meant to be executed “atomically”, and there are also explicit commit and abort operations for transactions. The TSM model is non-blocking and allows interleaved executions where multiple processes can simultaneously be executing inside transactions. It also allows nested transactions, transactions which may never terminate, and transactions which may be aborted explicitly, or aborted automatically by the run-time environment due to memory conflicts. We show that concurrent executions of TSMs satisfy a correctness criterion closely related to serializability, which we call stutter-serializability, with respect to shared memory. We initiate a study of model checking problems for TSMs. Model checking arbitrary TSMs is easily seen to be undecidable, but we show it is decidable in the following case: when recursion The work of K. Etessami was done partly while visiting Microsof
Preparation and Evaluation of Rice Bran-Modified Urea Formaldehyde as Environmental Friendly Wood Adhesive
In this study, defatted rice bran (RB) is used to prepare an environmentally friendly adhesive through chemical modifications. The RB is mixed with distilled water with ratios of 1:5 and 1:4 to prepare Type A and Type B adhesives, respectively having pH of 6, 8 and 10. Type A adhesive is prepared by treating RB with 1% potassium permanganate and 4% poly(vinyl alcohol), whereas Type B is formulated by adding 17.3% formaldehyde and 5.7% urea to RB. Viscosity, gel time, solid content, shear strength, Fourier transform infrared (FTIR) spectroscopy is carried out, and glass transition temperature (T-g), and activation energy (E-a) are determined to evaluate the performance of the adhesives. E-a data reveal that adhesives prepared at mild alkaline (pH 8) form long-chain polymers. Gel time is higher in the fabricated adhesives than that of the commercial urea formaldehyde (UF). FTIR data suggest that functional groups of the raw RB are chemically modified, which enhances the bondability of the adhesives. Shear strength data indicates that bonding strength increases with increasing pH. Similar results are also observed for physical and mechanical properties of fabricated particleboards with the adhesives. The results demonstrate that RB-based adhesives can be used as a potential alternative to currently used UF-based resin
Dynamic Cutoff Detection in Parameterized Concurrent Programs
Abstract. We consider the class of finite-state programs executed by an unbounded number of replicated threads communicating via shared variables. The thread-state reachability problem for this class is essential in software verification using predicate abstraction. While this problem is decidable via Petri net coverability analysis, techniques solely based on coverability suffer from the problem’s exponential-space complexity. In this paper, we present an alternative method based on a thread-state cutoff: a number n of threads that suffice to generate all reachable thread states. We give a condition, verifiable dynamically during reachability analysis for increasing n, that is sufficient to conclude that n is a cutoff. We then make the method complete, via a coverability query that is of low cost in practice. We demonstrate the efficiency of the approach on Petri net encodings of communication protocols, as well as on non-recursive Boolean programs run by arbitrarily many parallel threads.
Component analysis of nutritionally rich chloroplasts: recovery from conventional and unconventional green plant species
A study of the literature indicates that chloroplasts synthesise a range of molecules, many of which have nutritional value for humans, but as yet no one has established the nutritional credentials of chloroplasts recovered from plant cells. Chloroplast-rich-fractions (CRFs) were prepared from green plant species and the macro- and micronutrient composition compared with the whole leaf materials (WLMs). The results indicated that, on a dry weight basis, CRF material from a range of green biomass was enriched in lipids and proteins, and in a range of micronutrients compared with the WLM. Vitamins E, pro-vitamin A, and lutein were all greater in CRF preparations. Of the minerals, iron was most notably concentrated in CRF. Spinach CRFs possessed the highest α-tocopherol (62 mg 100 g-1 , dry weight (DW)), β-carotene (336 mg 100 g- 1 DW) and lutein (341 mg 100 g-1 DW) contents, whilst grass CRFs had the highest concentration of alpha-linolenic acid (ALA) (69.5 mg g-1). The higher concentrations of α-tocopherol, β-carotene, lutein, ALA and trace minerals (Fe and Mn) in CRFs suggest their potential use as concentrated ingredients in food formulations deficient in these nutrients
Programmable valve represents an efficient and safe tool in the treatment of idiopathic normal-pressure hydrocephalus patients
Essential Domains of Anaplasma phagocytophilum Invasins Utilized to Infect Mammalian Host Cells
Anaplasma phagocytophilum causes granulocytic anaplasmosis, an emerging disease of humans and domestic animals. The obligate intracellular bacterium uses its invasins OmpA, Asp14, and AipA to infect myeloid and non-phagocytic cells. Identifying the domains of these proteins that mediate binding and entry, and determining the molecular basis of their interactions with host cell receptors would significantly advance understanding of A. phagocytophilum infection. Here, we identified the OmpA binding domain as residues 59 to 74. Polyclonal antibody generated against a peptide spanning OmpA residues 59 to 74 inhibited A. phagocytophilum infection of host cells and binding to its receptor, sialyl Lewis x (sLex-capped P-selectin glycoprotein ligand 1. Molecular docking analyses predicted that OmpA residues G61 and K64 interact with the two sLex sugars that are important for infection, α2,3-sialic acid and α1,3-fucose. Amino acid substitution analyses demonstrated that K64 was necessary, and G61 was contributory, for recombinant OmpA to bind to host cells and competitively inhibit A. phagocytophilum infection. Adherence of OmpA to RF/6A endothelial cells, which express little to no sLex but express the structurally similar glycan, 6-sulfo-sLex, required α2,3-sialic acid and α1,3-fucose and was antagonized by 6-sulfo-sLex antibody. Binding and uptake of OmpA-coated latex beads by myeloid cells was sensitive to sialidase, fucosidase, and sLex antibody. The Asp14 binding domain was also defined, as antibody specific for residues 113 to 124 inhibited infection. Because OmpA, Asp14, and AipA each contribute to the infection process, it was rationalized that the most effective blocking approach would target all three. An antibody cocktail targeting the OmpA, Asp14, and AipA binding domains neutralized A. phagocytophilumbinding and infection of host cells. This study dissects OmpA-receptor interactions and demonstrates the effectiveness of binding domain-specific antibodies for blocking A. phagocytophilum infection
Measuring the burden of arboviral diseases: the spectrum of morbidity and mortality from four prevalent infections
<p>Abstract</p> <p>Background</p> <p>Globally, arthropod-borne virus infections are increasingly common causes of severe febrile disease that can progress to long-term physical or cognitive impairment or result in early death. Because of the large populations at risk, it has been suggested that these outcomes represent a substantial health deficit not captured by current global disease burden assessments.</p> <p>Methods</p> <p>We reviewed newly available data on disease incidence and outcomes to critically evaluate the disease burden (as measured by disability-adjusted life years, or DALYs) caused by yellow fever virus (YFV), Japanese encephalitis virus (JEV), chikungunya virus (CHIKV), and Rift Valley fever virus (RVFV). We searched available literature and official reports on these viruses combined with the terms "outbreak(s)," "complication(s)," "disability," "quality of life," "DALY," and "QALY," focusing on reports since 2000. We screened 210 published studies, with 38 selected for inclusion. Data on average incidence, duration, age at onset, mortality, and severity of acute and chronic outcomes were used to create DALY estimates for 2005, using the approach of the current Global Burden of Disease framework.</p> <p>Results</p> <p>Given the limitations of available data, nondiscounted, unweighted DALYs attributable to YFV, JEV, CHIKV, and RVFV were estimated to fall between 300,000 and 5,000,000 for 2005. YFV was the most prevalent infection of the four viruses evaluated, although a higher proportion of the world's population lives in countries at risk for CHIKV and JEV. Early mortality and long-term, related chronic conditions provided the largest DALY components for each disease. The better known, short-term viral febrile syndromes caused by these viruses contributed relatively lower proportions of the overall DALY scores.</p> <p>Conclusions</p> <p>Limitations in health systems in endemic areas undoubtedly lead to underestimation of arbovirus incidence and related complications. However, improving diagnostics and better understanding of the late secondary results of infection now give a first approximation of the current disease burden from these widespread serious infections. Arbovirus control and prevention remains a high priority, both because of the current disease burden and the significant threat of the re-emergence of these viruses among much larger groups of susceptible populations.</p
Effects of moisture and extrusion temperatures on the oxidative stability of milling oat products with granularity below 532 µm
- …