Formal specification and runtime detection of temporal properties for asynchronous context

2012 ◽  
Author(s):  
Hengfeng Wei ◽  
Yu Huang ◽  
Jiannong Cao ◽  
Xiaoxing Ma ◽  
Jian Lu
Keyword(s):  
Formal Specification ◽  
Temporal Properties ◽  
Runtime Detection

Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments

2013 ◽  
Vol 24 (8) ◽  
pp. 1546-1555 ◽  
Author(s):  
Yiling Yang ◽  
Yu Huang ◽  
Jiannong Cao ◽  
Xiaoxing Ma ◽  
Jian Lu
Keyword(s):  
Pervasive Computing ◽  
Formal Specification ◽  
Dynamic Properties ◽  
Runtime Detection ◽  
Computing Environments

scholarly journals Visual Representation of Temporal Properties in Formal Specification and Analysis using a Spatial Process Algebra

2009 ◽  
Vol 16D (3) ◽  
pp. 339-352 ◽  
Author(s):  
Jin-Ho On ◽  
Jung-Rhan Choi ◽  
Moon-Kun Lee
Keyword(s):  
Formal Specification ◽  
Process Algebra ◽  
Visual Representation ◽  
Spatial Process ◽  
Temporal Properties

Auditory Training to Improve Speech Perception and Self-Efficacy in Aging Adults

2020 ◽  
Vol 63 (4) ◽  
pp. 1270-1281
Author(s):  
Leah Fostick ◽  
Riki Taitelbaum-Swead ◽  
Shulamith Kreitler ◽  
Shelly Zokraut ◽  
Miriam Billig
Keyword(s):  
Speech Perception ◽  
Self Efficacy ◽  
Temporal Order Judgment ◽  
Auditory Training ◽  
Intensity Discrimination ◽  
Training Design ◽  
Auditory Temporal Processing ◽  
Temporal Properties ◽  
Computer Based ◽  
Aging Adults

Purpose Difficulty in understanding spoken speech is a common complaint among aging adults, even when hearing impairment is absent. Correlational studies point to a relationship between age, auditory temporal processing (ATP), and speech perception but cannot demonstrate causality unlike training studies. In the current study, we test (a) the causal relationship between a spatial–temporal ATP task (temporal order judgment [TOJ]) and speech perception among aging adults using a training design and (b) whether improvement in aging adult speech perception is accompanied by improved self-efficacy. Method Eighty-two participants aged 60–83 years were randomly assigned to a group receiving (a) ATP training (TOJ) over 14 days, (b) non-ATP training (intensity discrimination) over 14 days, or (c) no training. Results The data showed that TOJ training elicited improvement in all speech perception tests, which was accompanied by increased self-efficacy. Neither improvement in speech perception nor self-efficacy was evident following non-ATP training or no training. Conclusions There was no generalization of the improvement resulting from TOJ training to intensity discrimination or generalization of improvement resulting from intensity discrimination training to speech perception. These findings imply that the effect of TOJ training on speech perception is specific and such improvement is not simply the product of generally improved auditory perception. It provides support for the idea that temporal properties of speech are indeed crucial for speech perception. Clinically, the findings suggest that aging adults can be trained to improve their speech perception, specifically through computer-based auditory training, and this may improve perceived self-efficacy.

Formal Specification and Design

1992 ◽  
Author(s):  
L. M. G. Feijs ◽  
H. B. M. Jonkers
Keyword(s):  
Formal Specification

Spatial and temporal properties of thermal sensation

1976 ◽  
Author(s):  
Joseph C. Stevens
Keyword(s):  
Thermal Sensation ◽  
Temporal Properties

Editorial: The formal specification of interactive systems

1996 ◽  
Vol 11 (6) ◽  
pp. 322 ◽  
Author(s):  
M.D. Harrison
Keyword(s):  
Formal Specification ◽  
Interactive Systems

Bayesian Inference in Human Time Perception

2017 ◽  
Author(s):  
Darren Rhodes
Keyword(s):  
Time Perception ◽  
Likelihood Function ◽  
Human Perception ◽  
Future Research ◽  
Temporal Properties ◽  
History Of Research ◽  
Psychophysical Testing ◽  
History Of ◽  
Fundamental Dimension ◽  
Perception Of Time

Time is a fundamental dimension of human perception, cognition and action, as the perception and cognition of temporal information is essential for everyday activities and survival. Innumerable studies have investigated the perception of time over the last 100 years, but the neural and computational bases for the processing of time remains unknown. First, we present a brief history of research and the methods used in time perception and then discuss the psychophysical approach to time, extant models of time perception, and advancing inconsistencies between each account that this review aims to bridge the gap between. Recent work has advocated a Bayesian approach to time perception. This framework has been applied to both duration and perceived timing, where prior expectations about when a stimulus might occur in the future (prior distribution) are combined with current sensory evidence (likelihood function) in order to generate the perception of temporal properties (posterior distribution). In general, these models predict that the brain uses temporal expectations to bias perception in a way that stimuli are ‘regularized’ i.e. stimuli look more like what has been seen before. Evidence for this framework has been found using human psychophysical testing (experimental methods to quantify behaviour in the perceptual system). Finally, an outlook for how these models can advance future research in temporal perception is discussed.

Sign in / Sign up

Export Citation Format

Share Document