New Branching Filters With Explicit Negative Dependence
نویسندگان
چکیده
منابع مشابه
Branching Bisimulation with Explicit Divergence
We consider the relational characterisation of branching bisimulation with explicit divergence. We prove that it is an equivalence relation and that it coincides with the original definition of branching bisimulation with explicit divergence in terms of coloured traces. We also establish a correspondence with several variants of an action-based modal logic with untiland divergence modalities.
متن کاملBranching Bisimilarity with Explicit Divergence
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in terms of coloured traces. We also establish a correspondence with several variants of an action-based modal logic with untiland divergence modalities.
متن کاملBranching bisimulation equivalence with explicit divergence
We consider the relational characterisation of branching bisimilarity with explicit divergence. We prove that it is an equivalence and that it coincides with the original definition of branching bisimilarity with explicit divergence in terms of coloured traces. We also establish a correspondence with several variants of an action-based modal logic with untiland divergence modalities.
متن کاملQuantum Mechanics with Explicit Time Dependence
We investigate quantum mechanical Hamiltonians with explicit time dependence. We find a class of models in which an analogue of the time independent Schrödinger equation exists. Among the models in this class is a new exactly soluble model, the harmonic oscillator with frequency inversely proportional to time.
متن کاملBranching Processes with Negative Poisson Offspring Distribution
A branching process is a mathematical description of the growth of a population for which the individual produces offsprings according to stochastic laws. A typical problem would be of the following form. Considering a population of individuals developing from a single progenitor, the initial individual. The initial individual produces a random number of offsprings, each of them in turn produce...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3019226