Menopause is a universal experience for women that occur, in around 50 years old. In this periods women encounter with many changes in their life. Retirement and children leaving home can cause the loneliness and depression, however this time is an opportunity for women to changing their life. The women perception of menopause depends on their social, cultural, economical status and life style ...

Consider a weighted n-vertex, m-edge graph G with designated source s and destination t. The topology of G is known, while the edge weights are hidden. Our goal is to discover either the edge weights in the graph or a shortest (s, t)-path. This is done by means of agents that traverse different (s, t)-paths in multiple rounds and report back the total cost they incurred. Various cost models are...

INTRODUCTION Early and durable achievement of euthyroid or hypothyroid status with low likelihood of relapse is the key to effective treatment of Graves' disease (GD). Although antithyroid drugs (ATDs) are commonly used first-line agents, likelihood of remission remains highest with radioactive iodine (RAI) therapy and surgery. Data regarding efficacy and economical superiority of RAI therapy o...

First-order logic (FOL) is undecidable — that is, no algorithm exists that can decide whether a formula of FOL is valid or not. However, there are various fragments of FOL that are known to be decidable. FO, the two-variable fragment of FOL, is one of such languages [1,2]. FO is a first-order language where formulas have maximally two variables, no function symbols, but possibly do have equalit...