Results 71 to 80 of about 2,910 (216)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations

Bulletin of the Section of Logic
This paper gives a broad account of the various sequent-based proof formalisms in the proof-theoretic literature. We consider formalisms for various modal and tense logics, intuitionistic logic, conditional logics, and bunched logics. After providing an
Tim S. Lyon, Agata Ciabattoni, Didier Galmiche, Marianna Girlando, Dominique Larchey-Wendling, Daniel Méry, Nicola Olivetti, Revantha Ramanayake   +7 more
doaj   +1 more source

Mathematical Symbolism in Yann Martel’s Novel Life of Pi (2001) [PDF]

Литература двух Америк
The article identifies and investigates the semiotic and aesthetic nature of a specific type of artistic images, which can be called mathematical. In the theoretical part, based on known works of Russian and World literature, an analytical justification ...
Aleksei N. Nikulin
doaj   +1 more source

Nanozymes for Advanced Hemoglobin‐Based Oxygen Carriers: Applications in Blood Substitution, Wound Healing, Antitumor Therapy, and Beyond

Advanced Science, EarlyView.
This review explores how hemoglobin‐based oxygen carriers (HBOCs) combined with nanozymes create multifunctional materials that deliver oxygen while maintaining redox homeostasis. Beyond artificial blood substitutes, these constructs enable wound healing with light‐triggered oxygen release, cancer therapy through enhanced oxygenation and reactive ...
Despoina Douka, Ana María Pablo‐Sainz‐Ezquerra, Eva Jakljevič, Niki Ktena, Leticia Hosta‐Rigau   +4 more
wiley   +1 more source

Harnessing Phase Separation for the Development of High‐Performance Hydrogels

Advanced Science, EarlyView.
ABSTRACT Hydrogels are indispensable for the development of next‐generation bioelectronics, soft robotics, and biomedical devices, where their mechanical properties determine performance and reliability. Among strategies to enhance hydrogel mechanics, phase separation enables controlled heterogeneity resulting in gel networks that are reinforced by ...
Yue Shao, Yiming Ma, Baihao Shao, Molly M. Stevens   +3 more
wiley   +1 more source

Controlling Photochromism of Donor‐Acceptor Stenhouse Adducts on Micro‐Dot Arrays Beyond Human‐Eyes Resolution for Dynamic Light Encryption

Advanced Science, EarlyView.
This study presents a micro‐dot array strategy for dynamic light encryption, utilizing DASA‐based photochromism with resolution beyond human‐eye capacity. By precisely controlling isomerization kinetics, the method reveals multi‐layered encrypted information under specific light irradiation, enhancing information security and anti‐counterfeiting ...
Hongtao Hu, Fanxi Sun, Hanjun Zhang, Xiao Wang, Gaolu Zhu, Jiayu Li, Mengyao Yang, Xu Deng, Yonghao Zheng, Chen Wei, Dongsheng Wang   +10 more
wiley   +1 more source

Decoding Spatial Heterogeneity and Multi‐Omics Regulation with Hierarchical Graph Learning

Advanced Science, EarlyView.
ABSTRACT Recent advances in spatial multi‐omics technologies have enabled the simultaneous profiling of multiple molecular layers within the same tissue slice, providing unprecedented opportunities to investigate tissue spatial organization. However, most existing computational methods identify spatial domains in a purely data‐driven manner, rarely ...
Jiazhou Chen, Jiahui Xie, Yi Liao, Junyu Li, Longqi Liu, Xin Gao, Hongmin Cai   +6 more
wiley   +1 more source

Retrogradation of Truth and Omniscience

Philosophies
Todd and Rabern have argued that assuming future contingents are untrue, together with accepting the principle of the retrogradation of truth (p→PF(p)), implies that it is metaphysically impossible that an omniscient entity exists.
Ciro De Florio, Aldo Frigerio
doaj   +1 more source

Toward Long‐Term Reliable Human‐Machine Interaction: A Flexible, Breathable, and Self‐Powered Pressure Sensor System With Firefighting Validation

Advanced Science, EarlyView.
This work develops a breathable potentiometric self‐powered pressure sensor with good wearability, using a non‐woven fabric substrate and hydrogel electrolyte. The sensor is integrated into a five‐channel smart glove to acquire reliable hand motion signals, which are processed by a CNN for identity verification and smart vehicle control in human ...
Qilong Zhang, Zhao Yao, Jiaxu Liu, Yuxuan Hou, Zhongtao Zhang, Jingwei Xue, Leonid Chernogor, Nam Young Kim, Eun Seong Kim, Yuanyue Li, Yang Li   +10 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

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