Orthogonal basis - PDFSEARCH.IO - Document Search Engine

Orthogonal basis
Results: 27

#	Item
1	arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition, Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-05-09 20:20:33 Cryptography Algebra Mathematics Linear algebra Computational number theory Lattice points Lattice-based cryptography Post-quantum cryptography LenstraLenstraLovsz lattice basis reduction algorithm Lattice reduction Lattice GramSchmidt process
2	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung, David Swasey, Filip Sieczkowski, Kasper Svendsen, Aaron Turon, Lars Birkedal, Derek Dreyer Max Planck Institute for Software Systems Add to Reading List Source URL: people.mpi-sws.org - Date: 2015-09-30 05:51:35
3	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-02-02 12:34:52
4	Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Add to Reading List Source URL: plv.mpi-sws.org Language: English - Date: 2015-01-05 15:36:49 Algebra Abstract algebra Mathematics Semigroup theory Monoid Monad Separation logic Invariant Modal logic Free monoid Syntactic monoid
5	Lattice-Reduction-Aided Receivers for MIMO-OFDM in Spatial Multiplexing Systems Inaki Berenguer1 , Jaime Adeane1 , Ian J. Wassell1 , and Xiaodong Wang2 1 Laboratory for Communication Engineering Department of Engineering Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2007-06-29 06:52:44 Mathematics OSI protocols Computational number theory Lattice points Algebra Orthogonal frequency-division multiplexing MIMO Cyclic prefix Lenstra–Lenstra–Lovász lattice basis reduction algorithm Radio resource management Information theory IEEE 802
6	PDF Document Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2012-01-13 08:10:43 Matrix Restricted isometry property Orthogonal matrix Eigenvalues and eigenvectors Singular value decomposition Projection Rank Basis Compressed sensing Algebra Mathematics Linear algebra
7	O P - S F N E T - Volume 21, Number 4 – July 15, 2014 Editors: Diego Dominici Martin Muldoon Add to Reading List Source URL: staff.fnwi.uva.nl Language: English - Date: 2014-07-16 11:44:23 Special functions Gábor Szegő Askey scheme Basis function Mourad Ismail Vilmos Totik Mathematical analysis Orthogonal polynomials Mathematics
8	Orthogonal basis for functions over a slice of the Boolean hypercube Yuval Filmus Institute for Advanced Study, Princeton, NJ November 20, 2014 Abstract We present a simple, explicit orthogonal basis of eigenvectors for Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-11-20 17:32:17 Polynomials Multilinear algebra Algebraic geometry Orthogonal polynomials Vector space Homogeneous polynomial Basis Inner product space Schwartz–Zippel lemma Algebra Mathematics Linear algebra
9	Performance and Numerical Accuracy Evaluation of Heterogeneous Multicore Systems for Krylov Orthogonal Basis Computation J. Dubois CEA/DEN/DM2S/SERMA – Université De Lille – LIFL/MAP Add to Reading List Source URL: vecpar.fe.up.pt Language: English - Date: 2010-07-02 11:05:06 Linear algebra Numerical linear algebra GPGPU Graphics hardware Floating point FLOPS Multiply–accumulate operation Kernel Krylov subspace Algebra Computer arithmetic Mathematics
10	Unsteady Flow Sensing and Estimation via the Gappy Proper Orthogonal Decomposition K. Willcox∗ Aerospace Computational Design Laboratory Massachusetts Institute of Technology January 26, 2004 Add to Reading List Source URL: web.mit.edu Language: English - Date: 2004-01-26 09:30:36 Abstract algebra Vector space Principal component analysis Navier–Stokes equations Euclidean vector Flow measurement Eigenvalues and eigenvectors Basis Orthogonality Algebra Mathematics Linear algebra