Results 131 to 140 of about 188,896 (327)

Probabilistic Temporal Logic for Reasoning about Bounded Policies [PDF]

, 2023
Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder, Brian Logan   +4 more
openalex   +1 more source

Hierarchical Embedded Sphere Model: An Interpretable ML‐Guided Multiscale Descriptor Engineering Decodes OER Activity on TM@MO2 Catalysts

Advanced Science, EarlyView.
Hierarchical Embedded Sphere Model combines DFT and interpretable machine learning to decode catalytic activity on TM‐doped MO2. It disentangles global electronic, active‐site, and local coordination effects, revealing two activation mechanisms: dopant‐driven (Rh@MO2) and coordination‐mediated (Fe@ZrO2).
Ziyuan Li, Shan Gao, Yunhan Wang, Yueyu Zhang, Weichao Wang, Xiangmei Duan   +5 more
wiley   +1 more source

Maximum Entropy Reasoning via Model Counting in (Description) Logics that Count

Proceedings of the International Florida Artificial Intelligence Research Society Conference
In previous work it was shown that the logic ALCME,  which extends the description logic (DL) ALC with probabilistic conditionals, has domain-lifted inference.
Franz Baader, Anton Claußnitzer
doaj   +1 more source

Interlayer Dzyaloshinskii–Moriya Interaction in Synthetic Ferrimagnets for Spiking Neural Networks

Advanced Science, EarlyView.
This work introduces a groundbreaking integration of asymmetric magnetic structures (synthetic ferrimagnets) and antisymmetric magnetic interaction (interlayer Dzyaloshinskii–Moriya interaction) for the first time. It addresses the critical challenge of IL‐DMI detection and shows the discovery of unprecedented analog‐like spin‐orbit torque switching ...
Shen Li, Xing Chen, Mouad Fattouhi, Tianxun Huang, Chen Lv, Mark C. H. de Jong, Pingzhi Li, Daoqian Zhu, Xiaoyang Lin, Felipe Garcia‐Sanchez, Eduardo Martinez, Stéphane Mangin, Bert Koopmans, Weisheng Zhao, Reinoud Lavrijsen   +14 more
wiley   +1 more source

Development of Decision Support Systems Based on Fuzzy and Binary Logic for the FOREX Foreign Exchange Market

Кібернетика та комп'ютерні технології
Introduction. Most authors considered the use of only binary logic and technical analysis, which does not allow for effective consideration of market uncertainty and rapid dynamic.
Natalia Kondruk, Serhii Hetsko
doaj   +1 more source

Biomimetic Membrane Interface Technologies for Detection and Isolation of CTCs and EVs: Advances and Opportunities in Liquid Biopsy

Advanced Science, EarlyView.
Biomimetic membrane interface engineering constructs functionalized detection platforms by integrating natural cell membranes, synthetic lipids, or hybrid membranes. This strategy effectively reduces background interference and enables efficient target capture and analysis, showing broad applications in circulating tumor cell separation, extracellular ...
Duo Liu, Jie Yu, Jingxue Li, Yixue Chen, Mengle Peng, Yifan Xu, Yongjun Wu, Lihua Ding, Sitian He   +8 more
wiley   +1 more source

Non‐Volatile Phase Modulation with Ultralow Energy Consumption Enabled by 2D Ferroelectric/TMD Heterostructures

Advanced Science, EarlyView.
We demonstrate a hybrid WS2/CuInP2S6/graphene heterostructure integrated on a silicon nitride microring resonator for non‐volatile optical phase modulation with ultra‐low energy consumption and low insertion loss. While CIPS alone does not provide efficient optical index modulation, the engineered proposed device structure converts ferroelctric domain ...
Lalit Singh, Shi Guo, Yuhui Yang, Sholehin Juperi, Rui Yu, Xiangxin Gong, Jeremy Leong, Sung‐Gyu Lee, Qingyun Wu, Lay Kee Ang, Sang Hoon Chae   +10 more
wiley   +1 more source

Engineering Immune Cell to Counteract Aging and Aging‐Associated Diseases

Advanced Science, EarlyView.
This review highlights a paradigm shift in which advanced immune cell therapies, initially developed for cancer, are now being harnessed to combat aging. By engineering immune cells to selectively clear senescent cells and remodel pro‐inflammatory tissue microenvironments, these strategies offer a novel and powerful approach to delay age‐related ...
Jianhua Guo, Lanjie Lei, Ying Jin, Lan Su, Shumao Cui, Liyun Shi   +5 more
wiley   +1 more source

Ubiquitination‐Driven Reprogramming of Proteostasis in Metastasis

Advanced Science, EarlyView.
The DCAF12–TRiC/CCT axis is a key regulator of metastasis in cancer. By reprogramming proteostasis to ensure efficient protein folding, it drives progression through a dual mechanism: enhancing cancer cell motility and invasiveness while concurrently activating pro‐growth and survival pathways.
Dongping Wei, Jiayan Chen, Yaping Xu
wiley   +1 more source

Probabilistic logic programming on the web

, 2015
Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, Riccardo Zese, Giuseppe Cota   +4 more
openalex   +2 more sources