Browsing Administrative Staff Authors (Scholarly Publications) by Title
Now showing items 732-751 of 811
-
Temporal discrimination, a cervical dystonia endophenotype: Penetrance and functional correlates.
(2014)The pathogenesis of adult-onset primary dystonia remains poorly understood. There is variable age-related and gender-related expression of the phenotype, the commonest of which is cervical dystonia. Endophenotypes may ... -
Test 2 TARA Dspace 6.4
(2024) -
Test 9APR15
(2015) -
Test 9APR15 2
(2015) -
Testing Finitary Probabilistic Processes
(2009)This paper provides modal- and relational characterisations of may- and must-testing preorders for recursive CSP processes with divergence, featuring probabilistic as well as nondeterministic choice. May testing is ... -
A Testing Theory for a Higher-Order Cryptographic Language
(2011)We study a higher-order concurrent language with cryptographic primitives, for which we develop a sound and complete, rstorder testing theory for the preservation of safety properties. Our theory is based on co-inductive ... -
Theatre and Migration in Gilgamesh
(Palgrave, 2023)Gilgamesh is not a play, and it does not explicitly deal with migration in the sense of ‘movements by groups’ (indeed, it is generally less concerned with groups than with individuals). And yet, ‘theatre’ and ‘migration’ ... -
A theoretical analysis of optical clock extraction using a self pulsating laser diode.
(1999)The potential for using inexpensive compact disc laser diodes as optical clock extraction elements in transparent networks has led to an increase in research into the dynamics of self-pulsating laser diodes. We use a ... -
A theory for observational fault tolerance
(Elsevier, 2007)One reason for the study of programs in the presence of faults, i.e. defects at the lowest level of abstractions [2], is to be able to construct more dependable systems, meaning systems exhibiting a high probability of ... -
A theory of system behaviour in the presence of node and link failure
(Elsevier, 2008)We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D , a language in which located processes, or agents, may ... -
The thioredoxin system of Helicobacter pylori
(The American Society for Biochemistry and Molecular Biology, 2000)This paper describes the purification of thioredoxin reductase (TR) and the characterization, purification, and cloning of thioredoxin (Trx) from Helicobacter pylori. Purification, amino acid sequence analysis, and molecular ... -
Three-Dimensional Bioprinting of Polycaprolactone Reinforced Gene Activated Bioinks for Bone Tissue Engineering
(2017)Regeneration of complex bone defects remains a significant clinical challenge. Multi-tool biofabrication has permitted the combination of various biomaterials to create multifaceted composites with tailorable mechanical ... -
Tilda Swinton: From Avant-Garde Androgyne to The Avengers
(Rutgers University Press, 2022) -
"Time is more important than anything else": Tensions of time in home care of older adults in Ireland
(2019)This article explores perceptions of time reported by service users, family carers, care workers, nurses, social workers and agency managers across home support services for older adults in Ireland. The findings are organised ... -
Toward an Integrative Theory of Care: Formal and Informal Intersections
(Lexington, 2009)Researchers have categorized the complex phenomenon of care into two distinct types: formal and informal. According to this accepted dichotomy, informal care is generally provided by untrained social network members (family ... -
Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems.
(Elsevier, 2004)We de ne a typed bisimulation equivalence for the language Dpi, a dis- tributed version of the -calculus in which processes may migrate between dynamically created locations. It takes into account resource access policies, ... -
Towards action-refinement in process algebras.
(IEEE Computer Society Press., 1989)A simple process algebra which supports a form of refinement of an action by a process is presented and the question of an appropriate equivalence relation for it is addressed. The main result is that an adequate equivalence ... -
Towards an informal online learning community for student mental health at university
(IADIS, 2006)As a potential solution to increasing demands on mental health services at Universities this project sought to develop an informal online learning community for mental health support and education. Student?s use of the ...