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
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
A building block for hardware belief networks
, 2016 Belief networks represent a powerful approach to problems involving probabilistic inference, but much of the work in this area is software based utilizing standard deterministic hardware based on the transistor which provides the gain and directionality ...
Behin-Aein, Behtash +2 more
core +2 more sources
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
Parameter Learning of Logic Programs for Symbolic-Statistical Modeling
, 2011 We propose a logical/mathematical framework for statistical parameter learning of parameterized logic programs, i.e. definite clause programs containing probabilistic facts with a parameterized distribution.
Kameya, Y., Sato, T.
core +2 more sources
Adaptive Neutrosophic Integration and Trust Modeling: A New Framework for Evaluating Mobile Communication Network Migration Perception [PDF]
Neutrosophic Sets and SystemsThis paper presents an innovative neutrosophic decision-making framework for modeling and analyzing customer trust during mobile communication network transitions, specifically in the context of 4G to 5G migration.
Ke Li
doaj +1 more source
Securing Databases from Probabilistic Inference
, 2017 Databases can leak confidential information when users combine query results with probabilistic data dependencies and prior knowledge. Current research offers mechanisms that either handle a limited class of dependencies or lack tractable enforcement ...
Basin, David +2 more
core +1 more source
Hierarchical classification for multiple, distributed web databases [PDF]
, 2004 The proliferation of online information resources increases the importance of effective and efficient distributed searching. Our research aims to provide an alternative hierarchical categorization and search capability based on a Bayesian network ...
Yang, Hui, Zhang, Minjie
core
Multi-model data fusion for river flow forecasting: an evaluation of six alternative methods based on two contrasting catchments [PDF]
Hydrology and Earth System Sciences, 2002 This paper evaluates six published data fusion strategies for hydrological forecasting based on two contrasting catchments: the River Ouse and the Upper River Wye.
R. J. Abrahart, R. J. Abrahart, L. See
doaj