Introduction: Diabetes is one of the usual medical problems that had an important negative effect on patient’s health. Researches demonstrate that there is a wide gap between recommended medical actions and received care by patients with diabetes. The aim of study was to assess the quality of care provided to patients with type 2 diabetes. Materials and methods: A cross-sectional stu...

Aliasing The basic type graph domain is augmented with de nite same-value information, in much the same way as done by Janssens and Bruynooghe [8]. This di ers from the pattern domain used for the same purpose in GAIA [2]. The di erence is unlikely to a ect our results in any signi cant way as the properties of the type graph operations does not depend on the aliasing information. 5 Type Graph ...

It is important that research work services both science and practice. When researchers base or relate their research to the earlier studies, they must pay attention to the type of research. Practitioners try to recognize the value of new research results, to assimilate them and apply them to commercial ends. The new classification of research approaches puts a question: Do the research outputs...

Given an appropriate domain specific language (DSL), it is possible to describe the relationship between Haskell data types and many generic functions, typically type-class instances. While describing the relationship is possible, it is not always an easy task. There is an alternative – simply give one example output for a carefully chosen input, and have the relationship derived. When deriving...

OBJECTIVE We aimed to assess differences in incidence, clinical features, current treatment strategies and outcome in patients with type 2 vs. type 1 acute myocardial infarction (AMI). METHODS AND RESULTS All 20 138 hospitalisations in Sweden with a diagnosis of AMI registered during 2011 in the Swedish Web-system for Enhancement and Development of Evidence-based care in Heart disease Evaluat...

Dependent type theory is rich enough to express that a program satisfies an input/output relational specification, but it could be hard to construct the proof term. On the other hand, squiggolists know very well how to show that one relation is included in another by algebraic reasoning. We demonstrate how to encode functional and relational derivations in a dependently typed programming langua...

Dependent types allow a programmer to express invariant properties of functions, such as the relationship between the input and output lengths of a list. Several “lightweight” approaches to dependent types have been proposed for existing systems, such as Haskell’s Generalised Algebraic Data Types or Type Families. Such approaches are lightweight in the sense that they require minimal modificati...

Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this version of LLL has higher quality in...