Buscar
Mostrando ítems 21-30 de 253114
Stimulus specificity in the acquisition and extinction of conditioned taste aversion
(Sociedad de Biología de Chile, 2007)
Stimulus specificity in the habituation of the startle response in the rat
(Elsevier Inc., 2007)
Planning of patient-specific drug-specific optimal hiv treatment strategies
(PERGAMON-ELSEVIER SCIENCE LTD, 2009)
Variação da massa específica da madeira de Eucalyptus grandis aos 8 anos de idade em função de diferentes níveis de produtividade
(1998-12-01)
It were analyzed Eucalyptus grandis trees of 8 years old in the forest group of Duraflora S/A, with different annual increments based on volume, to the related studies of specific gravity values based on productivity ...
Uncovering the peptide-binding specificities of HLA-C: a general strategy to determine the specificity of any MHC class I molecule
(Amer Assoc Immunologists, 2014-11)
MHC class I molecules (HLA-I in humans) present peptides derived from endogenous proteins to CTLs. Whereas the peptide-binding specificities of HLA-A and -B molecules have been studied extensively, little is known about ...
(Heterogeneous) structured specifications in logics without interpolation
(Springer Nature Switzerland AG, 2018)
The world of software development has become intrinsically heterogeneous. Many formal languages have been made available to help analysts and designers model different aspects of software. Some examples in the logic realm ...
Analyzing Behavioural Scenarios over Tabular Specifications Using Model Checking
(Open Publishing Association, 2014-02)
Tabular notations, in particular SCR specifications, have proved to be a useful means for formallydescribing complex requirements. The SCR method offers a powerful family of analysis tools, knownas the SCR Toolset, but its ...
Rethinking specificity in defeasible reasoning and its effect in argument reinstatement
(Academic Press Inc Elsevier Science, 2017-08)
The principle of reinstatement governing most argument systems states that an argument is reinstated when all its defeaters are in turn ultimately defeated. Nevertheless, some criticisms to this principle have been offered ...
Specification Patterns: Formal and Easy
(World Scientific, 2015-05)
Property specification is still one of the most challenging tasks for transference of software verification technology. The use of patterns has been proposed in order to hide the complicated handling of formal languages ...