Type classes are an immensely popular andproductive feature of Haskell. They have since been adoptedin, and adapted to, numerous other languages, including the-orem provers. We show that type classes have a natural andefficient representation in .NET that paves the way for theextension of F#, C# and other .NET languages with typeclasses. Our encoding is type preserving a...

many aspects of the lives of migraineurs are commonly affected by the condition, including occupational affairs, social and family life, responsibilities and ultimately the quality of life. this study was designed to determine the effect of orem's self-care nursing model on quality of life in patients with a migraine. this study was carried out in tehran, iran. according to the pre-post design ...

Sodium glucose co-transporter (SGLT-2) inhibitor is a relatively new medication used to treat diabetes. At present, the Food and Drug Administration (FDA) has only approved three medications (canagliflozin, dapagliflozin and empagliflozin) in this drug class for the management of Type 2 diabetes. In May 2015, the FDA issued a warning of ketoacidosis with use of this drug class. Risk factors for...

We present a new method for solving regular boundary value problems for linear ordinary differential equations with constant coefficients (the case of variable coefficients can be adopted readily but is not treated here). Our approach works directly on the level of operators and does not transform the problem to a functional setting for determining the Green’s function. We proceed by representi...

The concept of nursing has many definitions. It is understood and viewed differently by the nurses themselves, by nursing students and other health professionals. This diversity can be explained by different educational backgrounds, cultures and experiences [1]. In the past, there were many definitions for nursing, including the definitions drawn up by national nurses’ associations and the defi...