Results 141 to 150 of about 2,208 (163)

On extendability of models of ZF set theory to the models of Kelley-Morse theory of classes

, 1975
W. Marek, A. Mostowski
semanticscholar   +1 more source

An enhanced hybrid arithmetic optimization algorithm for engineering applications

Computer Methods in Applied Mechanics and Engineering, 2022
, Guo Wei
exaly  

Uniqueness, collection, and external collapse of cardinals in IST and models of Peano arithmetic

Journal of Symbolic Logic (JSL), 1995
V. Kanovei
semanticscholar   +1 more source

Electronic-photonic arithmetic logic unit for high-speed computing

Nature Communications, 2020
Zhoufeng Ying, Chenghao Feng, Zheng Zhao
exaly  

Two theorems on degrees of models of true arithmetic

Journal of Symbolic Logic (JSL), 1984
J. Knight, A. Lachlan, R. Soare
semanticscholar   +1 more source

Multi-objective scheduling of IoT-enabled smart homes for energy management based on Arithmetic Optimization Algorithm: A Node-RED and NodeMCU module-based technique

Knowledge-Based Systems, 2022
Navid Razmjooy, Seyedali Mirjalili
exaly  

Advanced Topics in the Arithmetic of Elliptic Curves

, 1994
J. Silverman
semanticscholar   +1 more source

Exact and Approximate Arithmetic in an Amazonian Indigene Group

Science, 2004
Pierre Pica, Véronique Izard
exaly  

Neuronal arithmetic

Nature Reviews Neuroscience, 2010
R Angus Silver
exaly