Result 1 to 20 of 771 total
A Hoffmann-Wielandt-type residual bound for generalized eigenvalues of a definite pair. (English)
J. Comput. Appl. Math. 237, No. 1, 208-214 (2013).
1
Neutrosophic rings. II. (English)
Proc. Jangjeon Math. Soc. 15, No. 4, 409-414 (2012).
2
Regularity of languages defined by formal series with isolated cut point. (English)
RAIRO, Theor. Inform. Appl. 46, No. 4, 479-493 (2012).
3
Algebraic and combinatorial structures on pairs of twin binary trees. (English)
J. Algebra 360, 115-157 (2012).
4
State complexity of projection and quotient on unranked trees. (English)
Kutrib, Martin (ed.) et al., Descriptional complexity of formal systems. 14th international workshop, DCFS 2012, Braga, Portugal, July 23‒25, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31622-7/pbk). Lecture Notes in Computer Science 7386, 280-293 (2012).
5
Designing q-unique DNA sequences with integer linear programs and Euler tours in de Bruijn graphs. (English)
Böcker, Sebastian (ed.) et al., German conference on bioinformatics 2012, GCB’12, September 19‒22, 2012, Jena, Germany. Selected papers based on the presentations at the conference. Wadern: Schloss Dagstuhl ‒ Leibniz Zentrum für Informatik (ISBN 978-3-939897-44-6). OASIcs ‒ OpenAccess Series in Informatics 26, 82-92, electronic only (2012).
6
Quotient-complete arc-transitive graphs. (English)
Eur. J. Comb. 33, No. 8, 1857-1881 (2012).
7
Riemannian optimization on tensor products of Grassmann manifolds: applications to generalized Rayleigh-quotients. (English)
SIAM J. Matrix Anal. Appl. 33, No. 1, 210-234 (2012).
8
dqds with aggressive early deflation. (English)
SIAM J. Matrix Anal. Appl. 33, No. 1, 22-51 (2012).
9
An equivalence of categories for graded modules over monomial algebras and path algebras of quivers. (English)
J. Algebra 353, No. 1, 249-260 (2012); Corrigendum 357, 319-321 (2012).
10
Mode selecting eigensolvers for 3D computational models. (English)
Michielsen, Bastiaan (ed.) et al., Scientific computing in electrical engineering SCEE 2010. Selected papers based on the presentations at the 8th conference, Toulouse, France, September 2010. Berlin: Springer (ISBN 978-3-642-22452-2/hbk; 978-3-642-22453-9/ebook). Mathematics in Industry 16, 127-135 (2012).
11
Multigroups induced by an arbitrary relation. (Russian)
Dopov. Nats. Akad. Nauk Ukr., Mat. Pryr. Tekh. Nauky 2012, No. 4, 39-42 (2012).
12
A harmonic Lanczos bidiagonalization method for computing interior singular triplets of large matrices. (English)
Appl. Math. Comput. 218, No. 14, 7459-7467 (2012).
13
A compositional specification theory for component behaviours. (English)
Seidl, Helmut (ed.), Programming languages and systems. 21st European symposium on programming, ESOP 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24‒April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28868-5/pbk). Lecture Notes in Computer Science 7211, 148-168 (2012).
14
A theoretical and empirical study on unbiased boundary-extended crossover for real-valued representation. (English)
Inf. Sci. 183, No. 1, 48-65 (2012).
15
Finite sets of affine points with unique associated monomial order quotient bases. (English)
J. Algebra Appl. 11, No. 2, 1250025, 12 p. (2012).
16
Handling the valuation of the predicates in a fuzzy model. (English)
Fuzzy Sets Syst. 186, No. 1, 81-99 (2012).
17
Quotient geometric crossovers and redundant encodings. (English)
Theor. Comput. Sci. 425, 4-16 (2012).
18
Design, parametrization, and pole placement of stabilizing output feedback compensators via injective cogenerator quotient signal modules. (English)
Linear Algebra Appl. 436, No. 5, 963-1000 (2012).
19
An infinite family of biquasiprimitive 2-arc transitive cubic graphs. (English)
J. Algebr. Comb. 35, No. 2, 173-192 (2012).
20
Result 1 to 20 of 771 total