Results 141 to 150 of about 13,404,605 (326)

THE I-CON MODEL IN CONSTRUCTING MATHEMATICAL PROOF

Jurnal Eduscience
Purpose-This research aims to analyze the role of the I-CON model in constructing mathematical proofs. Methodology-The research used is qualitative with a grounded theory approach.
Abdul Mujib, Firmansyah Firmansyah, Siti Shara Siagian, Devi Mathelinea   +3 more
doaj   +1 more source

Architecture‐Driven Functional Coupling in Vertically Aligned Nanocomposites

Advanced Functional Materials, EarlyView.
Vertically aligned nanocomposites define a growth‐engineered architecture in which vertical interfaces, strain fields, defect pathways, and phase connectivity are created simultaneously. This review shows how these architectural features couple ferroic, optical, ionic, electrochemical, and device responses, establishing design rules and open challenges
Md Shatil Islam‐Shanto, Javier Zamudio‐García, Abraham Sánchez‐Caballero, David Marrero‐López, Vincenzo Esposito   +4 more
wiley   +1 more source

Covalent Functionalization of 2D Semiconductors: A Roadmap to Advanced Electronic Devices

Advanced Functional Materials, EarlyView.
This Review presents recent advances in the covalent functionalization strategies for two‐dimensional semiconductors and their implementation in modern technologies. Layered materials are modified through diverse molecular chemistries (e.g., thiols, diazonium salts, alkyl halides, and electron‐deficient species) to tailor their surface properties ...
Ramiro Quirós‐Ovies, Bin Han, Paolo Samorì   +2 more
wiley   +1 more source

A Magneto‐Mechanically Activated Nerve Guidance Conduit Promotes Peripheral Nerve Regeneration via TIMP1‐Mediated Membrane Tension Transfer

Advanced Functional Materials, EarlyView.
This study presents a magneto‐mechanical strategy that incorporates FP@MSCs into an aligned PCL/GelMA nerve guidance conduit. Magnetic stimulation increases membrane tension in FP@MSCs, triggering cytoskeletal remodeling, Schwann cell‐like differentiation, and TIMP1 secretion. TIMP1 activates ITGB1/CD63–FAK signaling in NE‐4C cells, increasing membrane
Xinyu Zhu, Yumin Wu, Xiang Gao, Tianlu Wang, Wanting Jia, Xueying Mei, Huanzhong Ji, Zongxi Wu, Yujie Liang, Xiang Li, Kan Li, Jingyuan Li, Guangsen Zheng, Guiqing Liao, Siyong Gao   +14 more
wiley   +1 more source

Russell's Completeness Proof

, 2008
Bertrand Russell’s 1906 article ‘The Theory of Implication’ contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such.
Milne, Peter
core   +1 more source

Infinets: The Parallel Syntax for Non-wellfounded Proof-Theory

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2019
A. De, A. Saurin
semanticscholar   +1 more source

Genetically Programmed Shape‐Morphing of Engineered Living Materials

Advanced Functional Materials, EarlyView.
Here, bacterial and mammalian engineered living materials (ELMs) are presented, in which living cells direct genetically programmed and enzymatically mediated shape‐morphing. The resulting deformation and shape‐recovery can be actuated in a genetically controlled manner by an ELM incorporating out‐of‐equilibrium counteracting biochemical reactions with
Jan Becker, Yuchen Liu, Miguel Baños, Rosanne Schmachtenberg, Mahmudul Hasan, Claudia Fink‐Straube, Luai R. Khoury, Wilfried Weber   +7 more
wiley   +1 more source

Nano Borophene as a Programmable 2D Scaffold for Organized DNA Assembly and Long‐Range Energy Transfer

Advanced Functional Materials, EarlyView.
Borophene is introduced as a programmable 2D bio‐interface that organizes DNA through dual boron–sulfur and nucleobase interactions. This molecular architecture enables efficient long‐range nanosurface energy transfer, establishing new design principles for functional nano–bio interfaces and amplification‐free optical biosensing.
Teresa Aditya, Pranay Saha, John M. Sansalone, Shraddha Krishnakumar, Matthew Molinaro, André J. van der Vlies, Nada Maher, Adrienne Griffiths, Zakhro Zakirova, Ketan Dighe, Narayana R. Aluru, Dipanjan Pan   +11 more
wiley   +1 more source

Photoinduced Interfacial Electronic Modulation in Fe2O3‐BiVO4 Heterostructures for Enhanced Photo‐Assisted Zn‐Air Batteries

Advanced Functional Materials, EarlyView.
Light irradiation activates the Fe2O3‐BiVO4 heterostructure, enabling efficient solar‐electrochemical coupling in zinc‐air batteries. The built‐in electric field drives directional charge separation, guiding photoelectrons toward oxygen reduction sites and accumulating holes for oxygen evolution, thereby reducing polarization and enhancing discharge ...
Yili Liu, Zhenjiang Du, Enming Liu, Hongzhou Dong, Jianguang Feng, Beili Pang, Lifeng Dong, Liyan Yu   +7 more
wiley   +1 more source

Towards a Combinatorial Proof Theory

International Conference on Theorem Proving with Analytic Tableaux and Related Methods, 2019
Benjamin Ralph, L. Straßburger
semanticscholar   +1 more source