Probabilistic Programming Concepts [PDF]
, 2013 A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling of complex, structured probability distributions.
De Raedt, Luc, Kimmig, Angelika
core
Computing Distances between Probabilistic Automata
, 2011 We present relaxed notions of simulation and bisimulation on Probabilistic Automata (PA), that allow some error epsilon. When epsilon is zero we retrieve the usual notions of bisimulation and simulation on PAs.
Abir Zhioua +28 more
core +2 more sources
DG System Using PFNN Controllers for Improving Islanding Detection and Power Control
Energies, 2019 In this study, an intelligent controlled distributed generator (DG) system is proposed for tracking control and islanding detection. First, a DC/AC inverter with DC power supply is adopted to emulate a DG system and control the active and reactive power ...
Kuang-Hsiung Tan, Chien-Wu Lan
doaj +1 more source
Forecasting worldwide empty container availability with machine learning techniques
Journal of Shipping and Trade, 2022 Due to imbalances in the global transport of containerised goods, liner shipping companies go to great lengths to match the regional supply and demand for empty containers by transporting equipment from surplus to deficit regions.
Christoph Martius +4 more
doaj +1 more source
Studying Transaction Fees in the Bitcoin Blockchain with Probabilistic Logic Programming
Inf., 2019 In Bitcoin, if a miner is able to solve a computationally hard problem called proof of work, it will receive an amount of bitcoin as a reward which is the sum of the fees for the transactions included in a block plus an amount inversely proportional to ...
Damiano Azzolini +2 more
semanticscholar +1 more source
Pan-Logical Probabilistic Algorithms Based on Convolutional Neural Networks
Computational Intelligence and Neuroscience, 2022 A brand-new kind of flexible logic system called universal logic aims to address a variety of uncertain problems. In this study, the role of convolutional neural networks in assessing probabilistic pan-logic algorithms is investigated. A generic logic probability algorithm analysis based on a convolutional neural network is suggested due to the ...
openaire +2 more sources
Formal Verification and Improvement of SAP-AKA Secondary Authentication Protocol [PDF]
Jisuanji gongchengThe SAP-AKA protocol is a secondary authentication protocol that provides key service security for vertical users, based on the Extensible Authentication Protocol (EAP) framework defined by the 3rd Generation Partnership Project(3GPP)standard.
PENG Chengwei, YANG Jinji, YANG Guang
doaj +1 more source
Probability model checking for random back off mechanism in vehicle network communication protocol
Nantong Daxue xuebao. Ziran kexue ban, 2022 Aiming at the applications of IEEE 802.11P communication protocol in vehicle networks for efficient shortrange communications, a model checking of random backoff mechanism for IEEE 802.11P is proposed.
JIN Li ZHANG Guoan ZHU Hao DUAN Wei ZHU Xiaojun
doaj +1 more source
Model Checking Optimal Infinite-Horizon Control for Probabilistic Gene Regulatory Networks
IEEE Access, 2018 Genetic regulatory networks (GRNs) are significant fundamental biological networks through which biological system functions can be regulated. A significant challenge in the field of system biology is the construction of a control theory of GRNs through ...
Lisong Wang +4 more
doaj +1 more source
An integrated cell purification and genomics strategy reveals multiple regulators of pancreas development. [PDF]
PLoS Genetics, 2014 The regulatory logic underlying global transcriptional programs controlling development of visceral organs like the pancreas remains undiscovered. Here, we profiled gene expression in 12 purified populations of fetal and adult pancreatic epithelial cells
Cecil M Benitez +13 more
doaj +1 more source