搜索结果: 1-14 共查到“computational model”相关记录14条 . 查询时间(0.093 秒)
Automated Proof for Authorization Protocols of TPM 2.0 in Computational Model (full version)
TPM Trusted Computing formal methods
2016/1/25
We present the first automated proof of the authorization
protocols in TPM 2.0 in the computational model. The Trusted Platform
Module(TPM) is a chip that enables trust in computing platforms
and a...
DIANA, AN END-TO-END COMPUTATIONAL MODEL OF HUMAN WORD COMPREHENSION
speech comprehension computational model end-to-end model weak modularity
2015/12/21
This paper presents DIANA, a new computational
model of human speech processing. It is the first
model that simulates the complete processing chain
from the on-line processing of an acoustic ...
A Computational Model of Children's Semantic Memory
LSA Latent Semantic Analysis semantic memory children
2015/7/30
A computational model of children's semantic memory is built from the Latent Semantic Analysis (LSA) of a multisource child corpus. Three tests of the model are described, simulating a vocabulary test...
No right to speak?The relationship between object naming and semantic impairment:Neuropsychological evidence and a computational model
No right to speak object naming semantic impairment Neuropsychological evidence computational model
2015/6/19
No right to speak?The relationship between object naming and semantic impairment:Neuropsychological evidence and a computational model.
A Computational Model of Semantic Memory Impairment:Modality Specificity and Emergent Category Specificity
Computational Model Semantic Memory Impairment Modality Specificity Emergent Category Specificity
2015/6/19
It is demonstrated how a modality-specific semantic memory system can account for categoryspecific impairments after brain damage. In Experiment I, the hypothesis that visual and functional knowledge ...
Visual word recognition and pronunciation:A computational model of acquisition,skilled performance,and dyslexia
Visual word recognition and pronunciation computational model of acquisition skilled performance dyslexia
2015/6/19
Visual word recognition and pronunciation:A computational model of acquisition,skilled performance,and dyslexia.
Connections and disconnections:Acquired dys-lexia in a computational model of reading processes
Connections and disconnections Acquired dys-lexia computational model reading processes
2015/6/19
Connections and disconnections:Acquired dys-lexia in a computational model of reading processes.
Literacy effects on language and vision: Emergent effects from an amodal shared resource (ASR) computational model
Literacy Computational modelling Visual attention Speech processing Eye movements Visual world paradigm
2015/5/6
Learning to read and write requires an individual to connect additional orthographic representations to pre-existing mappings between phonological and semantic representations of words. Past empirical...
Towards an end-to-end computational model of speech comprehension: simulating a lexical decision task
speech comprehension computational model
2015/4/27
Louis ten Bosch;Lou Boves;This paper describes a computational model of speech comprehension that takes the acoustic signal as input and predicts reaction times as observed in an auditory lexical deci...
A computational model to investigate assumptions in the headturn preference procedure
headturn preference procedure language acquisition segmentation attention speech processing
2015/4/24
In this paper we use a computational model to investigate four assumptions that are tacitly present in interpreting the results of studies on infants’ speech processing abilities using the Headturn Pr...
A Computational Model of Text Reuse in Ancient Literary Texts
Text Reuse Ancient Literary Texts
2015/3/10
A Computational Model of Text Reuse in Ancient Literary Texts.
Sensitivity analysis of a computational model of the IKK-NF-κB-IκBα-A20 signal transduction network
Sensitivity analysis computational model IKK-NF-κB-IκBα-A20 signal transduction
2010/11/15
The NF-{\kappa}B signaling network plays an important role in many different compartments of the immune system during immune activation. Using a computational model of the NF-{\kappa}B signaling netw...
A computational model of skeletal muscle metabolism linking cellular adaptations induced by altered loading states to metabolic responses during exercise
skeletal muscle metabolism cellular adaptations metabolic responses
2010/2/26
The present model can be applied to test complex hypotheses during exercise involving the integration and control of metabolic processes at various organizational levels (cellular to tissue) in indivi...
Computational model of blood flow in the aorto-coronary bypass graft
blood flow the aorto-coronary bypass graft
2010/3/1
The computed results have revealed that (i) maximum perfusion of the occluded artery occurs during mid-diastole, and (ii) the maximum wall shear-stress variation is observed around the distal anastomo...