The first two problems utilize the theory of flag algebras in combination with semidefinite programming to obtain results in extremal graph theory. The third problem uses computational tools to facilitate a novel application of the Combinatorial Nullstellensatz within proofs using the discharging method....
Predicting stable crystal structures for complex systems that involve multiple elements or a large number of atoms presents a formidable challenge in computational materials science. A recent study presents an efficient crystal-structure search method for this task, utilizing symmetry and graph theory. ...
Predicting stable crystal structures for complex systems that involve multiple elements or a large number of atoms presents a formidable challenge in computational materials science. A recent study presents an efficient crystal-structure search method for this task, utilizing symmetry and graph theory. Ya...
In fact, two essential calculations for the development and confirmation of QED at the lowest significant order were carried out before Feynman developed his diagrammatic method. They were related to the Lamb shift and the anomalous magnetic moment of the electron. The former refers to the energy ...
finite element method; 95.A trigonometrically scaled multiple tiling approach for error reduction of models built from fuzzy fragments 机译:三角缩放的多重切片方法,用于减少由模糊片段构建的模型的误差 作者:Paul G. Mezey 期刊名称:《Journal of Computational Methods in Sciences and Engineering》 | 2016年...
Computational Organization Theory, Hillsdale, NJ: Lawrence Erlbaum Associates. Google Scholar Baligh, H.H., R.M. Burton, and B. Obel (1987), “Design of Organizational Structures: An Expert System Method,” in J.L. Roos (Ed.),Economics and Artificial Intelligence, Oxford, UK: Pergamon. ...
The majorant method in the theory of Newton–Kantorovich approximations and generalized Lipschitz conditions Ioannis K. Argyros, Saïd Hilout Pages 332-347 View PDF select article Stability study of eighth-order iterative methods for solving nonlinear equations ...
for our study, our computational method is designed to apply generally. We believe our approach is applicable to a wide range of fields. However, while we take a rule-based approach inpattern designto ensure the quality of the extracted knowledge, it is less flexible compared to statistical ...
A method of measuring the complexity of proof procedures for the predicate calculus is introduced and discussed. 有PDF 5317 被引用 · 4 收藏 · 4 笔记 收藏 A Complexity Measure Thomas J. McCabe Jul 1976 This paper describes a graph-theoretic complexity measure and illustrates how it can be ...
In general, a method for model comparison is needed for many higher level tasks like model matching or model integration. The comparison should apply to all perspectives of the model’s meaning (see below). A comparison of two models can have different kinds of results: e.g. identical, simi...