Results 131 to 140 of about 2,208 (163)

An improved Artificial Neural Network using Arithmetic Optimization Algorithm for damage assessment in FGM composite plates

Composite Structures, 2021
Samir Tiachacht, Emad E Ghandourah, Seyedali Mirjalili   +2 more
exaly  

A distributed particle-PHD filter using arithmetic-average fusion of Gaussian mixture parameters

Information Fusion, 2021
Tian-cheng Li, Franz Hlawatsch
exaly  

A. Nerode. Arithmetically isolated sets and nonstandard models. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 105–116.

, 1967
Matthew J. Hassett
openalex   +1 more source

Parameter extraction of single, double, and three diodes photovoltaic model based on guaranteed convergence arithmetic optimization algorithm and modified third order Newton Raphson methods

Renewable and Sustainable Energy Reviews, 2022
Hussein Mohammed Ridha, Hashim B Hizam, Seyedali Mirjalili   +2 more
exaly  

Omitting types in set theory and arithmetic

Journal of Symbolic Logic (JSL), 1976
J. Knight
semanticscholar   +1 more source

L. A. S. Kirby and J. B. Paris. Initial segments of models of Peano's axioms. Set theory and hierarchy theory V, Bierutowice, Poland 1976, edited by A. Lachlan, M. Srebrny, and A. Zarach, Lecture notes in mathematics, vol. 619, Springer-Verlag, Berlin, Heidelberg, and New York, 1977, pp. 211–226. - J. B. Paris. Some independence results for Peano arithmetic. The journal of symbolic logic, vol. 43 no. 4 (for 1978, pub. 1979), pp. 725–731.

, 1983
Stephen G. Simpson
openalex   +1 more source

Types omitted in uncountable models of arithmetic

Journal of Symbolic Logic (JSL), 1975
J. Knight
semanticscholar   +1 more source

Set Theory, Arithmetic, and Foundations of Mathematics: Frontmatter

, 2011
J. Kennedy, R. Kossak
semanticscholar   +1 more source

FIRE6: Feynman Integral REduction with modular arithmetic

Computer Physics Communications, 2020
Alexander Smirnov
exaly