Results 141 to 150 of about 205,593 (312)

Real‐Time High‐Definition Hyperspectral Endoscopy via Spatial‐Temporal Low‐Frequency‐Stochastic Spectral Encoding

Advanced Science, EarlyView.
A real‐time, high‐definition hyperspectral endoscopy is enabled by developing a spatial‐temporal spectral encoding approach based on low‐frequency stochastic filters combined with an encoding‐guided attention network. It provides hyperspectral image of in vivo tissue with fine superficial features, enables visualization of rapid and subtle ...
Xiaowei Liu, Jiakang Shao, Julin Xiao, Chenying Yang, Jiahe Zhang, Xiaoyu Yang, Xiang Hao, Ying Gu, Xu Liu, Yizhou Tan, Ji Qi, Qing Yang   +11 more
wiley   +1 more source

From Gentzen to Jaskowski and Back: Algorithmic Translation of Derivations Between the Two Main Systems of Natural Deduction

, 2017
Jan von Plato
openalex   +2 more sources

Data‐Driven Feedback Identifies Focused Ultrasound Exposure Regimens for Improved Nanotheranostic Targeting of the Brain

Advanced Science, EarlyView.
Machine learning models predict in real time the onset of harmful microbubble collapse during microbubble‐enhanced focused ultrasound (MB‐FUS) and enable dynamic adjustment of sonication to prevent cavitation‐induced damage. This predictive control expands the safe operating window for bloodbrain barrier opening, enhancing nanoparticle delivery and ...
Hohyun Lee, Victor Menezes, Shiqin Zeng, Chulyong Kim, Cynthia M. Baseman, Jae Hyun Kim, Samhita Padmanabhan, Pranav Premdas, Naima Djeddar, Anton Bryksin, Nikhil Pandey, Pavlos Anastasiadis, Anthony J. Kim, Tobey J. MacDonald, Chetan Bettegowda, Graeme F. Woodworth, Felix J. Herrmann, Costas Arvanitis   +17 more
wiley   +1 more source

Aristotle's Second-Order Logic and Natural Deduction [PDF]

, 2023
Clarence Protin
openalex   +1 more source

Free‐Volume Regulation Enables Significantly Enhanced Electrical Breakdown via Short‐Chain Molecular Spatial‐Positioning Intercalation into Poly(vinylidene fluoride)

Advanced Science, EarlyView.
An innovative molecular spatial‐positioning shimming strategy is developed to optimize the electrical properties of poly(vinylidene fluoride) (PVDF). By intercalating polyethylene wax (PE wax) short‐chain molecules into PVDF's free volume, the film achieves a significantly enhanced energy density of 32.67 J cm−3.
Ziyue Wang, Jiyang Xie, Wanbiao Hu
wiley   +1 more source

A natural deduction approach to dynamic logic

, 1996
Furio Honsell, Marino Miculan
openalex   +2 more sources

Atomic‐Scale Mechanisms of Multi‐Resistance States in HfOx‐Based RRAM: Evolution of Atomic Electric Fields and Oxygen Vacancies

Advanced Science, EarlyView.
Atomic‐scale mechanisms governing multilevel resistive switching in HfOx‐based RRAM are reveal through advanced TEM. Thermally driven m‐phase rotation ([101]↔[011]) enables selective oxygen vacancy migration, which reconstructs atomic electric fields and dictates conduction—from Schottky/Poole‐Frenkel emission to Ohmic transport.
Wen Sun, Yuyan Wang, Ruofei Hu, Yuyao Lu, Jun Xu, Xinyi Li, Bin Gao, He Qian, Jianshi Tang, Huaqiang Wu   +9 more
wiley   +1 more source

Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner

, 2015
Daniel Schlegel, Stuart C. Shapiro
openalex   +2 more sources

A simplified natural deduction approach to certain modal systems. [PDF]

, 1987
Bangs L. Tapscott
openalex   +1 more source

Origins of Graphite Resistivity: Decoupling Stacking Fault and Rotational Misorientation

Advanced Science, EarlyView.
Interfacial dislocations critically influence interlayer transport in van der Waals (vdW) materials, yet quantifying their individual contributions remains challenging. We measure graphite's c‐axis resistivity and develop a decoupling strategy, revealing a resistivity ratio of ∼4507:74:1 for rotational misorientations, stacking faults, and AB stacking,
Weipeng Chen, Fuwei Yang, Tielin Wu, Yelingyi Wang, Quanshui Zheng, Deli Peng, Zhanghui Wu   +6 more
wiley   +1 more source