Interdisciplinary Team Based Pastoral Care: A Potentially Adaptable Model for Estonian Healthcare

This article aims to build a potentially adaptable model of clinical pastoral care for Estonia’s healthcare institutions. To help the development of spiritual support provision in Estonian healthcare institutions, we are currently working on creating a model of clinical pastoral care that would be in accordance with the local circumstances. Preparatory research in the matter has addressed the socio-cultural and institutional context that shows the great need for interdisciplinary teamwork. The current article offers concrete proposals in the following main points: a) presentation of the pastoral caregiver; b) main actors; c) forms of cooperation; and c) education and internal trainings. The model construction draws information from international research and considers it in Estonia’s local context. Spiritual support provision in Estonia’s healthcare has not yet been taken for granted and the concept is not fully understood. Secularity and religious diversity also set complex frames. Therefore, the model is suggested in guiding proposals, not in a rigorous structure. As such, the model could also be useful for healthcare spiritual support developments in other countries with similar characteristics. The article also poses possible questions of the implementation potential of the model

Chess Endgames and Neural Networks

The existence of endgame databases challenges us to extract higher-grade information and knowledge from their basic data content. Chess players, for example, would like simple and usable endgame theories if such holy grail exists: endgame experts would like to provide such insights and be inspired by computers to do so. Here, we investigate the use of artificial neural networks (NNs) to mine these databases and we report on a first use of NNs on KPK. The results encourage us to suggest further work on chess applications of neural networks and other data-mining techniques

Balancing Scalability and Uniformity in SAT Witness Generator

Constrained-random simulation is the predominant approach used in the industry for functional verification of complex digital designs. The effectiveness of this approach depends on two key factors: the quality of constraints used to generate test vectors, and the randomness of solutions generated from a given set of constraints. In this paper, we focus on the second problem, and present an algorithm that significantly improves the state-of-the-art of (almost-)uniform generation of solutions of large Boolean constraints. Our algorithm provides strong theoretical guarantees on the uniformity of generated solutions and scales to problems involving hundreds of thousands of variables.Comment: This is a full version of DAC 2014 pape

Numerical and Theoretical Study of a Monodisperse Hard-Sphere Glass Former

There exists a variety of theories of the glass transition and many more numerical models. But because the models need built-in complexity to prevent crystallization, comparisons with theory can be difficult. We study the dynamics of a deeply supersaturated \emph{monodisperse} four-dimensional (4D) hard-sphere fluid, which has no such complexity, but whose strong intrinsic geometrical frustration inhibits crystallization, even when deeply supersaturated. As an application, we compare its behavior to the mode-coupling theory (MCT) of glass formation. We find MCT to describe this system better than any other structural glass formers in lower dimensions. The reduction in dynamical heterogeneity in 4D suggested by a milder violation of the Stokes-Einstein relation could explain the agreement. These results are consistent with a mean-field scenario of the glass transition.Comment: 5 pages, 3 figure