• CliffMath

  • Referenced in 23 articles [sw04955]
  • calculus on graphs. Theory and applications in computer science. This pioneering book presents a study ... theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations...
  • CliffOC

  • Referenced in 20 articles [sw04957]
  • calculus on graphs. Theory and applications in computer science This pioneering book presents a study ... theory, and quantum probability in a unified manner, with significant emphasis on symbolic computations...
  • ProbView

  • Referenced in 27 articles [sw09438]
  • theory is mathematically the best understood paradigm for modeling and manipulating uncertain information. Probabilities ... complex events can be computed from those of basic events on which they depend, using ... negation, meaningful from the viewpoint of probability theory. (1) We propose a probabilistic relational data ... long as the chosen strategies can be computed in polynomial time, queries in the positive...
  • HISTABRUT

  • Referenced in 4 articles [sw08515]
  • Symbol-Crunching in Probability theory. One of the main uses of computers ... theory of statistics, and its noble mother, Probability theory, were all discovered and developed ... lowly humans. No more! Computers can also develop probability theory (and statistics), and discover...
  • NESTOR

  • Referenced in 27 articles [sw22096]
  • physicians should have control of the computer interaction to determine what is done and when ... knowledge-based methods within a formal probability theory framework. A user interface module gives ... keywords: artificial intelligence; expert systems; medical applications; computer aided diagnosis; medical computer applications...
  • animation

  • Referenced in 11 articles [sw11112]
  • probability theory, mathematical statistics, multivariate statistics, nonparametric statistics, sampling survey, linear models, time series, computational...
  • MegaWave

  • Referenced in 27 articles [sw04428]
  • reader to a recent theory in Computer Vision yielding elementary techniques to analyse digital images ... mathematical formalization of the Gestalt theory. Gestalt theory, which had never been formalized ... stochastic geometry, involving basic probability and statistics, in the context of image analysis. The book...
  • ELRAFT

  • Referenced in 2 articles [sw25846]
  • ELRAFT A Computer Program for the Efficient Logic Reduction Analysis of Fault Trees ... Application of probability theory to the logic scheme thus depicted permits computation of system failure...
  • Algorithm 939

  • Referenced in 7 articles [sw12897]
  • function. Methods and an algorithm for computing the generalized Marcum Q-function ... radar detection and communications, statistics, and probability theory, where they are called the noncentral ... gamma cumulative distribution functions. The algorithm for computing the Marcum functions combines different methods...
  • PULCinella

  • Referenced in 7 articles [sw29878]
  • Computation technique of Shafer and Shenoy. It may be specialized to different uncertainty theories ... moment, Pulcinella can propagate probabilities, belief functions, Boolean values, and possibilities. Moreover, Pulcinella allows...
  • DINAMelt

  • Referenced in 12 articles [sw36131]
  • using published extinction coefficients and computed base pair probabilities. All results are available as text ... research program and should evolve as new theory and software are developed. The server...
  • ObservabilityTest

  • Referenced in 20 articles [sw36921]
  • physical process, which variables can be, in theory, deduced from the input-output behavior ... size of the integers involved in the computations is polynomial in the number of variables ... system. Last, we estimate the probability of success of our algorithm...
  • FEYNMAN

  • Referenced in 5 articles [sw06056]
  • Parametrizations of quantum states, matrices and probability distributions Entanglement is known today ... many protocols from quantum computation and quantum information theory. However, despite the successful demonstration...
  • ASpecPaired-Matrix

  • Referenced in 3 articles [sw15022]
  • Singular Integral Operators with Symbolic Computation. Spectral theory has many applications in several main scientific ... structural mechanics, aeronautics, quantum mechanics, ecology, probability theory, electrical engineering, among others) and the importance ... general public with extensive capabilities of symbolic computation. These applications, known as computer algebra systems...
  • ASpecPaired-Scalar

  • Referenced in 3 articles [sw15023]
  • Singular Integral Operators with Symbolic Computation. Spectral theory has many applications in several main scientific ... structural mechanics, aeronautics, quantum mechanics, ecology, probability theory, electrical engineering, among others) and the importance ... general public with extensive capabilities of symbolic computation. These applications, known as computer algebra systems...
  • MultiModeCode

  • Referenced in 9 articles [sw40978]
  • facilitates efficient Monte Carlo sampling of prior probabilities for inflationary model parameters and initial conditions ... models with sum-separable potentials MultiModeCode also computes the slow-roll prediction ... give a concise review of multifield perturbation theory and a user’s manual...
  • BookIndRandSamplingMethods

  • Referenced in 3 articles [sw34865]
  • used to generate samples from arbitrary probability distributions, and tailored techniques, designed to efficiently address ... developing them into the latest techniques. The theory and methods are illustrated with a varied ... text and supplemented with ready-to-run computer code. The main problem addressed ... generate independent random samples from an arbitrary probability distribution with the weakest possible constraints...
  • GPB

  • Referenced in 3 articles [sw18875]
  • Algorithm for Computing the Distribution Function of the Generalized Poisson-Binomial Distribution. The Poisson-binomial ... identically distributed Bernoulli random variables whose success probabilities vary. In this paper, we extend ... useful in many areas such as voting theory, actuarial science, warranty prediction ... probability theory. With few previous works studying the GPB distribution, we derive the probability distribution...
  • CompactCH

  • Referenced in 5 articles [sw34255]
  • algorithm, called CompactCH, for computing the exact gene tree probability. This new algorithm is based ... efficient than the STELLS algorithm both in theory and in practice when the number...
  • BUQO

  • Referenced in 4 articles [sw34653]
  • decisions and conclusions. Precisely, following Bayesian decision theory, we seek to assert the structures under ... reject this null hypothesis with high probability. Computing such tests for imaging problems is generally...