Results 141 to 150 of about 188,896 (327)

Nonmonotonic Probabilistic Logics between Model−Theoretic Probabilistic Logic and Probabilistic Logic under Coherence

, 2016
Recently, it has been shown that probabilistic entailment under coherence is weaker than model-theoretic probabilistic entailment. Moreover, probabilistic entailment under coherence is a generalization of default entailment in System P. In this paper, we continue this line of research by presenting probabilistic generalizations of more sophisticated ...
openaire   +1 more source

Beyond Cocrystals: Hierarchical Functional Assemblies via Noncovalent Synthesis

Advanced Science, EarlyView.
Non‐covalent interactions (NCIs) drive the formation of organic cocrystals with diverse structures and tunable optoelectronic properties. This review explores the essential factors governing these properties, highlighting how the sequential nucleation of cocrystals leads to the self‐assembly of organic hierarchical structures (OHSs).
Ya‐Nan Zhu, Jin Feng, Ying‐Xin Ma, Hong‐Tao Lin, Li‐Wei Xie, Qi‐Liang Peng, Xue‐Dong Wang   +6 more
wiley   +1 more source

Tuning Li+ and Na+ Functionality in Renewable Carbon Electroactive Material Through Site‐Specific Nanostructural Disorder

Advanced Science, EarlyView.
This study presents a selective thermal transformation of polycarbonate into hybrid carbon materials. The structured carbon enhances electrochemical performance, particularly in lithium‐ion systems. Investigations reveal improved bimetallic ion diffusivity through the hybrid microstructure, contributing to excellent charge kinetics.
Montajar Sarkar, Rumana Hossain, Jian Peng, Dilan Kumara Thilakarathna, Yu Wang, Yin Yao, Neeraj Sharma, Veena Sahajwalla   +7 more
wiley   +1 more source

The Satisfiability and Validity Problems for Probabilistic Computational Tree Logic Are Highly Undecidable [PDF]

Miroslav Chodil, Antonı́n Kučera
openalex   +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

CHR(PRISM)-based probabilistic logic learning

, 2010
Jon Sneyers, Wannes Meert, Joost Vennekens, Yoshitaka Kameya, Taisuke Sato   +4 more
openalex   +2 more sources

High‐Performance and Energy‐Efficient Sub‐5 nm 2D Double‐Gate MOSFETs Based on Silicon Arsenide Monolayers

Advanced Electronic Materials, EarlyView.
Sub‐5 nm double‐gate MOSFETs based on 2D SiAs monolayers are investigated using quantum transport simulations. By engineering source‐drain underlap regions, the devices achieve exceptional on‐currents of up to 1206 µA µm−1, surpassing the ITRS 2028 high‐performance targets.
Dogukan Hazar Ozbey, Engin Durgun
wiley   +1 more source

Reasoning in Non-Probabilistic Uncertainty: Logic Programming and\n Neural-Symbolic Computing as Examples [PDF]

, 2017
Tarek R. Besold, Artur d’Avila Garcez, Keith Stenning, Leendert van der Torre, Michiel van Lambalgen   +4 more
openalex   +1 more source

Safe Reinforcement Learning via Probabilistic Logic Shields [PDF]

, 2023
Wen-Chi Yang, Giuseppe Marra, Gavin Rens, Luc De Raedt   +3 more
openalex   +1 more source

AI‐Assisted Bioelectronics for Personalized Health Management

Advanced Electronic Materials, EarlyView.
Recent advances in artificial intelligence (AI)‐assisted bioelectronics, including materials, device fabrication, working mechanisms, AI‐hardware integration, and proof‐of‐concept applications in digital health management, are summarized. The emergence of AI‐assisted bioelectronic systems and potential solutions to existing challenges are discussed ...
Huiwen Xiong, Changhao Dai, Xuting Chen, Jilie Kong, Dacheng Wei, Xueen Fang, Wenhao Weng   +6 more
wiley   +1 more source