Word-level Symbolic Trajectory Evaluation

Symbolic trajectory evaluation (STE) is a model checking technique that has been successfully used to verify industrial designs. Existing implementations of STE, however, reason at the level of bits, allowing signals to take values in {0, 1, X}. This limits the amount of abstraction that can be achieved, and presents inherent limitations to scaling. The main contribution of this paper is to show how much more abstract lattices can be derived automatically from RTL descriptions, and how a model checker for the general theory of STE instantiated with such abstract lattices can be implemented in practice. This gives us the first practical word-level STE engine, called STEWord. Experiments on a set of designs similar to those used in industry show that STEWord scales better than word-level BMC and also bit-level STE.Comment: 19 pages, 3 figures, 2 tables, full version of paper in International Conference on Computer-Aided Verification (CAV) 201

Changes in cholesterol kinetics following sugar cane policosanol supplementation: a randomized control trial

<p>Abstract</p> <p>Background</p> <p>Sugar cane policosanols (SCP) have been shown to exert cholesterol-modulating properties in various studies conducted in Cuba by substantially reducing cholesterol synthesis. Independent research examining changes in cholesterol kinetics in response to SCP is limited to few studies, none of which was able to replicate findings of the original research. Moreover, no data are available on the effect of SCP on cholesterol absorption to date. The present study was undertaken to determine effects on cholesterol kinetics, namely synthesis and absorption, within hypercholesterolemic individuals consuming a SCP treatment. Twenty-one otherwise healthy hypercholesterolemic subjects participated in a randomized double-blind crossover study where they received 10 mg/day of policosanols or a placebo incorporated in margarine as an evening snack for a period of 28 days. The last week of the study phase, subjects were given ¹³C labelled cholesterol and deuterated water for the measurement of cholesterol absorption and synthesis respectively. Blood was collected on the first two and last five days of the trial. Cholesterol absorption and synthesis were determined by measuring red cell cholesterol ¹³C and deuterium enrichment, respectively.</p> <p>Results</p> <p>There was no significant change in LDL cholesterol levels as compared to control. In addition, the area under the curve for red cell cholesterol ¹³C enrichment across 96 hours was not significantly different in the SCP group as compared to control. Similarly, no difference was observed in the fractional rate of cholesterol synthesis over the period of 24 hours between the two treatment groups.</p> <p>Conclusion</p> <p>The findings of the present study fail to support previous research concerning efficacy and mechanism of action for policosanols.</p

Screening and identifying diabetes in optometric practice: a prospective study

Background: Unconventional settings, outside general medical practice, are an underutilised resource in the attempt to identify the large numbers of people with undiagnosed diabetes worldwide. Aim: The study investigated the feasibility of using optometry practices (opticians) as a setting for a diabetes screening service. Design and setting: Adults attending high street optometry practices in northern England who self-reported at least one risk factor for diabetes were offered a random capillary blood glucose (rCBG) test. Those with raised rCBG levels were asked to visit their GP for further investigations. Results: Of 1909 adults attending practices for sight tests, 1303 (68.2%) reported risk factors for diabetes, of whom 1002 (76.9%) had rCBG measurements taken. Of these, 318 (31.7%) were found to have a rCBG level of ≥6.1 mmol/l, a level where further investigations are recommended by Diabetes UK; 1.6% of previously undiagnosed individuals were diagnosed with diabetes or pre-diabetes as a result of the service. Refining the number of risk factors for inclusion would have reduced those requiring screening by half and still have identified nearly 70% of the new cases of diabetes and pre-diabetes. Conclusion: Screening in optometric practices provides an efficient opportunity to screen at-risk individuals who do not present to conventional medical services, and is acceptable and appropriate. Optometrists represent a skilled worldwide resource that could provide a screening service. This service could be transferable to other settings

Plant sterols, marine-derived omega-3 fatty acids and other functional ingredients: a new frontier for treating hyperlipidemia

As hyperlipidemia, including hypercholesterolemia (HC) and hypertriglyceridemia (HTN), continue to challenge North America's healthcare systems, patients continue to seek efficacious and safe natural therapies that complement pharmaceutical interventions. However, despite the ever-growing body of research supporting the use of functional foods and nutraceuticals (FFN) for the prevention and treatment of hyperlipidemia, reception amongst the medical community regarding the implementation of FFN into clinical guidelines continues to lag. Research demonstrates that specific FFN target and modulate molecular processes that perpetuate hyperlipidemia. In addition, studies consistently demonstrate that combining certain FFN such as marine-derived omega-3 fatty acids or plant sterols/stanols with statins enhances triglyceride and cholesterol-lowering efficacy, respectively. Thus, the purpose of this commentary is to contend that efficacious FFN not only reduce HC and HTG but also boost the lipid-lowering effects of pharmaceutical hypolipidemic medications. Finally, this editorial aims to challenge current medical guidelines to emphasize efficacious FFN during all stages of treatment of hyperlipidemias as adjuncts to pharmacotherapy

Fast and Slow Water Ion Populations in the Enceladus Plume

Ion velocities have been measured during the Enceladus E3 and E5 flybys using the Cassini Plasma Spectrometer (CAPS) instrument on the Cassini spacecraft. Data from three sensors in the CAPS instrument have been examined from two flybys that occurred during 2008. Positive ion measurements from the CAPS Ion Beam Spectrometer and Ion Mass Spectrometer have been used to measure positive ion velocities. The CAPS Electron Spectrometer has been used to complement the positive ion findings with measurements of negative ion velocities. Two velocities for the positive ions are found, with the fast ions (2.3–5.8 km/s) originating from the high‐speed neutral gas emission and slow ions (0.2–2.2 km/s) associated with the low‐speed thermal gas emission from Enceladus. Negative ions were found to be near stationary or northerly traveling, implying a deceleration mechanism within the plume. A tentative detection of fast negative ions was also recorded for one of the flybys. These findings will aid in future modeling of plume dynamics

Knot Theory: from Fox 3-colorings of links to Yang-Baxter homology and Khovanov homology

This paper is an extended account of my "Introductory Plenary talk at Knots in Hellas 2016" conference We start from the short introduction to Knot Theory from the historical perspective, starting from Heraclas text (the first century AD), mentioning R.Llull (1232-1315), A.Kircher (1602-1680), Leibniz idea of Geometria Situs (1679), and J.B.Listing (student of Gauss) work of 1847. We spend some space on Ralph H. Fox (1913-1973) elementary introduction to diagram colorings (1956). In the second section we describe how Fox work was generalized to distributive colorings (racks and quandles) and eventually in the work of Jones and Turaev to link invariants via Yang-Baxter operators, here the importance of statistical mechanics to topology will be mentioned. Finally we describe recent developments which started with Mikhail Khovanov work on categorification of the Jones polynomial. By analogy to Khovanov homology we build homology of distributive structures (including homology of Fox colorings) and generalize it to homology of Yang-Baxter operators. We speculate, with supporting evidence, on co-cycle invariants of knots coming from Yang-Baxter homology. Here the work of Fenn-Rourke-Sanderson (geometric realization of pre-cubic sets of link diagrams) and Carter-Kamada-Saito (co-cycle invariants of links) will be discussed and expanded. Dedicated to Lou Kauffman for his 70th birthday.Comment: 35 pages, 31 figures, for Knots in Hellas II Proceedings, Springer, part of the series Proceedings in Mathematics & Statistics (PROMS

Plant sterols: factors affecting their efficacy and safety as functional food ingredients

Plant sterols are naturally occurring molecules that humanity has evolved with. Herein, we have critically evaluated recent literature pertaining to the myriad of factors affecting efficacy and safety of plant sterols in free and esterified forms. We conclude that properly solubilized 4-desmetyl plant sterols, in ester or free form, in reasonable doses (0.8–1.0 g of equivalents per day) and in various vehicles including natural sources, and as part of a healthy diet and lifestyle, are important dietary components for lowering low density lipoprotein (LDL) cholesterol and maintaining good heart health. In addition to their cholesterol lowering properties, plant sterols possess anti-cancer, anti-inflammatory, anti-atherogenicity, and anti-oxidation activities, and should thus be of clinical importance, even for those individuals without elevated LDL cholesterol. The carotenoid lowering effect of plant sterols should be corrected by increasing intake of food that is rich in carotenoids. In pregnant and lactating women and children, further study is needed to verify the dose required to decrease blood cholesterol without affecting fat-soluble vitamins and carotenoid status

Lois et règlements sur la faune sauvage à Madagascar : Progrès accomplis et besoins du futur

Les lois et règlements déterminant les niveaux de protection des espèces de la faune et de la flore sauvages sont des indicateurs importants de l’importance qu’accorde un pays à la conservation de sa biodiversité. Dans cette revue, nous évaluons la cohérence entre les lois et règlements portant sur la gestion de la faune sauvage à Madagascar, en considérant la législation nationale, les conventions internationales ratifiées et la Liste Rouge de l’UICN pour les confronter aux réalités locales. Suite à nos analyses, nous pouvons conclure que Madagascar dispose d’un cadre juridique adéquat pour réglementer la protection et l’exploitation des animaux sauvages. Cependant, des révisions et mises à jour sont nécessaires, particulièrement en ce qui concerne la liste des espèces dans les différentes catégories et la facilitation de la mise en application de la loi. In many countries wildlife species are threatened by hunting for meat or collection for the pet trade. Wildlife laws which control where these activities can occur, limit the timing of exploitation, or provide strict protection for some species are therefore an important component of the conservation strategy. However it is important that these wildlife laws reflect the ecology and threat status of the species concerned, and that they are aligned with any relevant international conventions. In this article we discuss the legal framework for exploiting and protecting tetrapod species in Madagascar. We review the 2006 update to wildlife legislation with respect to international treaties, other national legislation and the IUCN Red List of Threatened Species. We also present a summary of the different categories of hunting (sport, commercial, scientific, and subsistence) and the control of hunting in protected areas. Madagascar has a sound legal framework for the use and protection of wildlife and the classification of species into protected, pest and legally hunted is clear and mostly fits well with the species’ classification according to the IUCN Red List and CITES. A revision of the protected species list managed is needed however to (i) include marine mammals that are protected by fisheries law and the Convention on Migratory Species and to (ii) better reflect the rights of people whose livelihoods rely heavily on the income or protein derived from hunting animals. Renewed effort to communicate and enforce wildlife legislation is needed, especially regarding the illegal hunting and export of protected species. This would also support the ongoing initiative to expand the protected area system and could be integrated into a revised National Biodiversity Strategy and Action Plan that Madagascar should produce for 2011 - 2020 as part of its commitment to implementing the Convention on Biological Diversity