The dimension of playing and the symbolic reachability

被引：0
|
作者：
Barbosa, Cristina Monteiro [1 ]
Maia Pereria, Andreza [1 ]
Cavgias Martins Fraga, Madellon [1 ]
Muruci Abreu, Michelle [1 ]
机构：
[1] UFRJ, Dept Psicometria, Rio De Janeiro, Brazil
来源：
INTERNATIONAL JOURNAL OF PSYCHOLOGY | 2008年 / 43卷 / 3-4期
关键词：
D O I：
暂无
中图分类号：
B84 [心理学];
学科分类号：
04 ; 0402 ;
摘要：
引用
收藏
页码：665 / 665
页数：1
相关论文
共 50 条
  • [31] Improving symbolic reachability analysis by means of activity profiles
    Cabodi, G
    Camurati, P
    Quer, S
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2000, 19 (09) : 1065 - 1075
  • [32] An Improvement in Decomposed Reachability Analysis for Symbolic Model Checking
    Donataccio, Nicholas
    Zheng, Hao
    2010 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP (HLDVT), 2010, : 50 - 57
  • [33] Symbolic reachability analysis of Petri nets using ZBDDs
    Li, Feng-Ying
    Gu, Tian-Long
    Xu, Zhou-Bo
    Jisuanji Xuebao/Chinese Journal of Computers, 2009, 32 (12): : 2420 - 2428
  • [34] Speculative Image Computation for Distributed Symbolic Reachability Analysis
    Chung, Ming-Ying
    Ciardo, Gianfranco
    JOURNAL OF LOGIC AND COMPUTATION, 2011, 21 (01) : 63 - 83
  • [35] THE SYMBOLIC DIMENSION OF SCHOOL FOR CHILDREN
    Machado, Laeda Bezerra
    ECCOS-REVISTA CIENTIFICA, 2011, (25): : 143 - 158
  • [36] The symbolic dimension of the product ontology
    Krasnov, Anton S.
    AMAZONIA INVESTIGA, 2018, 7 (12): : 273 - 278
  • [37] The symbolic dimension of innovation processes
    Cavalli, Nicola
    AMERICAN BEHAVIORAL SCIENTIST, 2007, 50 (07) : 958 - 969
  • [38] SYMBOLIC DIMENSION OF 'CAVE' BY ZAMJATIN
    LAYTON, S
    STUDIES IN SHORT FICTION, 1976, 13 (04): : 455 - 461
  • [39] A formal structure for symbolic reachability analysis of rectangular hybrid systems
    ZHANG HaiBin
    ZHAO Cheng
    LI Rong
    Science China(Technological Sciences), 2016, (02) : 347 - 356
  • [40] Reachability Analysis of Hybrid Systems Using Symbolic Orthogonal Projections
    Hagemann, Willem
    COMPUTER AIDED VERIFICATION, CAV 2014, 2014, 8559 : 407 - 423
12345