We formulate a Yang-Mills action principle for noncommutative connections on an endomorphism algebra of a vector bundle. It is shown that there is an influence of the topology of the vector bundle onto the structure of the vacuums of the theory in...
Killing horizons which can be such for two or more linearly independent Killing vectors are studied. We provide a rigorous definition and then show that the set of Killing vectors sharing a Killing horizon is a Lie algebra $\mathcal{A}_{\mathcal{H}}$...
In 2009, for the first time in Cape Verde, an outbreak of dengue was reported and over twenty thousand people were infected. Only a few prophylactic measures were taken. The effects of vector control on disease spreading, such as insecticide (larvici...
We present a typed computer language, Doug, in which all typed programs may be proved to halt in polynomial time, encoded in a vector-symbolic architecture (VSA). Doug is just an encoding of the light linear functional programming language (LLFPL) de...
Offline installation media (⭐ 18)
Offline installation media (new version) (⭐ 22)
This paper presents the description of our submitted system for Voice Conversion Challenge (VCC) 2020 with vector-quantization variational autoencoder (VQ-VAE) with WaveNet as the decoder, i.e., VQ-VAE-WaveNet. VQ-VAE-WaveNet is a nonparallel VAE-bas...
said maximum ≥ vector length, is guaranteed to be non-repeating; thus, generate/create 6 random integers ranging from 1 to 40. This vector is then assigned
was FutureSplash Animator, a vector graphics and vector animations program released in May 1996. FutureSplash Animator was developed by FutureWave Software
In this paper, we formalize the idea behind capsule nets of using a capsule vector rather than a neuron activation to predict the label of samples. To this end, we propose to learn a group of capsule subspaces onto which an input feature vector is pr...
Human traffic along roads can be a major vector for infectious diseases and invasive species. Though most road traffic is local, a small number of long-distance trips can suffice to move an invasion or disease front forward. Therefore, understanding...
Sparse matrix-vector multiplication (spMVM) is the dominant operation in many sparse solvers. We investigate performance properties of spMVM with matrices of various sparsity patterns on the nVidia "Fermi" class of GPGPUs. A new "padded jagged diagon...
We look at generalisations of sets of vectors proving the Kochen-Specker theorem in 3 and 4 dimensions. It has been shown that two such sets, although unitarily inequivalent, are part of a larger 3-parameter family of vectors that share the same orth...
We summarise the contributions presented in working group B: "Diffraction and Vector Mesons" at the 12th Intl. Workshop on Deep Inelastic Scattering (DIS 2004) held in Strbske Pleso, Slovakia....
Apr 1, 2016 · I scanned a sketch of a wreath of flowers with stems and leaves that I drew, changed it to a vector image, and I am now trying to color parts of it different colors. But because the stems and the
Jan 19, 2021 · Hi. Welcome to GDSE. Although Krita is very good for digital painting, it's not the best software for creating designs based on vector shapes, even though it has basic vector capabilities. If …
We consider the task of predicting lexical entailment using distributional vectors. We perform a novel qualitative analysis of one existing model which was previously shown to only measure the prototypicality of word pairs. We find that the model str...
Tags: r, vegan | Score: 0
We discuss easily verifiable cone membership certificates, that is, certificates proving relations of the form $b\in K$ for convex cones $K$, that consist of vectors in the dual cone $K^*$. Vectors in the dual cone are usually associated with separat...
Tags: c++, c++11 | Score: -1