Search dblp for Publications

export results for "toc:db/journals/corr/corr0701.bht:"

 download as .bib file

@article{DBLP:journals/corr/BisdorffM07,
  author       = {Raymond Bisdorff and
                  Jean{-}Luc Marichal},
  title        = {Counting non-isomorphic maximal independent sets of the n-cycle graph},
  journal      = {CoRR},
  volume       = {abs/math/0701647},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701647},
  eprinttype    = {arXiv},
  eprint       = {math/0701647},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/BisdorffM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/HagiwaraI07,
  author       = {Manabu Hagiwara and
                  Hideki Imai},
  title        = {Quantum Quasi-Cyclic {LDPC} Codes},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0701020},
  year         = {2007},
  url          = {http://arxiv.org/abs/quant-ph/0701020},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0701020},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/HagiwaraI07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Jalsenius07,
  author       = {Markus Jalsenius},
  title        = {Strong Spatial Mixing and Rapid Mixing with Five Colours for the Kagome
                  Lattice},
  journal      = {CoRR},
  volume       = {abs/math-ph/0701043},
  year         = {2007},
  url          = {http://arxiv.org/abs/math-ph/0701043},
  eprinttype    = {arXiv},
  eprint       = {math-ph/0701043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Jalsenius07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cond-mat-0701184,
  author       = {Bogdan Danila and
                  Yong Yu and
                  John A. Marsh and
                  Kevin E. Bassler},
  title        = {Transport optimization on complex networks},
  journal      = {CoRR},
  volume       = {abs/cond-mat/0701184},
  year         = {2007},
  url          = {http://arxiv.org/abs/cond-mat/0701184},
  eprinttype    = {arXiv},
  eprint       = {cond-mat/0701184},
  timestamp    = {Wed, 03 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cond-mat-0701184.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cond-mat-0701218,
  author       = {R. C. Venkatesan},
  title        = {Generalized Statistics Framework for Rate Distortion Theory with Bregman
                  Divergences},
  journal      = {CoRR},
  volume       = {abs/cond-mat/0701218},
  year         = {2007},
  url          = {http://arxiv.org/abs/cond-mat/0701218},
  eprinttype    = {arXiv},
  eprint       = {cond-mat/0701218},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cond-mat-0701218.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cond-mat-0701319,
  author       = {R. C. Venkatesan},
  title        = {Statistical Cryptography using a Fisher-Schr{\"{o}}dinger Model},
  journal      = {CoRR},
  volume       = {abs/cond-mat/0701319},
  year         = {2007},
  url          = {http://arxiv.org/abs/cond-mat/0701319},
  eprinttype    = {arXiv},
  eprint       = {cond-mat/0701319},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cond-mat-0701319.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701001,
  author       = {Ashutosh Deepak Gore and
                  Srikanth Jagabathula and
                  Abhay Karandikar},
  title        = {On High Spatial Reuse Link Scheduling in {STDMA} Wireless Ad Hoc Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701001},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701001},
  eprinttype    = {arXiv},
  eprint       = {cs/0701001},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701002,
  author       = {Semih Serbetli and
                  Aylin Yener},
  title        = {Relay Assisted {F/TDMA} Ad Hoc Networks: Node Classification, Power
                  Allocation and Relaying Strategies},
  journal      = {CoRR},
  volume       = {abs/cs/0701002},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701002},
  eprinttype    = {arXiv},
  eprint       = {cs/0701002},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701003,
  author       = {Jens Christian Claussen},
  title        = {Magnification Laws of Winner-Relaxing and Winner-Enhancing Kohonen
                  Feature Maps},
  journal      = {CoRR},
  volume       = {abs/cs/0701003},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701003},
  eprinttype    = {arXiv},
  eprint       = {cs/0701003},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701004,
  author       = {Sumit Ganguly},
  title        = {An algebraic approach to complexity of data stream computations},
  journal      = {CoRR},
  volume       = {abs/cs/0701004},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701004},
  eprinttype    = {arXiv},
  eprint       = {cs/0701004},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701005,
  author       = {Christian Tanguy},
  title        = {Exact solutions for the two- and all-terminal reliabilities of the
                  Brecht-Colbourn ladder and the generalized fan},
  journal      = {CoRR},
  volume       = {abs/cs/0701005},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701005},
  eprinttype    = {arXiv},
  eprint       = {cs/0701005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701006,
  author       = {Stefan Laendner and
                  Thorsten Hehn and
                  Olgica Milenkovic and
                  Johannes B. Huber},
  title        = {Two Methods for Reducing the Error-Floor of {LDPC} Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701006},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701006},
  eprinttype    = {arXiv},
  eprint       = {cs/0701006},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701007,
  author       = {Hamed Hatami and
                  Ruzbeh Tusserkani},
  title        = {On the Complexity of the Circular Chromatic Number},
  journal      = {CoRR},
  volume       = {abs/cs/0701007},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701007},
  eprinttype    = {arXiv},
  eprint       = {cs/0701007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701008,
  author       = {Hamed Hatami and
                  Hossein Maserrat},
  title        = {On the Computational Complexity of Defining Sets},
  journal      = {CoRR},
  volume       = {abs/cs/0701008},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701008},
  eprinttype    = {arXiv},
  eprint       = {cs/0701008},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701009,
  author       = {Peyman Afshani and
                  Hamed Hatami},
  title        = {Approximation and Inapproximability Results for Maximum Clique of
                  Disc Graphs in High Dimensions},
  journal      = {CoRR},
  volume       = {abs/cs/0701009},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701009},
  eprinttype    = {arXiv},
  eprint       = {cs/0701009},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701010,
  author       = {Ahmed Samy Sidky and
                  James D. Arthur},
  title        = {Determining the Applicability of Agile Practices to Mission and Life-critical
                  Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0701010},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701010},
  eprinttype    = {arXiv},
  eprint       = {cs/0701010},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701011,
  author       = {Michael B. Baer},
  title        = {Infinite-Alphabet Prefix Codes Optimal for beta-Exponential Penalties},
  journal      = {CoRR},
  volume       = {abs/cs/0701011},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701011},
  eprinttype    = {arXiv},
  eprint       = {cs/0701011},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701012,
  author       = {Michael B. Baer},
  title        = {D-ary Bounded-Length Huffman Coding},
  journal      = {CoRR},
  volume       = {abs/cs/0701012},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701012},
  eprinttype    = {arXiv},
  eprint       = {cs/0701012},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701013,
  author       = {Zengyou He and
                  Xiaofei Xu and
                  Shengchun Deng},
  title        = {Attribute Value Weighting in K-Modes Clustering},
  journal      = {CoRR},
  volume       = {abs/cs/0701013},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701013},
  eprinttype    = {arXiv},
  eprint       = {cs/0701013},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701014,
  author       = {Moustapha Diaby},
  title        = {A Reply to Hofman On: "Why {LP} cannot solve large instances of NP-complete
                  problems in polynomial time"},
  journal      = {CoRR},
  volume       = {abs/cs/0701014},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701014},
  eprinttype    = {arXiv},
  eprint       = {cs/0701014},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701015,
  author       = {Pierre Sens and
                  Luciana Bezerra Arantes and
                  Mathieu Bouillaguet},
  title        = {Asynchronous Implementation of Failure Detectors with partial connectivity
                  and unknown participants},
  journal      = {CoRR},
  volume       = {abs/cs/0701015},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701015},
  eprinttype    = {arXiv},
  eprint       = {cs/0701015},
  timestamp    = {Wed, 18 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701016,
  author       = {Oded Kafri},
  title        = {The Second Law and Informatics},
  journal      = {CoRR},
  volume       = {abs/cs/0701016},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701016},
  eprinttype    = {arXiv},
  eprint       = {cs/0701016},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701017,
  author       = {Giacomo Bacci and
                  Marco Luise and
                  H. Vincent Poor and
                  Antonia M. Tulino},
  title        = {Energy-Efficient Power Control in Impulse Radio {UWB} Wireless Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701017},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701017},
  eprinttype    = {arXiv},
  eprint       = {cs/0701017},
  timestamp    = {Fri, 19 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701018,
  author       = {Andrew Duggan and
                  Alexander Barg},
  title        = {Performance Analysis of Algebraic Soft-Decision Decoding of Reed-Solomon
                  Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701018},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701018},
  eprinttype    = {arXiv},
  eprint       = {cs/0701018},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701019,
  author       = {Tan F. Wong and
                  Tat M. Lok and
                  John M. Shea},
  title        = {Flow-optimized Cooperative Transmission for the Relay Channel},
  journal      = {CoRR},
  volume       = {abs/cs/0701019},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701019},
  eprinttype    = {arXiv},
  eprint       = {cs/0701019},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701022,
  author       = {Mateusz Zakrzewski},
  title        = {Definable functions in the simply typed lambda-calculus},
  journal      = {CoRR},
  volume       = {abs/cs/0701022},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701022},
  eprinttype    = {arXiv},
  eprint       = {cs/0701022},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701023,
  author       = {Sergey Gubin},
  title        = {A Polynomial Time Algorithm for 3-SAT},
  journal      = {CoRR},
  volume       = {abs/cs/0701023},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701023},
  eprinttype    = {arXiv},
  eprint       = {cs/0701023},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701024,
  author       = {Yingbin Liang and
                  H. Vincent Poor and
                  Shlomo Shamai},
  title        = {Secure Communication over Fading Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701024},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701024},
  eprinttype    = {arXiv},
  eprint       = {cs/0701024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701025,
  author       = {{\O}yvind Ryan and
                  M{\'{e}}rouane Debbah},
  title        = {Free deconvolution for signal processing applications},
  journal      = {CoRR},
  volume       = {abs/cs/0701025},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701025},
  eprinttype    = {arXiv},
  eprint       = {cs/0701025},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701026,
  author       = {Po{-}Ning Chen and
                  Yunghsiang S. Han and
                  Carlos R. P. Hartmann and
                  Hong{-}Bin Wu},
  title        = {Analysis of Sequential Decoding Complexity Using the Berry-Esseen
                  Inequality},
  journal      = {CoRR},
  volume       = {abs/cs/0701026},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701026},
  eprinttype    = {arXiv},
  eprint       = {cs/0701026},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701027,
  author       = {Hari Palaiyanur and
                  Cheng Chang and
                  Anant Sahai},
  title        = {The source coding game with a cheating switcher},
  journal      = {CoRR},
  volume       = {abs/cs/0701027},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701027},
  eprinttype    = {arXiv},
  eprint       = {cs/0701027},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701028,
  author       = {Juan P. Herrera and
                  Pedro A. Pury},
  title        = {Statistical keyword detection in literary corpora},
  journal      = {CoRR},
  volume       = {abs/cs/0701028},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701028},
  eprinttype    = {arXiv},
  eprint       = {cs/0701028},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701029,
  author       = {Dariusz Kusmierek},
  title        = {The Inhabitation Problem for Rank Two Intersection Types},
  journal      = {CoRR},
  volume       = {abs/cs/0701029},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701029},
  eprinttype    = {arXiv},
  eprint       = {cs/0701029},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701030,
  author       = {Eric Zhi Chen},
  title        = {New Constructions of a Family of 2-Generator Quasi-Cyclic Two-Weight
                  Codes and Related Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701030},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701030},
  eprinttype    = {arXiv},
  eprint       = {cs/0701030},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701031,
  author       = {Fr{\'{e}}d{\'{e}}ric Blanqui and
                  Th{\'{e}}r{\`{e}}se Hardin and
                  Pierre Weis},
  title        = {On the implementation of construction functions for non-free concrete
                  data types},
  journal      = {CoRR},
  volume       = {abs/cs/0701031},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701031},
  eprinttype    = {arXiv},
  eprint       = {cs/0701031},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701033,
  author       = {Blake Hegerle},
  title        = {A Counterexample to a Proposed Proof of P=NP by S. Gubin},
  journal      = {CoRR},
  volume       = {abs/cs/0701033},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701033},
  eprinttype    = {arXiv},
  eprint       = {cs/0701033},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701034,
  author       = {Giacomo Bacci and
                  Marco Luise and
                  H. Vincent Poor},
  title        = {Performance of Rake Receivers in {IR-UWB} Networks Using Energy-Efficient
                  Power Control},
  journal      = {CoRR},
  volume       = {abs/cs/0701034},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701034},
  eprinttype    = {arXiv},
  eprint       = {cs/0701034},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701035,
  author       = {Edwin A. Henneken and
                  Michael J. Kurtz and
                  G{\"{u}}nther Eichhorn and
                  Alberto Accomazzi and
                  Carolyn Stern{-}Grant and
                  Donna M. Thompson and
                  Elizabeth Bohlen and
                  Stephen S. Murray},
  title        = {Finding Astronomical Communities Through Co-readership Analysis},
  journal      = {CoRR},
  volume       = {abs/cs/0701035},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701035},
  eprinttype    = {arXiv},
  eprint       = {cs/0701035},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701036,
  author       = {Boris Ryabko},
  title        = {Compression-based methods for nonparametric density estimation, on-line
                  prediction, regression and classification for time series},
  journal      = {CoRR},
  volume       = {abs/cs/0701036},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701036},
  eprinttype    = {arXiv},
  eprint       = {cs/0701036},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701037,
  author       = {Jason Ansel and
                  Michael Rieker and
                  Gene Cooperman},
  title        = {User-Level Socket-Based Checkpointing for Distributed and Parallel
                  Computation},
  journal      = {CoRR},
  volume       = {abs/cs/0701037},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701037},
  eprinttype    = {arXiv},
  eprint       = {cs/0701037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701038,
  author       = {Peter Jung},
  title        = {Approximate Eigenstructure of {LTV} Channels with Compactly Supported
                  Spreading},
  journal      = {CoRR},
  volume       = {abs/cs/0701038},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701038},
  eprinttype    = {arXiv},
  eprint       = {cs/0701038},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701039,
  author       = {Ian Pratt{-}Hartmann},
  title        = {On the Complexity of the Numerically Definite Syllogistic and Related
                  Fragments},
  journal      = {CoRR},
  volume       = {abs/cs/0701039},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701039},
  eprinttype    = {arXiv},
  eprint       = {cs/0701039},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701040,
  author       = {Fumin Zhang},
  title        = {Curve Tracking Control for Legged Locomotion in Horizontal Plane},
  journal      = {CoRR},
  volume       = {abs/cs/0701040},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701040},
  eprinttype    = {arXiv},
  eprint       = {cs/0701040},
  timestamp    = {Tue, 11 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701041,
  author       = {Young{-}Han Kim},
  title        = {A Coding Theorem for a Class of Stationary Channels with Feedback},
  journal      = {CoRR},
  volume       = {abs/cs/0701041},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701041},
  eprinttype    = {arXiv},
  eprint       = {cs/0701041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701042,
  author       = {Amos Lapidoth and
                  Stephan Tinguely},
  title        = {Sending a Bivariate Gaussian Source over a Gaussian {MAC} with Feedback},
  journal      = {CoRR},
  volume       = {abs/cs/0701042},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701042},
  eprinttype    = {arXiv},
  eprint       = {cs/0701042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701043,
  author       = {Urs Niesen and
                  Devavrat Shah and
                  Gregory W. Wornell},
  title        = {Adaptive Alternating Minimization Algorithms},
  journal      = {CoRR},
  volume       = {abs/cs/0701043},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701043},
  eprinttype    = {arXiv},
  eprint       = {cs/0701043},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701044,
  author       = {Sunder Lal and
                  Tej Singh},
  title        = {New {ID} Based Multi-Proxy Multi-Signcryption Scheme from Pairings},
  journal      = {CoRR},
  volume       = {abs/cs/0701044},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701044},
  eprinttype    = {arXiv},
  eprint       = {cs/0701044},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701045,
  author       = {Iosif Pinelis},
  title        = {Polygon Convexity: Another O(n) Test},
  journal      = {CoRR},
  volume       = {abs/cs/0701045},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701045},
  eprinttype    = {arXiv},
  eprint       = {cs/0701045},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701046,
  author       = {Andrea G. Forte and
                  Henning Schulzrinne},
  title        = {Cooperation Between Stations in Wireless Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701046},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701046},
  eprinttype    = {arXiv},
  eprint       = {cs/0701046},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701047,
  author       = {Lukasz Debowski},
  title        = {On vocabulary size of grammar-based codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701047},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701047},
  eprinttype    = {arXiv},
  eprint       = {cs/0701047},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701048,
  author       = {Samar Agnihotri and
                  Pavan Nuggehalli},
  title        = {Energy Conscious Interactive Communication for Sensor Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701048},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701048},
  eprinttype    = {arXiv},
  eprint       = {cs/0701048},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701049,
  author       = {Barnaby Martin},
  title        = {On the Complexity of a Derivative Chess Problem},
  journal      = {CoRR},
  volume       = {abs/cs/0701049},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701049},
  eprinttype    = {arXiv},
  eprint       = {cs/0701049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701050,
  author       = {Olivier Rioul},
  title        = {A Simple Proof of the Entropy-Power Inequality via Properties of Mutual
                  Information},
  journal      = {CoRR},
  volume       = {abs/cs/0701050},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701050},
  eprinttype    = {arXiv},
  eprint       = {cs/0701050},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701051,
  author       = {Samar Agnihotri and
                  Pavan Nuggehalli},
  title        = {Coding, Scheduling, and Cooperation in Wireless Sensor Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701051},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701051},
  eprinttype    = {arXiv},
  eprint       = {cs/0701051},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701052,
  author       = {Geoffroy Simon and
                  Amaury Lendasse and
                  Marie Cottrell and
                  Jean{-}Claude Fort and
                  Michel Verleysen},
  title        = {Time Series Forecasting: Obtaining Long Term Trends with Self-Organizing
                  Maps},
  journal      = {CoRR},
  volume       = {abs/cs/0701052},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701052},
  eprinttype    = {arXiv},
  eprint       = {cs/0701052},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701052.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701053,
  author       = {Deqiang Chen and
                  Kambiz Azarian and
                  J. Nicholas Laneman},
  title        = {A Case For Amplify-Forward Relaying in the Block-Fading Multi-Access
                  Channel},
  journal      = {CoRR},
  volume       = {abs/cs/0701053},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701053},
  eprinttype    = {arXiv},
  eprint       = {cs/0701053},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701054,
  author       = {Nathan Segerlind},
  title        = {Nearly-Exponential Size Lower Bounds for Symbolic Quantifier Elimination
                  Algorithms and OBDD-Based Proofs of Unsatisfiability},
  journal      = {CoRR},
  volume       = {abs/cs/0701054},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701054},
  eprinttype    = {arXiv},
  eprint       = {cs/0701054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701055,
  author       = {Leif Hanlen and
                  Thushara D. Abhayapala},
  title        = {Bounds on Space-Time-Frequency Dimensionality},
  journal      = {CoRR},
  volume       = {abs/cs/0701055},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701055},
  eprinttype    = {arXiv},
  eprint       = {cs/0701055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701056,
  author       = {Leif Hanlen and
                  Thushara D. Abhayapala},
  title        = {Space-Time-Frequency Degrees of Freedom: Fundamental Limits for Spatial
                  Information},
  journal      = {CoRR},
  volume       = {abs/cs/0701056},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701056},
  eprinttype    = {arXiv},
  eprint       = {cs/0701056},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701057,
  author       = {Xiaofei Huang},
  title        = {Cooperative Optimization for Energy Minimization: {A} Case Study of
                  Stereo Matching},
  journal      = {CoRR},
  volume       = {abs/cs/0701057},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701057},
  eprinttype    = {arXiv},
  eprint       = {cs/0701057},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701058,
  author       = {Amin Mobasher and
                  Amir K. Khandani},
  title        = {Precoding in Multiple-Antenna Broadcast Systems with a Probabilistic
                  Viewpoint},
  journal      = {CoRR},
  volume       = {abs/cs/0701058},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701058},
  eprinttype    = {arXiv},
  eprint       = {cs/0701058},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701059,
  author       = {Samar Agnihotri and
                  Pavan Nuggehalli},
  title        = {Enhancing Sensor Network Lifetime Using Interactive Communication},
  journal      = {CoRR},
  volume       = {abs/cs/0701059},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701059},
  eprinttype    = {arXiv},
  eprint       = {cs/0701059},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701060,
  author       = {Salah A. Aly and
                  Andreas Klappenecker and
                  Pradeep Kiran Sarvepalli},
  title        = {Duadic Group Algebra Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701060},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701060},
  eprinttype    = {arXiv},
  eprint       = {cs/0701060},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701061,
  author       = {Jia Liu and
                  Y. Thomas Hou and
                  Hanif D. Sherali},
  title        = {Conjugate Gradient Projection Approach for Multi-Antenna Gaussian
                  Broadcast Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701061},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701061},
  eprinttype    = {arXiv},
  eprint       = {cs/0701061},
  timestamp    = {Thu, 11 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701062,
  author       = {Sichao Yang and
                  Ralf Koetter},
  title        = {Network Coding over a Noisy Relay : a Belief Propagation Approach},
  journal      = {CoRR},
  volume       = {abs/cs/0701062},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701062},
  eprinttype    = {arXiv},
  eprint       = {cs/0701062},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701063,
  author       = {Keigo Takeuchi and
                  Toshiyuki Tanaka},
  title        = {Hierarchical Decoupling Principle of a {MIMO-CDMA} Channel in Asymptotic
                  Limits},
  journal      = {CoRR},
  volume       = {abs/cs/0701063},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701063},
  eprinttype    = {arXiv},
  eprint       = {cs/0701063},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701064,
  author       = {Kai Engelhardt and
                  Yoram Moses},
  title        = {Causing Communication Closure: Safe Program Composition with Reliable
                  Non-FIFO Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701064},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701064},
  eprinttype    = {arXiv},
  eprint       = {cs/0701064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701065,
  author       = {Ioannis Chatzigeorgiou and
                  Miguel R. D. Rodrigues and
                  Ian J. Wassell and
                  Rolando A. Carrasco},
  title        = {Can Punctured Rate-1/2 Turbo Codes Achieve a Lower Error Floor than
                  their Rate-1/3 Parent Codes?},
  journal      = {CoRR},
  volume       = {abs/cs/0701065},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701065},
  eprinttype    = {arXiv},
  eprint       = {cs/0701065},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701066,
  author       = {Lucile Sassatelli and
                  David Declercq},
  title        = {Non-binary Hybrid {LDPC} Codes: Structure, Decoding and Optimization},
  journal      = {CoRR},
  volume       = {abs/cs/0701066},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701066},
  eprinttype    = {arXiv},
  eprint       = {cs/0701066},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701067,
  author       = {G. Susinder Rajan and
                  Anshoo Tandon and
                  B. Sundar Rajan},
  title        = {On Four-group {ML} Decodable Distributed Space Time Codes for Cooperative
                  Communication},
  journal      = {CoRR},
  volume       = {abs/cs/0701067},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701067},
  eprinttype    = {arXiv},
  eprint       = {cs/0701067},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701068,
  author       = {G. Susinder Rajan and
                  B. Sundar Rajan},
  title        = {Distributed Space-Time Codes for Cooperative Networks with Partial
                  {CSI}},
  journal      = {CoRR},
  volume       = {abs/cs/0701068},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701068},
  eprinttype    = {arXiv},
  eprint       = {cs/0701068},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701069,
  author       = {Fr{\'{e}}d{\'{e}}ric Didier and
                  Yann Laigle{-}Chapuy},
  title        = {Finding low-weight polynomial multiples using discrete logarithm},
  journal      = {CoRR},
  volume       = {abs/cs/0701069},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701069},
  eprinttype    = {arXiv},
  eprint       = {cs/0701069},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701070,
  author       = {Daniel Augot and
                  Magali Bardet and
                  Jean{-}Charles Faug{\`{e}}re},
  title        = {On formulas for decoding binary cyclic codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701070},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701070},
  eprinttype    = {arXiv},
  eprint       = {cs/0701070},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701071,
  author       = {Nikolaos Laoutaris and
                  Rajmohan Rajaraman and
                  Ravi Sundaram and
                  Shang{-}Hua Teng},
  title        = {A bounded-degree network formation game},
  journal      = {CoRR},
  volume       = {abs/cs/0701071},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701071},
  eprinttype    = {arXiv},
  eprint       = {cs/0701071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701072,
  author       = {Jakob Voss},
  title        = {Tagging, Folksonomy {\&} Co - Renaissance of Manual Indexing?},
  journal      = {CoRR},
  volume       = {abs/cs/0701072},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701072},
  eprinttype    = {arXiv},
  eprint       = {cs/0701072},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701073,
  author       = {Jeremy Avigad and
                  Kevin Donnelly},
  title        = {A decision procedure for linear "big O" equations},
  journal      = {CoRR},
  volume       = {abs/cs/0701073},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701073},
  eprinttype    = {arXiv},
  eprint       = {cs/0701073},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701074,
  author       = {Jerome K. Vanclay},
  title        = {On the robustness of the h-index},
  journal      = {CoRR},
  volume       = {abs/cs/0701074},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701074},
  eprinttype    = {arXiv},
  eprint       = {cs/0701074},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701074.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701075,
  author       = {Toshiya Takami and
                  Jun Maki and
                  Jun{-}ichi Ooba and
                  Yuichi Inadomi and
                  Hiroaki Honda and
                  Taizo Kobayashi and
                  Rie Nogita and
                  Mutsumi Aoyagi},
  title        = {Open-architecture Implementation of Fragment Molecular Orbital Method
                  for Peta-scale Computing},
  journal      = {CoRR},
  volume       = {abs/cs/0701075},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701075},
  eprinttype    = {arXiv},
  eprint       = {cs/0701075},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701075.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701076,
  author       = {Norman Danner and
                  James S. Royer},
  title        = {Time-complexity semantics for feasible affine recursions (extended
                  abstract)},
  journal      = {CoRR},
  volume       = {abs/cs/0701076},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701076},
  eprinttype    = {arXiv},
  eprint       = {cs/0701076},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701076.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701077,
  author       = {Karl J. Obermeyer and
                  Anurag Ganguli and
                  Francesco Bullo},
  title        = {Asynchronous Distributed Searchlight Scheduling},
  journal      = {CoRR},
  volume       = {abs/cs/0701077},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701077},
  eprinttype    = {arXiv},
  eprint       = {cs/0701077},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701077.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701078,
  author       = {Vignesh Sethuraman and
                  Ligong Wang and
                  Bruce E. Hajek and
                  Amos Lapidoth},
  title        = {Low {SNR} Capacity of Fading Channels -- {MIMO} and Delay Spread},
  journal      = {CoRR},
  volume       = {abs/cs/0701078},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701078},
  eprinttype    = {arXiv},
  eprint       = {cs/0701078},
  timestamp    = {Mon, 04 Nov 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701078.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701079,
  author       = {Yuriy A. Reznik},
  title        = {Practical Binary Adaptive Block Coder},
  journal      = {CoRR},
  volume       = {abs/cs/0701079},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701079},
  eprinttype    = {arXiv},
  eprint       = {cs/0701079},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701079.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701080,
  author       = {Shin{-}Lin Shieh and
                  Po{-}Ning Chen and
                  Yunghsiang S. Han},
  title        = {Analysis of the Sufficient Path Elimination Window for the Maximum-Likelihood
                  Sequential-Search Decoding Algorithm for Binary Convolutional Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701080},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701080},
  eprinttype    = {arXiv},
  eprint       = {cs/0701080},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701080.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701081,
  author       = {Alexander Serebrenik and
                  Wim Vanhoof},
  title        = {Fingerprinting Logic Programs},
  journal      = {CoRR},
  volume       = {abs/cs/0701081},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701081},
  eprinttype    = {arXiv},
  eprint       = {cs/0701081},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701081.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701082,
  author       = {Fr{\'{e}}d{\'{e}}ric Mesnard and
                  Alexander Serebrenik},
  title        = {Recurrence with affine level mappings is P-time decidable for {CLP(R)}},
  journal      = {CoRR},
  volume       = {abs/cs/0701082},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701082},
  eprinttype    = {arXiv},
  eprint       = {cs/0701082},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701082.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701083,
  author       = {Georg Gottlob and
                  Marko Samer},
  title        = {A Backtracking-Based Algorithm for Computing Hypertree-Decompositions},
  journal      = {CoRR},
  volume       = {abs/cs/0701083},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701083},
  eprinttype    = {arXiv},
  eprint       = {cs/0701083},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701083.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701084,
  author       = {Michael Chertkov and
                  Mikhail G. Stepanov},
  title        = {Pseudo-codeword Landscape},
  journal      = {CoRR},
  volume       = {abs/cs/0701084},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701084},
  eprinttype    = {arXiv},
  eprint       = {cs/0701084},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701084.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701085,
  author       = {James Harold Thomas},
  title        = {Variations on the Fibonacci Universal Code},
  journal      = {CoRR},
  volume       = {abs/cs/0701085},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701085},
  eprinttype    = {arXiv},
  eprint       = {cs/0701085},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701085.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701086,
  author       = {Vladimir Y. Chernyak and
                  Michael Chertkov},
  title        = {Loop Calculus and Belief Propagation for q-ary Alphabet: Loop Tower},
  journal      = {CoRR},
  volume       = {abs/cs/0701086},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701086},
  eprinttype    = {arXiv},
  eprint       = {cs/0701086},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701086.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701087,
  author       = {Jean{-}Philippe Rennard},
  title        = {Artificiality in Social Sciences},
  journal      = {CoRR},
  volume       = {abs/cs/0701087},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701087},
  eprinttype    = {arXiv},
  eprint       = {cs/0701087},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701087.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701088,
  author       = {Frederick C. Furtek},
  title        = {A Theory and Calculus for Reasoning about Sequential Behavior},
  journal      = {CoRR},
  volume       = {abs/cs/0701088},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701088},
  eprinttype    = {arXiv},
  eprint       = {cs/0701088},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701088.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701089,
  author       = {Laurent Bienvenu and
                  David Doty and
                  Frank Stephan},
  title        = {Constructive Dimension and Weak Truth-Table Degrees},
  journal      = {CoRR},
  volume       = {abs/cs/0701089},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701089},
  eprinttype    = {arXiv},
  eprint       = {cs/0701089},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701089.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701090,
  author       = {Martin Mittelbach and
                  Christian M{\"{u}}ller and
                  Konrad Schubert},
  title        = {Ergodic Capacity of Discrete- and Continuous-Time, Frequency-Selective
                  Rayleigh Fading Channels with Correlated Scattering},
  journal      = {CoRR},
  volume       = {abs/cs/0701090},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701090},
  eprinttype    = {arXiv},
  eprint       = {cs/0701090},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701090.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701091,
  author       = {Valentin Savin},
  title        = {Iterative {LDPC} decoding using neighborhood reliabilities},
  journal      = {CoRR},
  volume       = {abs/cs/0701091},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701091},
  eprinttype    = {arXiv},
  eprint       = {cs/0701091},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701091.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701092,
  author       = {Natasha Devroye and
                  Masoud Sharif},
  title        = {The Multiplexing Gain of {MIMO} X-Channels with Partial Transmit Side-Information},
  journal      = {CoRR},
  volume       = {abs/cs/0701092},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701092},
  eprinttype    = {arXiv},
  eprint       = {cs/0701092},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701092.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701093,
  author       = {Masoud Ebrahimi and
                  Mohammad Ali Maddah{-}Ali and
                  Amir K. Khandani},
  title        = {Throughput Scaling Laws for Wireless Networks with Fading Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701093},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701093},
  eprinttype    = {arXiv},
  eprint       = {cs/0701093},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701093.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701094,
  author       = {Fran{\c{c}}ois Ingelrest and
                  David Simplot{-}Ryl},
  title        = {Maximizing the Probability of Delivery of Multipoint Relay Broadcast
                  Protocol in Wireless Ad Hoc Networks with a Realistic Physical Layer},
  journal      = {CoRR},
  volume       = {abs/cs/0701094},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701094},
  eprinttype    = {arXiv},
  eprint       = {cs/0701094},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701094.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701095,
  author       = {Pedro Cabalar and
                  Paolo Ferraris},
  title        = {Propositional theories are strongly equivalent to logic programs},
  journal      = {CoRR},
  volume       = {abs/cs/0701095},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701095},
  eprinttype    = {arXiv},
  eprint       = {cs/0701095},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701095.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701096,
  author       = {Maurice Margenstern},
  title        = {About the domino problem in the hyperbolic plane, a new solution},
  journal      = {CoRR},
  volume       = {abs/cs/0701096},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701096},
  eprinttype    = {arXiv},
  eprint       = {cs/0701096},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701096.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701097,
  author       = {Maximilien Gadouleau and
                  Zhiyuan Yan},
  title        = {MacWilliams Identity for the Rank Metric},
  journal      = {CoRR},
  volume       = {abs/cs/0701097},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701097},
  eprinttype    = {arXiv},
  eprint       = {cs/0701097},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701097.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701098,
  author       = {Maximilien Gadouleau and
                  Zhiyuan Yan},
  title        = {Packing and Covering Properties of Rank Metric Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701098},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701098},
  eprinttype    = {arXiv},
  eprint       = {cs/0701098},
  timestamp    = {Wed, 15 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701098.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701099,
  author       = {Shaohua Yang and
                  Aleksandar Kavcic and
                  Sekhar Tatikonda},
  title        = {On the Feedback Capacity of Power Constrained Gaussian Noise Channels
                  with Memory},
  journal      = {CoRR},
  volume       = {abs/cs/0701099},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701099},
  eprinttype    = {arXiv},
  eprint       = {cs/0701099},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701099.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701100,
  author       = {Shaohua Yang and
                  Aleksandar Kavcic},
  title        = {Delayed Feedback Capacity of Stationary Sources over Linear Gaussian
                  Noise Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701100},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701100},
  eprinttype    = {arXiv},
  eprint       = {cs/0701100},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701100.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701101,
  author       = {Philip M. Davis},
  title        = {Citation advantage of Open Access articles likely explained by quality
                  differential and media effects},
  journal      = {CoRR},
  volume       = {abs/cs/0701101},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701101},
  eprinttype    = {arXiv},
  eprint       = {cs/0701101},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701101.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701102,
  author       = {Davide Schipani and
                  Joachim Rosenthal},
  title        = {Coding Solutions for the Secure Biometric Storage Problem},
  journal      = {CoRR},
  volume       = {abs/cs/0701102},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701102},
  eprinttype    = {arXiv},
  eprint       = {cs/0701102},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701103,
  author       = {Auguste Venkiah and
                  Charly Poulliat and
                  David Declercq},
  title        = {Analysis and design of raptor codes for joint decoding using Information
                  Content evolution},
  journal      = {CoRR},
  volume       = {abs/cs/0701103},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701103},
  eprinttype    = {arXiv},
  eprint       = {cs/0701103},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701103.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701104,
  author       = {Philipp Mayr and
                  Walther Umst{\"{a}}tter},
  title        = {Why is a new Journal of Informetrics needed?},
  journal      = {CoRR},
  volume       = {abs/cs/0701104},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701104},
  eprinttype    = {arXiv},
  eprint       = {cs/0701104},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701104.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701105,
  author       = {Remko Tron{\c{c}}on and
                  Gerda Janssens},
  title        = {A Delta Debugger for {ILP} Query Execution},
  journal      = {CoRR},
  volume       = {abs/cs/0701105},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701105},
  eprinttype    = {arXiv},
  eprint       = {cs/0701105},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701105.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701106,
  author       = {Pierre Deransart},
  title        = {On using Tracer Driver for External Dynamic Process Observation},
  journal      = {CoRR},
  volume       = {abs/cs/0701106},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701106},
  eprinttype    = {arXiv},
  eprint       = {cs/0701106},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701106.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701107,
  author       = {Hani Z. Girgis and
                  Bharat Jayaraman},
  title        = {JavaTA: {A} Logic-based Debugger for Java},
  journal      = {CoRR},
  volume       = {abs/cs/0701107},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701107},
  eprinttype    = {arXiv},
  eprint       = {cs/0701107},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701107.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701108,
  author       = {Edison Mera and
                  Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
                  Germ{\'{a}}n Puebla and
                  Manuel Carro and
                  Manuel V. Hermenegildo},
  title        = {Towards Execution Time Estimation for Logic Programs via Static Analysis
                  and Profiling},
  journal      = {CoRR},
  volume       = {abs/cs/0701108},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701108},
  eprinttype    = {arXiv},
  eprint       = {cs/0701108},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701108.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701109,
  author       = {Siddharth Chitnis and
                  Madhu Yennamani and
                  Gopal Gupta},
  title        = {ExSched: Solving Constraint Satisfaction Problems with the Spreadsheet
                  Paradigm},
  journal      = {CoRR},
  volume       = {abs/cs/0701109},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701109},
  eprinttype    = {arXiv},
  eprint       = {cs/0701109},
  timestamp    = {Wed, 26 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701109.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701110,
  author       = {Kim S. Henriksen and
                  John P. Gallagher},
  title        = {A Web-based Tool Combining Different Type Analyses},
  journal      = {CoRR},
  volume       = {abs/cs/0701110},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701110},
  eprinttype    = {arXiv},
  eprint       = {cs/0701110},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701110.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701111,
  author       = {Elvira Albert and
                  Puri Arenas and
                  Germ{\'{a}}n Puebla},
  title        = {Some Issues on Incremental Abstraction-Carrying Code},
  journal      = {CoRR},
  volume       = {abs/cs/0701111},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701111},
  eprinttype    = {arXiv},
  eprint       = {cs/0701111},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701111.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701112,
  author       = {Axel Kohnert},
  title        = {(l,s)-Extension of Linear Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0701112},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701112},
  eprinttype    = {arXiv},
  eprint       = {cs/0701112},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701112.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701113,
  author       = {Thomas Colcombet},
  title        = {On factorisation forests},
  journal      = {CoRR},
  volume       = {abs/cs/0701113},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701113},
  eprinttype    = {arXiv},
  eprint       = {cs/0701113},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701113.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701114,
  author       = {Ignacio Vega{-}Paez and
                  Georgina G. Pulido and
                  Jose Angel Ortega},
  title        = {The problem determination of Functional Dependencies between attributes
                  Relation Scheme in the Relational Data Model. El problema de determinar
                  Dependencias Funcionales entre atributos en los esquemas en el Modelo
                  Relacional},
  journal      = {CoRR},
  volume       = {abs/cs/0701114},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701114},
  eprinttype    = {arXiv},
  eprint       = {cs/0701114},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701114.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701115,
  author       = {Juan Juli{\'{a}}n Merelo Guerv{\'{o}}s and
                  Antonio Mora Garc{\'{\i}}a and
                  Juan Luis Jim{\'{e}}nez Laredo and
                  Juan Lupi{\'{o}}n and
                  Fernando Tricas},
  title        = {Browser-based distributed evolutionary computation: performance and
                  scaling behavior},
  journal      = {CoRR},
  volume       = {abs/cs/0701115},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701115},
  eprinttype    = {arXiv},
  eprint       = {cs/0701115},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701115.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701116,
  author       = {Chris T. K. Ng and
                  Andrea J. Goldsmith},
  title        = {The Impact of {CSI} and Power Allocation on Relay Channel Capacity
                  and Cooperation Strategies},
  journal      = {CoRR},
  volume       = {abs/cs/0701116},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701116},
  eprinttype    = {arXiv},
  eprint       = {cs/0701116},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701116.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701117,
  author       = {Ambedkar Dukkipati},
  title        = {Maximum Entropy in the framework of Algebraic Statistics: {A} First
                  Step},
  journal      = {CoRR},
  volume       = {abs/cs/0701117},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701117},
  eprinttype    = {arXiv},
  eprint       = {cs/0701117},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701117.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701118,
  author       = {Mohammad Ali Maddah{-}Ali and
                  Hajar Mahdavi{-}Doost and
                  Amir K. Khandani},
  title        = {Optimal Order of Decoding for Max-Min Fairness in K-User Memoryless
                  Interference Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701118},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701118},
  eprinttype    = {arXiv},
  eprint       = {cs/0701118},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701118.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701119,
  author       = {Petr R. Ivankov and
                  Nikolay P. Ivankov},
  title        = {The framework for simulation of dynamics of mechanical aggregates},
  journal      = {CoRR},
  volume       = {abs/cs/0701119},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701119},
  eprinttype    = {arXiv},
  eprint       = {cs/0701119},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701119.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701120,
  author       = {Alexey V. Chernov and
                  Marcus Hutter and
                  J{\"{u}}rgen Schmidhuber},
  title        = {Algorithmic Complexity Bounds on Future Prediction Errors},
  journal      = {CoRR},
  volume       = {abs/cs/0701120},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701120},
  eprinttype    = {arXiv},
  eprint       = {cs/0701120},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701120.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701121,
  author       = {Changhe Tu and
                  Wenping Wang and
                  Bernard Mourrain and
                  Jiaye Wang},
  title        = {Signature Sequence of Intersection Curve of Two Quadrics for Exact
                  Morphological Classification},
  journal      = {CoRR},
  volume       = {abs/cs/0701121},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701121},
  eprinttype    = {arXiv},
  eprint       = {cs/0701121},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701121.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701122,
  author       = {Roberto Bagnara and
                  Patricia M. Hill and
                  Enea Zaffanella},
  title        = {Applications of Polyhedral Computations to the Analysis and Verification
                  of Hardware and Software Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0701122},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701122},
  eprinttype    = {arXiv},
  eprint       = {cs/0701122},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701122.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701123,
  author       = {David Doty and
                  Philippe Moser},
  title        = {Feasible Depth},
  journal      = {CoRR},
  volume       = {abs/cs/0701123},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701123},
  eprinttype    = {arXiv},
  eprint       = {cs/0701123},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701123.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701124,
  author       = {Chunxuan Ye and
                  Alex Reznik},
  title        = {Group Secret Key Generation Algorithms},
  journal      = {CoRR},
  volume       = {abs/cs/0701124},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701124},
  eprinttype    = {arXiv},
  eprint       = {cs/0701124},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701124.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701125,
  author       = {Marcus Hutter},
  title        = {Universal Algorithmic Intelligence: {A} mathematical top-{\textgreater}down
                  approach},
  journal      = {CoRR},
  volume       = {abs/cs/0701125},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701125},
  eprinttype    = {arXiv},
  eprint       = {cs/0701125},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701125.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701126,
  author       = {Allen Chuang and
                  Albert Guillen i Fabregas and
                  Lars K. Rasmussen and
                  Iain B. Collings},
  title        = {Optimal Throughput-Diversity-Delay Tradeoff in {MIMO} {ARQ} Block-Fading
                  Channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701126},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701126},
  eprinttype    = {arXiv},
  eprint       = {cs/0701126},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701126.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701127,
  author       = {Risi Kondor},
  title        = {A complete set of rotationally and translationally invariant features
                  for images},
  journal      = {CoRR},
  volume       = {abs/cs/0701127},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701127},
  eprinttype    = {arXiv},
  eprint       = {cs/0701127},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701127.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701128,
  author       = {M. V. Panduranga Rao},
  title        = {Interference Automata},
  journal      = {CoRR},
  volume       = {abs/cs/0701128},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701128},
  eprinttype    = {arXiv},
  eprint       = {cs/0701128},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701128.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701129,
  author       = {Naresh Sharma and
                  Pavan R. Pinnamraju and
                  Constantinos B. Papadias},
  title        = {Space-time codes with controllable {ML} decoding complexity for any
                  number of transmit antennas},
  journal      = {CoRR},
  volume       = {abs/cs/0701129},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701129},
  eprinttype    = {arXiv},
  eprint       = {cs/0701129},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701129.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701130,
  author       = {Thomas C. Schmidt and
                  Matthias W{\"{a}}hlisch and
                  Ying Zhang},
  title        = {On the Correlation of Geographic and Network Proximity at Internet
                  Edges and its Implications for Mobile Unicast and Multicast Routing},
  journal      = {CoRR},
  volume       = {abs/cs/0701130},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701130},
  eprinttype    = {arXiv},
  eprint       = {cs/0701130},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701130.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701131,
  author       = {JiaLiang Zhang and
                  Soung Chang Liew},
  title        = {Effective Beam Width of Directional Antennas in Wireless Ad Hoc Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701131},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701131},
  eprinttype    = {arXiv},
  eprint       = {cs/0701131},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701131.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701132,
  author       = {Eric Feron and
                  Mardavij Roozbehani},
  title        = {Certifying controls and systems software},
  journal      = {CoRR},
  volume       = {abs/cs/0701132},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701132},
  eprinttype    = {arXiv},
  eprint       = {cs/0701132},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701132.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701133,
  author       = {Athina Markopoulou and
                  David R. Cheriton},
  title        = {The Case for Redundant Arrays of Internet Links {(RAIL)}},
  journal      = {CoRR},
  volume       = {abs/cs/0701133},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701133},
  eprinttype    = {arXiv},
  eprint       = {cs/0701133},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701133.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701134,
  author       = {Wenbing Zhao},
  title        = {Byzantine Fault Tolerance for Nondeterministic Applications},
  journal      = {CoRR},
  volume       = {abs/cs/0701134},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701134},
  eprinttype    = {arXiv},
  eprint       = {cs/0701134},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701134.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701135,
  author       = {Jinyun Ke},
  title        = {Complex networks and human language},
  journal      = {CoRR},
  volume       = {abs/cs/0701135},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701135},
  eprinttype    = {arXiv},
  eprint       = {cs/0701135},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701135.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701136,
  author       = {Chawki Hajjem and
                  Stevan Harnad},
  title        = {Citation Advantage For {OA} Self-Archiving Is Independent of Journal
                  Impact Factor, Article Age, and Number of Co-Authors},
  journal      = {CoRR},
  volume       = {abs/cs/0701136},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701136},
  eprinttype    = {arXiv},
  eprint       = {cs/0701136},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701136.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701137,
  author       = {Chawki Hajjem and
                  Stevan Harnad},
  title        = {The Open Access Citation Advantage: Quality Advantage Or Quality Bias?},
  journal      = {CoRR},
  volume       = {abs/cs/0701137},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701137},
  eprinttype    = {arXiv},
  eprint       = {cs/0701137},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701137.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701138,
  author       = {V{\'{e}}ronique Bruy{\`{e}}re and
                  Jean{-}Fran{\c{c}}ois Raskin},
  title        = {Real-Time Model-Checking: Parameters everywhere},
  journal      = {CoRR},
  volume       = {abs/cs/0701138},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701138},
  eprinttype    = {arXiv},
  eprint       = {cs/0701138},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701138.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701139,
  author       = {Yishay Mor and
                  Jeffrey S. Rosenschein},
  title        = {Time and the Prisoner's Dilemma},
  journal      = {CoRR},
  volume       = {abs/cs/0701139},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701139},
  eprinttype    = {arXiv},
  eprint       = {cs/0701139},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701139.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701140,
  author       = {Corina S. Pasareanu and
                  Radek Pel{\'{a}}nek and
                  Willem Visser},
  title        = {Predicate Abstraction with Under-approximation Refinement},
  journal      = {CoRR},
  volume       = {abs/cs/0701140},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701140},
  eprinttype    = {arXiv},
  eprint       = {cs/0701140},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701140.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701141,
  author       = {Maarten H. van Emden and
                  Belaid Moa},
  title        = {The Fundamental Theorems of Interval Analysis},
  journal      = {CoRR},
  volume       = {abs/cs/0701141},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701141},
  eprinttype    = {arXiv},
  eprint       = {cs/0701141},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701141.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701142,
  author       = {Wolfgang W. Bein and
                  Lawrence L. Larmore and
                  R{\"{u}}diger Reischuk},
  title        = {Knowledge State Algorithms: Randomization with Limited Information},
  journal      = {CoRR},
  volume       = {abs/cs/0701142},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701142},
  eprinttype    = {arXiv},
  eprint       = {cs/0701142},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701143,
  author       = {Xing M. Wang},
  title        = {Dirac Notation, Fock Space and Riemann Metric Tensor in Information
                  Retrieval Models},
  journal      = {CoRR},
  volume       = {abs/cs/0701143},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701143},
  eprinttype    = {arXiv},
  eprint       = {cs/0701143},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701143.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701144,
  author       = {Nicolai Kuntze and
                  Andreas U. Schmidt},
  title        = {Trusted Ticket Systems and Applications},
  journal      = {CoRR},
  volume       = {abs/cs/0701144},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701144},
  eprinttype    = {arXiv},
  eprint       = {cs/0701144},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701144.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701145,
  author       = {Nicolai Kuntze and
                  Andreas U. Schmidt and
                  Christian Hett},
  title        = {Non-Repudiation in Internet Telephony},
  journal      = {CoRR},
  volume       = {abs/cs/0701145},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701145},
  eprinttype    = {arXiv},
  eprint       = {cs/0701145},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701145.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701146,
  author       = {Anand D. Sarwate and
                  Michael Gastpar},
  title        = {Deterministic list codes for state-constrained arbitrarily varying
                  channels},
  journal      = {CoRR},
  volume       = {abs/cs/0701146},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701146},
  eprinttype    = {arXiv},
  eprint       = {cs/0701146},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701146.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701147,
  author       = {Michael Hanus},
  title        = {A Generic Analysis Environment for Curry Programs},
  journal      = {CoRR},
  volume       = {abs/cs/0701147},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701147},
  eprinttype    = {arXiv},
  eprint       = {cs/0701147},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701147.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701148,
  author       = {Wim Vanhoof and
                  Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
  title        = {Proceedings of the 16th Workshop in Logic-based Methods in Programming
                  Environments {(WLPE2006)}},
  journal      = {CoRR},
  volume       = {abs/cs/0701148},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701148},
  eprinttype    = {arXiv},
  eprint       = {cs/0701148},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701148.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701149,
  author       = {Ozgur Oyman and
                  Arogyaswami Paulraj},
  title        = {Power-Bandwidth Tradeoff in Dense Multi-Antenna Relay Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701149},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701149},
  eprinttype    = {arXiv},
  eprint       = {cs/0701149},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701149.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701150,
  author       = {Luc Brun and
                  Walter G. Kropatsch},
  title        = {Contains and Inside relationships within combinatorial Pyramids},
  journal      = {CoRR},
  volume       = {abs/cs/0701150},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701150},
  eprinttype    = {arXiv},
  eprint       = {cs/0701150},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701150.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701151,
  author       = {Howard Cheng and
                  Guillaume Hanrot and
                  Emmanuel Thom{\'{e}} and
                  Eugene V. Zima and
                  Paul Zimmermann},
  title        = {Time- and Space-Efficient Evaluation of Some Hypergeometric Constants},
  journal      = {CoRR},
  volume       = {abs/cs/0701151},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701151},
  eprinttype    = {arXiv},
  eprint       = {cs/0701151},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701151.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701152,
  author       = {Hajar Mahdavi{-}Doost and
                  Masoud Ebrahimi and
                  Amir K. Khandani},
  title        = {Characterization of Rate Region in Interference Channels with Constrained
                  Power},
  journal      = {CoRR},
  volume       = {abs/cs/0701152},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701152},
  eprinttype    = {arXiv},
  eprint       = {cs/0701152},
  timestamp    = {Tue, 30 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701152.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701153,
  author       = {Michal Forisek and
                  Branislav Katreniak and
                  Jana Katreniakov{\'{a}} and
                  Rastislav Kralovic and
                  Richard Kr{\'{a}}lovic and
                  Vladim{\'{\i}}r Koutn{\'{y}} and
                  Dana Pardubsk{\'{a}} and
                  Tomas Plachetka and
                  Branislav Rovan},
  title        = {Online Bandwidth Allocation},
  journal      = {CoRR},
  volume       = {abs/cs/0701153},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701153},
  eprinttype    = {arXiv},
  eprint       = {cs/0701153},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701153.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701154,
  author       = {Pascal Tesson and
                  Denis Th{\'{e}}rien},
  title        = {Logic Meets Algebra: the Case of Regular Languages},
  journal      = {CoRR},
  volume       = {abs/cs/0701154},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701154},
  eprinttype    = {arXiv},
  eprint       = {cs/0701154},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701154.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701155,
  author       = {Jim Gray and
                  Surajit Chaudhuri and
                  Adam Bosworth and
                  Andrew Layman and
                  Don Reichart and
                  Murali Venkatrao and
                  Frank Pellow and
                  Hamid Pirahesh},
  title        = {Data Cube: {A} Relational Aggregation Operator Generalizing Group-By,
                  Cross-Tab, and Sub-Totals},
  journal      = {CoRR},
  volume       = {abs/cs/0701155},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701155},
  eprinttype    = {arXiv},
  eprint       = {cs/0701155},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701155.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701156,
  author       = {Jim Gray},
  title        = {Data Management: Past, Present, and Future},
  journal      = {CoRR},
  volume       = {abs/cs/0701156},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701156},
  eprinttype    = {arXiv},
  eprint       = {cs/0701156},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701156.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701157,
  author       = {Hal Berenson and
                  Philip A. Bernstein and
                  Jim Gray and
                  Jim Melton and
                  Elizabeth J. O'Neil and
                  Patrick E. O'Neil},
  title        = {A Critique of {ANSI} {SQL} Isolation Levels},
  journal      = {CoRR},
  volume       = {abs/cs/0701157},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701157},
  eprinttype    = {arXiv},
  eprint       = {cs/0701157},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701157.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701158,
  author       = {Jim Gray},
  title        = {Queues Are Databases},
  journal      = {CoRR},
  volume       = {abs/cs/0701158},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701158},
  eprinttype    = {arXiv},
  eprint       = {cs/0701158},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701159,
  author       = {Gerd Heber and
                  Jim Gray},
  title        = {Supporting Finite Element Analysis with a Relational Database Backend,
                  Part {I:} There is Life beyond Files},
  journal      = {CoRR},
  volume       = {abs/cs/0701159},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701159},
  eprinttype    = {arXiv},
  eprint       = {cs/0701159},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701159.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701160,
  author       = {Gerd Heber and
                  Jim Gray},
  title        = {Supporting Finite Element Analysis with a Relational Database Backend,
                  Part {II:} Database Design and Access},
  journal      = {CoRR},
  volume       = {abs/cs/0701160},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701160},
  eprinttype    = {arXiv},
  eprint       = {cs/0701160},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701160.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701161,
  author       = {Jim Gray and
                  Charles Levine},
  title        = {Thousands of DebitCredit Transactions-Per-Second: Easy and Inexpensive},
  journal      = {CoRR},
  volume       = {abs/cs/0701161},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701161},
  eprinttype    = {arXiv},
  eprint       = {cs/0701161},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701161.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701162,
  author       = {Jim Gray},
  title        = {A Measure of Transaction Processing 20 Years Later},
  journal      = {CoRR},
  volume       = {abs/cs/0701162},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701162},
  eprinttype    = {arXiv},
  eprint       = {cs/0701162},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701162.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701163,
  author       = {Jim Gray and
                  Alexander S. Szalay and
                  Gyorgy Fekete},
  title        = {Using Table Valued Functions in {SQL} Server 2005 To Implement a Spatial
                  Data Library},
  journal      = {CoRR},
  volume       = {abs/cs/0701163},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701163},
  eprinttype    = {arXiv},
  eprint       = {cs/0701163},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701163.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701164,
  author       = {Alexander S. Szalay and
                  Jim Gray and
                  George Fekete and
                  Peter Z. Kunszt and
                  Peter Kukol and
                  Ani Thakar},
  title        = {Indexing the Sphere with the Hierarchical Triangular Mesh},
  journal      = {CoRR},
  volume       = {abs/cs/0701164},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701164},
  eprinttype    = {arXiv},
  eprint       = {cs/0701164},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701164.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701165,
  author       = {Gordon Bell and
                  Jim Gray and
                  Alexander S. Szalay},
  title        = {Petascale Computational Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0701165},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701165},
  eprinttype    = {arXiv},
  eprint       = {cs/0701165},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701165.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701166,
  author       = {Jim Gray and
                  Catharine van Ingen},
  title        = {Empirical Measurements of Disk Failure Rates and Error Rates},
  journal      = {CoRR},
  volume       = {abs/cs/0701166},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701166},
  eprinttype    = {arXiv},
  eprint       = {cs/0701166},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701166.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701167,
  author       = {Mar{\'{\i}}a A. Nieto{-}Santisteban and
                  Aniruddha R. Thakar and
                  Alexander S. Szalay and
                  Jim Gray},
  title        = {Large-Scale Query and XMatch, Entering the Parallel Zone},
  journal      = {CoRR},
  volume       = {abs/cs/0701167},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701167},
  eprinttype    = {arXiv},
  eprint       = {cs/0701167},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701167.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701168,
  author       = {Russell Sears and
                  Catharine van Ingen and
                  Jim Gray},
  title        = {To {BLOB} or Not To {BLOB:} Large Object Storage in a Database or
                  a Filesystem?},
  journal      = {CoRR},
  volume       = {abs/cs/0701168},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701168},
  eprinttype    = {arXiv},
  eprint       = {cs/0701168},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701168.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701169,
  author       = {Michael Botros Shenouda and
                  Timothy N. Davidson},
  title        = {A Framework for Designing {MIMO} systems with Decision Feedback Equalization
                  or Tomlinson-Harashima Precoding},
  journal      = {CoRR},
  volume       = {abs/cs/0701169},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701169},
  eprinttype    = {arXiv},
  eprint       = {cs/0701169},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701169.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701170,
  author       = {Katalin Szlavecz and
                  Andreas Terzis and
                  Stuart Ozer and
                  Razvan Musaloiu{-}Elefteri and
                  Joshua Cogan and
                  Sam Small and
                  Randal C. Burns and
                  Jim Gray and
                  Alexander S. Szalay},
  title        = {Life Under Your Feet: An End-to-End Soil Ecology Sensor Network, Database,
                  Web Server, and Analysis Service},
  journal      = {CoRR},
  volume       = {abs/cs/0701170},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701170},
  eprinttype    = {arXiv},
  eprint       = {cs/0701170},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701170.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701171,
  author       = {Jim Gray and
                  Mar{\'{\i}}a A. Nieto{-}Santisteban and
                  Alexander S. Szalay},
  title        = {The Zones Algorithm for Finding Points-Near-a-Point or Cross-Matching
                  Spatial Datasets},
  journal      = {CoRR},
  volume       = {abs/cs/0701171},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701171},
  eprinttype    = {arXiv},
  eprint       = {cs/0701171},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701172,
  author       = {Jim Gray and
                  Alexander S. Szalay and
                  Tamas Budavari and
                  Robert Lupton and
                  Mar{\'{\i}}a A. Nieto{-}Santisteban and
                  Ani Thakar},
  title        = {Cross-Matching Multiple Spatial Observations and Dealing with Missing
                  Data},
  journal      = {CoRR},
  volume       = {abs/cs/0701172},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701172},
  eprinttype    = {arXiv},
  eprint       = {cs/0701172},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701172.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701173,
  author       = {Vik Singh and
                  Jim Gray and
                  Ani Thakar and
                  Alexander S. Szalay and
                  M. Jordan Raddick and
                  Bill Boroski and
                  Svetlana Lebedeva and
                  Brian Yanny},
  title        = {SkyServer Traffic Report - The First Five Years},
  journal      = {CoRR},
  volume       = {abs/cs/0701173},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701173},
  eprinttype    = {arXiv},
  eprint       = {cs/0701173},
  timestamp    = {Wed, 03 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701173.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701174,
  author       = {Thanasis Hadzilacos and
                  Dimitrios Kalles and
                  Dimitrios Koumanakos},
  title        = {Using Course Constraints in Simulating Student Populations},
  journal      = {CoRR},
  volume       = {abs/cs/0701174},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701174},
  eprinttype    = {arXiv},
  eprint       = {cs/0701174},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701174.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701175,
  author       = {Thanasis Hadzilacos and
                  Dimitrios Kalles and
                  Maria Pouliopoulou},
  title        = {On the Software and Knowledge Engineering Aspects of the Educational
                  Process},
  journal      = {CoRR},
  volume       = {abs/cs/0701175},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701175},
  eprinttype    = {arXiv},
  eprint       = {cs/0701175},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701175.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701176,
  author       = {Alain Frisch and
                  Haruo Hosoya},
  title        = {Towards Practical Typechecking for Macro Tree Transducers},
  journal      = {CoRR},
  volume       = {abs/cs/0701176},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701176},
  eprinttype    = {arXiv},
  eprint       = {cs/0701176},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701176.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701177,
  author       = {Roudra Chakraborty and
                  Debapriya Sengupta and
                  Sagnik Sinha},
  title        = {Pitch Tracking of Acoustic Signals based on Average Squared Mean Difference
                  Function},
  journal      = {CoRR},
  volume       = {abs/cs/0701177},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701177},
  eprinttype    = {arXiv},
  eprint       = {cs/0701177},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701177.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701178,
  author       = {Erhan Baki Ermis and
                  Venkatesh Saligrama},
  title        = {Distributed Detection in Sensor Networks with Limited Range Sensors},
  journal      = {CoRR},
  volume       = {abs/cs/0701178},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701178},
  eprinttype    = {arXiv},
  eprint       = {cs/0701178},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701178.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701179,
  author       = {Yoann Dieudonn{\'{e}} and
                  Franck Petit},
  title        = {Scatter of Weak Robots},
  journal      = {CoRR},
  volume       = {abs/cs/0701179},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701179},
  eprinttype    = {arXiv},
  eprint       = {cs/0701179},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701179.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701180,
  author       = {Fionn Murtagh and
                  Josiane Mothe and
                  Kurt Englmeier},
  title        = {Ontology from Local Hierarchical Structure in Text},
  journal      = {CoRR},
  volume       = {abs/cs/0701180},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701180},
  eprinttype    = {arXiv},
  eprint       = {cs/0701180},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701180.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701181,
  author       = {Fionn Murtagh},
  title        = {A Note on Local Ultrametricity in Text},
  journal      = {CoRR},
  volume       = {abs/cs/0701181},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701181},
  eprinttype    = {arXiv},
  eprint       = {cs/0701181},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701181.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701182,
  author       = {Marat V. Burnashev},
  title        = {Supplement to: Code Spectrum and Reliability Function: Binary Symmetric
                  Channel},
  journal      = {CoRR},
  volume       = {abs/cs/0701182},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701182},
  eprinttype    = {arXiv},
  eprint       = {cs/0701182},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701182.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701183,
  author       = {Gilles Villard},
  title        = {Certification of the {QR} factor R, and of lattice basis reducedness},
  journal      = {CoRR},
  volume       = {abs/cs/0701183},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701183},
  eprinttype    = {arXiv},
  eprint       = {cs/0701183},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701183.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701184,
  author       = {J{\"{o}}rg Hoffmann and
                  Carla P. Gomes and
                  Bart Selman},
  title        = {Structure and Problem Hardness: Goal Asymmetry and {DPLL} Proofs in
                  SAT-Based Planning},
  journal      = {CoRR},
  volume       = {abs/cs/0701184},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701184},
  eprinttype    = {arXiv},
  eprint       = {cs/0701184},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701184.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701185,
  author       = {Frank Gurski},
  title        = {Graph Operations on Clique-Width Bounded Graphs},
  journal      = {CoRR},
  volume       = {abs/cs/0701185},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701185},
  eprinttype    = {arXiv},
  eprint       = {cs/0701185},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701185.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701186,
  author       = {Marc Daumas and
                  Guillaume Melquiond},
  title        = {Certification of bounds on expressions involving rounded operators},
  journal      = {CoRR},
  volume       = {abs/cs/0701186},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701186},
  eprinttype    = {arXiv},
  eprint       = {cs/0701186},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701186.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701187,
  author       = {Sagar Chaki and
                  Christian Schallhart and
                  Helmut Veith},
  title        = {Verification Across Intellectual Property Boundaries},
  journal      = {CoRR},
  volume       = {abs/cs/0701187},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701187},
  eprinttype    = {arXiv},
  eprint       = {cs/0701187},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701187.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701188,
  author       = {Wayne Eberly and
                  Mark Giesbrecht and
                  Pascal Giorgi and
                  Arne Storjohann and
                  Gilles Villard},
  title        = {Faster Inversion and Other Black Box Matrix Computations Using Efficient
                  Block Projections},
  journal      = {CoRR},
  volume       = {abs/cs/0701188},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701188},
  eprinttype    = {arXiv},
  eprint       = {cs/0701188},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701188.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701189,
  author       = {Fredrik Manne and
                  Morten Mjelde and
                  Laurence Pilard and
                  S{\'{e}}bastien Tixeuil},
  title        = {A New Self-Stabilizing Maximal Matching Algorithm},
  journal      = {CoRR},
  volume       = {abs/cs/0701189},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701189},
  eprinttype    = {arXiv},
  eprint       = {cs/0701189},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701189.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701190,
  author       = {Thomas Jacobs and
                  Aaron Harwood},
  title        = {A Peer-to-Peer Browsable File Index using a Popularity Based Global
                  Namespace},
  journal      = {CoRR},
  volume       = {abs/cs/0701190},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701190},
  eprinttype    = {arXiv},
  eprint       = {cs/0701190},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701190.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701191,
  author       = {David Monniaux},
  title        = {The parallel implementation of the Astr{\'{e}}e static analyzer},
  journal      = {CoRR},
  volume       = {abs/cs/0701191},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701191},
  eprinttype    = {arXiv},
  eprint       = {cs/0701191},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701191.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701192,
  author       = {David Monniaux},
  title        = {The pitfalls of verifying floating-point computations},
  journal      = {CoRR},
  volume       = {abs/cs/0701192},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701192},
  eprinttype    = {arXiv},
  eprint       = {cs/0701192},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701192.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701193,
  author       = {Bruno Blanchet and
                  Patrick Cousot and
                  Radhia Cousot and
                  J{\'{e}}r{\^{o}}me Feret and
                  Laurent Mauborgne and
                  Antoine Min{\'{e}} and
                  David Monniaux and
                  Xavier Rival},
  title        = {A Static Analyzer for Large Safety-Critical Software},
  journal      = {CoRR},
  volume       = {abs/cs/0701193},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701193},
  eprinttype    = {arXiv},
  eprint       = {cs/0701193},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701193.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701194,
  author       = {Solomiya Buk and
                  Andrij A. Rovenchak},
  title        = {Menzerath-Altmann Law for Syntactic Structures in Ukrainian},
  journal      = {CoRR},
  volume       = {abs/cs/0701194},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701194},
  eprinttype    = {arXiv},
  eprint       = {cs/0701194},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701194.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701195,
  author       = {David Monniaux},
  title        = {An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs},
  journal      = {CoRR},
  volume       = {abs/cs/0701195},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701195},
  eprinttype    = {arXiv},
  eprint       = {cs/0701195},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701195.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701196,
  author       = {Ye Wang and
                  Prakash Ishwar and
                  Venkatesh Saligrama},
  title        = {One-bit Distributed Sensing and Coding for Field Estimation in Sensor
                  Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0701196},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701196},
  eprinttype    = {arXiv},
  eprint       = {cs/0701196},
  timestamp    = {Thu, 17 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701196.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701197,
  author       = {Nan Ma and
                  Ye Wang and
                  Prakash Ishwar},
  title        = {Delayed Sequential Coding of Correlated Sources},
  journal      = {CoRR},
  volume       = {abs/cs/0701197},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701197},
  eprinttype    = {arXiv},
  eprint       = {cs/0701197},
  timestamp    = {Thu, 17 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701197.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701198,
  author       = {Raissa M. D'Souza and
                  Christian Borgs and
                  Jennifer T. Chayes and
                  Noam Berger and
                  Robert D. Kleinberg},
  title        = {Fitting the {WHOIS} Internet data},
  journal      = {CoRR},
  volume       = {abs/cs/0701198},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701198},
  eprinttype    = {arXiv},
  eprint       = {cs/0701198},
  timestamp    = {Sun, 14 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701198.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701199,
  author       = {St{\'{e}}phane Norte and
                  Fernando G. Lobo},
  title        = {A Virtual Logo Keyboard for People with Motor Disabilities},
  journal      = {CoRR},
  volume       = {abs/cs/0701199},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701199},
  eprinttype    = {arXiv},
  eprint       = {cs/0701199},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701199.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701200,
  author       = {Fran{\c{c}}oise D{\'{e}}tienne},
  title        = {Reasoning from a schema and from an analog in software code reuse},
  journal      = {CoRR},
  volume       = {abs/cs/0701200},
  year         = {2007},
  url          = {http://arxiv.org/abs/cs/0701200},
  eprinttype    = {arXiv},
  eprint       = {cs/0701200},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701200.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701020,
  author       = {Branko J. Malesevic},
  title        = {Some improvements of one method for proving inequalities by computer},
  journal      = {CoRR},
  volume       = {abs/math/0701020},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701020},
  eprinttype    = {arXiv},
  eprint       = {math/0701020},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701102,
  author       = {Shachar Lovett and
                  Sasha Sodin},
  title        = {Almost Euclidean sections of the N-dimensional cross-polytope using
                  {O(N)} random bits},
  journal      = {CoRR},
  volume       = {abs/math/0701102},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701102},
  eprinttype    = {arXiv},
  eprint       = {math/0701102},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701131,
  author       = {Holger Rauhut and
                  Karin Schnass and
                  Pierre Vandergheynst},
  title        = {Compressed Sensing and Redundant Dictionaries},
  journal      = {CoRR},
  volume       = {abs/math/0701131},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701131},
  eprinttype    = {arXiv},
  eprint       = {math/0701131},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701131.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701142,
  author       = {Eric de Bodt and
                  Marie Cottrell and
                  Patrick Letr{\'{e}}my and
                  Michel Verleysen},
  title        = {On the use of self-organizing maps to accelerate vector quantization},
  journal      = {CoRR},
  volume       = {abs/math/0701142},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701142},
  eprinttype    = {arXiv},
  eprint       = {math/0701142},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701142.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701144,
  author       = {Eric de Bodt and
                  Marie Cottrell and
                  Michel Verleysen},
  title        = {Statistical tools to assess the reliability of self-organizing maps},
  journal      = {CoRR},
  volume       = {abs/math/0701144},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701144},
  eprinttype    = {arXiv},
  eprint       = {math/0701144},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701144.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701145,
  author       = {Riadh Kallel and
                  Marie Cottrell and
                  Vincent Vigneron},
  title        = {Bootstrap for neural model selection},
  journal      = {CoRR},
  volume       = {abs/math/0701145},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701145},
  eprinttype    = {arXiv},
  eprint       = {math/0701145},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701145.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701152,
  author       = {Marie Cottrell and
                  Patrick Letr{\'{e}}my},
  title        = {Missing values : processing with the Kohonen algorithm},
  journal      = {CoRR},
  volume       = {abs/math/0701152},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701152},
  eprinttype    = {arXiv},
  eprint       = {math/0701152},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701152.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701261,
  author       = {Urs Niesen and
                  Aslan Tchamkerten and
                  Gregory W. Wornell},
  title        = {Tracking Stopping Times},
  journal      = {CoRR},
  volume       = {abs/math/0701261},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701261},
  eprinttype    = {arXiv},
  eprint       = {math/0701261},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701261.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701419,
  author       = {G{\'{a}}bor Lugosi and
                  Shie Mannor and
                  Gilles Stoltz},
  title        = {Strategies for prediction under imperfect monitoring},
  journal      = {CoRR},
  volume       = {abs/math/0701419},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701419},
  eprinttype    = {arXiv},
  eprint       = {math/0701419},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701419.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701791,
  author       = {Boris Ettinger and
                  Niv Sarig and
                  Yosef Yomdin},
  title        = {Linear versus Non-linear Acquisition of Step-Functions},
  journal      = {CoRR},
  volume       = {abs/math/0701791},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701791},
  eprinttype    = {arXiv},
  eprint       = {math/0701791},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701791.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701801,
  author       = {Fr{\'{e}}d{\'{e}}ric Dambreville},
  title        = {Deterministic modal Bayesian Logic: derive the Bayesian inference
                  within the modal logic {T}},
  journal      = {CoRR},
  volume       = {abs/math/0701801},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701801},
  eprinttype    = {arXiv},
  eprint       = {math/0701801},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701801.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0701904,
  author       = {Jason Teutsch},
  title        = {Noncomputable Spectral Sets},
  journal      = {CoRR},
  volume       = {abs/math/0701904},
  year         = {2007},
  url          = {http://arxiv.org/abs/math/0701904},
  eprinttype    = {arXiv},
  eprint       = {math/0701904},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0701904.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-physics-0701012,
  author       = {Lokman I. Meho},
  title        = {The Rise and Rise of Citation Analysis},
  journal      = {CoRR},
  volume       = {abs/physics/0701012},
  year         = {2007},
  url          = {http://arxiv.org/abs/physics/0701012},
  eprinttype    = {arXiv},
  eprint       = {physics/0701012},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-physics-0701012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-physics-0701081,
  author       = {Guennadi A. Kouzaev},
  title        = {Spatio-Temporal Electromagnetic Field Shapes and their Logical Processing},
  journal      = {CoRR},
  volume       = {abs/physics/0701081},
  year         = {2007},
  url          = {http://arxiv.org/abs/physics/0701081},
  eprinttype    = {arXiv},
  eprint       = {physics/0701081},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-physics-0701081.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-physics-0701168,
  author       = {Kikuo Yuta and
                  Naoaki Ono and
                  Yoshi Fujiwara},
  title        = {A Gap in the Community-Size Distribution of a Large-Scale Social Networking
                  Site},
  journal      = {CoRR},
  volume       = {abs/physics/0701168},
  year         = {2007},
  url          = {http://arxiv.org/abs/physics/0701168},
  eprinttype    = {arXiv},
  eprint       = {physics/0701168},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-physics-0701168.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-q-bio-0701009,
  author       = {Johannes Wollbold},
  title        = {Attribute Exploration of Discrete Temporal Transitions},
  journal      = {CoRR},
  volume       = {abs/q-bio/0701009},
  year         = {2007},
  url          = {http://arxiv.org/abs/q-bio/0701009},
  eprinttype    = {arXiv},
  eprint       = {q-bio/0701009},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-q-bio-0701009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0701037,
  author       = {Salah A. Aly and
                  Andreas Klappenecker and
                  Pradeep Kiran Sarvepalli},
  title        = {Quantum Convolutional Codes Derived From Reed-Solomon and Reed-Muller
                  Codes},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0701037},
  year         = {2007},
  url          = {http://arxiv.org/abs/quant-ph/0701037},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0701037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0701037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0701113,
  author       = {Daniel Lehmann},
  title        = {A presentation of Quantum Logic based on an "and then" connective},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0701113},
  year         = {2007},
  url          = {http://arxiv.org/abs/quant-ph/0701113},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0701113},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0701113.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0701168,
  author       = {Romain All{\'{e}}aume and
                  Jan Bouda and
                  Cyril Branciard and
                  Thierry Debuisschert and
                  Mehrdad Dianati and
                  Nicolas Gisin and
                  Mark Godfrey and
                  Philippe Grangier and
                  Thomas L{\"{a}}nger and
                  Anthony Leverrier and
                  Norbert L{\"{u}}tkenhaus and
                  Philippe Painchault and
                  Momtchil Peev and
                  Andreas Poppe and
                  Thomas Pornin and
                  John G. Rarity and
                  Renato Renner and
                  Gregoire Ribordy and
                  Michel Riguidel and
                  Louis Salvail and
                  Andrew J. Shields and
                  Harald Weinfurter and
                  Anton Zeilinger},
  title        = {{SECOQC} White Paper on Quantum Key Distribution and Cryptography},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0701168},
  year         = {2007},
  url          = {http://arxiv.org/abs/quant-ph/0701168},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0701168},
  timestamp    = {Tue, 30 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0701168.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0701171,
  author       = {Paola Zizzi},
  title        = {Turning the Liar paradox into a metatheorem of Basic logic},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0701171},
  year         = {2007},
  url          = {http://arxiv.org/abs/quant-ph/0701171},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0701171},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0701171.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701020,
  title        = {A nearly optimal and deterministic summary structure for update data
                  streams},
  journal      = {CoRR},
  volume       = {abs/cs/0701020},
  year         = {2007},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0701020},
  eprinttype    = {arXiv},
  eprint       = {cs/0701020},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701021,
  title        = {The Unix {KISS:} {A} Case Study},
  journal      = {CoRR},
  volume       = {abs/cs/0701021},
  year         = {2007},
  note         = {Withdrawn.},
  url          = {http://arxiv.org/abs/cs/0701021},
  eprinttype    = {arXiv},
  eprint       = {cs/0701021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0701021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics