• CoCasl

  • Referenced in 26 articles [sw13076]
  • CoCasl cover the various process equivalences (bisimulation, weak bisimulation, observational congruence, and trace equivalence...
  • HOMER

  • Referenced in 5 articles [sw13321]
  • HOMER: A Higher-Order Observational Equivalence Model checkER. We present Homer, an observational-equivalence model ... fully abstract game semantics, observational equivalence of these IA-terms reduces to the VPA Equivalence...
  • tKlaim

  • Referenced in 8 articles [sw10023]
  • presence of failures, by exploiting observational equivalences to study the relationships between descriptions of systems...
  • SPEC

  • Referenced in 7 articles [sw20606]
  • calculus Equivalence Checker) is an equivalence checker for a version of Abadi and Gordon ... protocols and, via a notion of observational equivalence, been used to reason about security properties...
  • PTSC

  • Referenced in 6 articles [sw13692]
  • bisimulation relation, from which an observational equivalence between probabilistic programs is investigated and a collection...
  • CertiCrypt

  • Referenced in 6 articles [sw09443]
  • programming language tools (observational equivalence, relational Hoare logic, semantics-preserving program transformations) to assist...
  • LSMR

  • Referenced in 76 articles [sw12940]
  • Golub-Kahan bidiagonalization process. It is analytically equivalent to the MINRES method applied ... current iterate x k ). We observe in practice that ∥r k ∥ also decreases monotonically...
  • HECTOR

  • Referenced in 2 articles [sw13320]
  • present Hector, an observational equivalence checker for a higher-order fragment of ML. The input...
  • WeightIt

  • Referenced in 3 articles [sw35700]
  • Studies. Generates weights to form equivalent groups in observational studies with point or longitudinal treatments...
  • Java Jr

  • Referenced in 14 articles [sw19083]
  • boundaries. A detailed example based on the Observer Pattern is used to demonstrate the intuitive ... also show that our semantic trace equivalence is fully-abstract with respect to a natural...
  • equate

  • Referenced in 5 articles [sw20047]
  • contains functions for observed-score linking and equating under single-group, equivalent-groups, and nonequivalent ... these designs and provides an overview of observed-score equating with details about each...
  • ADDSAFE

  • Referenced in 4 articles [sw19643]
  • evaluation of a robust sliding mode observer fault detection scheme applied to an aircraft benchmark ... called equivalent output error injection signal associated with the observer. The development process includes implementing...
  • EMDUnifrac

  • Referenced in 2 articles [sw17710]
  • take advantage of recent observations that the Unifrac metric is equivalent to the so-called ... operational taxonomic units are responsible for the observed differences between samples. This allows the algorithm...
  • SQLNet

  • Referenced in 1 article [sw42256]
  • generates any of the equivalent serializations. However, we observe that the improvement from reinforcement learning...
  • UCODE

  • Referenced in 5 articles [sw25638]
  • defined flexibly with user-specified functions. Observations to be matched in the regression ... quantity for which a simulated equivalent value can be produced, thus simulated equivalent values...
  • GenClust

  • Referenced in 4 articles [sw30045]
  • validation measures; i.e., in many cases the observed differences between the worst and best performing ... statistically insignificant and they could be considered equivalent. However, there are cases in which...
  • Hector

  • Referenced in 1 article [sw29128]
  • with equivalent rates of change of key variables over time compared to current observations, MAGICC...
  • BinSim

  • Referenced in 1 article [sw31767]
  • paper, we propose system call sliced segment equivalence checking, a hybrid method to identify fine ... logic of instructions that impact on the observable behaviors. Our approach improves existing semantics-based ... whether two executable binaries’ behaviors are conditionally equivalent; 2) detecting the similarities or differences, whose...
  • Simbody

  • Referenced in 3 articles [sw12963]
  • call “mobilizers”. A mobilizer encapsulates the observations, measurement frame, and modeling requirements into a hinge ... Mobilizers support nonlinear mappings that are mathematically equivalent to constraint manifolds but have the advantages...