Research publications: Recent submissions
Now showing items 1881-1900 of 9764
-
The age prospective memory paradox within the same sample in time-based and event-based tasks
(2012-01)The present research investigated the age prospective memory (PM) paradox by testing the performance of the same participants on laboratory and naturalistic PM tasks. Younger, middle-aged, and older adults performed three ... -
Age-related differences in everyday prospective memory tasks : The role of planning and personal importance
(2013-12)The aim of the present studies was to investigate whether age-related improvement found in naturalistic but experimenter-given prospective memory (PM) tasks can be generalized to real-life intentions. In Study 1, younger, ... -
A naturalistic study of prospective memory in preschoolers : The role of task interruption and motivation
(2013-07-01)We conducted two naturalistic experiments to investigate preschoolers' development of event-based prospective memory (PM) and to examine the effects of motivation and interruption of an ongoing task. Children aged 2-6 years ... -
The role of rehearsals in self-generated prospective memory tasks
(2011-10-01)In order to inquire into the nature of retrieval in prospective memory in a naturalistic context, we investigated the number and circumstances of rehearsals of different kinds of intentions to be pursued during a single ... -
Graphical and text based challenge questions for secure and usable authentication in online examinations
(Institute of Electrical and Electronics Engineers (IEEE), 2014-12)In traditional online examination environments, physical interaction is often replaced with authentication mechanisms. The absence of face-to-face interaction increases the number of authentication challenges. The authors ... -
Only social feedback reduces age-related prospective memory deficits in 'Virtual Week'
(2014-05)Background: Prospective memory, or remembering to do things in the future, is crucial for independent living in old age. Although there is evidence of substantial age-related deficits in memory for intentions, older adults ... -
A Proof System and a Decision Procedure for Equality Logic
(Springer Nature Link, 2004)Equality Logic with uninterpreted functions is used for proving the equivalense or refinement between systems (hardware verification, compiler translation, etc). Current approaches for deciding this type of formulas use a ... -
A Decision Procedure for Equality Logic with Uninterpreted Functions
(Springer Nature Link, 2004)The equality logic with uninterpreted functions (EUF) has been proposed for processor verification. A procedure for proving satisfiability of formulas in this logic is introduced. Since it is based on the DPLL method, the ... -
The Third Wittgenstein Conference
(2009-12) -
Glucosinolate biosynthesis from amino acids
(CAB International, 2015-04)Glucosinolates are natural plant products that are derived from aliphatic and aromatic amino acids by certain plants. Glucosinolates may be metabolized to a variety of potentially toxic products via myrosinase-catalysed ... -
Development of haemostatic decontaminants for the treatment of wounds contaminated with chemical warfare agents. 2 : Evaluation of in vitro topical decontamination efficacy using undamaged skin
(2015-05-23)The risk of penetrating, traumatic injury occurring in a chemically contaminated environment cannot be discounted. Should a traumatic injury be contaminated with a chemical warfare (CW) agent, it is likely that standard ...