Results 81 to 90 of about 16,441 (253)

Toward Prostate Cancer Early Warning with a Self‐Powered Wearable Biosensing Platform Integrated with Machine Learning

Advanced Science, EarlyView.
ABSTRACT Current prostate cancer detection methods remain limited in non‐invasiveness and specificity, prompting interest in urinary biomarkers such as sarcosine. Here, we report a urine‐powered wearable platform for non‐invasive sarcosine detection as a proof‐of‐concept for decentralized early warning.
Jing Xu, Hanxiao Chen, Qichen Yuan, Liucun Yin, Yifang Tao, Hong Wang, Yuquan Xue, Delai Fu, Huan Pang, Tie Chong, Li Xue   +10 more
wiley   +1 more source

A Translation of Weighted LTL Formulas to Weighted Buchi Automata over omega-valuation Monoids

Scientific Annals of Computer Science, 2021
In this paper we introduce a weighted LTL over product omega-valuation monoids that satisfy specific properties. We also introduce weighted generalized Buchi automata with epsilon-transitions, as well as weighted Buchi automata with epsilon-transitions ...
Eleni Mandrali
doaj   +1 more source

Advances and Perspectives in Graphene‐Based Quantum Dots Enabled Neuromorphic Devices

Advanced Science, EarlyView.
Graphene‐based QDs are zero‐dimensional carbon nanomaterials with pronounced quantum confinement and tunable electronic structures. Herein, we summarize their synthesis strategies and functionalization methods, and highlight their functional roles and operating mechanisms in devices, as well as recent advances in neuromorphic electronics. We anticipate
Yulin Zhen, Wei Zeng, Zherui Zhao, JiYu Zhao, Ziyan Huang, Zhuo Chen, Kui Zhou, Guanglong Ding, Su‐Ting Han, Ye Zhou   +9 more
wiley   +1 more source

The classification of fallacious reasons in “nyāyapraveśaka-śāstra”

RUDN Journal of Philosophy, 2016
The article contains the translation from Sanskrit to Russian of the fragment (sutras 1, 2, 4, 9-13) of the short logic work “Nyāyapraveśaka-śāstram” (“Treatise bringing in the rules [of reasoning]”) and some comments.
N A Kanaeva
doaj  

Data‐Driven Modeling of Composition–Processing–Microstructure Relations for Recycled Aluminum Cast Alloys

Advanced Science, EarlyView.
Interpretable machine learning reveals how composition and processing govern the formation and microstructural burden of Fe‐rich intermetallic compounds in recycled Al–Si–Fe–Mn alloys. By separating morphology selection from morphology‐conditioned burden partitioning, this framework shows that identical Fe contents can yield different intermetallic ...
Jaemin Wang, Waleed Mohammed, Dierk Raabe   +2 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

A five-valued logic and a system

Journal of Computer Science and Technology, 2004
The present article introduces a five-valued logic and a deductive system. Here, the logic presented is a relevant fragment of the @-logic, which is also a space-time logic. These five values correspond to the following semantics: unknown, possibly known
Ulisses Ferreira
doaj  

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

Electrolyte Design for Simultaneous Interfacial Stabilization in Si||NCM811 Full Cells

Advanced Science, EarlyView.
A dual‐additive electrolyte (DAEL) system was optimized to regulate interfacial reactions in both Si anode and the NCM811 cathode. DAEL suppresses gas evolution and degradation, enabling stable interphases. These synergistic effects enhance electrochemical stability and extend battery cycle life in high‐energy lithium‐ion cells.
Seo Yun Jang, Kyu Hong Lee, Juhyoung Kim, Dong Wook Kim, Kyu Hyoung Lee, Do Youb Kim, Se‐Hee Kim   +6 more
wiley   +1 more source

The complexity of Horn fragments of Linear Logic

Annals of Pure and Applied Logic, 1994
Complexity of derivability for some Horn fragments of Girard's Linear Logic is considered. The first fragment consists of sequents with left parts of the form \(X\), \(S\) and right parts of the form \(Y\), where \(X\) and \(Y\) are multiplicative conjunctions of propositional variables (simple products), and \(S\) is a multiset of linear implications ...
openaire   +1 more source