Nutritional, Bioactive and Physicochemical Characteristics of Different Beetroot Formulations

Beetroot possesses high nutritional value and is considered one of the main dietary sources of nitrate. Nitrate has increasingly attracted the interest of the scientific community regarding new physiological, nutritional and therapeutic approaches with beneficial effects on the cardiovascular system. These effects can be explained by the possible effect of dietary nitrate in stimulating nitric oxide synthesis. Dietary nitrate can be reduced to nitrite in the oral cavity, which is then decomposed to nitric oxide and other bioactive nitrogen oxides in the stomach. Beetroot administration can be conducted by several types of formulations, in order to provide a convenient and alternative source of dietary beetroot, such as beetroot juice or beetroot chips and powder. The challenge in providing a product which, in addition to being rich in nitrate, is attractive and easy to administer, while also being microbiologically safe, is increased by the limited scientific information available concerning the nutritional aspects of beetroot formulations. In this chapter, a brief review on the efficiency of different beetroot formulations on health indicators is conducted, emphasizing the effects following the intake of nitrate-enriched beetroot gel. The metabolic and hemodynamic effects of beetroot formulations in healthy and non-healthy volunteers are also discussed

Normative Multi-Agent Programs and Their Logics

Multi-agent systems are viewed as consisting of individual agents whose behaviors are regulated by an organization artefact. This paper presents a simplified version of a programming language that is designed to implement norm-based artefacts. Such artefacts are specified in terms of norms being enforced by monitoring, regimenting and sanctioning mechanisms. The syntax and operational semantics of the programming language are introduced and discussed. A logic is presented that can be used to specify and verify properties of programs developed in this language

Bregman Voronoi Diagrams: Properties, Algorithms and Applications

The Voronoi diagram of a finite set of objects is a fundamental geometric structure that subdivides the embedding space into regions, each region consisting of the points that are closer to a given object than to the others. We may define many variants of Voronoi diagrams depending on the class of objects, the distance functions and the embedding space. In this paper, we investigate a framework for defining and building Voronoi diagrams for a broad class of distance functions called Bregman divergences. Bregman divergences include not only the traditional (squared) Euclidean distance but also various divergence measures based on entropic functions. Accordingly, Bregman Voronoi diagrams allow to define information-theoretic Voronoi diagrams in statistical parametric spaces based on the relative entropy of distributions. We define several types of Bregman diagrams, establish correspondences between those diagrams (using the Legendre transformation), and show how to compute them efficiently. We also introduce extensions of these diagrams, e.g. k-order and k-bag Bregman Voronoi diagrams, and introduce Bregman triangulations of a set of points and their connexion with Bregman Voronoi diagrams. We show that these triangulations capture many of the properties of the celebrated Delaunay triangulation. Finally, we give some applications of Bregman Voronoi diagrams which are of interest in the context of computational geometry and machine learning.Comment: Extend the proceedings abstract of SODA 2007 (46 pages, 15 figures

Software engineering processes for self-adaptive systems

In this paper, we discuss how for self-adaptive systems some activities that traditionally occur at development-time are moved to run-time. Responsibilities for these activities shift from software engineers to the system itself, causing the traditional boundary between development-time and run-time to blur. As a consequence, we argue how the traditional software engineering process needs to be reconceptualized to distinguish both development-time and run-time activities, and to support designers in taking decisions on how to properly engineer such systems. Furthermore, we identify a number of challenges related to this required reconceptualization, and we propose initial ideas based on process modeling. We use the Software and Systems Process Engineering Meta-Model (SPEM) to specify which activities are meant to be performed off-line and on-line, and also the dependencies between them. The proposed models should capture information about the costs and benefits of shifting activities to run-time, since such models should support software engineers in their decisions when they are engineering self-adaptive systems