Results 11 to 20 of about 860,662 (182)
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
Extending Stan for Deep Probabilistic Programming [PDF]
, 2020 Stan is a popular declarative probabilistic programming language with a high-level syntax for expressing graphical models and beyond. Stan differs by nature from generative probabilistic programming languages like Church, Anglican, or Pyro.
Baudart, Guillaume +5 more
core +2 more sources
An Enhanced Semantic Focused Web Crawler Based on Hybrid String Matching Algorithm
Cybernetics and Information Technologies, 2021 Topic precise crawler is a special purpose web crawler, which downloads appropriate web pages analogous to a particular topic by measuring cosine similarity or semantic similarity score.
Sakunthala Prabha K. S. +2 more
doaj +1 more source
Soft Pre-stressed PET Profiles as reinforcing fibers in structural elements made of concrete
Dyna, 2018 The inclusion of pre-stressed PET profiles as reinforcing fibers in structural elements is proposed. The PET-profiles are placed in a unidirectional and bidirectional fiber matrix with soft pre-tensioned condition that they could have advantages in ...
Sergio Márquez-Domínguez +4 more
doaj +1 more source
Non-Parametric Probabilistic Image Segmentation [PDF]
, 2007 We propose a simple probabilistic generative model for image segmentation. Like other probabilistic algorithms (such as EM on a Mixture of Gaussians) the proposed model is principled, provides both hard and probabilistic cluster assignments, as well ...
Andreetto, Marco +2 more
core +2 more sources
The probabilistic model checker Storm [PDF]
International Journal on Software Tools for Technology Transfer, 2021 AbstractWe present the probabilistic model checker Storm. Storm supports the analysis of discrete- and continuous-time variants of both Markov chains and Markov decision processes. Storm has three major distinguishing features. It supports multiple input languages for Markov models, including the Jani and Prism modeling languages, dynamic fault trees ...
Hensel, Hans Christian +4 more
openaire +3 more sources
Information, 2019 This paper proposes an improved Bat algorithm based on hybridizing a parallel and compact method (namely pcBA) for a class of saving variables in optimization problems.
Trong-The Nguyen +2 more
doaj +1 more source
Buildings, 2022 Beam-column joint with cast steel stiffeners (CSS) is a new type of joint with a large degree of design freedom. The joint stress distribution can be improved by designing a reasonable cross-sectional shape of the CSS with high rigidity, high integrity ...
Xinxia Li, Hao Xu
doaj +1 more source
Learning probabilistic logic models from probabilistic examples [PDF]
Machine Learning, 2008 We revisit an application developed originally using abductive Inductive Logic Programming (ILP) for modeling inhibition in metabolic networks. The example data was derived from studies of the effects of toxins on rats using Nuclear Magnetic Resonance (NMR) time-trace analysis of their biofluids together with background knowledge representing a subset ...
Chen, J, Muggleton, S, Santos, J
openaire +5 more sources
Information, 2018 The use of ontological knowledge to improve classification results is a promising line of research. The availability of a probabilistic ontology raises the possibility of combining the probabilities coming from the ontology with the ones produced by a ...
Andrea Apicella +3 more
doaj +1 more source