Ditemukan 64 dokumen yang sesuai dengan query
Chris Hawblitzel, editor
This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in...
Berlin: Springer-Verlag , 2012
e20406355
eBooks Universitas Indonesia Library
Finkel, Alain, editor
This book constitutes the refereed proceedings of the 6th International Workshop on Reachability Problems, RP 2012, held in Bordeaux, France, in September, 2012. The 8 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 15 submissions. The papers present current research and original contributions...
Berlin: [, Springer-Verlag], 2012
e20409295
eBooks Universitas Indonesia Library
This book constitutes the refereed proceedings of the 20th Annual European Symposium on Algorithms, ESA 2012, held in Ljubljana, Slovenia, in September 2012 in the context of the combined conference ALGO 2012. The 69 revised full papers presented were carefully reviewed and selected from 285 initial submissions: 56 out of...
Berlin: [;Springer-Verlag, Springer-Verlag], 2012
e20410014
eBooks Universitas Indonesia Library
Massimo Ferri, editor
This book constitutes the proceedings of the 4th International Workshop on Computational Topology in Image Context, CTIC 2012, held in Bertinoro, Italy, in May 2012. The 16 papers presented in this volume were carefully reviewed and selected for inclusion in this book. They focus on the topology and computation in...
Berlin: [Springer-Verlag, ], 2012
e20410301
eBooks Universitas Indonesia Library
Bertoluzza, Silvia, author
This book is a collection of lecture notes for the CIME course on "Multiscale and Adaptivity: Modeling, Numerics and Applications," held in Cetraro (Italy), in July 2009. Complex systems arise in several physical, chemical, and biological processes, in which length and time scales may span several orders of magnitude. Traditionally,...
Berlin: Springer, 2012
e20420508
eBooks Universitas Indonesia Library
Stix, Jakob, editor
This book acknowledges the varied incarnations of the fundemental group, pro-finite, L-adic, p-adic, pro-algebraic and motivic. It explores a weaelth of topics that range from anabelian geometry (in particular the section conjecture), the L-adic polylogarithm, gonality questions of mudular curves, vector bundles in connection with monodromy, and relative pro-algebraic completions,...
Berlin: Springer, 2012
e20420582
eBooks Universitas Indonesia Library
Philadelphia: Society for Industrial and Applied Mathematics, 2006
e20449171
eBooks Universitas Indonesia Library
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.
This volume contains 136 papers that were selected from a field of 491 submissions based on their originality, technical contribution, and relevance. The symposium and...
Philadelphia: Society for Industrial and Applied Mathematics, 2005
e20449176
eBooks Universitas Indonesia Library
The papers were elicited primarily from Mathematics for Industry: Challenges and Frontiers, a conference sponsored by SIAM in October, 2003. This conference was different from other SIAM conferences in that it was a forum for scientific experts from industry and government to meet with members of the mathematical community to...
Philadelphia : Society for Industrial and Applied Mathematics, 2005
e20443135
eBooks Universitas Indonesia Library
The Sharpest Cut is written in honor of Manfred Padberg, who has made fundamental contributions to both the theoretical and computational sides of integer programming and combinatorial optimization. This outstanding collection presents recent results in these areas that are closely connected to Padberg's research. His deep commitment to the geometrical...
Philadelphia: Society for Industrial and Applied Mathematics, 2004
e20448165
eBooks Universitas Indonesia Library