Previously, self-verifying symmetric difference automata were defined and a tight bound of 2n−1−1 was shown for state complexity in the unary case. We now consider the non-unary case and show that, for every n≥ 2, there is a regular languageLn accepted by a non-unary self-verifying symmetric difference nondeterministic automaton with n states, such that its equivalent minimal deterministic fini...

Think of a quaternion Q as a vector augmented by a real number to make a four element entity. It has a real part Qcre and a vector part Qcve: If Qcre is zero, Q represents an ordinary vector; if Qcve is zero, it represents an ordinary real number. In any case, the ratio between the real part and the magnitude of the vector part jQcvej plays an important role in rotations, and is conveniently re...

The support vector (SV) machine is a novel type of learning machine, based on statistical learning theory, which contains polynomial classifiers, neural networks, and radial basis function (RBF) networks as special cases. In the RBF case, the SV algorithm automatically determines centers, weights, and threshold that minimize an upper bound on the expected test error. The present study is devote...

background: sodium valproate (sv) has been approved for migraine prophylaxis and its intravenous form is used to treat acute migraine attacks. we compared the efficacy and safety of intravenous sv and subcutaneous sumatriptan in managing acute migraine attacks. methods: this double-blind randomized clinical trial divided 90 patients into two groups: one group received 400 mg of intravenous sv a...

This paper discusses and optimizes an HMM/GMM based User-Customized Password Speaker Verification (UCP-SV) system. Unlike text-dependent speaker verification, in UCP-SV systems, customers can choose their own passwords with no lexical constraints. The password has to be pronounced a few times during the enrollment step to create a customer dependent model. Although potentially more “user-friend...

Reflection and transmission of plane waves between two initially stressed thermoelastic half-spaces with orthotropic type of anisotropy is studied. Incidence of a SV-type wave from the lower half-space is considered and the amplitude ratios of the reflected and transmitted SV-wave, P-wave and thermal wave are obtained by using appropriate boundary conditions. Numerical computation for a particu...

Background: Sodium valproate (SV) has been approved for migraine prophylaxis and its intravenous form is used to treat acute migraine attacks. We compared the efficacy and safety of intravenous SV and subcutaneous Sumatriptan in managing acute migraine attacks. Methods: This double-blind randomized clinical trial divided 90 patients into two groups: one group received 400 mg of intravenous SV a...

We report a case of double primary liver cancer comprising hepatocellular carcinoma (HCC) and intrahepatic cholangiocarcinoma (ICC). A 58-year-old Chinese man without obvious liver cirrhosis was diagnosed with multiple HCC in segment V (SV) and segment VIII (SVIII) of the liver. Preoperative abdominal magnetic resonance imaging revealed two solid masses in SV and SVIII. We performed hepatic res...

A Santha-Vazirani (SV) source is a sequence of random bits where the conditional distribution of each bit, given the previous bits, can be partially controlled by an adversary. Santha and Vazirani show that deterministic randomness extraction from these sources is impossible. In this paper, we study the generalization of SV sources for non-binary sequences. We show that unlike the binary case, ...