Results 131 to 140 of about 32,356 (302)

Externalism, internalism and logical truth

, 2009
The aim of this paper is to show what sorts of logics are required by externalist and internalist accounts of the meanings of natural kind nouns. These logics give us a new perspective from which to evaluate the respective positions in the externalist ...
Besson, Corine, Corine Besson (4464604)
core   +1 more source

Self‐Powered Bearing Sensing and Real‐Time Fault Diagnosis Enabled by Non‐Invasive Triboelectric Sensors and Edge AI Acceleration

Advanced Science, EarlyView.
This study achieves the synergistic integration of self‐powered sensing and edge AI acceleration to establish a real‐time fault diagnosis system. The proposed TENG‐based self‐powered bearing sensor (NSE‐TBS) and FPGA‐accelerated edge AI framework fundamentally break through the inherent limitations of conventional monitoring systems, including complex ...
Kehui Zhu, Zhongheng Liu, Xinming Li, Jinrui Zhang, Meng Li, Yiming Guo, Lihua Han, Yanxue Wang   +7 more
wiley   +1 more source

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 more
wiley   +1 more source

Flexoelectricity in Photoconversion: Fundamentals, Materials, and Outlooks

Advanced Science, EarlyView.
Mechanical bending of a flexible cantilever induces a strain gradient in the photoactive material. The resulting flexoelectric field couples with photovoltaic and photoconductive effects, modulating charge generation, separation, and collection. A comparative analysis of oxide perovskites, halide perovskites, and two‐dimensional materials is presented,
Xiang Huang, Feng Li, Rongkun Zheng
wiley   +1 more source

Fractal completeness and compactness in first-order model theory

Қарағанды университетінің хабаршысы. Математика сериясы
This article develops a formal framework for fractal structures within classical first-order model theory. The notion of fractality is reformulated in purely logical terms by replacing metric self-similarity with logical self-similarity induced by ...
A.R. Yeshkeyev, N.V. Popova, A.K. Issayeva, M.T. Kassymetova   +3 more
doaj   +1 more source

Large‐Scale Growth of Self‐Poled Ferroelectric Rashba Semiconductor α‐GeTe(111) Thin Films: A Crucial Step Towards Future CMOS‐Compatible Ferroelectric Spintronic Devices

Advanced Science, EarlyView.
Ferroelectric Rashba semiconductors promise ultralow‐power devices but lack industry‐quality films. This work demonstrates CMOS‐compatible fabrication of high‐quality α‐GeTe(111) films via magnetron sputtering, enabled by a 5 nm Sb2Te3 seed layer. Structural and ferroelectric analyses show robust, switchable polarization comparable to MBE films, paving
Jules Lagrave, Nicolas Bernier, Thomas Jalabert, Yoann Brûlé, Damien Térébénec, Pierre Meilleur, Hervé Roussel, Jean‐Baptiste Dory, Oussama J. Mouawad, Thibault Chommaux, Cristian Mocuta, Dominique Thiaudière, Laurent Vila, Françoise Hippert, Pierre Noé   +14 more
wiley   +1 more source

Apports d’une perspective sémantique pour l’analyse des pratiques langagières dans les études didactiques en mathématiques

Contextes et Didactiques
This theoretical article draws on our extensive research into the relationship between first order classical logic and mathematical reasoning. This research has emphasised the importance of considering the interplay between syntax, semantics, and ...
Viviane Durand-Guerrier
doaj   +1 more source

First-Order Bayesian Logic

, 2005
Uncertainty is a fundamental and irreducible aspect of our knowledge about the world. Until recently, classical first-order logic has reigned as the de facto standard logical foundation for artificial intelligence.
Kathryn Blackmond Laskey
core  

Multi‐Axis Stretchable Zippers for Personalized Wound Healing

Advanced Science, EarlyView.
Multi‐axis stretchable zippers can adapt to complex wound morphologies and enable personalized wound treatment through programmable contraction. This morphological matching strategy helps accelerate wound closure, improve blood perfusion, promote epithelial regeneration, and enhance collagen remodeling, pioneering new directions for personalized and ...
Siyuan Cai, Guang Yao, Zijian Chen, Shiqi Zhou, Peisi Li, Liheng Lin, Huake Yang, Ziyi Zhou, Linbo Jin, Xingyi Gan, Chenzheng Zhou, Zhen Cai, Taisong Pan, Min Gao, Dongli Fan, Yuan Lin, Yiming Zhang   +16 more
wiley   +1 more source

Synthetic Tableaux with Unrestricted Cut for First-Order Theories

, 2019
The method of synthetic tableaux is a cut-based tableau system with synthesizing rules introducing complex formulas. In this paper, we present the method of synthetic tableaux for Classical First-Order Logic, and we propose a strategy of extending the ...
Szymon Chlebowski, Dorota Leszczyńska-Jasion   +1 more
core   +1 more source