USING FORMAL PROCEDURE PARAMETERS TO REPRESENT AND TRANSMIT COMPLEX DATA-STRUCTURES

被引：0
|
作者：
HOLSTI, N [1 ]
机构：
[1] UNIV HELSINKI,DEPT COMP SCI,SF-00510 HELSINKI,FINLAND
来源：
SIGPLAN NOTICES | 1988年 / 23卷 / 03期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
引用
收藏
页码：83 / 92
页数：10
相关论文
共 50 条
  • [31] Improved estimation of MR relaxation parameters using complex-valued data
    Rudrapatna, S. Umesh
    Bakker, C. J. G.
    Viergever, M. A.
    van der Toorn, A.
    Dijkhuizen, R. M.
    MAGNETIC RESONANCE IN MEDICINE, 2017, 77 (01) : 385 - 397
  • [32] AN INVERSE PROCEDURE FOR CHARACTERIZATION OF MATERIAL PARAMETERS OF PASSIVE SKELETAL MUSCLE USING FEM AND EXPERIMENTAL DATA
    Liu, Shuailong
    Sang, Jianbing
    Zhang, Yi
    Zhao, Luming
    Liu, Guirong
    JOURNAL OF THEORETICAL AND APPLIED MECHANICS, 2020, 58 (01) : 247 - 259
  • [33] An inverse procedure for characterization of material parameters of passive skeletal muscle using FEM and experimental data
    Liu S.
    Sang J.
    Zhang Y.
    Zhao L.
    Liu G.
    2020, Polish Society of Theoretical and Allied Mechanics (58): : 247 - 259
  • [34] OPTICAL ANALYSIS OF COMPLEX MULTILAYER STRUCTURES USING MULTIPLE DATA-TYPES
    JOHS, BD
    MCGAHAN, WA
    WOOLLAM, JA
    THIN SOLID FILMS, 1994, 253 (1-2) : 25 - 27
  • [35] The Development of Complex Data Structures Using Object Enhanced Time Petri Nets
    Al-Janabi, Dahlia
    Letia, Tiberiu S.
    2018 22ND INTERNATIONAL CONFERENCE ON SYSTEM THEORY, CONTROL AND COMPUTING (ICSTCC), 2018, : 709 - 714
  • [36] Determining Complex Structures using Docking Method with Single Particle Scattering Data
    Wang, Hongxiao
    Liu, Haiguang
    FRONTIERS IN MOLECULAR BIOSCIENCES, 2017, 4
  • [37] STRUCTURE-FACTOR LEAST-SQUARES REFINEMENT PROCEDURE FOR MACROMOLECULAR STRUCTURES USING CONSTRAINED AND RESTRAINED PARAMETERS
    SUSSMAN, JL
    HOLBROOK, SR
    CHURCH, GM
    KIM, SH
    ACTA CRYSTALLOGRAPHICA SECTION A, 1977, 33 (SEP1): : 800 - 804
  • [38] Estimating the Parameters of Dynamic Model of Drum Type Boilers Using Heat Balance Data as an Educational Procedure
    Naghizadeh, Ramezan Ali
    Vahidi, Behrooz
    Tavakoli, Mohammad Reza Bank
    IEEE TRANSACTIONS ON POWER SYSTEMS, 2011, 26 (02) : 775 - 782
  • [39] Automatic detection of complex archaeological grazing structures using airborne laser scanning data
    Toumazet, Jean-Pierre
    Vautier, Franck
    Roussel, Erwan
    Dousteyssier, Bertrand
    JOURNAL OF ARCHAEOLOGICAL SCIENCE-REPORTS, 2017, 12 : 569 - 579
  • [40] A GPU-Based Parallel Procedure for Nonlinear Analysis of Complex Structures Using a Coupled FEM/DEM Approach
    Wang, Lixiang
    Li, Shihai
    Zhang, Guoxin
    Ma, Zhaosong
    Zhang, Lei
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2013, 2013
12345