Results 61 to 70 of about 10,516 (283)

3D Printing Innovations in Polymeric Porous and Patterned Architecture

Advanced Functional Materials, EarlyView.
Polymeric foams occupy a unique structural space between dense solids and open networks, where engineered void fraction governs mechanical compliance, thermal resistance, and mass transport. Additive manufacturing now enables precise spatial control over cellular architecture, unlocking designer foam structures across applications spanning crash ...
Dhanush Patil, Sri Vaishnavi Thummalapalli, Clarissa Westover, Arunachalam Ramanathan, M. Taylor Sobzcak, Roumika Patil, Qixuan Xiang, Tiantian Li, Sui Yang, Timothy E. Long, Hongyue Sun, Xianqiao Wang, Yang Liu, Kenan Song   +13 more
wiley   +1 more source

Complexity of Many-Valued Logics

, 2002
As is the case for other logics, a number of complexity-related questions can be posed in the context of many-valued logic. Some of these, such as the complexity of the sets of satisfiable and valid formulas in various logics, are completely standard ...
Hähnle, Reiner,
core  

Respiratory Organ‐on‐a‐Chip for Disease Modeling: From Architecture to Functional Integration

Advanced Healthcare Materials, EarlyView.
Respiratory organ‐on‐a‐chip (ROC) models capture key mechanical and cellular cues of the human respiratory system, enabling quantitative dissection of disease mechanisms. This review links ROC architectures to disease modeling, functional integration, and commercialization, and proposes a decision framework that aligns model complexity with mechanistic
Jinzhuo Hu, Yongjie Tang, Sidi Liu, Tao Xu, Qian Liu   +4 more
wiley   +1 more source

Modular Construction of Modal Logics

, 2004
We present a modular approach to defining logics for a wide variety of state-based systems. We use coalgebras to model the behaviour of systems, and modal logics to specify behavioural properties of systems.
Pattinson, Dirk, Dirk Pattinson, Cirstea, Corina, Corina Cîrstea   +3 more
core   +1 more source

Recapitulating Endochondral Ossification for Bone Repair: From Development to Engineering Strategy

Advanced Healthcare Materials, EarlyView.
This review summarizes the developmental basis of endochondral ossification (ECO) and its applications in bone tissue engineering (BTE). It first outlines the key biological processes and signaling pathways underlying ECO, then discusses biomaterial‐based engineering strategies derived from these principles, and finally highlights future directions for
Yiqi Su, Zihao He, Qianqian Chen, Long Chen, Caiyi Wei, Zijin Zhou, Jianhao Lin, Hui Li, Dan Xing   +8 more
wiley   +1 more source

Atomistic Mechanisms Triggered by Joule Heating Effects in Metallic Cu‐Bi Nanowires for Spintronics

Advanced Materials, EarlyView.
Bi doped metallic Cu nanowires are promising for spintronics thanks to the stabilization of a giant spin Hall effect. However, heat resulting from current injection forces Bi to leave solution, forcing segregation into monoatomic decorations which evolve into coherent crystalline aggregates.
Alejandra Guedeja‐Marrón, Juan Ignacio Beltrán, Matilde Saura‐Múzquiz, Paolo Perna, M. Carmen Muñoz, Lucas Pérez, Maria Varela   +6 more
wiley   +1 more source

Freeform Manufacturing of Plant‐Based Structural Colors for Scalable Photonic and Mechanochromic Devices

Advanced Materials, EarlyView.
A green, freeform manufacturing approach that utilizes robust aqueous two‐phase systems to create intricate and scalable photonic structures and non‐planar mechanochromic hydrogel actuators from plant‐based hydroxypropyl cellulose. This approach broadens the structural possibilities of sustainable photonic devices and mechanochromic systems, offering ...
Xiao Song, Peiqi Niu, Wenxi Gu, Chun Lam Clement Chan, Jiuhong Yi, Xu Liu, Peng Tan, Chon In Haydn Cheong, Qingwen Guan, Dan Fang, Bingpu Zhou, Zi Liang Wu, Ji Liu, Yan Yan Shery Huang, Iek Man Lei   +14 more
wiley   +1 more source

Polynomial Ring Calculus For Many-valued Logics

, 2015
This paper discusses a new algebraic proof method for general sentential logics which is particularly apt for finitely-many-valued logics and for PC, based on reducing polynomials over finite fields.
Carnielli W.
core  

Truth as a Mathematical Object

Principia: An International Journal of Epistemology, 2010
In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some
Jean-Yves Béziau
doaj  

Room‐Temperature Skyrmionic Synapse in 2D Ferromagnet Fe3GaTe2 Operating via Collective Spin Texture Transformation

Advanced Materials, EarlyView.
We demonstrate a neuromorphic synapse in 2D Fe3GaTe2 flakes. The device operates via a current‐driven transformation from a skyrmion‐lattice to a stripe‐domain state, yielding a linear anomalous Hall resistance response with a tunable slope to enable multiply‐accumulate operations. Simulations confirm its viability in artificial neural networks.
Jixiang Huang, Tongji Zhu, PeiYu Cai, Xiaoming Ma, Zhen Wang, Ruifu Zhang, Yi Hao, Jingdi Lu, Liubing He, Jun Xu, Yuejie Zhang, Wanjun Jiang, Jing Tao, Shiming Lei, Pavel Parchinskiy, Jing Teng, Lingfei Wang, Wei Niu, Elton J.G. Santos, Xiaoqian Zhang, Peng Li   +20 more
wiley   +1 more source