ZX-calculus is a graphical language for quantum computing which complete in the sense that calculation matrices can be done purely diagrammatic way. However, all previous universally axiomatisations of have included at least one rule involving trigonometric functions such as sin and cos makes it difficult application purpose. In this paper we give an algebraic axiomatisation instead there are o...

In this paper, the notion of strongly typed language will be borrowed from field computer programming to introduce a calculational framework for linear algebra and tensor calculus purpose detecting errors resulting inherent misuse objects finding natural formulations various objects. A bundle formalism, crucially relying on pullback bundle, used create rich type system with which distinguish Th...

Abstract A modification of standard linear iterative methods for the solution equations is investigated aiming at improved data-sparsity with respect to a rank function. The convergence speed modified method compared growth its iterates certain model cases. considered general setup common in data-sparse treatment high dimensional problems such as sparse approximation and low tensor calculus.

Objective: To compare the effects of calculus removal through nephroscopy and holmium laser calculus removal through ureteroscopy on patients with concurrent urinary infection at one side of their upper ureteral calculi. Method: A total of 160 patients admitted to our hospital because of concurrent urinary infection at one side of their upper ureteral calculi were selected from March 2014 to Fe...

INTRODUCTION The aim of this study was to evaluate the role of hydrochlorothiazide in pediatric calculus formers with hypercalciuria and define possible factors affecting response to treatment. MATERIALS AND METHODS Nineteen pediatric calculus formers, 12 girls and 7 boys, aged 15 days to 60 months, with idiopathic hypercalciuria received high-dose hydrochlorothiazide (1 mg/kg/d to 2 mg/kg/d)...

in  cite{gl}, b. gerla and i. leuc{s}tean introduced the notion of similarity on mv-algebra. a similarity mv-algebra is an mv-algebra endowed with a binary operation $s$ that verifies certain additional properties. also, chirtec{s} in cite{c}, study the notion of similarity on l ukasiewicz-moisil algebras. in particular, strong similarity l ukasiewicz-moisil algebras were defined. in this paper...