A PRACTICAL SOLUTION FOR LINEAR INFERENCE COMPUTATIONS

被引：2

|

作者：

SCHLAX, M

OLDENBURG, DW

机构：

来源：

GEOPHYSICAL JOURNAL OF THE ROYAL ASTRONOMICAL SOCIETY | 1985年 / 83卷 / 02期

关键词：

D O I：

10.1111/j.1365-246X.1985.tb06490.x

中图分类号：

P3 [地球物理学]; P59 [地球化学];

学科分类号：

0708 ; 070902 ;

摘要：

引用

收藏

页码：331 / 345

页数：15

相关论文

共 50 条

[21] PRACTICAL ASPECTS OF ACCURATE TIDAL COMPUTATIONS
STELLING, GS
WIERSMA, AK
WILLEMSE, JBTM
JOURNAL OF HYDRAULIC ENGINEERING-ASCE, 1986, 112 (09): : 802 - 817
[22] METHODS AND PRACTICAL EXPERIENCES IN MATRIX COMPUTATIONS
BOTTENBRUCH, H
JOURNAL OF THE ACM, 1958, 5 (01) : 108 - 109
[23] Proofs as computations in linear logic
Delzanno, G
Martelli, M
THEORETICAL COMPUTER SCIENCE, 2001, 258 (1-2) : 269 - 297
[24] MATRIX COMPUTATIONS IN LINEAR SUPERALGEBRA
VALENZUELA, OAS
LINEAR ALGEBRA AND ITS APPLICATIONS, 1988, 111 : 151 - 181
[25] LINEAR LOGIC AS A LOGIC OF COMPUTATIONS
KANOVICH, MI
ANNALS OF PURE AND APPLIED LOGIC, 1994, 67 (1-3) : 183 - 212
[26] Practical solution for basic tasks on the determination of matrixes and linear transformations.
Mehmke, R
MATHEMATISCHE ANNALEN, 1930, 103 : 300 - 318
[27] Imperative inference and practical rationality
Harris, Daniel W.
PHILOSOPHICAL STUDIES, 2022, 179 (04) : 1065 - 1090
[28] PRACTICAL CAUSAL INFERENCE FOR ECOPIDEMIOLOGISTS
FOX, GA
JOURNAL OF TOXICOLOGY AND ENVIRONMENTAL HEALTH, 1991, 33 (04): : 359 - 373
[29] PRACTICAL INFERENCE AND THE LOGIC OF IMPERATIVES
SOSA, E
THEORIA, 1966, 32 : 211 - 223
[30] Practical Inference of Nullability Types
Karimipour, Nima
Pham, Justin
Clapp, Lazaro
Sridharan, Manu
ESEC/FSE 2023 - Proceedings of the 31st ACM Joint Meeting European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023, : 1395 - 1406

← 1 2 3 4 5 →