Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/corr/abs-cond-mat-0507451,
  author       = {Marc M{\'{e}}zard and
                  Matteo Palassini and
                  Olivier Rivoire},
  title        = {Landscape of solutions in constraint satisfaction problems},
  journal      = {CoRR},
  volume       = {abs/cond-mat/0507451},
  year         = {2005},
  url          = {http://arxiv.org/abs/cond-mat/0507451},
  eprinttype    = {arXiv},
  eprint       = {cond-mat/0507451},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cond-mat-0507451.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507001,
  author       = {Hideyuki Sakai and
                  Hirosuke Yamamoto},
  title        = {Asymptotically Optimal Tree-based Group Key Management Schemes},
  journal      = {CoRR},
  volume       = {abs/cs/0507001},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507001},
  eprinttype    = {arXiv},
  eprint       = {cs/0507001},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507002,
  author       = {Lifeng Lai and
                  Ke Liu and
                  Hesham El Gamal},
  title        = {The Three Node Wireless Network: Achievable Rates and Cooperation
                  Strategies},
  journal      = {CoRR},
  volume       = {abs/cs/0507002},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507002},
  eprinttype    = {arXiv},
  eprint       = {cs/0507002},
  timestamp    = {Tue, 03 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507003,
  author       = {A. Y. Shiekh},
  title        = {The role of Quantum Interference in Quantum Computing},
  journal      = {CoRR},
  volume       = {abs/cs/0507003},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507003},
  eprinttype    = {arXiv},
  eprint       = {cs/0507003},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507003.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507004,
  author       = {Markus Fidler},
  title        = {An End-to-End Probabilistic Network Calculus with Moment Generating
                  Functions},
  journal      = {CoRR},
  volume       = {abs/cs/0507004},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507004},
  eprinttype    = {arXiv},
  eprint       = {cs/0507004},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507004.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507005,
  author       = {Sinan Gezici and
                  Mung Chiang and
                  H. Vincent Poor and
                  Hisashi Kobayashi},
  title        = {A Genetic Algorithm Based Finger Selection Scheme for {UWB} {MMSE}
                  Rake Receivers},
  journal      = {CoRR},
  volume       = {abs/cs/0507005},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507005},
  eprinttype    = {arXiv},
  eprint       = {cs/0507005},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507005.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507006,
  author       = {Sinan Gezici and
                  Zafer Sahinoglu and
                  Andreas F. Molisch and
                  Hisashi Kobayashi and
                  H. Vincent Poor},
  title        = {A Two-Step Time of Arrival Estimation Algorithm for Impulse Radio
                  Ultra Wideband Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0507006},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507006},
  eprinttype    = {arXiv},
  eprint       = {cs/0507006},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507006.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507007,
  author       = {Ulrich Berger},
  title        = {Strong normalisation for applied lambda calculi},
  journal      = {CoRR},
  volume       = {abs/cs/0507007},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507007},
  eprinttype    = {arXiv},
  eprint       = {cs/0507007},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507007.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507008,
  author       = {Craig Alan Feinstein},
  title        = {Complexity Science for Simpletons},
  journal      = {CoRR},
  volume       = {abs/cs/0507008},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507008},
  eprinttype    = {arXiv},
  eprint       = {cs/0507008},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507009,
  author       = {Ming Zhao and
                  Zhigang Chen and
                  Xiaoheng Deng and
                  Lianming Zhang and
                  Anfeng Liu and
                  Guosheng Huang},
  title        = {{MAEC} : {A} Movement-Assisted Energy Conserving Method in Event Driven
                  Wireless Sensor Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0507009},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507009},
  eprinttype    = {arXiv},
  eprint       = {cs/0507009},
  timestamp    = {Tue, 09 Apr 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507009.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507010,
  author       = {Jiayang Wang},
  title        = {A Study for the Feature Core of Dynamic Reduct},
  journal      = {CoRR},
  volume       = {abs/cs/0507010},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507010},
  eprinttype    = {arXiv},
  eprint       = {cs/0507010},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507010.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507011,
  author       = {Farhad Meshkati and
                  H. Vincent Poor and
                  Stuart C. Schwartz and
                  Narayan B. Mandayam},
  title        = {A Utility-Based Approach to Power Control and Receiver Design in Wireless
                  Data Networks},
  journal      = {CoRR},
  volume       = {abs/cs/0507011},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507011},
  eprinttype    = {arXiv},
  eprint       = {cs/0507011},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507011.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507012,
  author       = {Gilson A. Giraldi and
                  Adilson V. Xavier and
                  Ant{\^{o}}nio L. Apolin{\'{a}}rio Jr. and
                  Paulo Sergio Rodrigues},
  title        = {Lattice Gas Cellular Automata for Computational Fluid Animation},
  journal      = {CoRR},
  volume       = {abs/cs/0507012},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507012},
  eprinttype    = {arXiv},
  eprint       = {cs/0507012},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507013,
  author       = {Justin Colannino and
                  Mirela Damian and
                  Ferran Hurtado and
                  John Iacono and
                  Henk Meijer and
                  Suneeta Ramaswami and
                  Godfried T. Toussaint},
  title        = {An O(n log n)-Time Algorithm for the Restricted Scaffold Assignment},
  journal      = {CoRR},
  volume       = {abs/cs/0507013},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507013},
  eprinttype    = {arXiv},
  eprint       = {cs/0507013},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507014,
  author       = {Moshe Schwartz},
  title        = {Isomorphism of graphs-a polynomial test},
  journal      = {CoRR},
  volume       = {abs/cs/0507014},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507014},
  eprinttype    = {arXiv},
  eprint       = {cs/0507014},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507014.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507015,
  author       = {G{\'{e}}rard D. Cohen and
                  Alexander Vardy},
  title        = {Duality between Packings and Coverings of the Hamming Space},
  journal      = {CoRR},
  volume       = {abs/cs/0507015},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507015},
  eprinttype    = {arXiv},
  eprint       = {cs/0507015},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507016,
  author       = {Julien Fondrevelle and
                  Ammar Oulamara and
                  Marie{-}Claude Portmann},
  title        = {Minimizing makespan in flowshop with time lags},
  journal      = {CoRR},
  volume       = {abs/cs/0507016},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507016},
  eprinttype    = {arXiv},
  eprint       = {cs/0507016},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507017,
  author       = {Gregory Z. Gutin and
                  Arash Rafiey and
                  Anders Yeo},
  title        = {Minimum Cost and List Homomorphisms to Semicomplete Digraphs},
  journal      = {CoRR},
  volume       = {abs/cs/0507017},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507017},
  eprinttype    = {arXiv},
  eprint       = {cs/0507017},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507017.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507018,
  author       = {Youngchul Sung and
                  Lang Tong and
                  H. Vincent Poor},
  title        = {Optimal and Suboptimal Detection of Gaussian Signals in Noise: Asymptotic
                  Relative Efficiency},
  journal      = {CoRR},
  volume       = {abs/cs/0507018},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507018},
  eprinttype    = {arXiv},
  eprint       = {cs/0507018},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507019,
  author       = {Paul M. Aoki and
                  Allison Woodruff},
  title        = {Making Space for Stories: Ambiguity in the Design of Personal Communication
                  Systems},
  journal      = {CoRR},
  volume       = {abs/cs/0507019},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507019},
  eprinttype    = {arXiv},
  eprint       = {cs/0507019},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507019.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507020,
  author       = {Arnaud Durand and
                  Etienne Grandjean},
  title        = {First-order queries on structures of bounded degree are computable
                  with constant delay},
  journal      = {CoRR},
  volume       = {abs/cs/0507020},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507020},
  eprinttype    = {arXiv},
  eprint       = {cs/0507020},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507021,
  author       = {Renato C. Dutra and
                  Valmir Carneiro Barbosa},
  title        = {Finding routes in anonymous sensor networks},
  journal      = {CoRR},
  volume       = {abs/cs/0507021},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507021},
  eprinttype    = {arXiv},
  eprint       = {cs/0507021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507022,
  author       = {Lukasz Debowski},
  title        = {On Hilberg's Law and Its Links with Guiraud's Law},
  journal      = {CoRR},
  volume       = {abs/cs/0507022},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507022},
  eprinttype    = {arXiv},
  eprint       = {cs/0507022},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507022.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507023,
  author       = {Luis Otavio Rigo Junior and
                  Valmir Carneiro Barbosa},
  title        = {Two-dimensional cellular automata and the analysis of correlated time
                  series},
  journal      = {CoRR},
  volume       = {abs/cs/0507023},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507023},
  eprinttype    = {arXiv},
  eprint       = {cs/0507023},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507023.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507024,
  author       = {Thierry Despeyroux and
                  Yves Lechevallier and
                  Brigitte Trousse and
                  Anne{-}Marie Vercoustre},
  title        = {Experiments in Clustering Homogeneous {XML} Documents to Validate
                  an Existing Typology},
  journal      = {CoRR},
  volume       = {abs/cs/0507024},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507024},
  eprinttype    = {arXiv},
  eprint       = {cs/0507024},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507024.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507025,
  author       = {Randal Douc and
                  Olivier Capp{\'{e}} and
                  Eric Moulines},
  title        = {Comparison of Resampling Schemes for Particle Filtering},
  journal      = {CoRR},
  volume       = {abs/cs/0507025},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507025},
  eprinttype    = {arXiv},
  eprint       = {cs/0507025},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507025.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507026,
  author       = {Qi Cheng},
  title        = {Hard Problems of Algebraic Geometry Codes},
  journal      = {CoRR},
  volume       = {abs/cs/0507026},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507026},
  eprinttype    = {arXiv},
  eprint       = {cs/0507026},
  timestamp    = {Tue, 18 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507026.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507027,
  author       = {Edith Hemaspaandra and
                  Lane A. Hemaspaandra and
                  J{\"{o}}rg Rothe},
  title        = {Anyone but Him: The Complexity of Precluding an Alternative},
  journal      = {CoRR},
  volume       = {abs/cs/0507027},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507027},
  eprinttype    = {arXiv},
  eprint       = {cs/0507027},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507028,
  author       = {Robert Milson and
                  Aaron Krowne},
  title        = {Adapting {CBPP} platforms for instructional use},
  journal      = {CoRR},
  volume       = {abs/cs/0507028},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507028},
  eprinttype    = {arXiv},
  eprint       = {cs/0507028},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507028.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507029,
  author       = {Samuel Landau and
                  Olivier Sigaud and
                  Marc Schoenauer},
  title        = {ATNoSFERES revisited},
  journal      = {CoRR},
  volume       = {abs/cs/0507029},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507029},
  eprinttype    = {arXiv},
  eprint       = {cs/0507029},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507029.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507030,
  author       = {Imre B{\'{a}}r{\'{a}}ny and
                  G{\"{u}}nter Rote},
  title        = {Strictly convex drawings of planar graphs},
  journal      = {CoRR},
  volume       = {abs/cs/0507030},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507030},
  eprinttype    = {arXiv},
  eprint       = {cs/0507030},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507030.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507031,
  author       = {Mikhail G. Stepanov and
                  Michael Chertkov},
  title        = {The error-floor of {LDPC} codes in the Laplacian channel},
  journal      = {CoRR},
  volume       = {abs/cs/0507031},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507031},
  eprinttype    = {arXiv},
  eprint       = {cs/0507031},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507032,
  author       = {R. D. Ogden},
  title        = {Introduction to Quantum Message Space},
  journal      = {CoRR},
  volume       = {abs/cs/0507032},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507032},
  eprinttype    = {arXiv},
  eprint       = {cs/0507032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507033,
  author       = {Marco Cuturi and
                  Kenji Fukumizu},
  title        = {Multiresolution Kernels},
  journal      = {CoRR},
  volume       = {abs/cs/0507033},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507033},
  eprinttype    = {arXiv},
  eprint       = {cs/0507033},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507033.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507034,
  author       = {Ittai Abraham and
                  Dahlia Malkhi and
                  Gurmeet Singh Manku},
  title        = {Papillon: Greedy Routing in Rings},
  journal      = {CoRR},
  volume       = {abs/cs/0507034},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507034},
  eprinttype    = {arXiv},
  eprint       = {cs/0507034},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507034.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507035,
  author       = {Yi{-}Dong Shen and
                  Jia{-}Huai You and
                  Li{-}Yan Yuan},
  title        = {Enhancing Global SLS-Resolution with Loop Cutting and Tabling Mechanisms},
  journal      = {CoRR},
  volume       = {abs/cs/0507035},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507035},
  eprinttype    = {arXiv},
  eprint       = {cs/0507035},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507036,
  author       = {Peter J. Stuckey and
                  Martin Sulzmann and
                  Jeremy Wazny},
  title        = {Improved Inference for Checking Annotations},
  journal      = {CoRR},
  volume       = {abs/cs/0507036},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507036},
  eprinttype    = {arXiv},
  eprint       = {cs/0507036},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507037,
  author       = {Peter J. Stuckey and
                  Martin Sulzmann},
  title        = {Type Inference for Guarded Recursive Data Types},
  journal      = {CoRR},
  volume       = {abs/cs/0507037},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507037},
  eprinttype    = {arXiv},
  eprint       = {cs/0507037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507038,
  author       = {Khaled M. Elbassioni and
                  Zvi Lotker and
                  Raimund Seidel},
  title        = {Upper Bound on the Number of Vertices of Polyhedra with {\textdollar}0,1{\textdollar}-Constraint
                  Matrices},
  journal      = {CoRR},
  volume       = {abs/cs/0507038},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507038},
  eprinttype    = {arXiv},
  eprint       = {cs/0507038},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507038.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507039,
  author       = {Joel B. Predd and
                  Sanjeev R. Kulkarni and
                  H. Vincent Poor},
  title        = {Distributed Regression in Sensor Networks: Training Distributively
                  with Alternating Projections},
  journal      = {CoRR},
  volume       = {abs/cs/0507039},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507039},
  eprinttype    = {arXiv},
  eprint       = {cs/0507039},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507039.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507040,
  author       = {Daniil Ryabko},
  title        = {Pattern Recognition for Conditionally Independent Data},
  journal      = {CoRR},
  volume       = {abs/cs/0507040},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507040},
  eprinttype    = {arXiv},
  eprint       = {cs/0507040},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507040.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507041,
  author       = {Alexey V. Chernov and
                  Marcus Hutter},
  title        = {Monotone Conditional Complexity Bounds on Future Prediction Errors},
  journal      = {CoRR},
  volume       = {abs/cs/0507041},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507041},
  eprinttype    = {arXiv},
  eprint       = {cs/0507041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507042,
  author       = {Florida Estrella and
                  Richard McClatchey and
                  Dmitri Rogulin},
  title        = {The MammoGrid Virtual Organisation - Federating Distributed Mammograms},
  journal      = {CoRR},
  volume       = {abs/cs/0507042},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507042},
  eprinttype    = {arXiv},
  eprint       = {cs/0507042},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507042.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507043,
  author       = {Yuan Feng and
                  Runyao Duan and
                  Zheng{-}Feng Ji and
                  Mingsheng Ying},
  title        = {Proof rules for purely quantum programs},
  journal      = {CoRR},
  volume       = {abs/cs/0507043},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507043},
  eprinttype    = {arXiv},
  eprint       = {cs/0507043},
  timestamp    = {Sun, 22 Dec 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507044,
  author       = {Jan Poland and
                  Marcus Hutter},
  title        = {Defensive Universal Learning with Experts},
  journal      = {CoRR},
  volume       = {abs/cs/0507044},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507044},
  eprinttype    = {arXiv},
  eprint       = {cs/0507044},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507044.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507045,
  author       = {Giorgi Japaridze},
  title        = {In the beginning was game semantics},
  journal      = {CoRR},
  volume       = {abs/cs/0507045},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507045},
  eprinttype    = {arXiv},
  eprint       = {cs/0507045},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507045.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507046,
  author       = {Xenofontas A. Dimitropoulos and
                  Dmitri V. Krioukov and
                  George F. Riley},
  title        = {Revisiting Internet AS-level Topology Discovery},
  journal      = {CoRR},
  volume       = {abs/cs/0507046},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507046},
  eprinttype    = {arXiv},
  eprint       = {cs/0507046},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507046.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507047,
  author       = {Xenofontas A. Dimitropoulos and
                  Dmitri V. Krioukov and
                  Bradley Huffaker and
                  Kimberly C. Claffy and
                  George F. Riley},
  title        = {Inferring {AS} Relationships: Dead End or Lively Beginning?},
  journal      = {CoRR},
  volume       = {abs/cs/0507047},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507047},
  eprinttype    = {arXiv},
  eprint       = {cs/0507047},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507047.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507048,
  author       = {Paolo Liberatore},
  title        = {Redundancy in Logic {III:} Non-Mononotonic Reasoning},
  journal      = {CoRR},
  volume       = {abs/cs/0507048},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507048},
  eprinttype    = {arXiv},
  eprint       = {cs/0507048},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507048.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507049,
  author       = {David Eppstein and
                  Michael T. Goodrich and
                  Jonathan Z. Sun},
  title        = {The Skip Quadtree: {A} Simple Dynamic Data Structure for Multidimensional
                  Data},
  journal      = {CoRR},
  volume       = {abs/cs/0507049},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507049},
  eprinttype    = {arXiv},
  eprint       = {cs/0507049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507049.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507050,
  author       = {Lars Arge and
                  David Eppstein and
                  Michael T. Goodrich},
  title        = {Skip-Webs: Efficient Distributed Data Structures for Multi-Dimensional
                  Data Sets},
  journal      = {CoRR},
  volume       = {abs/cs/0507050},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507050},
  eprinttype    = {arXiv},
  eprint       = {cs/0507050},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507051,
  author       = {David Eppstein and
                  Michael T. Goodrich and
                  Jeremy Yu Meng},
  title        = {Confluent Layered Drawings},
  journal      = {CoRR},
  volume       = {abs/cs/0507051},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507051},
  eprinttype    = {arXiv},
  eprint       = {cs/0507051},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507052,
  author       = {Qiang Li and
                  Hui{-}Min Xie},
  title        = {Finite automata for testing uniqueness of Eulerian trails},
  journal      = {CoRR},
  volume       = {abs/cs/0507052},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507052},
  eprinttype    = {arXiv},
  eprint       = {cs/0507052},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507052.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507053,
  author       = {David Eppstein},
  title        = {Nonrepetitive Paths and Cycles in Graphs with Application to Sudoku},
  journal      = {CoRR},
  volume       = {abs/cs/0507053},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507053},
  eprinttype    = {arXiv},
  eprint       = {cs/0507053},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507053.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507054,
  author       = {Andrey S. Siver},
  title        = {f2mma: {FORTRAN} to Mathematica translator},
  journal      = {CoRR},
  volume       = {abs/cs/0507054},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507054},
  eprinttype    = {arXiv},
  eprint       = {cs/0507054},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507054.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507055,
  author       = {Andrey S. Siver},
  title        = {ReacProc: {A} Tool to Process Reactions Describing Particle Interactions},
  journal      = {CoRR},
  volume       = {abs/cs/0507055},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507055},
  eprinttype    = {arXiv},
  eprint       = {cs/0507055},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507055.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507056,
  author       = {Candace L. Sidner and
                  Christopher Lee and
                  Cory D. Kidd and
                  Neal Lesh and
                  Charles Rich},
  title        = {Explorations in engagement for humans and robots},
  journal      = {CoRR},
  volume       = {abs/cs/0507056},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507056},
  eprinttype    = {arXiv},
  eprint       = {cs/0507056},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507056.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507057,
  author       = {Tereza Tusarov{\'{a}}},
  title        = {A new sibling of {BQP}},
  journal      = {CoRR},
  volume       = {abs/cs/0507057},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507057},
  eprinttype    = {arXiv},
  eprint       = {cs/0507057},
  timestamp    = {Wed, 26 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507057.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507058,
  author       = {Emanuel Diamant},
  title        = {Paving the Way for Image Understanding: {A} New Kind of Image Decomposition
                  is Desired},
  journal      = {CoRR},
  volume       = {abs/cs/0507058},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507058},
  eprinttype    = {arXiv},
  eprint       = {cs/0507058},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507058.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507059,
  author       = {Magdalena Ortiz and
                  Diego Calvanese and
                  Thomas Eiter and
                  Enrico Franconi},
  title        = {Data complexity of answering conjunctive queries over {SHIQ} knowledge
                  bases},
  journal      = {CoRR},
  volume       = {abs/cs/0507059},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507059},
  eprinttype    = {arXiv},
  eprint       = {cs/0507059},
  timestamp    = {Mon, 29 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507059.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507060,
  author       = {Or Zuk and
                  Ido Kanter and
                  Eytan Domany},
  title        = {The Entropy of a Binary Hidden Markov Process},
  journal      = {CoRR},
  volume       = {abs/cs/0507060},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507060},
  eprinttype    = {arXiv},
  eprint       = {cs/0507060},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507060.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507061,
  author       = {Andre Adrian},
  title        = {Software Architecture Overview},
  journal      = {CoRR},
  volume       = {abs/cs/0507061},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507061},
  eprinttype    = {arXiv},
  eprint       = {cs/0507061},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507062,
  author       = {Jan Poland},
  title        = {{FPL} Analysis for Adaptive Bandits},
  journal      = {CoRR},
  volume       = {abs/cs/0507062},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507062},
  eprinttype    = {arXiv},
  eprint       = {cs/0507062},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507062.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507063,
  author       = {Boaz Tsaban},
  title        = {Theoretical cryptanalysis of the Klimov-Shamir number generator {TF-1}},
  journal      = {CoRR},
  volume       = {abs/cs/0507063},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507063},
  eprinttype    = {arXiv},
  eprint       = {cs/0507063},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507063.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507064,
  author       = {Isabelle Gnaedig and
                  H{\'{e}}l{\`{e}}ne Kirchner},
  title        = {Termination of rewriting strategies: a generic approach},
  journal      = {CoRR},
  volume       = {abs/cs/0507064},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507064},
  eprinttype    = {arXiv},
  eprint       = {cs/0507064},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507064.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507065,
  author       = {Zengyou He and
                  Xiaofei Xu and
                  Shengchun Deng},
  title        = {A Fast Greedy Algorithm for Outlier Mining},
  journal      = {CoRR},
  volume       = {abs/cs/0507065},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507065},
  eprinttype    = {arXiv},
  eprint       = {cs/0507065},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507065.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507066,
  author       = {Sunder Lal and
                  Atul Chaturvedi},
  title        = {Authentication Schemes Using Braid Groups},
  journal      = {CoRR},
  volume       = {abs/cs/0507066},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507066},
  eprinttype    = {arXiv},
  eprint       = {cs/0507066},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507066.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507067,
  author       = {Diego Calvanese and
                  Giuseppe De Giacomo and
                  Maurizio Lenzerini},
  title        = {Conjunctive Query Containment and Answering under Description Logics
                  Constraints},
  journal      = {CoRR},
  volume       = {abs/cs/0507067},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507067},
  eprinttype    = {arXiv},
  eprint       = {cs/0507067},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507067.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507068,
  author       = {Henk D. L. Hollmann and
                  Ludo M. G. M. Tolhuizen},
  title        = {On parity check collections for iterative erasure decoding that correct
                  all correctable erasure patterns of a given size},
  journal      = {CoRR},
  volume       = {abs/cs/0507068},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507068},
  eprinttype    = {arXiv},
  eprint       = {cs/0507068},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507068.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507069,
  author       = {Jovan Pehcevski and
                  James A. Thom and
                  Anne{-}Marie Vercoustre},
  title        = {Users and Assessors in the Context of {INEX:} Are Relevance Dimensions
                  Relevant?},
  journal      = {CoRR},
  volume       = {abs/cs/0507069},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507069},
  eprinttype    = {arXiv},
  eprint       = {cs/0507069},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507069.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507070,
  author       = {Jovan Pehcevski and
                  James A. Thom and
                  Anne{-}Marie Vercoustre},
  title        = {Hybrid {XML} Retrieval: Combining Information Retrieval and a Native
                  {XML} Database},
  journal      = {CoRR},
  volume       = {abs/cs/0507070},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507070},
  eprinttype    = {arXiv},
  eprint       = {cs/0507070},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507070.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507071,
  author       = {Nicolai Kuntze and
                  Thomas Rauch and
                  Andreas U. Schmidt},
  title        = {Security for Distributed Web-Applications via Aspect-Oriented Programming},
  journal      = {CoRR},
  volume       = {abs/cs/0507071},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507071},
  eprinttype    = {arXiv},
  eprint       = {cs/0507071},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507071.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507072,
  author       = {Matthew John Leslie},
  title        = {Reliable Data Storage in Distributed Hash Tables},
  journal      = {CoRR},
  volume       = {abs/cs/0507072},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507072},
  eprinttype    = {arXiv},
  eprint       = {cs/0507072},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507072.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0507073,
  author       = {Michel R. Dagenais and
                  Karim Yaghmour and
                  Charles Levert and
                  Makan Pourzandi},
  title        = {Software Performance Analysis},
  journal      = {CoRR},
  volume       = {abs/cs/0507073},
  year         = {2005},
  url          = {http://arxiv.org/abs/cs/0507073},
  eprinttype    = {arXiv},
  eprint       = {cs/0507073},
  timestamp    = {Mon, 13 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-cs-0507073.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0507032,
  author       = {G{\'{e}}rard Henry Edmond Duchamp and
                  Jean{-}Gabriel Luque and
                  Marianne Deboysson{-}Flouret},
  title        = {Transitive Hall sets},
  journal      = {CoRR},
  volume       = {abs/math/0507032},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0507032},
  eprinttype    = {arXiv},
  eprint       = {math/0507032},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0507032.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0507041,
  author       = {W. Charles Holland and
                  Boaz Tsaban},
  title        = {The conjugacy problem and related problems in lattice-ordered groups},
  journal      = {CoRR},
  volume       = {abs/math/0507041},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0507041},
  eprinttype    = {arXiv},
  eprint       = {math/0507041},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0507041.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0507235,
  author       = {Guangyue Han and
                  Brian H. Marcus},
  title        = {Analyticity of Entropy Rate of Hidden Markov Chains},
  journal      = {CoRR},
  volume       = {abs/math/0507235},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0507235},
  eprinttype    = {arXiv},
  eprint       = {math/0507235},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0507235.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-math-0507410,
  author       = {Bernd Fiedler},
  title        = {Methods for the construction of generators of algebraic curvature
                  tensors},
  journal      = {CoRR},
  volume       = {abs/math/0507410},
  year         = {2005},
  url          = {http://arxiv.org/abs/math/0507410},
  eprinttype    = {arXiv},
  eprint       = {math/0507410},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-math-0507410.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-nlin-0507021,
  author       = {Camille Roth},
  title        = {Measuring Generalized Preferential Attachment in Dynamic Social Networks},
  journal      = {CoRR},
  volume       = {abs/nlin/0507021},
  year         = {2005},
  url          = {http://arxiv.org/abs/nlin/0507021},
  eprinttype    = {arXiv},
  eprint       = {nlin/0507021},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-nlin-0507021.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-q-bio-0507037,
  author       = {Gabriele Scheler},
  title        = {Network Topology influences Synchronization and Intrinsic Read-out},
  journal      = {CoRR},
  volume       = {abs/q-bio/0507037},
  year         = {2005},
  url          = {http://arxiv.org/abs/q-bio/0507037},
  eprinttype    = {arXiv},
  eprint       = {q-bio/0507037},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-q-bio-0507037.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0507155,
  author       = {Paola Zizzi},
  title        = {Theoretical Setting of Inner Reversible Quantum Measurements},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0507155},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0507155},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0507155},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0507155.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0507231,
  author       = {Daniel Lehmann and
                  Kurt Engesser and
                  Dov M. Gabbay},
  title        = {Algebras of Measurements: the logical structure of Quantum Mechanics},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0507231},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0507231},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0507231},
  timestamp    = {Fri, 09 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0507231.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0507234,
  author       = {Shahar Dolev and
                  Itamar Pitowsky and
                  Boaz Tamir},
  title        = {Grover's Quantum Search Algorithm and Diophantine Approximation},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0507234},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0507234},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0507234},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0507234.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-quant-ph-0507270,
  author       = {Harumichi Nishimura and
                  Tomoyuki Yamakami},
  title        = {Quantum Minimal One Way Information: Relative Hardness and Quantum
                  Advantage of Combinatorial Tasks},
  journal      = {CoRR},
  volume       = {abs/quant-ph/0507270},
  year         = {2005},
  url          = {http://arxiv.org/abs/quant-ph/0507270},
  eprinttype    = {arXiv},
  eprint       = {quant-ph/0507270},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-quant-ph-0507270.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics