Newman-Penrose quantities as valuable tools in astrophysical relativity

In this talk I will briefly outline work in progress in two different contexts in astrophysical relativity, i.e. the study of rotating star spacetimes and the problem of reliably extracting gravitational wave templates in numerical relativity. In both cases the use of Weyl scalars and curvature invariants helps to clarify important issues.Comment: 3 pages. Proceedings of 16th SIGRAV conference, Vietri, Italy, September 200

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA

Adaptation is a Game

Control data variants of game models such as Interface Automata are suitable for the design and analysis of self-adaptive systems

Assessing the efficacy of the Mental Health Gap Action Programme (mhGAP) training for non-specialized health workers in Ethiopia

RESUMO: A OMS lançou em 2008, o Programa de Acção do Gap em Saúde Mental (mhGAP) para suprir a falta de cuidados, especialmente em países de rendimento baixo e médio, para as pessoas que sofrem de perturbações mentais, neurológicas e de uso de substâncias (MNS). Um componente crucial do mhGAP é representado pelo esforço no sentido da integração da saúde mental nos cuidados de saúde primários. Na Etiópia, o mhGAP foi monitorizado durante 3 anos, graças a um projeto de demonstração implementado em clínicas selecionadas em quatro regiões do país. A fase de demonstração de mhGAP na Etiópia traduziu-se principalmente na formação de profissionais de saúde não especializados, fornecendo-lhes orientação e supervisão apoiada para a utilização de medicamentos psicotrópicos essenciais e na coordenação com o Ministério Etíope Federal da Saúde, Hospital Amanuel de Saúde Mental e as Secretarias Regionais de Saúde ( RHBs ). O presente trabalho investigou a eficácia do pacote de formação mhGAP através de uma análise das pontuações dos participantes no pré- e pós-testes. A análise estatística mostrou - com uma exceção - que a melhoria dos formandos é estatisticamente significativa, o que sugere que os conhecimentos dos participantes é melhorada na fase de pós-teste. A eficácia do pacote de formação mhGAP para profissionais de saúde não especializados é uma evidência promissora de que os mesmos podem ser treinados com sucesso para realizar um pacote básico de intervenções para a prestação de cuidados e tratamento para pessoas com perturbações mentais, neurológicas e de uso de substâncias. Este trabalho destaca, também, várias limitações não apenas inerentes ao próprio projecto de investigação tais como o número limitado de respostas que foram analisadas e a falta de dados de uma das quatro regiões onde mhGAP foi testado na Etiópia. As principais limitações decorrem de facto da abordagem global limitar as intervenções de saúde mental ao programa de formação e supervisão dos trabalhadores de cuidados de saúde primários . Este processo só será bem sucedido se, juntamente com outras intervenções - que vão desde o desenvolvimento de currículos para o desenvolvimento de uma legislação de saúde mental -, fôr incluído numa estratégia mais abrangente para a reforma da saúde mental e desafiar o status quo.-----------ABSTRACT:In 2008, WHO launched the Mental Health Gap Action Programme (mhGAP) to address the lack of care, especially in low- and middle- income countries, for people living with mental, neurological and substance use (MNS) disorders. A crucial component of mhGAP is represented by the endeavor towards integration of mental health into primary health care. In Ethiopia, mhGAP has been piloted for 3 years thanks to a demonstration project implemented in selected clinics in 4 regions of the country. The demonstration phase of mhGAP in Ethiopia has mainly translated into training of non-specialized health workers, providing them with mentorship and supportive supervision, availing essential psychotropic medications and coordinating with the Ethiopian Federal Ministry of Health, Amanuel Mental Health Hospital and the Regional Health Bureaus (RHBs). The present paper investigated the efficacy of the mhGAP training package through an analysis of the participants’ scores at pre-test and post-test. The statistical analysis showed - with one exception - that the improvement of trainees is statistically significant, therefore suggesting that the knowledge of participants is improved in the post-test phase. The efficacy of the mhGAP training package on non-specialized health workers is promising evidence that non-specialized health-care providers can be successfully trained to deliver a basic package of interventions for providing care and treatment for people with mental, neurological and substance use disorders. However, this paper also highlights several limitations, which are not only inherent to the research itself, such as the limited number of scores that was analyzed, or the lack of data from one of the four regions where mhGAP has been piloted in Ethiopia; major limitations occur in fact in the overall approach of confining mental health interventions to training and supervising primary health care workers. This process will only be successful if coupled with other interventions – ranging from curricula development to development of a mental health legislation - and if it is included in a more comprehensive strategy to reform mental health and challenge the status quo

Towards a novel wave-extraction method for numerical relativity

We present the recent results of a research project aimed at constructing a robust wave extraction technique for numerical relativity. Our procedure makes use of Weyl scalars to achieve wave extraction. It is well known that, with a correct choice of null tetrad, Weyl scalars are directly associated to physical properties of the space-time under analysis in some well understood way. In particular it is possible to associate $\Psi_4$ with the outgoing gravitational radiation degrees of freedom, thus making it a promising tool for numerical wave--extraction. The right choice of the tetrad is, however, the problem to be addressed. We have made progress towards identifying a general procedure for choosing this tetrad, by looking at transverse tetrads where $\Psi_1=\Psi_3=0$. As a direct application of these concepts, we present a numerical study of the evolution of a non-linearly disturbed black hole described by the Bondi--Sachs metric. This particular scenario allows us to compare the results coming from Weyl scalars with the results coming from the news function which, in this particular case, is directly associated with the radiative degrees of freedom. We show that, if we did not take particular care in choosing the right tetrad, we would end up with incorrect results.Comment: 6 pages, 1 figure, to appear in the Proceedings of the Albert Einstein Century International Conference, Paris, France, 200

Towards a novel wave-extraction method for numerical relativity. I. Foundations and initial-value formulation

The Teukolsky formalism of black hole perturbation theory describes weak gravitational radiation generated by a mildly dynamical hole near equilibrium. A particular null tetrad of the background Kerr geometry, due to Kinnersley, plays a singularly important role within this formalism. In order to apply the rich physical intuition of Teukolsky's approach to the results of fully non-linear numerical simulations, one must approximate this Kinnersley tetrad using raw numerical data, with no a priori knowledge of a background. This paper addresses this issue by identifying the directions of the tetrad fields in a quasi-Kinnersley frame. This frame provides a unique, analytic extension of Kinnersley's definition for the Kerr geometry to a much broader class of space-times including not only arbitrary perturbations, but also many examples which differ non-perturbatively from Kerr. This paper establishes concrete limits delineating this class and outlines a scheme to calculate the quasi-Kinnersley frame in numerical codes based on the initial-value formulation of geometrodynamics.Comment: 11 pages, 1 figur

Modelling and analyzing adaptive self-assembling strategies with Maude

Building adaptive systems with predictable emergent behavior is a challenging task and it is becoming a critical need. The research community has accepted the challenge by introducing approaches of various nature: from software architectures, to programming paradigms, to analysis techniques. We recently proposed a conceptual framework for adaptation centered around the role of control data. In this paper we show that it can be naturally realized in a reflective logical language like Maude by using the Reflective Russian Dolls model. Moreover, we exploit this model to specify, validate and analyse a prominent example of adaptive system: robot swarms equipped with self-assembly strategies. The analysis exploits the statistical model checker PVeStA

A Conceptual Framework for Adapation

We present a white-box conceptual framework for adaptation. We called it CODA, for COntrol Data Adaptation, since it is based on the notion of control data. CODA promotes a neat separation between application and adaptation logic through a clear identification of the set of data that is relevant for the latter. The framework provides an original perspective from which we survey a representative set of approaches to adaptation ranging from programming languages and paradigms, to computational models and architectural solutions

A Conceptual Framework for Adapation

This paper presents a white-box conceptual framework for adaptation that promotes a neat separation of the adaptation logic from the application logic through a clear identification of control data and their role in the adaptation logic. The framework provides an original perspective from which we survey archetypal approaches to (self-)adaptation ranging from programming languages and paradigms, to computational models, to engineering solutions

Event structures for Petri nets with persistence

Event structures are a well-accepted model of concurrency. In a seminal paper by Nielsen, Plotkin and Winskel, they are used to establish a bridge between the theory of domains and the approach to concurrency proposed by Petri. A basic role is played by an unfolding construction that maps (safe) Petri nets into a subclass of event structures, called prime event structures, where each event has a uniquely determined set of causes. Prime event structures, in turn, can be identified with their domain of configurations. At a categorical level, this is nicely formalised by Winskel as a chain of coreflections. Contrary to prime event structures, general event structures allow for the presence of disjunctive causes, i.e., events can be enabled by distinct minimal sets of events. In this paper, we extend the connection between Petri nets and event structures in order to include disjunctive causes. In particular, we show that, at the level of nets, disjunctive causes are well accounted for by persistent places. These are places where tokens, once generated, can be used several times without being consumed and where multiple tokens are interpreted collectively, i.e., their histories are inessential. Generalising the work on ordinary nets, Petri nets with persistence are related to a new subclass of general event structures, called locally connected, by means of a chain of coreflections relying on an unfolding construction