Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

The unity of the organism; or, The organismal conception of life, by William Emerson Ritter ...

2

Diversity and Unity of islam in Europe. Some Reflections

(Résumé de l'ouvrage) This volume embodies an uptodate and sensitive set of studies exploring the ongoing negotiation of European Muslim identities in Europe. The Editor argues there has been hitherto a three-fold response on the part of Muslims in Europe (some of whom are now 3rd generation Europeans) - integrationism, isolationism, and escapism. Today the latter two responses are giving way, it is argued, to an active shaping of Muslim European identities. The central issue remains: what degree of freedom and what potential for cultural and religious diversity can minorities have in an outwardly secular and plural European society?

Desenvolupament de prototips (Android/LibGDX i Unity), per a la producció d'un videojoc d'acció lateral amb plataformes (Ouroboros)

Creació de dos prototips, un per Android i l'altre perUnity, establint les bases per a la producció d'un videojoc d'acció lateral (Beat 'em up)amb plataformes (puzles) anomenat "Ouroboros". Android és un sistema operatiu basat en Linux, designat primerament per mòbils tàctils(smartphones) i tabletes. En concret s'utilitzarà el SDK (Software Development Kit) dins del'entorn de programació Eclipse amb llenguatge Java, i les bases d'un frameworkanomenat LibGDX. Unity, en canvi, és un motor de videojocs multi-plataforma amb un entorn dedesenvolupament integrat, del que nosaltres utilitzarem la versió en Javascript.Es volen explorar les dues plataformes per tal d'esbrinar quina de les dues vies és la mésidònia de cares a la producció final d'un joc

Labyrinth de Congost. Disseny i desenvolupament d’un videojoc amb Unity

L’objectiu principal del projecte és la creació d'un prototip de videojoc basat en el joc clàssic Laberint de Congost, utilitzant l’eina de creació de videojocs Unity, per dispositius mòbils i webs.

Patients' Needs for Care in Public Mental Health: Unity and Diversity of Self-Assessed Needs for Care.

PURPOSE: Needs assessment is recognized to be a key element of mental health care. Patients tend to present heterogeneous profiles of needs. However, there is no consensus in previous research about how patients' needs are organized. This study investigates both general and specific dimensions of patients' needs for care. METHODS: Patients' needs were assessed with ELADEB, an 18-domain self-report scale. The use of a self-assessment scale represents a unique way of obtaining patients' perceptions. A patient-centered psychiatric practice facilitates empowerment as it is based on the patients' personal motivations, needs, and wants. Four seventy-one patients' profiles were analyzed through exploratory factor analysis. RESULTS: A four-factor bifactor model, including one general factor and three specific factors of needs, was most adequate. Specific factors were (a) "finances" and "administrative tasks"; (b) "transports," "public places," "self-care," "housework," and "food"; and (c) "family," "children," "intimate relationships," and "friendship." CONCLUSION: As revealed by the general factor, patients expressing urgent needs in some domains are also more susceptible to report urgent needs in several other domains. This general factor relates to high versus low utilizers of public mental healthcare. Patients also present specific needs in life domains, which are organized in three dimensions: management, functional disabilities, and familial and interpersonal relationships. These dimensions relate to the different types of existing social support described in the literature.

Geologic maps published by university de Girona's unity of geodynamics

In 1978 University de Girona's Unity of Geodynamics started publishing geological maps, in several themes and scales, of various areas of the Province of Girona (fig. 1). So far, up to 38 maps, gathered in several collections, have been published

Unity: una travesía musical por China

Lectora externa, fotógrafa y periodista de la Universidad de Florida nos cuenta como avanzó y concluyó su travesía por China, sus aprendizajes, sus paisajes, su gente, sus dolores y sus días.

Cultural diversity : obstacle or help in building european unity?. 'La diversidad cultural : ¿obstáculo o ayuda para la construcción de la unidad europea?'.

Resumen tomado del autor