Results 41 to 50 of about 140,423 (144)

diff-SAT -- A Software for Sampling and Probabilistic Reasoning for SAT and Answer Set Programming [PDF]

arXiv, 2021
This paper describes diff-SAT, an Answer Set and SAT solver which combines regular solving with the capability to use probabilistic clauses, facts and rules, and to sample an optimal world-view (multiset of satisfying Boolean variable assignments or answer sets) subject to user-provided probabilistic constraints.
arxiv  

Integrated Ovonic Threshold Switching Selector and Resistive Switching Memory 1S1R in Electrodeposited ZnTe Thin Films

Advanced Materials Technologies, EarlyView.
This study showcases the first‐ever demonstration of ovonic threshold switching (OTS) and resistive switching (RS) in ZnTe thin films fabricated via a fast, cost‐effective electrodeposition method. By controlling the deposition potential, ZnTe film is tuned to demonstrate OTS or RS behaviors, enabling the implementation of one‐selector‐one‐resistor ...
Ayoub H. Jaafar, Haytham Hussein, Tongjun Zhang, Nikolay Zhelev, Neil T. Kemp, Gillian Reid, Kees de Groot, Philip N. Bartlett, Ruomeng Huang   +8 more
wiley   +1 more source

Chemical AI in the Limelight: The Contribution of Photochromic Materials and Oscillatory Chemical Reactions

Advanced Optical Materials, EarlyView.
Photochromic compounds are versatile ingredients for the development of Chemical AI. When they are embedded in a tight microenvironment, they become Markov blankets. They are also valuable for processing Boolean and Fuzzy logic. They contribute to neuromorphic engineering in wetware based on opto‐chemical signals exchanged with oscillatory chemical ...
Pier Luigi Gentili
wiley   +1 more source

Novel Solution‐Processed Fe2O3/WS2 Hybrid Nanocomposite Dynamic Memristor for Advanced Power Efficiency in Neuromorphic Computing

Advanced Science, EarlyView.
Solution‐processed approach for integration of Fe2O3/WS2 nano‐hybrid composite memristor devices. Remarkable switching characteristics and excellent durability for up to 105 cycles. The device shows ultra‐low energy consumption of 0.072 pJ and excellent environmental stability.
Faisal Ghafoor, Honggyun Kim, Bilal Ghafoor, Zaheer Ahmed, Muhammad Farooq Khan, Muhammad Rabeel, Muhammad Faheem Maqsood, Sobia Nasir, Wajid Zulfiqar, Ghulam Dastageer, Myoung‐Jae Lee, Deok‐kee Kim   +11 more
wiley   +1 more source

Integrative Multi‐Omics and Routine Blood Analysis Using Deep Learning: Cost‐Effective Early Prediction of Chronic Disease Risks

Advanced Science, EarlyView.
Omicsformer, a deep learning model, integrates multi‐omics and routine blood data to accurately predict risks for nine chronic diseases, including cancer and cardiovascular conditions. Validated using large scale clinical data, it reveals early risk trajectories, advancing personalized medicine and offering a cost‐effective, community‐based solution ...
Zhibin Dong, Pei Li, Yi Jiang, Zhihan Wang, Shihui Fu, Hebin Che, Meng Liu, Xiaojing Zhao, Chunlei Liu, Chenghui Zhao, Qin Zhong, Chongyou Rao, Siwei Wang, Suyuan Liu, Dayu Hu, Dongjin Wang, Juntao Gao, Kai Guo, Xinwang Liu, En Zhu, Kunlun He   +20 more
wiley   +1 more source

A Specification Logic for Programs in the Probabilistic Guarded Command Language (Extended Version) [PDF]

arXiv, 2022
The semantics of probabilistic languages has been extensively studied, but specification languages for their properties have received little attention. This paper introduces the probabilistic dynamic logic pDL, a specification logic for programs in the probabilistic guarded command language (pGCL) of McIver and Morgan.
arxiv  

Thermal Noise‐Induced Phase Transition in Multi‐Domain Hf‐Based Antiferroelectric Material: Fatigue and Endurance Performance

Advanced Electronic Materials, EarlyView.
A new mechanism based on thermal noise‐induced lattice vibration is identified for fatigue in HZO‐based antiferroelectric (AFE) materials. Through the modeling of the stochastic dynamics, both temperature and dipole coupling strength are verified as the key factors in this mechanism. This provides insight for the memory window optimization of AFE‐based
Sheng Luo, Zijie Zheng, Zuopu Zhou, Xiao Gong, Gengchiau Liang   +4 more
wiley   +1 more source

Advances in Ovonic Threshold Switch Selector Technologies for Storage Class Memory: From Fundamentals to Development and Beyond

Advanced Electronic Materials, EarlyView.
This work covers ovonic threshold switches (OTSs), from basics to developments and future outlook. It explores OTS devices incorporating various chalcogens and describes how their characteristics vary by material. Engineering strategies, including elemental doping, electrode modifications, post‐treatment, and multilayer designs, are discussed ...
Sanghyun Ban, Jangseop Lee, Yoori Seo, Wootae Lee, Taehoon Kim, Hyunsang Hwang   +5 more
wiley   +1 more source

Soft Electronic Switches and Adaptive Logic Gates Based on Nanostructured Gold Networks

Advanced Electronic Materials, EarlyView.
Reconfigurable threshold logic gates and reversible switches are here demonstrated on a flexible and stretchable substrate, by exploiting the adaptability of the complex network composed of gold cluster‐assembled film embedded in the polymer matrix.
Giacomo Nadalini, Alexander Dallinger, Davide Sottocorno, Francesco Greco, Francesca Borghi, Paolo Milani   +5 more
wiley   +1 more source

Implementing a Library for Probabilistic Programming using Non-strict Non-determinism [PDF]

arXiv, 2019
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for probabilistic programming.
arxiv