2011年1月21日星期五

What is the difference between a theorem, a lemma, and a corollary? (forwarded)

Definition — a precise and unambiguous description of the meaning of a mathematical term. It characterizes the meaning of a word by giving all the properties and only those properties that must be true.

Theorem — a mathematical statement that is proved using rigorous mathematical reasoning. In a mathematical paper, the term theorem is often reserved for the most important results.

Lemma — a minor result whose sole purpose is to help in proving a theorem. It is a stepping stone on the path to proving a theorem. Very occasionally lemmas can take on a life of their own (Zorn’s lemma, Urysohn’s lemma, Burnside’s lemma, Sperner’s lemma).

Corollary — a result in which the (usually short) proof relies heavily on a given theorem (we often say that “this is a corollary of Theorem A”).

Proposition — a proved and often interesting result, but generally less important than a theorem.

Conjecture — a statement that is unproved, but is believed to be true (Collatz conjecture, Goldbach conjecture, twin prime conjecture).

Claim — an assertion that is then proved. It is often used like an informal lemma.

Axiom/Postulate — a statement that is assumed to be true without proof. These are the basic building blocks from which all theorems are proved (Euclid’s five postulates, Zermelo-Frankel axioms, Peano axioms).

Identity — a mathematical expression giving the equality of two (often variable) quantities (trigonometric identities, Euler’s identity).

Paradox — a statement that can be shown, using a given set of axioms and definitions, to be both true and false. Paradoxes are often used to show the inconsistencies in a flawed theory (Russell’s paradox). The term paradox is often used informally to describe a surprising or counterintuitive result that follows from a given set of rules (Banach-Tarski paradox, Alabama paradox, Gabriel’s horn).


http://divisbyzero.com/2008/09/22/what-is-the-difference-between-a-theorem-a-lemma-and-a-corollary/

2011年1月17日星期一

The Network Coding Home Page

The Network Coding Home Page

"Welcome to the Network Coding Coding Home Page. This site is meant to provide a service to the community by summarizing the main developments in network coding.
Our hope is that this site can serve as a repository and resource for researchers and scientists in the field "

Bibliography of Routing in Cognitive Radio Networks

[1] K. C. How, et al., "Routing and QoS provisioning in cognitive radio networks," Computer Networks, vol. 55, pp. 330-342, 2011.
[2] K. R. Chowdhury and I. F. Akyildiz, "CRP: A Routing Protocol for Cognitive Radio Ad Hoc Networks," Selected Areas in Communications, IEEE Journal on, vol. 29, pp. 794-804, 2011.
[3] M. Cesana, et al., "Routing in cognitive radio networks: Challenges and solutions," Ad Hoc Networks, vol. 9, pp. 228-248, May 2011.
[4] "Guest Editorial Advances in Cognitive Radio Networking and Communications (II)," Selected Areas in Communications, IEEE Journal on, vol. 29, pp. 673-675, 2011.
[5] Y. Zhou, et al., "Interference Minimization Routing and Scheduling in Cognitive Radio Wireless Mesh Networks," in Wireless Communications and Networking Conference (WCNC), 2010 IEEE, 2010, pp. 1-6.
[6] W. Zheng, et al., "Capacity and delay scaling laws for cognitive radio networks with routing and network coding," in MILITARY COMMUNICATIONS CONFERENCE, 2010 - MILCOM 2010, 2010, pp. 1375-1380.
[7] S. Yi, et al., "Distributed Cross-Layer Optimization for Cognitive Radio Networks," Vehicular Technology, IEEE Transactions on, vol. 59, pp. 4058-4069, 2010.
[8] W. Yean-Fu and L. Wanjiun, "On QoS Routing in Wireless Ad-Hoc Cognitive Radio Networks," in Vehicular Technology Conference (VTC 2010-Spring), 2010 IEEE 71st, 2010, pp. 1-5.
[9] X. Yang, et al., "Traffic-Aware Routing Protocol for Cognitive Network," in Vehicular Technology Conference Fall (VTC 2010-Fall), 2010 IEEE 72nd, 2010, pp. 1-5.
[10] E. van den Berg, et al., "Cognitive topology control based on game theory," in MILITARY COMMUNICATIONS CONFERENCE, 2010 - MILCOM 2010, 2010, pp. 1869-1874.
[11] J. Suyang and J. B. Evans, "Cognitive Multipath Multi-Channel Routing Protocol for Mobile Ad-Hoc Networks," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-6.
[12] J. Suyang and J. B. Evans, "Scalable Cognitive Routing Protocol for Mobile Ad-Hoc Networks," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-6.
[13] L. Shih-Chun and C. Kwang-Cheng, "Spectrum Aware Opportunistic Routing in Cognitive Radio Networks," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-6.
[14] P. Salvo, et al., "Hidden Primary User Awareness in Cognitive Radio Routing: The SBBO Protocol," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[15] Y. Rong, et al., "Spectrum-Aware Routing for Reliable End-to-End Communications in Cognitive Sensor Network," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[16] Z. Quanyan, et al., "Dynamic Interference Minimization Routing Game for On-Demand Cognitive Pilot Channel," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-6.
[17] G. Quansheng, et al., "Prediction-Based Topology Control and Routing in Cognitive Radio Mobile Ad Hoc Networks," Vehicular Technology, IEEE Transactions on, vol. 59, pp. 4443-4452, 2010.
[18] Z. Pan, et al., "Capacity and Delay Scaling in Cognitive Radio Ad Hoc Networks: Impact of Primary User Activity," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-6.
[19] X. Min, et al., "A geometric approach to improve spectrum efficiency for cognitive relay networks," Wireless Communications, IEEE Transactions on, vol. 9, pp. 268-281, 2010.
[20] X. Liming and J. Xiaohua, "QoS multicast routing and transmission scheduling in multi-hop cognitive radio networks," in GLOBECOM Workshops (GC Wkshps), 2010 IEEE, 2010, pp. 1487-1491.
[21] D. Lei, et al., "Software-defined joint routing and waveform selection for cognitive Ad Hoc networks," in MILITARY COMMUNICATIONS CONFERENCE, 2010 - MILCOM 2010, 2010, pp. 1454-1459.
[22] D. Lei, et al., "Cross-Layer Routing and Dynamic Spectrum Allocation in Cognitive Radio Ad Hoc Networks," Vehicular Technology, IEEE Transactions on, vol. 59, pp. 1969-1979, 2010.
[23] H. Kiam Cheng, et al., "An Opportunistic Service Differentiation Routing Protocol for Cognitive Radio Networks," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[24] W. Jiao and H. Yuqing, "A cross-layer design of channel assignment and routing in Cognitive Radio Networks," in Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference on, 2010, pp. 542-547.
[25] H. Donglin and M. Shiwen, "Cooperative Relay in Cognitive Radio Networks: Decode-and-Forward or Amplify-and-Forward?," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[26] L. Dong Heon, et al., "Joint Channel Assignment and Routing in Cognitive Radio-Based Wireless Mesh Networks," in Vehicular Technology Conference (VTC 2010-Spring), 2010 IEEE 71st, 2010, pp. 1-5.
[27] M. W. R. da Silva and J. F. de Rezende, "Routing in Hybrid Mesh Networks of Cognitive and IEEE 802.11 Radios," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[28] K. C. Chen, et al., "Routing for cognitive radio networks consisting of opportunistic links," Wireless Communications & Mobile Computing, vol. 10, pp. 451-466, Apr 2010.
[29] S. Chao-Fang and L. Wanjiun, "Exploiting Route Robustness in Joint Routing and Spectrum Allocation in Multi-Hop Cognitive Radio Networks," in Wireless Communications and Networking Conference (WCNC), 2010 IEEE, 2010, pp. 1-5.
[30] L. Changqing, et al., "Optimal Capacity in Underlay Paradigm Based Cognitive Radio Network with Cooperative Transmission," in Vehicular Technology Conference Fall (VTC 2010-Fall), 2010 IEEE 72nd, 2010, pp. 1-5.
[31] H. M. Almasaeid, et al., "On-Demand Multicast Routing in Cognitive Radio Mesh Networks," in GLOBECOM 2010, 2010 IEEE Global Telecommunications Conference, 2010, pp. 1-5.
[32] A. Abbagnale, et al., "Measuring the connectivity of a cognitive radio ad-hoc network," Communications Letters, IEEE, vol. 14, pp. 417-419, 2010.
[33] A. Abbagnale and F. Cuomo, "Gymkhana: A Connectivity-Based Routing Scheme for Cognitive Radio Ad Hoc Networks," in INFOCOM IEEE Conference on Computer Communications Workshops , 2010, 2010, pp. 1-5.
[34] X. W. Zhou, et al., "Cross-layer Routing Design in Cognitive Radio Networks by Colored Multigraph Model," Wireless Personal Communications, vol. 49, pp. 123-131, Apr 2009.
[35] W. Yuan and D. H. K. Tsang, "Dynamic Rate Allocation, Routing and Spectrum Sharing for Multi-Hop Cognitive Radio Networks," in Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on, 2009, pp. 1-6.
[36] S. Yang, et al., "Optimal traffic splitting in multi-hop cognitive radio networks," in Military Communications Conference, 2009. MILCOM 2009. IEEE, 2009, pp. 1-6.
[37] K. Wooseong, et al., "COCAST: Multicast mobile ad hoc networks using cognitive radio," in Military Communications Conference, 2009. MILCOM 2009. IEEE, 2009, pp. 1-7.
[38] F. Wei, et al., "Joint Optimization of Spectrum Handoff Scheduling and Routing in Multi-hop Multi-radio Cognitive Networks," in Distributed Computing Systems, 2009. ICDCS '09. 29th IEEE International Conference on, 2009, pp. 85-92.
[39] K. Tsukamoto, et al., "On Spatially-Aware Channel Selection in Dynamic Spectrum Access Multi-Hop Inter-Vehicle Communications," in Vehicular Technology Conference Fall (VTC 2009-Fall), 2009 IEEE 70th, 2009, pp. 1-7.
[40] J. Suyang and J. B. Evans, "Spectrum-Aware Routing Protocol for Cognitive Ad-Hoc Networks," in Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 2009, pp. 1-6.
[41] L. Qianxi, et al., "Optimal Route Selection and Resource Allocation in Multi-Hop Cognitive Radio Networks," in Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 2009, pp. 1-6.
[42] H. Khalife, et al., "Multihop cognitive radio networks: to route or not to route," Network, IEEE, vol. 23, pp. 20-25, 2009.
[43] J. Juncheng, et al., "Relay-Assisted Routing in Cognitive Radio Networks," in Communications, 2009. ICC '09. IEEE International Conference on, 2009, pp. 1-5.
[44] R. E. Irwin and L. A. DaSilva, "Channel Assignment Based on Routing Decisions (CARD): Traffic-Dependent Topology Control for Multi-Channel Networks," in Communications Workshops, 2009. ICC Workshops 2009. IEEE International Conference on, 2009, pp. 1-5.
[45] R. Hincapie, et al., "Efficient Recovery Algorithms for Wireless Mesh Networks with Cognitive Radios," in Communications, 2009. ICC '09. IEEE International Conference on, 2009, pp. 1-5.
[46] I. Filippini, et al., "Minimum maintenance cost routing in Cognitive Radio Networks," in Mobile Adhoc and Sensor Systems, 2009. MASS '09. IEEE 6th International Conference on, 2009, pp. 284-293.
[47] L. Ding, et al., ROSA: Distributed Joint Routing and Dynamic Spectrum Allocation in Cognitive Radio Ad Hoc Networks. New York: Assoc Computing Machinery, 2009.
[48] K. R. Chowdhury and M. D. Felice, "Search: A routing protocol for mobile cognitive radio ad-hoc networks," Computer Communications, vol. 32, pp. 1983-1997, Dec 2009.
[49] X. Bing, et al., "Reinforcement learning based spectrum-aware routing in multi-hop cognitive radio networks," in Cognitive Radio Oriented Wireless Networks and Communications, 2009. CROWNCOM '09. 4th International Conference on, 2009, pp. 1-5.
[50] I. F. Akyildiz, et al., "CRAHNs: Cognitive radio ad hoc networks," Ad Hoc Networks, vol. 7, pp. 811-836, Jul 2009.
[51] S. Yi, et al., "A cross-layer approach to multi-hop networking with cognitive radios," in Military Communications Conference, 2008. MILCOM 2008. IEEE, 2008, pp. 1-7.
[52] S. Yi and Y. T. Hou, "A Distributed Optimization Algorithm for Multi-Hop Cognitive Radio Networks," in INFOCOM 2008. The 27th Conference on Computer Communications. IEEE, 2008, pp. 1292-1300.
[53] Z. K. Yang, et al., "Local coordination based routing and spectrum assignment in multi-hop Cognitive Radio Networks," Mobile Networks & Applications, vol. 13, pp. 67-81, Apr 2008.
[54] I. Pefkianakis, et al., "SAMER: Spectrum Aware Mesh Routing in Cognitive Radio Networks," in New Frontiers in Dynamic Spectrum Access Networks, 2008. DySPAN 2008. 3rd IEEE Symposium on, 2008, pp. 1-5.
[55] P. Miao, et al., "Cost design for opportunistic multi-hop routing in Cognitive Radio networks," in Military Communications Conference, 2008. MILCOM 2008. IEEE, 2008, pp. 1-7.
[56] M. Miao and D. H. K. Tsang, "Joint Spectrum Sharing and Fair Routing in Cognitive Radio Networks," in Consumer Communications and Networking Conference, 2008. CCNC 2008. 5th IEEE, 2008, pp. 978-982.
[57] H. Khalife, et al., "Probabilistic Path Selection in Opportunistic Cognitive Radio Networks," in Global Telecommunications Conference, 2008. IEEE GLOBECOM 2008. IEEE, 2008, pp. 1-5.
[58] Y. Kai and W. Xiaodong, "Cross-layer network planning for multi-radio multi-channel cognitive wireless networks," Communications, IEEE Transactions on, vol. 56, pp. 1705-1714, 2008.
[59] M. Huisheng, et al., "Spectrum Aware Routing for Multi-Hop Cognitive Radio Networks with a Single Transceiver," in Cognitive Radio Oriented Wireless Networks and Communications, 2008. CrownCom 2008. 3rd International Conference on, 2008, pp. 1-6.
[60] R. Hincapie, et al., "QoS Routing in Wireless Mesh Networks with Cognitive Radios," in Global Telecommunications Conference, 2008. IEEE GLOBECOM 2008. IEEE, 2008, pp. 1-5.
[61] Z. Guo-Mei, et al., "STOD-RP: A Spectrum-Tree Based On-Demand Routing Protocol for Multi-Hop Cognitive Radio Networks," in Global Telecommunications Conference, 2008. IEEE GLOBECOM 2008. IEEE, 2008, pp. 1-5.
[62] L. Guang, et al., "Routing Metrics in Cognitive Radio Networks," in Circuits and Systems for Communications, 2008. ICCSC 2008. 4th IEEE International Conference on, 2008, pp. 265-269.
[63] M. G. Di Benedetto and L. De Nardis, "Cognitive routing models in UWB networks," in Cognitive Radio Oriented Wireless Networks and Communications, 2008. CrownCom 2008. 3rd International Conference on, 2008, pp. 1-6.
[64] L. De Nardis and M. G. Di Benedetto, "Cognition in routing for low rate UWB networks," in Ultra-Wideband, 2008. ICUWB 2008. IEEE International Conference on, 2008, pp. 97-100.
[65] C. W. Pyo and M. Hasegawa, "Minimum weight routing based on a common link control radio for cognitive wireless ad hoc networks," presented at the Proceedings of the 2007 international conference on Wireless communications and mobile computing, Honolulu, Hawaii, USA, 2007.
[66] R. Pal, "Efficient Routing Algorithms for Multi-Channel Dynamic Spectrum Access Networks," in New Frontiers in Dynamic Spectrum Access Networks, 2007. DySPAN 2007. 2nd IEEE International Symposium on, 2007, pp. 288-291.
[67] C. Geng, et al., "Spectrum Aware On-Demand Routing in Cognitive Radio Networks," in New Frontiers in Dynamic Spectrum Access Networks, 2007. DySPAN 2007. 2nd IEEE International Symposium on, 2007, pp. 571-574.
[68] C. Geng, et al., "Joint On-Demand Routing and Spectrum Assignment in Cognitive Radio Networks," in Communications, 2007. ICC '07. IEEE International Conference on, 2007, pp. 6499-6503.
[69] Z. Bing, et al., "Tree-Based Routing Protocol for Cognitive Wireless Access Networks," in Wireless Communications and Networking Conference, 2007.WCNC 2007. IEEE, 2007, pp. 4204-4208.
[70] W. Qiwei and Z. Haitao, "Route and spectrum selection in dynamic spectrum networks," in Consumer Communications and Networking Conference, 2006. CCNC 2006. 3rd IEEE, 2006, pp. 625-629.
[71] I. F. Akyildiz, et al., "NeXt generation/dynamic spectrum access/cognitive radio wireless networks: A survey," Computer Networks, vol. 50, pp. 2127-2159, Sep 2006.
[72] S. Krishnamurthy, et al., "Control channel based MAC-layer configuration, routing and situation awareness for cognitive radio networks," in Military Communications Conference, 2005. MILCOM 2005. IEEE, 2005, pp. 455-460 Vol. 1.
[73] X. Chungshen, et al., "A novel layered graph model for topology formation and routing in dynamic spectrum access networks," in New Frontiers in Dynamic Spectrum Access Networks, 2005. DySPAN 2005. 2005 First IEEE International Symposium on, 2005, pp. 308-317.