Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
We present an implementation of model checking for probabilistic and stochastic extensions of the pi-calculus, a process algebra which supports modelling of concurrency and mobility.
Norman, G. +3 more
core +3 more sources
ByNowLife: A Novel Framework for OWL and Bayesian Network Integration
An ontology-based system can currently logically reason through the Web Ontology Language Description Logic (OWL DL). To perform probabilistic reasoning, the system must use a separate knowledge base, separate processing, or third-party applications ...
Foni A. Setiawan +2 more
doaj +1 more source
Probabilistic generative transformer language models for generative design of molecules
Self-supervised neural language models have recently found wide applications in the generative design of organic molecules and protein sequences as well as representation learning for downstream structure classification and functional prediction. However,
Lai Wei +4 more
doaj +1 more source
Research on the Construction Method for Infertility Knowledge Graph Reflecting the Differences in Syndrome Differentiation and Treatment [PDF]
Variations can be observed between the dialectical results and medication treatment of doctors because doctors differentiate and treat syndromes differently.At present, existing knowledge graphs can only relate and express formulated dialectical ...
MA Yuekun, ZHANG Kexin, GAO Chang
doaj +1 more source
A Learning Based Approach to Control Synthesis of Markov Decision Processes for Linear Temporal Logic Specifications [PDF]
We propose to synthesize a control policy for a Markov decision process (MDP) such that the resulting traces of the MDP satisfy a linear temporal logic (LTL) property. We construct a product MDP that incorporates a deterministic Rabin automaton generated
Coogan, Samuel +4 more
core +2 more sources
Probabilistic Detection of Indoor Events Using a Wireless Sensor Network-Based Mechanism
Wireless sensor networks (WSNs) have been commonly utilized in event detection and environmental observation applications. The main aim of event detection is to define the presence or absence of an event.
Lial Raja Al-Zabin +5 more
semanticscholar +1 more source
Training Hardware for Binarized Convolutional Neural Network Based on CMOS Invertible Logic
In this article, we implement fast and power-efficient training hardware for convolutional neural networks (CNNs) based on CMOS invertible logic. The backpropagation algorithm is generally hard to implement in hardware because it requires high-precision ...
Duckgyu Shin +3 more
doaj +1 more source
Solid bulk cargo liquefaction is hazardous for bulk carrier ships as they reduce the stability of the ship. Most dry bulk ship owners face solid bulk cargo liquefaction during the carriage of ore cargoes. The consequences of cargo liquefaction could have
Muhammet Aydın
doaj +1 more source
Probabilistic logic modeling of network reliability for hybrid network architectures
Gregory Dane Wyss +2 more
openalex +3 more sources
An Effective and Practical Probabilistic Simplified Neutrosophic Approach for Accurate and Reliable Innovative Design Evaluation for Digital Media Arts [PDF]
The evaluation and classification of digital artworks remain a challenging task due to the inherent uncertainty, subjectivity, and imprecision in artistic design.
Yang Zhang, Yuzhuo Zhang
doaj +1 more source

