OBJECTIVE To learn the conceptions and actions of health professionals on the care network for women in situations of violence. METHOD A qualitative, descriptive, exploratory study was conducted between April and July 2015 with the participation of 21 health professionals from four primary health care teams in a city of the central region of the state of Rio Grande do Sul. Data were collected...

In the field of hioethics, freedom and autonomy assume the ability of self-regulation and determination. If one has the ability to make one 's own decisions, then one represents an autonomous and free person. Such a view of autonomy faces many difficidties, because it idtimately limits those who can be considered autonomous. Tlie Orthodox theology of the one Hypostasis of Jesus Christ presents ...

Since ancient times, in societies throughout the world, mankind has interpreted some dreams in the context of religion – from invoking the gods into their dreams in incubation temples, to recording dream narratives in holy scriptures of religions that thrive in today’s world. This paper acknowledges that the role of dreams has diminished in many faiths, most noticeably in western Christianity, ...

Is the Christian doctrine of the Trinity consistent with a very strong version of the thesis of divine simplicity? Yes, so long as the simple divine nature is a relational nature, a nature that could be characterized in terms of such relations as knowing and loving. This divine nature functions simultaneously as agent, patient, and action: as knower, known and knowledge, and lover, beloved, and...

Model checking became a standard method of analysing complex systems in many application domains. No doubt, a number of applications is placing great demands on model checking tools. The process of analysis of complex and real-life systems often requires vast computation resources, memory in particular. This phenomenon, referred to as the state space explosion problem, has been tackled by many ...