Results 111 to 120 of about 2,419,527 (287)

Atmospheric Water Harvesting Through Polymer Hydrogel Sorbents: Materials Chemistry, Design Strategies, and Applications

Advanced Science, EarlyView.
Polymer‐based hydrogels have emerged as promising materials for atmospheric water harvesting (AWH) due to their high water affinity, tunable network structure, and excellent moisture adsorption‐desorption performance. Functional hydrogel systems enable efficient water capture and controlled release under low‐energy conditions, offering a sustainable ...
Swagata Datta, Sushmit Sen, Nilanjan Dey, Amrita Chatterjee, Ananya Sadhu, Sudipta Sarkar, Pradip K. Maji   +6 more
wiley   +1 more source

Quantitative Visualization of Intracellular Nanometabolism Using Peak‐Shifted Dual‐State Emissive FRET Nanoprobes

Advanced Science, EarlyView.
This study reveals the long‐elusive intracellular dissolution mechanism of carrier‐free nanomedicines. By utilizing peak‐shifted dual‐state emissive FRET nanoprobes (PDFNPs) that undergo a distinct ratiometric fluorescence peak shift upon disassembly, we achieve real‐time, quantitative tracking of dissolution kinetics in live cells.
Farsai Taemaitree, Jinwoo Sung, Yutaro Miki, Ryuju Suzuki, Yoshitaka Koseki, Kunikazu Ishii, Minsang Kim, Keita Tanita, Kota Sato, Toru Nakazawa, Satoshi Katsube, Daisuke Unabara, Tasuku Hamaguchi, Keisuke Kawakami, Koji Yonekura, Akihide Hibara, Atsushi Wakamiya, Hiroshi Uji‐I, Hitoshi Kasai   +18 more
wiley   +1 more source

Exploring Computational Thinking in Geometric Proof Construction Across Gender Groups

Journal of Mathematics Instruction, Social Research and Opinion
Mathematical proof requires students to coordinate concepts, procedures, reasoning, and justification, while computational thinking (CT) provides a lens for organizing such processes. How CT processes are manifested during geometric transformation proof
Cut Zahari, Muhammad Razali, Budi Halomoan Siregar, Mariadi   +3 more
doaj   +1 more source

Proof-theoretical analysis of order relations

, 2004
A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus.
Negri, S., von Plato, J., Coquand, Thierry,, von Plato, J.,, Coquand, Thierry, Negri, S.,   +5 more
core   +1 more source

Similarity‐Enhanced Representation Learning of Non‐Canonical Amino Acids for Therapeutic Peptide Modeling

Advanced Science, EarlyView.
Non‐canonical amino acids (ncAAs) enhance peptide therapeutics but remain difficult to model computationally. SinCAA, a similarity‐enhanced pretraining framework, jointly optimizes contrastive learning guided by a novel conformational similarity metric with masked node reconstruction, capturing both functional relationships and chemical identity of ...
Chencheng Xu, Lesong Wei, Jianmin Wang, Yuanpeng Xiong, Ruochi Zhang, Yu Wang, Chao Zha, Qiangcheng Zeng, Xin Gao   +8 more
wiley   +1 more source

Problems with the Requirement to “to Prove” as a Training of Creative Mathematical Thinking

Проблеми сучасної психології
According to the results of the analysis of research on creative mathematical thinking, it was established that the exploratory mathematical process is the process of setting and solving a mathematical problem.
Лідія Мойсеєнко, Любов Шегда   +1 more
doaj   +1 more source

Electrically Tunable Graphene‐Metal Hybrid Metasurfaces for High‐Efficiency, Broadband Mid‐Infrared Transmission Modulation

Advanced Science, EarlyView.
A graphene‐metal hybrid transmissive metasurface enables electrically tunable mid‐infrared transmission modulation through ionic gel top gating. By combining graphene with a metallic slit metasurface, high modulation efficiency and broadband operation are achieved simultaneously, demonstrating efficient electrical control of mid‐infrared transmission ...
Heonhak Ha, Jinseok Kong, Junhyung Kim, Jiwon Kang, Min Seok Jang   +4 more
wiley   +1 more source

Mathematical Libraries as Proof Assistant Environments

, 2004
In this paper we analyse the modifications on logical operations --- as proof checking, type inference, reduction and convertibility --- that are required for the identification of a proof assistant environment with a distributed mathematical library ...
SACERDOTI COEN, CLAUDIO, Claudio Sacerdoti Coen   +1 more
core   +1 more source

A Multifunctional Mesoporous Janus Separator With Optimized Mass Transport Regulation Enabling 800‐Cycle Lithium‐Oxygen Batteries

Advanced Science, EarlyView.
To resolve the fundamental cycling decay of lithium‐oxygen batteries arising from lithium dendrite propagation, anode corrosion, and cathode passivation, we fabricate a mesoporous silica/polyurethane Janus separator integrating interfacial protection and mass transport modulation, which markedly enhances battery cycling stability and cycle life ...
Hailiang Mu, Anlong Liu, Kun Luo, Yaming Pang, Chengde Xie, Xiaoteng Liu, Zhihong Luo, Guangbin Zhu, Yucheng Wang, Qirong Liu, Yongbing Tang   +10 more
wiley   +1 more source

Instructional strategies in explicating the discovery function of proof for lower secondary school students

, 2009
In this paper, we report on the analysis of teaching episodes selected from our pedagogical and cognitive research on geometry teaching that illustrate how carefully-chosen instructional strategies can guide Grade 8 students to see and appreciate the ...
Ding, Liping, Jones, Keith
core   +1 more source