Administrative Staff Authors : Recent submissions
Now showing items 621-640 of 840
-
Familiarity of objects affects susceptibility to the sound-induced flash illusion
(Elsevier, 2011)Audition is accepted as more reliable (thus dominant) than vision when temporal discrimination is required by the task. However, it is not known whether the characteristics of the visual stimulus, for example its familiarity ... -
Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.
(Springer, 2008)We recall some memories of the Esprit Basic Research Action CEDISYS, a small, well-focussed and fruitful project which brought together researchers at the meeting point of true concurrency and process algebra, in the ... -
Counting the cost in the picalculus.
(Elsevier Science Publishers B. V, 2009)We design a new variation on the picalculus, ?cost, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have ... -
Regulation of Protein Kinase C function by phosphorylation on conserved and non-conserved sites
(Elsevier, 2011)Protein Kinase C (PKC) is a family of serine/threonine kinases whose function is influenced by phosphorylation. In particular, three conserved phosphorylation sites known as the activation-loop, the turn-motif and the ... -
Diagnostic power of default mode network resting state fMRI in the detection of Alzheimer's disease.
(2012)Functional magnetic resonance imaging (fMRI) of default mode network (DMN) brain activity during resting is recently gaining attention as a potential noninvasive biomarker to diagnose incipient Alzheimer's disease. The aim ... -
A calculus for costed computations
(2011)We develop a version of the picalculus Picost where channels are interpreted as resources which have costs associated with them. Code runs under the financial responsibility of owners; they must pay to use resources, but ... -
Uniqueness Typing for Resource Management in Message-Passing Concurrency.
(2010)We view channels as the main form of resources in a message-passing programming paradigm. These channels need to be carefully managed in settings where resources are scarce. To study this problem, we extend the pi-calculus ... -
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 ... -
First-Order Reasoning for Higher-Order Concurrency
(2009)By combining and simplifying two of the most prominent theories for HO! of Sangiorgi et al. and Jeffrey and Rathke [15, 4], we present an effective first-order theory for a higher-order picalculus. There are two significant ... -
Process Behaviour: Formulae vs. Tests
(2010)Process behaviour is often defined either in terms of the tests they satisfy, or in terms of the logical properties they enjoy. Here we compare these two approaches, using extensional testing in the style of DeNicola, ... -
Compositional Reasoning for Markov Decision Processes
(2011)Markov decision processes (MDPs) have long been used to model qualitative aspects of systems in the presence of uncertainty. However, much of the literature on MDPs takes a monolithic approach, by modelling a system as a ... -
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 ... -
Real Reward Testing for Probabilistic Processes
(2011)We introduce a notion of real reward testing for probabilistic processes by extending the traditional nonnegative reward testing with negative rewards. In this testing framework, the may and must preorders turn out to ... -
Cerebellar plasticity and the automation of first-order rules.
(2011)Theories of corticocerebellar function propose roles for the cerebellum in automating motor control, a process thought to depend on plasticity in cerebellar circuits that exchange information with the motor cortex. Little ... -
In-vivo generation of bone via endochondral ossification by in-vitro chondrogenic priming of adult human and rat mesenchymal stem cells
(2011)Background: Bone grafts are required to repair large bone defects after tumour resection or large trauma. The availability of patients?U? own bone tissue that can be used for these procedures is limited. Thus far bone ... -
Engineering carbon chains from mechanically stretched graphene-based materials
(American Physical Society, 2011)The electrical response of graphene-based materials can be tailored under mechanical stress. We report different switching behaviors that take place in mechanically deformed graphene nanoribbons prior to the breakage of ... -
Androgyny and (near) perfect marriage: A systems view of the genders of Leopold and Molly Bloom
(2010)The essay seeks to analyse the nature of the marital relations between Leopold and Molly Bloom from Joyce?s Ulysses in the light of the spouses? respective psychological genders. The analysis is underpinned by systems ... -
20:20 Hindsight. Retrofitting research relevance to the University Art Collections at Trinity College Dublin.
(2010)This paper considers the role of university art collections as meaningful contributors to the achievement of institutional goals relating to excellence in research, teaching and outreach. The discussion takes as its focus ... -
Comment on P. Foley and F. O'Callaghan, 'Investigating the Public-Private Wage Gap in Ireland Using Data from the National Employment Survey 2007'
(2010)This paper uses data from the 2007 National Employment Survey to analyse the public-private sector wage gap in Ireland. The purpose of the paper is to highlight the issues around attempting to establish a definitive ... -
"It gives me a sense of independence" Findings from Ireland on the use and usefulness of assistive technology for people with dementia
(IOS Press, 2007)This work reports Irish data emerging from the ENABLE study which trialled assistive technologies in the homes of people with dementia across five European countries and assessed their use and usefulness. The aim of this ...
