Results 51 to 60 of about 7,776,605 (218)

Advanced MXene‐Based Multifunctional Nanoarchitecture Materials Engineered for Adsorptive Cleanup of Hazardous Radioactive Pollutants: A Comprehensive Critical Review

Advanced Materials Interfaces, EarlyView.
This work critically reviews MXenes as highly effective multifunctional nanomaterials for the adsorption of radio‐contaminants, demonstrating a remarkable adsorption capacity of up to 1376.75 mg/g and cyclic stability of 2–8 cycles, with complexation, electrostatic interactions, and the numerical strength of MXene active sites playing a key operational
Stephen Sunday Emmanuel, Shepherd M. Tichapondwa   +1 more
wiley   +1 more source

In Situ Integrated Titanium Oxide Synaptic Phototransistor Enabling Multimodal Plasticity and Noise‐Robust Selective Attention

Advanced Materials Technologies, EarlyView.
An in situ integrated TiO2/SiOx/Al2O3 synaptic phototransistor couples ultraviolet and electrical stimuli within a scalable, CMOS‐compatible oxide stack. Multimodal plasticity, spike‐timing‐dependent learning, and bee‐inspired associative conditioning are achieved through trap‐mediated temporal dynamics.
Youngbin Yoon, Jaehee Lee, Jeongwook Kwon, Yongki Kim, Myunghun Shin, Jung Wook Lim   +5 more
wiley   +1 more source

Physical Origin of Temperature Induced Activation Energy Switching in Electrically Conductive Cement

Advanced Science, EarlyView.
The temperature‐induced Arrhenius activation energy switching phenomenon of electrical conduction in electrically conductive cement originates from structural degradation within the biphasic ionic‐electronic conduction architecture and shows percolation‐governed characteristics: pore network opening dominates the low‐percolation regime with downward ...
Jiacheng Zhang, Xinyuan Ke, Andrew Heath, Richard J. Ball, Jiawei Xie, Jinchen Fan, Guisheng Li, Kevin Paine   +7 more
wiley   +1 more source

Handling periodic properties: deductive verification for quantified temporal logic specifications

, 2011
We present a deductive verification technique for the specifications written in terms of quantified propositional linear-time temporal logic (QPTL). The system extends previous natural deduction constructions for the propositional linear-time temporal ...
Bolotov, A.
core   +1 more source

Deductive Systems in Traditional and Modern Logic [PDF]

, 2020
The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logics of refutation, non-Fregean logics, higher order logics and ...

core   +1 more source

Cross Kingdom Metabolic Engineering Paradigm Elevating Sustainable Protein Production

Advanced Science, EarlyView.
ABSTRACT Confronting the dual crisis of escalating global protein demand and unsustainable agriculture necessitates transformative solutions. Here, we pioneer evolutionary insights from maize nitrogen optimization via asparagine synthetase (ASNS) to rewire metabolism in Pichia pastoris.
Yuanyuan Du, Changyu Pi, Kai Hong, Le Gao, Xin Wu   +4 more
wiley   +1 more source

UDP‐Glucose‐6‐Dehydrogenase Mediated O‐GlcNAcylation of Tight Junction Protein 1 Suppresses Metastasis in Renal Cell Carcinoma

Advanced Science, EarlyView.
Our research unveiled a regulatory paradigm wherein TRIM25 orchestrates the ubiquitin‐mediated degradation of UGDH. UGDH modulates the protein stability of TJP1 by regulating O‐GlcNAcylation levels, effectively impeding the metastasis of ccRCC. Our insights elevate UGDH to a pivotal biomarker and tumor suppressor, marking the first demonstration that ...
Xiaolin Chen, Yuhang Bao, Tao Liu, Jianhui Qiu, Yuanyuan Ma, Zedan Zhang, Chuandong Wang, Ruiyi Deng, Zheng Song, Tianyi He, Haode Liu, Jingcheng Zhou, Yizhou Wang, Kan Gong   +13 more
wiley   +1 more source

Automated Deductive Requirements Analysis of Critical Systems

, 2001
We advocate the need for automated support to System Requirement Analysis in the development of time-and safety-critical computer-based systems. To this end we pursue an approach based on deductive analysis: high-level, real-world entities and notions ...
MORZENTI, ANGELO CARLO, A. Gargantini, Morzenti, Angelo, GARGANTINI, Angelo Michele (ORCID:0000-0002-4035-0131)   +3 more
core   +2 more sources

Interacting Parallel Fluidic Hysterons

Advanced Science, EarlyView.
The parallel coupling of fluidic hysterons is introduced, establishing advanced functionalities in inflatable soft systems. A pressure–volume framework reveals how preset volumes Δv∗${\Delta }v^*$ tune nonlinear interactions between hysterons and actuation sequences without changing architecture. Experiments validate the predictions, opening new routes
Katrien Stinissen, Franco Nicolas Piñan Basualdo, Benjamin Gorissen   +2 more
wiley   +1 more source

Introducing Borsantrazole: A Trifunctional Boron‐Based Pyrazole That Extends the Lifespan of Amyotrophic Lateral Sclerosis Mice

Advanced Science, EarlyView.
Herein we report a boron‐based pyrazole, (Borsantrazole ‐ a small molecule that selectively targets oxidative stress) that significantly increases survival, reduces weight loss, delays disease onset, and affects global protein changes in the SOD1‐G37R mouse model of ALS.
Nitesh Sanghai, Rhonda Kelley, Ying Lao, M. Immanuel Reyes Madlangsakay, Prasanta Paul, M. Alejandra Llanes‐Cuesta, Jun‐Feng Wang, René P. Zahedi, Jiming Kong, Geoffrey K. Tranmer   +9 more
wiley   +1 more source