Mixing model simulation of an on-the-fly glass conversion

被引：0
|
作者：
Bergman, Richard [1 ]
机构：
[1] Corning Inc, Corning, United States
来源：
Ceramic Engineering and Science Proceedings | 1999年 / 20卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：171 / 180
相关论文
共 50 条
  • [1] Mixing model simulation of an on-the-fly glass conversion
    Bergman, R
    59TH CONFERENCE ON GLASS PROBLEMS, 1999, 20 (01): : 171 - 180
  • [2] ON-THE-FLY ENGINEERING UNITS CONVERSION
    KELLY, CPJ
    HEWLETT-PACKARD JOURNAL, 1994, 45 (05): : 21 - 24
  • [3] ON-THE-FLY CONVERSION OF REDUNDANT INTO CONVENTIONAL REPRESENTATIONS
    ERCEGOVAC, MD
    LANG, T
    IEEE TRANSACTIONS ON COMPUTERS, 1987, 36 (07) : 895 - 897
  • [4] On-the-fly Probabilistic Model Checking
    Latella, Diego
    Loreti, Michele
    Massink, Mieke
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2014, (166): : 45 - 59
  • [5] On-the-fly semiclassical study of internal conversion rates of formaldehyde
    Ianconescu, Reuven
    Tatchen, Joerg
    Pollak, Eli
    JOURNAL OF CHEMICAL PHYSICS, 2013, 139 (15):
  • [6] On-the-Fly Model Checking with Neural MCTS
    Xu, Ruiyang
    Lieberherr, Karl
    NASA FORMAL METHODS (NFM 2022), 2022, 13260 : 557 - 575
  • [7] Next heuristic for on-the-fly model checking
    Alur, R
    Wang, BY
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 98 - 113
  • [8] On-the-fly Model Abstraction for Controller Synthesis
    Rungger, Matthias
    Stursberg, Olaf
    2012 AMERICAN CONTROL CONFERENCE (ACC), 2012, : 2645 - 2650
  • [9] Truly on-the-fly LTL model checking
    Hammer, M
    Knapp, A
    Merz, S
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 191 - 205
  • [10] On-the-fly model checking of RCTL formulas
    Beer, I
    Ben-David, S
    Landver, A
    COMPUTER AIDED VERIFICATION, 1998, 1427 : 184 - 194
12345