Attempts at experimental transmission and electron microscopic observations in subacute sclerosing panencephalitis

SCOPUS: ar.j

The Productive use of Failure to Generate Witnesses from Divergent Proof Attempts for Coinduction

Coinduction is a proof rule. It is the dual of induction. It allows reasoning about non--well--founded structures such as lazy lists or streams and is of particular use for reasoning about equivalences. A central difficulty in the automation of coinductive proof is the choice of a relation (called a bisimulation). We present an automation of coinductive theorem proving. This automation is based on the idea of proof planning. Proof planning constructs the higher level steps in a proof, using knowledge of the general structure of a family of proofs and exploiting this knowledge to control the proof search. Part of proof planning involves the use of failure information to modify the plan by the use of a proof critic which exploits the information gained from the failed proof attempt. Our approach to the problem was to develop a strategy that makes an initial simple guess at a bisimulation and then uses generalisation techniques, motivated by a critic, to refine this guess, so that a larger class of coinductive problems can be automatically verified. The implementation of this strategy has focused on the use of coinduction to prove the equivalence of programs in a small lazy functional language which is similar to Haskell. We have developed a proof plan for coinduction and a critic associated with this proof plan. These have been implemented in CoClam, an extended version of Clam with encouraging results. The planner has been successfully tested on a number of theorems.

Clydebank in the inter-war years: a study in economic and social change

The main theme of this thesis is the social, economic and political response of a single community to economic dislocation in the interwar years. The community under consideration is Clydebank., The thesis is divided into several parts. Part I establishes the development of the burgh and considers the physical framework of the community, mainly in the years before 1919. The town's characteristics are examined in terms of population structure and development between the world wars. In the last part of this section there is a review of the economic structure of the burgh and changes occurring in it between 1919 and 1939. In Part II consideration is given to the actual extent and form of the unemployment affecting Clydebank at this time, and comparison is made with other communities and geographic/economic areas. Attention is then focussed more narrowly on the actual individuals suffering unemployment in the burgh during the 1930s, in an attempt to personalise the experience of the unemployed. Part III reviews central and local government responses to the situation in which Clydebank found itself oetween 1919 and 1939. Central government policies discussed include unemployment insurance, public works, the Special Areas legislation, assistance in the construction of the 534 "Queen Mary" and the direction of financial support to areas of particular need. Amongst local authority actions described are additional local support for the poor, public works, efforts to attract new industry to the town, attempts to deal with the housing problem which was particularly acute at times of high unemployment and measures to maintain health standards in the community. In Part IV the responses of the community to unemployment and government policies are detailed. The burgh's commercial sector is surveyed as are developments in leisure provision, religion, temperance and crime, and local politics. A number of individual responses are also given consideration such as migration, commuting, changes in birth and marriage rates and suicide.

Exploring the Process of Meaning-making after Partner Suicide

Meaning-making is increasingly recognized as a fundamental aspect of the grief experience. This study investigated the process of meaning-making in the narratives of individuals whose partners died by suicide, exploring their meaning reconstruction in response to this form of loss. The narratives of users of a public online grief support forum (n = 50) were analyzed using the Meaning of Loss Codebook (Gillies, Neimeyer, & Milman, 2014), which consists of core categories of meaning of loss in response to the death of a loved one. The results indicated that these individuals predominantly experienced negative affect, a lack of understanding associated with the loss, and a longing for their partners. The grief experience of participants in this study was marked by substantial psychological distress and an ongoing struggle to make sense of and find meaning in this type of loss. It is clear that grieving the loss of a partner as a result of suicide presents unique challenges to meaning-making in comparison to other types of loss. Given the importance of this aspect of adjustment to loss, these findings deepen the understanding of this component of grief and inform the provision of support for those grieving a loved one who died by suicide.

Closing Pandora's box: a defence of Alvin Plantinga's epistemology of religious belief

I argue (1) that Alvin Plantinga’s theory of warrant is plausible and (2) that, contrary to the Pandora’s Box objection, there are certain serious world religions that cannot successfully use Plantinga’s epistemology to demonstrate that their beliefs could be warranted in the same way that Christian belief can be warranted. In arguing for (1), I deploy Ernest Sosa’s Swampman case to show that Plantinga’s proper function condition is a necessary condition for warrant. I then engage three objections to Plantinga’s theory of warrant, each of which attempts to demonstrate that his conditions for warrant are neither necessary nor sufficient. Having defended the plausibility of Plantinga’s theory of warrant, I present and expand his key arguments to the effect that naturalism cannot make use of it. These arguments provide the conceptual tools that are needed to argue for (2): that there are certain world religions that cannot legitimately use Plantinga’s theory of warrant to demonstrate that their beliefs could be warranted in the same way that Christian belief can be warranted.

Using serious games for improving medical education: an application to cytopathology

El objetivo principal del proyecto es desarrollar una plataforma compuesta por aplicaciones educativas gamificadas para el entrenamiento de personal médico en países de recursos limitados en citopatología mediante dispositivos Android de bajo presupuesto. Antes de desplegar la plataforma en países con recursos limitados, va a ser probada en un curso de Introducción a Citopatología de la Escuela Médica de Harvard. El proyecto final debe funcionar tanto en PCs como en dispositivos Android de bajo coste (p.e. 50 dólares americanos, Amazon Kindle Fire 7 pulgadas) y no puede depender de una conexión a internet continua. Se han analizado algunas aplicaciones con propósito de juego y simulaciones gamificadas para tener una base de conocimiento común entre expertos médicos y desarrolladores. También se han estudiado juegos y aplicaciones cuyo objetivo es hacer uso de imágenes médicas para entrenamiento de personal médico o están enfocadas al diagnóstico mediante colaboración por parte de personal no-médico. Esto nos ha permitido identificar las mejores mecánicas de juego para nuestro caso de uso. A continuación, se han comparado diferentes herramientas de edición y motores de juegos desde el punto de vista del rendimiento ofrecido, las plataformas soportadas, su documentación y licencia. Todo ello nos ha permitido elegir la tecnología de desarrollo (libGDX). Finalmente, diseñamos e implementamos un sistema integrado de aplicaciones (editor de contenido y generador de juegos). El sistema está enfocado a reducir la dependencia entre el personal experto y los desarrolladores para crear y mantener contenido educativo. Se trata de una arquitectura formada por un servicio RESTful, y un editor asociado, orientado a la gestión de contenido educativo orientado para citopatología y dos clientes para diferentes plataformas (PC y Android) que consumen dicho servicio. Finalmente, se presentan las conclusiones y el trabajo futuro del proyecto.

"The X in balance", a serious game to learn how to solve mathematical equations

(Prefácio) This dissertation is submitted for the degree of Masters (Engenharia Informática) at University of Évora. Under the supervision of Professor Francisco Manuel Gonçalves Coelho, i have selected to work on game design. With the specific period of time and resources, an attempt has been made to make a serious educational game. While writing this thesis, the objective was to describe a math game for solving mathematical equations. Injecting learning factor in a game, is a main concern of this project. The document is about the description of ‘X in Balance’ game. This game provides a platform for school aged students to solve the equations by playing game. It also gives a unique dimension of putting fun and math in a same platform. The document describes full detail on the project. The first chapter gives an introduction about the problem faced by students in doing maths and the learning behavior of a game. It also points out the opportunities that this game might brings and the motivation behind doing this work. It describes the game concept and its genre too. Besides, the second chapter tells state of an art of serous educational game. It defines the concept of serious game and its types. Furthermore, it justifies the flexibility of serious games to adapt all learning styles. The impact of serious games on learning is also mentioned. It also includes the related work of other researchers.

Smoking, depression, and suicide risk in the nursing staff of a Third-Level Hospital

Objective: To determine the association between smoking, depression and suicide risk in the Nursing Staff of a University Hospital. Materials and method: this was a non-experimental, correlational cross-range study with observational analysis carried out between May 2012 and May 2013. We studied 232 nurses of the “Dr. José Eleuterio gonzález” University Hospital. two self-administered scales were applied, one for depression and one for suicide risk. Another hetero-applied scale of nicotine dependency was also used, and the subjects’ socio-demographic records were reviewed. Results: A total of 527,232 nurses were studied. A smoking prevalence of 22.8% (53 subjects), an operational depression prevalence of 15.1% (35 subjects), and a suicide risk of 5.1% (12 subjects) were found. Gender and age, speciically being male and young (mean age 29.2 years) were found to increase the risk of smoking. We also found that those nurses who had a partner and had a higher level of education smoked less compared to those who did not have a partner or had a lower degree of education. there were hospital departments where there was a higher prevalence of smoking, such as Internal Medicine and Shock trauma. No association between smoking and the presence of depression was found. Regarding depression, we found that those nurses who worked in the Department of Pensioners were more likely to develop operational depression than those working in any other department. We also found that the risk of presenting operational depression decreases as age increases. About suicide risk, a statistically signiicant association between smoking and suicide risk was found. We also found an association between operational depression and suicide risk.Conclusions: It is recommended to consider nicotine dependence as a fundamental part of psychopathology assessment because of its strong association with suicide risk. this study emphasizes the complexity of the issue of the comorbidity of smoking and psychopathology and the need to continue research lines.

Análisis crítico de la planificación urbana de la Ciudad de Cuenca

Las ciudades de todo el mundo deben mantener un entorno urbano habitable. Nueva York y Barcelona fueron una vez ejemplos a seguir, pero la visión urbana de expansión durante las últimas décadas ha dado lugar a un paradigma que comprende pobremente las tendencias de desarrollo de finales del siglo 20 e inicios del siglo 21. La planificación urbana insuficientemente pondera las aspiraciones de los ciudadanos y las funciones socioeconómicas de la ciudad, generando desequilibrios, caracterizados por el aumento de congestiones de tráfico, injusticia social y económica, y degradación medioambiental. En el caso de la ciudad de Cuenca, el desarrollo urbano ilustra claramente una expansión deficientemente controlada con graves fricciones en los mercados de trabajo y de vivienda, con pocos espacios verdes dentro y alrededor de la ciudad, como fue en el pasado. Este estudio intenta ilustrar la discrepancia entre la teoría y la práctica en el campo de la planificación urbana utilizando como caso de estudio a la ciudad andina de Cuenca. Mientras que la nueva doctrina de planificación urbana habla de un intrincado equilibrio entre las funciones socioeconómicas y ambientales en el espacio urbano, la ciudad se ve cada día más desorganizada. Además, para explicar la situación actual de la planificación de la ciudad de Cuenca, basada en razones teóricas y filosóficas, se identificaron las deficiencias en la planificación urbana. Las buenas prácticas de diseño y planificación urbana deben basarse en una buena comprensión del carácter dinámico y complejo de las ciudades. Con el manuscrito el autor tiene como objetivo impulsar la discusión científica sobre la planificación urbana desde la visión medioambiental y sustentable.

Real-time audio interaction in serious games for music learning

In this LBD, we present several Apps for playing while learning music or for learning music while playing. The core of all the games is based on the good performance of the real-time audio interaction algorithms developed by the ATIC group at Universidad de Ma ́laga (SPAIN).

Serious games applied to attention deficithyperactivity disorder: development of two games for therapeutic purpose

Attention Deficit-Hyperactivity Disorder is a disease that affects 3 to 5 percent of children globally. Many of those live in areas with very few or no medical professionals qualified to help them. To help assuage this problem a system was developed that allows physicians to accompany their patient’s progress and prescribe treatments. These treatments can be drugs or behavioral exercises. The behavioral exercises were designed in the form of games in order to motivate the patients, children, for the treatment. The system allows the patients to play the prescribed games, under the supervision of their tutors. Each game is designed to improve the patient’s handling of their disease through training in a specific mental component. The objective of this approach is to complement the traditional form of treatment by allowing a physician to prescribe therapeutic games and maintaining the patients under supervision between their regular consultations. The main goal of this project is to provide the patients with a better control of their symptoms that with just traditional therapy. Experimental field tests with children and clinical staff, offer promising results. This research is developed in the context of a financed project involving INESC C (Polytechnic Institute of Leiria delegation), the Santo André Hospital of Leiria, and the start-up company PlusrootOne (that owns the project).

Expanding our Constitutional Horizons: A Comprehensive Study of Quasi-Constitutionality in Canada

A number of laws in Canada which uphold rights are referred to as quasi-constitutional by the courts in recognition of their special importance. Quasi-constitutional statutes are enacted through the regular legislative process, although they are being interpreted and applied in a fashion which has become remarkably similar to constitutional law, and are therefore having an important affect over other legislation. Quasi-constitutionality has surprisingly received limited scholarly attention, and very few serious attempts at explaining its significance have been made. This dissertation undertakes a comprehensive study of quasi-constitutionality which considers its theoretical basis, its interpretation and legal significance, as well as its similarities to comparable forms of law in other Commonwealth jurisdictions. Part I examines the theoretical basis of quasi-constitutionality and its relationship to the Constitution. As a statutory and common law form of fundamental law, quasi-constitutionality is shown to signify an association with the Canadian Constitution and the foundational principles that underpin it. Part II proceeds to consider the special rules of interpretation applied to quasi-constitutional legislation, the basis of this interpretative approach, and the connection between the interpretation of similar provisions in quasi-constitutional legislation and the Constitution. As a statutory form of fundamental law, quasi-constitutional legislation is given a broad, liberal and purposive interpretation which significantly expands the rights which they protect. The theoretical basis of this approach is found in both the fundamental nature of the rights upheld by quasi-constitutional legislation as well as legislative intent. Part III explores how quasi-constitutional statutes affect the interpretation of regular legislation and how they are used for the purposes of judicial review. Quasi-constitutional legislation has a significant influence over regular statutes in the interpretative exercise, which in some instances results in conflicting statutes being declared inoperable. The basis of this form of judicial review is demonstrated to be rooted in statutory interpretation, and as such it provides an interesting model of rights protection and judicial review that is not conflated to constitutional and judicial supremacy.

Effectiveness of Depression-Suicidal Behaviour Gatekeeper training among police officers in three European regions: outcomes of the Optimising Suicide Prevention Programmes and their Implementation in Europe (OSPI-Europe) study

Background: Gatekeeper training for community facilitators, to identify and respond to those at risk of suicide, forms an important part of multi-level community-based suicide prevention programmes. Aims: This study examined the effects of gatekeeper training on attitudes, knowledge and confidence of police officers in dealing with persons at risk of suicide. Methods: A total of 828 police officers across three European regions participated in a 4-hour training programme which addressed the epidemiology of depression and suicidal behaviour, symptoms of depression, warning signs and risk factors associated with suicidal behaviour, motivating help-seeking behaviour, dealing with acute suicidal crisis and informing bereaved relatives. Participants completed internationally validated questionnaires assessing stigmatising attitudes, knowledge about depression and confidence in dealing with suicidal persons pre- and post-training. Results: There were significant differences among countries in terms of previous exposure to suicidal persons and extent of previous training. Post-training evaluation demonstrated significant improvements in stigmatising attitudes, knowledge and confidence in all three countries. Conclusion: The consistently positive effects of gatekeeper training of police officers across different regions support inclusion of this type of training as a fundamental part of multi-level community-based suicide prevention programmes and roll-out, nationally and internationally.