Results 101 to 110 of about 8,918 (283)
Advanced Intelligent Discovery, EarlyView.A physics‐guided machine learning framework estimates Young's modulus in multilayered multimaterial hyperelastic cylinders using contact mechanics. A semiempirical stiffness law is embedded into a custom neural network, ensuring physically consistent predictions. Validation against experimental and numerical data on C.
Christoforos Rekatsinas +4 more
wiley +1 more source
Ikala: Revista de Lenguaje y Cultura, 2015 The text shows a historical approach to the concept of logic in relation with mathematics. Therefore it exposes the contributions of ancient and medieval logic, and problematizes the approaches of logicism and intuitionism with the idea of providing ...
Rubén Darío Henao +1 more
doaj
Virtual Evidence: A Constructive Semantics for Classical Logics [PDF]
, 2014 This article presents a computational semantics for classical logic using constructive type theory. Such semantics seems impossible because classical logic allows the Law of Excluded Middle (LEM), not accepted in constructive logic since it does not have
Constable, Robert L.
core
Advanced Intelligent Discovery, EarlyView.Flexible tactile sensors have considerable potential for broad application in healthcare monitoring, human–machine interfaces, and bioinspired robotics. This review explores recent progress in device design, performance optimization, and intelligent applications. It highlights how AI algorithms enhance environmental adaptability and perception accuracy
Siyuan Wang +3 more
wiley +1 more source
Religious Accommodation in Bioethics and the Practice of Medicine. [PDF]
J Med Philos, 2021 Smith WR, Audi R.
europepmc +1 more source
Advanced Intelligent Discovery, EarlyView.This article establishes a Taguchi–Bayesian sampling strategy to reconstruct polymer processing–property landscape at minimal sampling cost, generically building the roadmap for materials database construction from sampling their vast design space. This sampling strategy is featured by an alternating lesson between uniformity and representativeness ...
Han Liu, Liantang Li
wiley +1 more source
Dualising Intuitionistic Negation
Principia: An International Journal of Epistemology, 2009 One of Da Costa’s motives when he constructed the paraconsistent logic C! was to dualise the negation of intuitionistic logic. In this paper I explore a different way of going about this task.
Graham Priest
doaj
Comparison of the effectiveness of acceptance and commitment therapy (ACT) with metacognitive therapy (MCT) in objective cognitive information processing style of obsessive-compulsive patients (OCD). [PDF]
J Educ Health Promot, 2023 Saeidi L +3 more
europepmc +1 more source
A Hypercomputation in Brouwer's Constructivism [PDF]
, 2015 In contrast to other constructivist schools, for Brouwer, the notion of "constructive object" is not restricted to be presented as `words' in some finite alphabet of symbols, and choice sequences which are non-predetermined and unfinished objects are ...
Ramezanian, Rasoul
core
Advanced Intelligent Discovery, EarlyView.Chat computational fluid dynamics (CFD) introduces an large language model (LLM)‐driven agent that automates OpenFOAM simulations end‐to‐end, attaining 82.1% execution success and 68.12% physical fidelity across 315 benchmarks—far surpassing prior systems.
E Fan +8 more
wiley +1 more source