The Role of Nutraceuticals In The Prevention of Cardiovascular Disease

Cardiovascular disease (CVD) ranks among the most common health-related and economic issues worldwide. Dietary factors are important contributors to cardiovascular risk, either directly, or through their effects on other cardiovascular risk factors including hypertension, dyslipidemia and diabetes mellitus. Nutraceuticals are natural nutritional compounds, which have been shown to be efficacious in preventative medicine or in the treatment of disease. Several foods and dietary supplements have been shown to protect against the development of cardiovascular disease. The aim of this review is to present an update on the most recent evidence relating to the use of nutraceuticals in the context of the prevention and treatment of cardiovascular disease

On aspects of self-consistency in the Dyson-Schwinger approach to QED and \lambda (\phi^\star \phi)^2 theories

We investigate some aspects of the self-consistency in the Dyson-Schwinger approach to both the QED and the self-interacting scalar field theories. We prove that the set of the Dyson-Schwinger equations, together with the Green-Ward-Takahashi identity, is equivalent to the analogous set of integral equations studied in condensed matter, namely many-body perturbation theory, where it is solved self-consistently and iteratively. In this framework, we compute the non-perturbative solution of the gap equation for the self-interacting scalar field theory.Comment: 9 pages, to appear on Phys. Rev.

Formalising the Continuous/Discrete Modeling Step

Formally capturing the transition from a continuous model to a discrete model is investigated using model based refinement techniques. A very simple model for stopping (eg. of a train) is developed in both the continuous and discrete domains. The difference between the two is quantified using generic results from ODE theory, and these estimates can be compared with the exact solutions. Such results do not fit well into a conventional model based refinement framework; however they can be accommodated into a model based retrenchment. The retrenchment is described, and the way it can interface to refinement development on both the continuous and discrete sides is outlined. The approach is compared to what can be achieved using hybrid systems techniques.Comment: In Proceedings Refine 2011, arXiv:1106.348

Casimir Effect in E3E^3 closed spaces

As it is well known the topology of space is not totally determined by Einstein's equations. It is considered a massless scalar quantum field in a static Euclidean space of dimension 3. The expectation value for the energy density in all compact orientable Euclidean 3-spaces are obtained in this work as a finite summation of Epstein type zeta functions. The Casimir energy density for these particular manifolds is independent of the type of coupling with curvature. A numerical plot of the result inside each Dirichlet region is obtained.Comment: Version accepted for publication. The most general coupling with curvature is chose

Investigations of linear and nonlinear optical properties of transparent ZnO thin films grown by sol-gel method

Date du colloque&nbsp;: 06/2008</p

Pressure Induced Charge Disproportionation in LaMnO3_{3}

We present a total energy study as a function of volume in the cubic phase of LaMnO$_{3}$. A charge disproportionated state into planes of Mn$^{3+}$O$_{2}$/Mn$^{4+}$O$_{2}$ was found. It is argued that the pressure driven localisation/delocalisation transition might go smoothly through a region of Mn$^{3+}$ and Mn$^{4+}$ coexistence.Comment: 3 pages, 1 figure, Conference Proceedings: Nanospintronics: Design and Realization (Kyoto, Japan 24-28 May, 2004

Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Divergences in the Effective Action for Acausal Spacetimes

The 1--loop effective Lagrangian for a massive scalar field on an arbitrary causality violating spacetime is calculated using the methods of Euclidean quantum field theory in curved spacetime. Fields of spin 1/2, spin 1 and twisted field configurations are also considered. In general, we find that the Lagrangian diverges to minus infinity at each of the nth polarised hypersurfaces of the spacetime with a structure governed by a DeWitt-Schwinger type expansion.Comment: 17 pages, Late

Quantum time machine

The continuation of Misner space into the Euclidean region is seen to imply the topological restriction that the period of the closed spatial direction becomes time-dependent. This restriction results in a modified Lorentzian Misner space in which the renormalized stress-energy tensor for quantized complex massless scalar fields becomes regular everywhere, even on the chronology horizon. A quantum-mechanically stable time machine with just the sub-microscopic size may then be constructed out of the modified Misner space, for which the semiclassical Hawking's chronology protection conjecture is no longer an obstruction.Comment: 6 pages, RevTe

Polyhedral Cosmic Strings

Quantum field theory is discussed in M\"obius corner kaleidoscopes using the method of images. The vacuum average of the stress-energy tensor of a free field is derived and is shown to be a simple sum of straight cosmic string expressions, the strings running along the edges of the corners. It does not seem possible to set up a spin-half theory easily.Comment: 15 pages, 4 text figures not include