In this paper, we explain a procedure based on a classical result of Sturm that can be used to determine rigorously whether a given trigonometric polynomial is nonnegative in a certain interval or not. Many examples are given. This technique has been employed by the author in several recent works. The procedure often involves tedious computations that are time-consuming and error-prone. Fortuna...

Atrial fibrillation is one of the most common cardiac arrhythmias, classically presenting with an “irregularly irregular” rhythm or without chest pain, palpitations, shortness breath, lightheadedness, fatigue. The maze procedure open-heart operation that creates a carefully designed incisions and ablations in atrial myocardium. Although it procedure, serious complications may happen. Herein, we...

Dementia The Dementia Services Centre will host a one day interactive dementia awareness workshop on September 10 at 48 Edgbaston Park Road, Birmingham. The day is suitable for anyone who comes into contact with people with dementia. Workshop themes include the effect of dementia on families and friends; confident and clear communication; and support for people with dementia. tinyurl.com/DSCawa...

Object-oriented methods for analysis, design and programming are commonly used by software engineers. Formal description techniques, however, are mainly used in a research environment. We have investigated how rigour can be introduced into the analysis phase of the software development process by combining object-oriented analysis (OOA) methods with formal description techniques. The main topic...

MDE has provided several significant improvements in the development of complex systems by focusing on more abstract issues than programming. However, improvments are needed on the semantic side in order to reach highlevel certification such as the one currently required for critical embedded systems (which will also probably be required in the near future for Information Systems as application...

This review article is devoted to verification methods and consists of three parts of similar length. In Part 1 the working tools of verification methods are discussed, in particular floating-point and interval arithmetic; my findings in Section 1.5 (Historical remarks) seem new, even to experts in the field. In Part 2, the development and limits of verification methods for finite-dimensional p...

One of the most appealing heuristic devices for unders tanding when a phase transition will take place is to consider the balance of energy versus entropy. Probably the simplest example is the well-known (9'27) heuristic a rgument for the absence of phase transitions in one-dimensional systems with short-range forces: Suppose that there were two distinct phases with the same bulk free energy. T...

This article fundamentally aims at the proposition of new family estimators using auxiliary information to assist estimation finite population mean study variable. The objectives are achieved by devising dual use supplementary through straightforward manner. additional is injected in estimating procedure considering squared values utility proposed scheme substantiated providing rigorous compara...