Results 91 to 100 of about 37,011 (230)

Tabled higher-order logic programming

, 2003
donation from the Siebel Scholars Program. The views and conclusions contained in this document are those of the author and should not be interpreted as representing the official policies, either expressed or implied, of the USAF, NSF, the U.S ...
Brigitte Pientka
core  

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

Neuromorphic Near‐Sensor and In‐Sensor Computing Enabled by Next‐Generation Material‐Based Sensors

Advanced Science, EarlyView.
This Review presents a structural framework that classifies neuromorphic sensing into near‐sensor and in‐sensor architectures, clarifying physical coupling between sensing and computation. The framework connects neural and synaptic device functions with recent advances in optical, mechanical, and chemical sensing, compares energy consumption and ...
Su Yeon Jung, Gwang Ya Kim, Sejin Kim, Hyunjong Seo, Se Gi Lee, Sang Min Won, Dongjoon Rhee, Joohoon Kang   +7 more
wiley   +1 more source

PhosSight: A Unified Deep Learning Framework Boosting and Accelerating Phosphoproteome Identification to Enable Biological Discoveries

Advanced Science, EarlyView.
PhosSight is a unified deep‐learning framework for phosphoproteome identification, featured by a phosphorylation‐aware detectability predictor. It improves identification sensitivity in DDA through deep re‐localization and rescoring, accelerates DIA searches by detectability‐guided spectral library pruning, and expands phosphoproteome coverage to ...
Ben Wang, Zhiyuan Cheng, Chengying She, Hongwei Zhao, Jiahui Zhang, Lin Lv, Zhihao Yan, Hongwen Zhu, Lizhuang Liu, Yan Fu, Xinpei Yi   +10 more
wiley   +1 more source

Dependent type theory of stateful higher-order functions

, 2016
In this paper we investigate a logic for reasoning about programs with higher-order functions and effectful features like non-termination and state with aliasing.
Nanevski, Aleksandar, Morrisett, Greg Gregory   +1 more
core  

Multi‐Stimuli‐Responsive Hydrogen‐Bonded Organic Frameworks Nanocarriers Enable Targeted Fungicide Release and Plant Immune Regulation

Advanced Science, EarlyView.
A fluorinated hydrogen‐bonded organic framework nanocarrier (PFC‐1‐F) loaded with PYR and coated with HACC enables multi‐stimuli‐responsive (enzyme/ROS/pH) release at infection sites. Exhibiting targeted antifungal activity against Sclerotium rolfsii, modulating plant antioxidant defense, and demonstrating favorable biosafety across plant, soil, and ...
Guangming Ma, Ying Zou, Yao Wang, Huiyan Li, Jinlin Li, Tianfu Liu, Xiaohong Pan   +6 more
wiley   +1 more source

ProSiteHunter: A Unified Framework for Sequence‐Based Prediction of Protein‐Nucleic Acid and Protein‐Protein Binding Sites

Advanced Science, EarlyView.
This study proposed a unified sequence‐based framework for protein binding site prediction, which adopted a tri‐track semantic multi‐source feature fusion strategy to effectively capture diverse macromolecular interaction sites and further improved the accuracy of antibody‐antigen interaction prediction.
Dongliang Hou, Qihang Zhen, Zexin Lv, Xinyue Cui, Suhui Wang, Minghua Hou, Zhan Zhou, Xiaogen Zhou, Guijun Zhang   +8 more
wiley   +1 more source

Selenophene π‐Bridge Enables Balanced Ambipolar Transport in High‐Performance Organic Electrochemical Transistors

Advanced Science, EarlyView.
We synthesized a high‐performance balanced ambipolar OECT polymer, P(gTDPPSe), via selenophene π‐bridge engineering. The selenophene π‐bridge enhances backbone planarity and optimizes the energy levels for doping, enabling high and balanced p/n‐type transconductance‐a key factor for high‐gain complementary inverters.
Guichuan Zhu, Yueping Lai, Jiaxing Pu, Jianhua Chen, Liang‐Wen Feng   +4 more
wiley   +1 more source

Multiferroic‐Centric Materials and Systems Engineering for Battery Applications: An Insight Into Mechanisms, Strategies, and Characterizations

Advanced Science, EarlyView.
Multiferroic order parameters – polarization, magnetization, and ferroelastic strain – are positioned as dynamic design variables for batteries. Their mechanistic roles, practical tuning through fabrication and external fields, and ferroic‐resolved characterization routes are unified into a closed‐loop framework, revealing how coupled ferroic responses
Jiaqi Su, Yanda Zhu, Hao Peng, Manman Li, Xuzihan Zhang, Meixiao Wu, Siyuan Zhang, Yuhan Zeng, Jiwen Liao, Ming Luo, Hetaishan Huang, Yutong Wang, Sean Li, Wenxian Li   +13 more
wiley   +1 more source