Ditemukan 26 dokumen yang sesuai dengan query
Ralf Klasing, editor
This book constitutes the refereed proceedings of the 11th International Symposium on Experimental Algorithms, SEA 2012, held Bordeaux, France, in June 2012. The 31 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 64 submissions and present current research in the area of design,...
Berlin: [, Springer-Verlag], 2012
e20410472
eBooks Universitas Indonesia Library
Fedor V. Fomin, editor
This book constitutes the refereed proceedings of the 13th International Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2012, held in Helsinki, Finland, in July 2012, co-located with the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012. The 34 papers were carefully reviewed and selected from a total of...
Berlin: [, Springer-Verlag], 2012
e20410483
eBooks Universitas Indonesia Library
Contains 130 papers, which were selected based on originality, technical contribution, and relevance. Although the papers were not formally refereed, every attempt was made to verify the main claims. It is expected that most will appear in more complete form in scientific journals...
New York: ACM Press, 2001
e20449015
eBooks Universitas Indonesia Library
The papers in this volume were presented at the Twenty-First Annual ACM-SIAM Symposium on Discrete Algorithms, held January 17-19, 2010, in Austin, TX. The Symposium was jointly sponsored by the SIAM Activity Group on Discrete Mathematics and by SIGACT, the ACM Special Interest Group on Algorithms and Computation Theory...
Philadelphia: Society for Industrial and Applied Mathematics, 2010
e20443396
eBooks Universitas Indonesia Library
Nader H. Bshouty, editor
This book constitutes the refereed proceedings of the 7th International Workshop on Security, IWSEC 2012, held in Fukuoka, Japan, in November 2012. The 16 revised selected papers presented in this volume were carefully reviewed and selected from 53 submissions. They are organized in topical sections named: implementation; encryption and key...
Berlin: Springer-Verlag, 2012
e20408473
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 6th International Frontiers of Algorithmics Workshop, FAW 2012, and the 8th International Conference on Algorithmic Aspects in Information and Management, AAIM 2012, jointly held in Beijing, China, in May 2012. The 33 revised full papers presented together with 4 invited talks were...
Berlin: Springer-Verlag, 2012
e20410306
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012, held in Trento, Italy, in June 2012. The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected...
Berlin: Springer-Verlag, 2012
e20410409
eBooks Universitas Indonesia Library
This book constitutes the proceedings of the 7th International Computer Science Symposium in Russia, CSR 2012, held in Nizhny Novgorod in July 2012. The 28 full papers presented in this volume were carefully reviewed and selected from 66 submissions. CSR 2012 was one of the events of the Alan Turing...
Berlin: Springer-Verlag, 2012
e20410485
eBooks Universitas Indonesia Library
The ALENEX workshop provides a forum for the presentation of original research in the implementation and experimental evaluation of algorithms and data structures. This volume collects extended versions of the 12 papers that were selected for presentation...
Philadelphia: Society for Industrial and Applied Mathematics, 2003
e20443191
eBooks Universitas Indonesia Library
This symposium concerned research on the use, design, and analysis of efficient algorithms and data structures, and on the mathematical problems related to the development and analysis of discrete algorithms. The papers are based on the extent to which the results yield new insights for the design, use, or analysis...
New York: Association for Computing Machinery, 2003
e20443195
eBooks Universitas Indonesia Library
