Results 101 to 110 of about 182,690 (327)

Probabilistic propositional temporal logics

Information and Control, 1986
Zohar Manna introduced temporal logic in order to speak formally about properties of programs which are not expressible in other program logics. The paper presents two closely related propositional probabilistic temporal logics. The syntax is typically temporal while the semantics uses probability theory.
Micha Sharir, Sergiu Hart
openaire   +2 more sources

Manipulating Individual Topological Solitons and Bisolitons in an Electronic System

Advanced Materials, EarlyView.
While localized topological modes in quantum materials promise loss‐less delivery of classical and quantum information, manipulating them individually has been challenging. This work succeeded in manipulating topological solitons formed along atomic wires on silicon surfaces with high reproducibility in various ways, including translating, transforming
Taehwan Im, Jae Whan Park, Han Woong Yeom   +2 more
wiley   +1 more source

A programmable hybrid digital chemical information processor based on the Belousov-Zhabotinsky reaction

Nature Communications
The exponential growth of the power of modern digital computers is based upon the miniaturization of vast nanoscale arrays of electronic switches, but this will be eventually constrained by fabrication limits and power dissipation.
Abhishek Sharma, Marcus Tze-Kiat Ng, Juan Manuel Parrilla Gutierrez, Yibin Jiang, Leroy Cronin   +4 more
doaj   +1 more source

Finite predicate-driven logic networks method for enhanced education data analysis

Радіоелектронні і комп'ютерні системи
The subject matter of the study is intelligent data analysis in the field of academic information. The goal of the study is to create a mathematical model for analyzing students' academic information using the predicate-driven logic networks method ...
Zoia Dudar, Andrii Kozyriev
doaj   +1 more source

Bisimulation, Logic and Reachability Analysis for Markovian Systems [PDF]

, 2008
In the recent years, there have been a large amount of investigations on safety verification of uncertain continuous systems. In engineering and applied mathematics, this verification is called stochastic reachability analysis, while in computer science ...
Bujorianu, L.M., Bujorianu, M.C.
core   +2 more sources

Spatiotemporal Reservoir Computing with a Reconfigurable Multifunctional Memristor Array

Advanced Materials, EarlyView.
This study presents a hardware physical reservoir computing system using a tri‐modal memristive crossbar array. Stochastic masking, bistable nonlinear activation, and analog readout enable fully in‐memory spatiotemporal processing. Demonstrations on cellular automata, Lorenz prediction, ADHD EEG classification, and chaotic KS modeling highlight its ...
Sungho Kim, Dong Hoon Shin, Wonho Choi, Sunwoo Cheong, Sung Keun Shim, Soo Hyung Lee, Janguk Han, Yoon Ho Jang, Kunhee Son, Néstor Ghenzi, Cheol Seong Hwang   +10 more
wiley   +1 more source

Modal Logic, Probability and Machine Learning Systems for Metadata Extraction

Ratio Mathematica
Artificial intelligence, since its inception, has had two major subfields, namely: logical reasoning and machine learning. Despite this, the interactions between these two fields have been relatively limited.
Simone Cuconato
doaj   +1 more source

SkILL - a Stochastic Inductive Logic Learner

, 2015
Probabilistic Inductive Logic Programming (PILP) is a rel- atively unexplored area of Statistical Relational Learning which extends classic Inductive Logic Programming (ILP).
Côrte-Real, Joana, Dutra, Inês, Mantadelis, Theofrastos, Rocha, Ricardo   +3 more
core   +1 more source

Choline Ionic Liquid for Long‐Term Stable Organic Electrochemical Transistors

Advanced Materials, EarlyView.
Choline‐based ionic liquid integrated organic electrochemical transistors (Chol‐OECTs) for improvement of performance and prolonged lifetime is demonstrated. Introduction of the ionic liquid into PEDOT:PSS and gelatin creates choline acetate ionic liquid‐infused PEDOT:PSS (CLiPS) and choline acetate‐gelatin (CAGel) electrolyte.
Young Jin Jo, Yeong‐sinn Ye, Sungbin Choi, Ju Hwan Shin, Jong Uk Kim, Jehyung Ok, Tae‐il Kim   +6 more
wiley   +1 more source

Deep Learning Analysis of Solid‐Electrolyte Interphase Microstructures in Lithium‐Ion Batteries

Advanced Materials Interfaces, EarlyView.
A transformer‐based deep learning model is developed for segmenting and analyzing high‐resolution TEM images of the solid‐electrolyte interphase (SEI) in lithium‐ion batteries. The model is trained on DFT‐based simulated images and predicts SEI grain and grain boundaries, revealing key microstructural features that govern ion transport and degradation.
Ishraque Zaman Borshon, Vahid Jabbari, Todd A. Kingston, Reza Shahbazian‐Yassar, Vitaliy Yurkiv   +4 more
wiley   +1 more source