324,834 research outputs found
Docherty, Daniel, QX19472
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/382005Surname: DOCHERTY. Given Name(s) or Initials: DANIEL. Military Service Number or Last Known Location: QX19472. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 28040.212337
Item: [2016.0049.14298] "Docherty, Daniel, QX19472
Docherty, T H, NX11121
No full textThis record was harvested from a previous catalogue system and will be withdrawn in 2025. Information in this record may be superseded or incomplete. Visit this record in UMA's new catalogue at: https://archives.library.unimelb.edu.au/nodes/view/382004Surname: DOCHERTY. Given Name(s) or Initials: T H. Military Service Number or Last Known Location: NX11121. Missing, Wounded and Prisoner of War Enquiry Card Index Number: 7349.212334
Item: [2016.0049.14297] "Docherty, T H, NX11121
Rezension Jimmy Docherty: Der große Baresi. Ein nicht ganz gewöhnlicher Gangsterroman
No full textSchmideler S. Rezension Jimmy Docherty: Der große Baresi. Ein nicht ganz gewöhnlicher Gangsterroman. Bulletin Jugend & Literatur. 2008;39(12):12-13
Stone-Type Dualities for Separation Logics
No full textStone-type duality theorems, which relate algebraic and relational/topological
models, are important tools in logic because — in addition to elegant abstraction — they
strengthen soundness and completeness to a categorical equivalence, yielding a framework
through which both algebraic and topological methods can be brought to bear on a logic. We
give a systematic treatment of Stone-type duality for the structures that interpret bunched
logics, starting with the weakest systems, recovering the familiar BI and Boolean BI
(BBI), and extending to both classical and intuitionistic Separation Logic. We demonstrate
the uniformity and modularity of this analysis by additionally capturing the bunched
logics obtained by extending BI and BBI with modalities and multiplicative connectives
corresponding to disjunction, negation and falsum. This includes the logic of separating
modalities (LSM), De Morgan BI (DMBI), Classical BI (CBI), and the sub-classical
family of logics extending Bi-intuitionistic (B)BI (Bi(B)BI). We additionally obtain as
corollaries soundness and completeness theorems for the specific Kripke-style models of these
logics as presented in the literature: for DMBI, the sub-classical logics extending BiBI and
a new bunched logic, Concurrent Kleene BI (connecting our work to Concurrent Separation
Logic), this is the first time soundness and completeness theorems have been proved.
We thus obtain a comprehensive semantic account of the multiplicative variants of all
standard propositional connectives in the bunched logic setting. This approach synthesises
a variety of techniques from modal, substructural and categorical logic and contextualizes
the ‘resource semantics’ interpretation underpinning Separation Logic amongst them. This
enables the application of algebraic and topological methods to both Separation Logic
and the systems of bunched logics it is built upon. Conversely, the new notion of indexed
frame (generalizing the standard memory model of Separation Logic) and its associated
completeness proof can easily be adapted to other non-classical predicate logics
Intuitionistic Layered Graph Logic: Semantics and Proof Theory
No full textModels of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called ILGL that gives an account of layering. The logic is a bunched system, combining the usual intuitionistic connectives, together with a non-commutative, non-associative conjunction (used to capture layering) and its associated implications. We give soundness and completeness theorems for a labelled tableaux system with respect to a Kripke semantics on graphs. We then give an equivalent relational semantics, itself proven equivalent to an algebraic semantics via a representation theorem. We utilise this result in two ways. First, we prove decidability of the logic by showing the finite embeddability property holds for the algebraic semantics. Second, we prove a Stone-type duality theorem for the logic. By introducing the notions of ILGL hyperdoctrine and indexed layered frame we are able to extend this result to a predicate version of the logic and prove soundness and completeness theorems for an extension of the layered graph semantics . We indicate the utility of predicate ILGL with a resource-labelled bigraph model
Engaging Asian faith communities and counselling psychology perspectives in the development of older adult services.
No full textA thesis submitted in fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor in Counselling Psychology.This mixed methods study investigates how counselling psychology perspectives can collaborate with the Sikh community in the development of Older Adult Psychology Services. 73 Sikh participants, aged 45-65 years contributed in English and Punjabi through interview, questionnaire or focus group at multiple community sites across 3 metropolitan boroughs in Sandwell. Qualitative data from validated scenarios and personal experience were analysed by a thematic approach informed by Interpretive Phenomenological Analysis. Master themes were identified for religion, quality of life and service development. The SF12v2 (Ware et al., 2005) is a measure of health and well-being which showed just below average population norms for physical and mental health components of well-being for the Sikh Community. The God Locus of Health Control Scale (Wallston et al., 1999) demonstrated religion‟s importance, and how karma is integral to Sikhs‟ understanding and management of health. 80.6% (N=31) prefer older adult service providers to account for their religious beliefs and counselling psychologists are recommended to address this request in their engagement with this community. Preferences in the modes of delivery, types of psychological intervention and aids to service uptake are provided with recommendations for clinical practice, training and future research
Diffusive author(s), cohesive author: Analysis of S/N (1994)
No full textThis study indicates the ways in which various aspects of the author(s) are brought forth in Dumb type’s performance art, the S/N production. Previous research has suggested a non-hierarchical organization of Dumb type and the absence of a “privileged author” in Dumb type’s collaborative work, S/N. However, the results that I have investigated from member’s interviews on the creative process of S/N along with my analysis of the recorded images of S/N, indicate a different aspect of the author(s). First, S/N was created through, so to speak, the collective ideas of the members of Dumb type. Further, S/N has at least nine quotations from previous performances, installations, and printed writings, besides the work-in-progress technique. Explicating one of the “author functions” as given by Michel Foucault, each text has plural subjects of the author. However, it has been revealed from members’ interviews that Teiji Furuhashi had a decision-making role in selecting the members’ ideas within the performance. Since then, S/N has had plural subjects of creation; however, Furuhashi is one of the subjects of creation along with the “privileged author.” S/N has plural authors (diffusive authors) yet at the same time, it has a “privileged author,” Teiji Furuhashi (cohesive author)
Going Beyond Counting First Authors in Author Co-citation Analysis
No full textThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Exploring the Potential Benefits of City Collaboration
No full textDocherty I., Gulliver S. and Drake P. (2004) Exploring the potential benefits of city collaboration, Reg. Studies 38, 445- 456. As they emerge from extended periods of economic restructuring, many large cities are searching for innovative, more effective ways to achieve and maintain competitive advantage in the international economy. Strategic collaboration, although in the early stages of development, might offer a means for nearby cities to enhance their competitiveness and improve their position in regional and global hierarchies. This paper sets out a range of potential answers to the question 'why collaborate?' by exploring the likely benefits to be gained from such collaboration, and suggests possible ways in which the collaborative process between cities could be established and sustained.City collaboration, Global economy, Competitiveness, Urban hierarchy, Collaboration interville, Economie mondiale, Competitivite, Hierarchie urbaine, Zusammenarbeit von Stadten, Globale Wirtschaft, Wettbewerbsfahigkeit, Stadtische Rangordnung, Colaboracion entre ciudades, Economia global, Competitividad, Jerarquia urbana,
- …
