Measurement of body temperature and heart rate for the development of healthcare system using IOT platform

Health can be define as a state of complete mental, physical and social well-being and not merely the absence of disease or infirmity according to the World Health Organization (WHO) [1]. Having a healthy body is the greatest blessing of life, hence healthcare is required to maintain or improve the health since the healthcare is the maintenance or improvement of health through the diagnosis, prevention, and treatment of injury, disease, illness, and other mental and physical impairments in human beings. The novel paradigm of Internet of Things (IoT) has the potential to transform modern healthcare and improve the well-being of entire society [2]. IoT is a concept aims to connec

Geography of Fields in Extra Dimensions: String Theory Lessons for Particle Physics

String theoretical ideas might be relevant for particle physics model building. Ideally one would hope to find a unified theory of all fundamental interactions. There are only few consistent string theories in D=10 or 11 space-time dimensions, but a huge landscape in D=4. We have to explore this landscape to identify models that describe the known phenomena of particle physics. Properties of compactified six spatial dimensions are crucial in that respect. We postulate some useful rules to investigate this landscape and construct realistic models. We identify common properties of the successful models and formulate lessons for further model building.Comment: To be published in "Perspectives on String Phenomenology" (World Scientific

Using Flow Specifications of Parameterized Cache Coherence Protocols for Verifying Deadlock Freedom

We consider the problem of verifying deadlock freedom for symmetric cache coherence protocols. In particular, we focus on a specific form of deadlock which is useful for the cache coherence protocol domain and consistent with the internal definition of deadlock in the Murphi model checker: we refer to this deadlock as a system- wide deadlock (s-deadlock). In s-deadlock, the entire system gets blocked and is unable to make any transition. Cache coherence protocols consist of N symmetric cache agents, where N is an unbounded parameter; thus the verification of s-deadlock freedom is naturally a parameterized verification problem. Parametrized verification techniques work by using sound abstractions to reduce the unbounded model to a bounded model. Efficient abstractions which work well for industrial scale protocols typically bound the model by replacing the state of most of the agents by an abstract environment, while keeping just one or two agents as is. However, leveraging such efficient abstractions becomes a challenge for s-deadlock: a violation of s-deadlock is a state in which the transitions of all of the unbounded number of agents cannot occur and so a simple abstraction like the one above will not preserve this violation. In this work we address this challenge by presenting a technique which leverages high-level information about the protocols, in the form of message sequence dia- grams referred to as flows, for constructing invariants that are collectively stronger than s-deadlock. Efficient abstractions can be constructed to verify these invariants. We successfully verify the German and Flash protocols using our technique

Inward FDI in seven transitional countries of South-Eastern Europe: a quest of institution-based attractiveness

The main question we address is whether the weak FDI level in the SEE-7 is linked to ill-adapted institutions or not. In order to answer it, we need to understand the role of institutions in shaping a strong localization advantage for FDI. We develop a theoretical framework to understand the relationship between Transition, Institutions and inward FDI. We assume that the ability to attract FDI depends on the local institutional arrangement. We present our pattern of institutional arrangement that may help us understand why, in spite of identical institutions, countries attract a different level of FDI. We split the SEE into two categories of host countries, each category being characterized by a specific institutional arrangement and level of FDI. We conclude with the relevance of our proposition to develop an analytical framework where FDI is the outcome of a new and well-adapted institutional arrangementFDI, transition, institutions, attractiveness, South-Eastern Europe, institutional arrangement

Reintroducing Intergenerational Equilibrium: Key Concepts behind the New Polish Pension System

Poland adopted a new pension system in 1999. This new pension system allows Poland to reduce pension expenditure (as a percent of GDP), instead of increasing it – as is projected for the majority of other OECD countries. This paper presents the conceptual background of the new system design. The new system’s long-term objective is to ensure intergenerational equilibrium irrespective of the demographic situation. This requires stabilisation of the share of GDP allocated to the entire retired generation. Traditional pension systems aim, instead, at stabilisation of the share of GDP per retiree. The change in demographic structure observed over the past for a couple of decades and this historic attempt to stabilise the share of GDP per retiree led to severe fiscal problems and negative externalities for growth, as observed in numerous countries. Many countries have tried to reform their pension systems in different ways to try to resolve the issue of these ever-increasing costs. Although the Polish reform uses a number of techniques applied elsewhere, its design differs from the typical approaches – and the lessons and results are promising for all OECD countries. This paper presents the theoretical and practical application of this alternative approach and as such, the key features of the new Polish pension system design.pensions, equilibrium, GDP, pension debt servicing, income allocation, generations

Quantum Noether Method

We present a general method for constructing consistent quantum field theories with global symmetries. We start from a free non-interacting quantum field theory with given global symmetries and we determine all consistent perturbative quantum deformations assuming the construction is not obstructed by anomalies. The method is established within the causal Bogoliubov-Shirkov-Epstein-Glaser approach to perturbative quantum field theory (which leads directly to a finite perturbative series and does not rely on an intermediary regularization). Our construction can be regarded as a direct implementation of Noether's method at the quantum level. We illustrate the method by constructing the pure Yang-Mills theory (where the relevant global symmetry is BRST symmetry), and the N=1 supersymmetric model of Wess and Zumino. The whole construction is done before the so-called adiabatic limit is taken. Thus, all considerations regarding symmetry, unitarity and anomalies are well-defined even for massless theories.Comment: 53 pages, latex, version to appear in Nuclear Physics

ESR study of the spin ladder with uniform Dzyaloshinskii-Moria interaction

Evolution of the ESR absorption in a strong-leg spin ladder magnet (C$_7$H$_{10}$N$_2$)$_2$CuBr$_4$ (abbreviated as DIMPY) is studied from 300K to 400mK. Temperature dependence of the ESR relaxation follows a staircase of crossovers between different relaxation regimes. We ague that the main mechanism of ESR line broadening in DIMPY is uniform Dzyaloshinskii-Moria interaction ($|\vec{D}|=0.20$K) with an effective longitudinal component along an exchange bond of Cu ions within the legs resulting from the low crystal symmetry of DIMPY and nontrivial orbital ordering. The same Dzyaloshinskii-Moriya interaction results in the lifting of the triplet excitation degeneracy, revealed through the weak splitting of the ESR absorption at low temperatures.Comment: 13 pages, submitted to PRB, Fig.3 update