Computer-assisted hybrid reasoning in simulation and analysis of physical systems

被引：0
|
作者：
机构：
[1] Kleiber, Michal
[2] Kulpa, Zenon
来源：
Kleiber, Michal | 1600年 / Pol Acad Sci, Warsaw, Poland卷 / 02期
关键词：
Computer simulation;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Computer-assisted reasoning
    Bankes, SC
    Lempert, RJ
    Popper, SW
    COMPUTING IN SCIENCE & ENGINEERING, 2001, 3 (02) : 71 - 77
  • [2] Computer-assisted simulation analysis
    Tao, YH
    Nelson, BL
    IIE TRANSACTIONS, 1997, 29 (03) : 221 - 231
  • [3] COMPUTER-ASSISTED SIMULATION OF SUPPLY + RELATED SYSTEMS
    KEMPER, JR
    OPERATIONS RESEARCH, 1964, 12 : B147 - &
  • [4] A COMPUTER-ASSISTED SYSTEM FOR PHYSICAL ERGONOMICS ANALYSIS
    CHEN, JG
    SCHLEGEL, RE
    PEACOCK, JB
    COMPUTERS & INDUSTRIAL ENGINEERING, 1991, 20 (02) : 261 - 269
  • [5] A COMPUTER-ASSISTED PERT SIMULATION
    AMEEN, DA
    JOURNAL OF SYSTEMS MANAGEMENT, 1987, 38 (04): : 6 - 9
  • [6] Computer-assisted assume/guarantee reasoning with VeriSoft
    Dingel, J
    25TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 138 - 148
  • [7] Visual focus in computer-assisted diagrammatic reasoning
    Bertel, Sven
    DIAGRAMMATIC REPRESENTATION AND INFERENCE, PROCEEDINGS, 2006, 4045 : 241 - 243
  • [8] On the computer-assisted reasoning about rough sets
    Grabowski, A
    MONITORING, SECURITY, AND RESCUE TECHNIQUES IN MULTIAGENT SYSTEMS, 2005, : 215 - 226
  • [9] NEW COMPUTER-ASSISTED CHEMICAL-ANALYSIS SYSTEMS
    GISS, G
    BRISSEY, G
    STEINER, S
    IJAMES, C
    WILKINS, CL
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 1983, 186 (AUG): : 13 - COMP
  • [10] Computer-assisted semen analysis systems in animal reproduction
    Valverde, Anthony
    Madrigal-Valverde, Monica
    AGRONOMIA MESOAMERICANA, 2018, 29 (02): : 469 - 484
12345