Ditemukan 56 dokumen yang sesuai dengan query
This book constitutes the thoroughly refereed post-conference proceedings of the 18th International Conference on Principles and Practice of Constraint Programming (CP 2012), held in Québec, Canada, in October 2012. The 68 revised full papers were carefully selected from 186 submissions. Beside the technical program, the conference featured two special tracks....
Berlin: Springer-Verlag, 2012
e20408656
eBooks Universitas Indonesia Library
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Conference on Large-Scale Scientific Computations, LSSC 2011, held in Sozopol, Bulgaria, in June 2011. The 74 revised full papers presented together with 3 plenary and invited papers were carefully reviewed and selected from numerous submissions. The papers are...
Berlin: Springer-Verlag, 2012
e20409843
eBooks Universitas Indonesia Library
Sergey Leble, author
ABSTRACT
A problem of analytical-numerical modeling of the plane wave propagation from an
ocean surface to the atmosphere is considered. We are interested in the thermosphere impact
of tsunami waves. We suppose that the transport of energy and the momentum from lower
atmosphere to thermosphere heights is due to acoustic waves.
A set of expressions...
Gdansk : TASK , 2018
600 SBAG 22:3 (2018)
Artikel Jurnal Universitas Indonesia Library
A. Ridha Mahjoub, editor
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Symposium on Combinatorial Optimization, ISCO 2012, held in Athens, Greece, in April 2012. The 37 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 94 regular and 30 short submissions. They present...
Berlin: Springer-Verlag , 2012
e20406376
eBooks Universitas Indonesia Library
Michael W. Berry, editor
This book presents the state of the art in parallel numerical algorithms, applications, architectures, and system software. The book examines various solutions for issues of concurrency, scale, energy efficiency, and programmability, which are discussed in the context of a diverse range of applications. Features : includes contributions from an international...
London: Springer, 2012
e20407473
eBooks Universitas Indonesia Library
Vladimir P. Gerdt, editor
This book constitutes the proceedings of the 14th International Workshop on Computer Algebra in Scientific Computing, CASC 2012, held in Maribor, Slovenia, in September 2012. The 28 full papers presented were carefully reviewed and selected for inclusion in this book. One of the main themes of the CASC workshop series,...
Berlin: [, Springer-Verlag], 2012
e20409416
eBooks Universitas Indonesia Library
Nicolas Beldiceanu, editor
The 26 revised full papers presented were carefully reviewed and selected from 64 submissions. The papers are focused on both theoretical and practical, application-oriented issues in combinatorial optimization and feature current research with a special focus on inference and relaxation methods, integration methods, modeling methods, innovative applications of CP/AI/OR techniques,...
Berlin: [, Springer-Verlag], 2012
e20409717
eBooks Universitas Indonesia Library
Ben Raphael, editor
This book constitutes the refereed proceedings of the 12th International Workshop on Algorithms in Bioinformatics, WABI 2012, held in Ljubljana, Slovenia, in September 2012. WABI 2012 is one of six workshops which, along with the European Symposium on Algorithms (ESA), constitute the ALGO annual meeting and focuses on algorithmic advances...
Berlin: [Springer-Verlag, ], 2012
e20410009
eBooks Universitas Indonesia Library
Branislav Rovan, editor
This volume constitutes the refereed proceedings of the 37th International Symposium on Mathematical Foundations of Computer Science, MFCS 2012, held in Bratislava, Slovakia, in August 2012. The 63 revised full papers presented together with 8 invited talks were carefully reviewed and selected from 162 submissions. Topics covered include algorithmic game...
Berlin: [Springer-Verlag, ], 2012
e20410051
eBooks Universitas Indonesia Library
Gonzalo Navarro, editor
This book constitutes the proceedings of the 5th International Conference on Similarity Search and Applications, SISAP 2012, held in Toronto, Canada, in August 2012. The 14 full papers presented in this volume, together with 2 demo papers and 2 invited talks, were carefully reviewed and selected from 19 submissions. The...
Berlin: [Springer-Verlag, ], 2012
e20410111
eBooks Universitas Indonesia Library
