Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 7 of 7 for “"Multisets"”.
-
Statistical algorithms using multisets and statistical inference of heterogeneous networks
Computational statistics, including methods such as Markov chain Monte Carlo (MCMC), bootstrap, approximate Bayesian computation, is an important part in modern statistics and has been widely used in many areas, such as Bayesian statistics, computational biology, and computational physics. In this …
-
Formal verification of biologically inspired computing models
… cP systems due to the use of labelled and nested multisets. In order to solve the issue, we formally defined the unification problem for labelled multisets and proposed a corresponding algorithm, namely LNMU. This can solve well-formed labelled multiset unification problems in linear time. To …
-
Specification of Software Architecture Reconfiguration
… Abstract Machine, a formalism for rewriting multisets of terms, to describe architectures, computations, and reconfigurations in a uniform way. The last approach uses a UNITY-like parallel programming design language to describe computations, represents architectures by diagrams in the sense …
-
Towards a generalized theory of deductive databases with uncertainty
… certainty lattice. The proposed framework uses multisets as the basis of the structure of the semantics, as opposed to using sets , which are often used. This is the key point to the expressive power of our framework, which unifies and generalizes the IB approach to uncertainty. With this …
-
Term rewriting with built-in numbers and collection data structures
… model collection data structures such as sets or multisets which are supported by many high-level programming languages such as Maude or OCaml. This dissertation introduces a new class of term rewrite systems that addresses both of these drawbacks and thus makes it possible to accurately model …
-
The Proteomics Approach To Evolutionary Computation: An Analysis Of Pr
… the class of problems involving proportions or multisets. This thesis concludes that the use of protein analogous structures as an intermediate representation in evolutionary computation is not only feasible but in some cases advantageous. In addition, it lays the groundwork for further research …
-
Algorithms and lower bounds in the streaming and sparse recovery models
… (planar) Earth-Mover Distance (EMD) between two multisets of points. The EMD between point sets A, B R2 of the same size is defined as the minimum cost of a perfect matching between them, with each edge contributing a cost equal to its (Euclidean) length. As immediate consequences, we give an …