机译:一个linear-time-branching-time频谱行为规范的理论
time hierarchy; Preorder; SpecificationstheoriesSpectraequivalence;
机译:The Theory Theory 2.0:概率模型与认知发展
机译:应用项目反应理论对友谊质量量表修定—以结构方程模型、层面理论多种技术支持修定量表的质量 Modifying Friendship Quality Questionnaire with Item Response Theory Approach——Validating with Facet Theory and Structure Equation Techniques
机译:企业员工行为安全管理系统介绍——杜邦员工行为安全管理的关键要素A Briefing Introduction of Employee's Behavioral Safety Management System——The Key Elements of Behavioral Safety Management System in DuPont
机译:Occupant Behavior in Building Energy Management: Behavioral Characterization, Intervention and Forecasting =建筑能耗管理中用户行为研究:行为特征、干预和预测
机译:测试受TheoRY启发的邮件(TRY-ME):安大略省印刷教育信息(OPEM)试验中的子试验
机译:Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications
机译:评论Worldsheet Theories Dual to Free Large N Guage Theories