MSc projects at BT Research Keith Briggs keithbriggs.info

First Page		Document Content
Date: 2007-01-26 05:46:17 Graph coloring NP-complete problems Semidefinite programming Clique Lovász number Edge coloring Graph Clique problem Graph theory Mathematics Theoretical computer science		MSc projects at BT Research Keith Briggs keithbriggs.info Add to Reading List Source URL: keithbriggs.info Download Document from Source Website File Size: 241,63 KB Share Document on Facebook

	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 DocID: 195pA - View Document
	Logic and the Methodology of Science June 2004 Preliminary Exam August 23, a) Outline a proof that the theory of rings is not decidable. (b) Show that the set V of all valid formulae in the language of rings is DocID: 18sUJ - View Document
	A Fast Phase-Based Enumeration Algorithm for SVP Challenge through y-Sparse Representations of Short Lattice Vectors ? ?? Dan Ding1 , Guizhen Zhu2 , Yang Yu1 , Zhongxiang Zheng1 1 Department of Computer Science and Tech DocID: 12Qnp - View Document
	Solving the Shortest Lattice Vector Problem in Time 22.465n Xavier Pujol1 and Damien Stehl´e2 1 Universit´e de Lyon, Laboratoire LIP, CNRS-ENSL-INRIA-UCBL, 46 All´ee d’Italie, 69364 Lyon Cedex 07, France 2 DocID: 12PSf - View Document
	Improved Nguyen-Vidick Heuristic Sieve Algorithm for Shortest Vector Problem ? Xiaoyun Wang1,2 , Mingjie Liu1 , Chengliang Tian2 and Jingguo Bi2 1 Institute for Advanced Study, Tsinghua University, Beijing, China DocID: 12JYy - View Document