This paper presents an efficient computation for least squares conditioning or estimates of it. We propose performance results using new routines on top of the multicore-GPU library MAGMA. This set of routines is based on an efficient computation of the variance-covariance matrix for which, to our knowledge, there is no implementation in current public domain libraries LAPACK and ScaLAPACK.

The objective of this work is to present a triangular interval type-2 (TIT2) intuitionistic fuzzy sets and their corresponding aggregation operators, namely, TIT2 intuitionistic fuzzy weighted averaging, TIT2 intuitionistic fuzzy ordered weighted averaging and TIT2 intuitionistic fuzzy hybrid averaging based on Frank norm operation laws. Furthermore, based on these operators, an approach to mul...

We provide several schemes to construct the continuous-variable SWAP gate and present a Hermitian generalized many-body continuous controlled-NOT gate. We introduce and study the hybrid controlled-NOT gate and controlledSWAP gate, and their physical realizations are discussed in trapped-ion systems. These continuous-variable and hybrid quantum gates may be used in the corresponding continuous-v...

Generalized estimating equation solvers in R only allow for a few pre-determined options for the link and variance functions. We provide a package, geeM, which is implemented entirely in R and allows for user specified link and variance functions. The sparse matrix representations provided in the Matrix package enable a fast implementation. To gain speed, we make use of analytic inverses of the...

This paper demonstrates that it is possible to relax the commitment to numeric degrees of belief while retaining the desirable features of the Bayesian approach for representing and changing states of belief. We first present an abstract representation of states of belief and an associated notion of conditionalization that subsume their Bayesian counterparts. Next, we provide some symbolic and ...

dReach is a bounded reachability analysis tool for nonlinear hybrid systems. It encodes reachability problems of hybrid systems to first-order formulas over real numbers, which are solved by delta-decision procedures in the SMT solver dReal. In this way, dReach is able to handle a wide range of highly nonlinear hybrid systems. It has scaled well on various realistic models from biomedical and r...

Experimental evidence suggests the existence of particles with “exotic” quantum numbers J = 1−+, such as the π1(1400) [1] and the π1(1600) [2]. Explanations of these include fourquark states and hybrid mesons — mesons with gluonic excitations. Several lattice studies [3–5] have used quenched Wilson and improved Wilson fermions to explore the possibility of such hybrid states. Using both quenche...