Results 101 to 110 of about 14,132 (263)

Robust probabilistic temporal logics

Information Processing Letters
We robustify PCTL and PCTL*, the most important specification languages for probabilistic systems, and show that robustness does not increase the complexity of their model-checking problems.
openaire   +3 more sources

Threshold‐Voltage Modulation and N2O Plasma Passivation for Enhanced Retention and Memory Window in Capacitorless 2T0C DRAM Oxide Thin‐Film Transistors

Advanced Science, EarlyView.
Al:ITZO‐based capacitorless 2T0C DRAMs are realized by combining N2O plasma‐induced defect modulation with read‐transistor W/L optimization to suppress leakage and stabilize data storage. This device‐level engineering enables zero‐bias hold operation, retention times exceeding 1000 s, and a 13‐fold expansion of the memory window, demonstrating a ...
Chahwan Yang, Mirinae Lee, Junghoon Han, Sooji Nam   +3 more
wiley   +1 more source

onto2problog: A Probabilistic Ontology-Mediated Querying System using Probabilistic Logic Programming. [PDF]

Kunstliche Intell (Oldenbourg), 2020
van Bremen T, Dries A, Jung JC.
europepmc   +1 more source

ML Workflows for Screening Degradation‐Relevant Properties of Forever Chemicals

Advanced Science, EarlyView.
The environmental persistence of per‐ and polyfluoroalkyl substances (PFAS) necessitates efficient remediation strategies. This study presents physics‐informed machine learning workflows that accurately predict critical degradation properties, including bond dissociation energies and polarizability.
Pranoy Ray, Andrew R. Castillo, Manoj Kolel‐Veetil, Surya R. Kalidindi   +3 more
wiley   +1 more source

On the Ordering Mechanism of Cu+ in 2D van der Waals Multiferroic CuCrP2S6

Advanced Science, EarlyView.
Temperature‐dependent X‐ray single‐crystal diffuse scattering measurements of CuCrP2S6 in the (H, K, 0) plane reveal the gradual emergence and strengthening of short‐range order upon cooling from 230 to 170 K. At intermediate temperatures, diffuse features become pronounced and eventually lock into sharp incommensurate satellite reflections, indicating
Jiasen Guo, Yongqiang Cheng, Michael A. Susner, Ryan P. Siebenaller, Zachary Morgan, Feng Ye   +5 more
wiley   +1 more source

Discovering Interpretable Semantics from Radio Signals for Contactless Cardiac Monitoring

Advanced Science, EarlyView.
This study presents a semantic representation framework for clinically interpretable cardiac monitoring from contactless radio signals. It formulates radio semantic learning as an information‐bottleneck problem and approximates the objective via intra‐modal compression and cross‐modal alignment, structuring radio measurements into meaningful semantic ...
Jinbo Chen, Haoyu Wang, Guixin Xu, Yuqin Yuan, Xinmeng Cai, Zhengwu Wei, Dongheng Zhang, Qibin Sun, Tianwei Zhang, Cuntai Guan, Yan Chen   +10 more
wiley   +1 more source

PAIR: Reconstructing Single‐Cell Open‐Chromatin Landscapes for Transcription Factor Regulome Mapping

Advanced Science, EarlyView.
scATAC‐seq analysis is often constrained by limited sequencing depth, extreme sparsity, and pervasive technical missingness. PAIR is a probabilistic framework that restores scATAC‐seq accessibility profiles by directly modeling the native cell–peak bipartite structure of chromatin accessibility.
Yanchi Su, Qi Qi, Yi Fan, Yubo Wang, Gaoyang Hao, Ka‐Chun Wong, Yunhe Wang, Xiangtao Li   +7 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

Synergistic Pyro‐Phototronics and Structural Anisotropy in CsAg2I3/GaN Heterostructures for High‐Performance Polarization‐Sensitive UV Photodetectors

Advanced Science, EarlyView.
The development of polarization‐sensitive ultraviolet photodetectors is limited by poor heterojunction quality and low polarization sensitivity. This study integrates synthesized CsAg2I3 single crystals with intrinsic non‐centrosymmetry into van der Waals heterojunction devices, demonstrating pronounced pyro‐phototronic effect.
Yalin Zhai, Siqi Wang, Peng Guo, Songling Feng, Peng Wan, Jilong Tang, Caixia Kan, Hui Li, Daning Shi, Mingming Jiang   +9 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