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, arXiv:1805.03418v1 [cs.SC] 9 MayComputing an LLL-reduced basis of the orthogonal lattice Jingwei Chen Chongqing Key Lab of Automated Reasoning & Cognition,](https://www.pdfsearch.io/img/11b068a474e4de6224ba0ce063bf2d2c.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2018-05-09 20:20:33
|
---|
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 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](https://www.pdfsearch.io/img/506c0965cfb0908a5223077c1438b09a.jpg) | Add to Reading ListSource 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 Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning (Technical Appendix) Ralf Jung MPI-SWS & Saarland University](https://www.pdfsearch.io/img/51e19952faaac73fa074927400632d13.jpg) | Add to Reading ListSource URL: plv.mpi-sws.orgLanguage: English - Date: 2015-02-02 12:34:52
|
---|
4![Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey Iris: Monoids and Invariants as an Orthogonal Basis for Concurrent Reasoning Ralf Jung David Swasey](https://www.pdfsearch.io/img/c2c254eacdea11954b933544a4f78f3a.jpg) | Add to Reading ListSource URL: plv.mpi-sws.orgLanguage: English - Date: 2015-01-05 15:36:49
|
---|
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 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](https://www.pdfsearch.io/img/35fa888adac07b5b75c3c578fdc266e9.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2007-06-29 06:52:44
|
---|
6![](https://www.pdfsearch.io/img/bd1c0b985a7e3267a4c0859f58ed9aa7.jpg) | Add to Reading ListSource URL: www.cl.cam.ac.ukLanguage: English - Date: 2012-01-13 08:10:43
|
---|
7![O P - S F N E T - Volume 21, Number 4 – July 15, 2014 Editors: Diego Dominici Martin Muldoon O P - S F N E T - Volume 21, Number 4 – July 15, 2014 Editors: Diego Dominici Martin Muldoon](https://www.pdfsearch.io/img/7133f098c14c61706820ae24a67cdebd.jpg) | Add to Reading ListSource URL: staff.fnwi.uva.nlLanguage: English - Date: 2014-07-16 11:44:23
|
---|
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 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](https://www.pdfsearch.io/img/cd3477744ae9873a4cfa763b890a87a0.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2014-11-20 17:32:17
|
---|
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 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](https://www.pdfsearch.io/img/e6b1062ec08bdc8a7a582374349a4ea0.jpg) | Add to Reading ListSource URL: vecpar.fe.up.ptLanguage: English - Date: 2010-07-02 11:05:06
|
---|
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 Unsteady Flow Sensing and Estimation via the Gappy Proper Orthogonal Decomposition K. Willcox∗ Aerospace Computational Design Laboratory Massachusetts Institute of Technology January 26, 2004](https://www.pdfsearch.io/img/0f75859a7a91578d73ac5524584c9aaf.jpg) | Add to Reading ListSource URL: web.mit.eduLanguage: English - Date: 2004-01-26 09:30:36
|
---|