Probabilistic Programming with Densities in SlicStan: Efficient, Flexible, and Deterministic

Stan is a probabilistic programming language that has been increasingly used for real-world scalable projects. However, to make practical inference possible, the language sacrifices some of its usability by adopting a block syntax, which lacks compositionality and flexible user-defined functions. Moreover, the semantics of the language has been mainly given in terms of intuition about implementation, and has not been formalised. This paper provides a formal treatment of the Stan language, and introduces the probabilistic programming language SlicStan --- a compositional, self-optimising version of Stan. Our main contributions are: (1) the formalisation of a core subset of Stan through an operational density-based semantics; (2) the design and semantics of the Stan-like language SlicStan, which facilities better code reuse and abstraction through its compositional syntax, more flexible functions, and information-flow type system; and (3) a formal, semantic-preserving procedure for translating SlicStan to Stan

Principles for the management of bruxism

The management of bruxism has been the subject of a large number of studies. A PubMed search, using relevant MeSH terms, yielded a total of 177 papers that were published over the past 40 years. Of these papers, 135 were used for the present review. Apparently, research into bruxism management is sensitive to fashion. Interest in studying the role of occlusal interventions and oral splints in the treatment of bruxism remained more or less constant over the years: between 1966 and 2007, approximately 40-60% of the papers dealt with this subject. The percentage of papers that dealt with behavioural approaches, on the other hand, declined from >60% in the first 2 decades (1966-1986) to only slightly >10% in the most recent decade (1997-2007). In the latter period, >40% of the papers studied the role of various medicines in the treatment of bruxism, while in the preceding decade (1987-1996), only approximately 5% of the studies dealt with the pharmacological management of bruxism. Unfortunately, a vast majority of the 135 papers have a too low level of evidence. Only 13% of the studies used a randomized clinical trial design, and even these trials do not yet provide clinicians with strong, evidence-based recommendations for the treatment of bruxism. Hence, there is a vast need for well-designed studies. Clinicians should be aware of this striking paucity of evidence regarding management of bruxism

Sleep-related movement disorders.

Several movement disorders may occur during nocturnal rest disrupting sleep. A part of these complaints is characterized by relatively simple, non-purposeful and usually stereotyped movements. The last version of the International Classification of Sleep Disorders includes these clinical conditions (i.e. restless legs syndrome, periodic limb movement disorder, sleep-related leg cramps, sleep-related bruxism and sleep-related rhythmic movement disorder) under the category entitled sleep-related movement disorders. Moreover, apparently physiological movements (e.g. alternating leg muscle activation and excessive hypnic fragmentary myoclonus) can show a high frequency and severity impairing sleep quality. Clinical and, in specific cases, neurophysiological assessments are required to detect the presence of nocturnal movement complaints. Patients reporting poor sleep due to these abnormal movements should undergo non-pharmacological or pharmacological treatments