Results 161 to 170 of about 651,102 (346)
"الإفادة من النظم الشكليه للنباتات الصبارية كمدخل لتكوينات خزفية " Utilizing the Structural Formalism of Cactus Plants as an" Introduction to Create Ceramic Solutions" [PDF]
, 2019 شيماء عبدالباسط عبدالحميد +2 more
openalex +1 more source
Advanced Intelligent Discovery, EarlyView.The authors evaluated six machine‐learned interatomic potentials for simulating threshold displacement energies and tritium diffusion in LiAlO2 essential for tritium production. Trained on the same density functional theory data and benchmarked against traditional models for accuracy, stability, displacement energies, and cost, Moment Tensor Potential ...
Ankit Roy +8 more
wiley +1 more source
A Formalism Unifying Defeasible Logics and Repair Semantics for Existential Rules
, 2020 Abdelraouf Hecham +2 more
openalex +2 more sources
, 2004 The dissertation is in the first place a treatment of mathematical interpretations. Interpretations themselves will be studied, but also shall they be used to study formal theories. Interpretations, when used in comparing theories, tell us, in a natural way, something about proof-strength of formal theories.
openaire +2 more sources
Smart Bioinspired Material‐Based Actuators: Current Challenges and Prospects
Advanced Intelligent Systems, Volume 7, Issue 3, March 2025.This work gathers, in a review style, an extensive and comprehensive literature overview on the development of autonomous actuators based on synthetic materials, bringing together valuable knowledge from several studies. Furthermore, the article identifies the fundamental principles of actuation mechanisms and defines key parameters to address the size
Alejandro Palacios +4 more
wiley +1 more source
TheoRhēma, 2013 The author has analysed in this article the main factors that have facilitated the emergence of the so-called neo-Protestant churches, such as the Baptists, the Brethren and the Pentecostals, in Romania.
Gheorghe Modoran
doaj
THE HAMILTON–JACOBI FORMALISM FOR HIGHER-ORDER FIELD THEORIES [PDF]
, 2010 LUCA VITAGLIANO
openalex +1 more source
Crater Observing Bioinspired Rolling Articulator (COBRA)
Advanced Intelligent Systems, EarlyView.Crater Observing Bio‐inspired Rolling Articulator (COBRA) is a modular, snake‐inspired robot that addresses the mobility challenges of extraterrestrial exploration sites such as Shackleton Crater. Incorporating snake‐like gaits and tumbling locomotion, COBRA navigates both uneven surfaces and steep crater walls.
Adarsh Salagame +4 more
wiley +1 more source
Jost function formalism based on the Hartree-Fock-Bogoliubov formalism [PDF]
, 2019 K. Mizuyama +3 more
openalex +1 more source