Model checking probabilistic and stochastic extensions of the pi-calculus [PDF]
, 2009 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
Information, 2019 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
Journal of Cheminformatics, 2023 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]
Jisuanji gongcheng, 2023 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]
, 2014 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
Italian National Conference on Sensors, 2023 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
IEEE Access, 2020 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
Journal of Transportation and Logistics, 2023 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
Proceedings of LCN - 21st Annual Conference on Local Computer Networks, 2002 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]
Neutrosophic Sets and SystemsThe 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