Ditemukan 90 dokumen yang sesuai dengan query
Brucker, Peter, author
Berlin: Springer, 1998
658.53 BRU s
Buku Teks Universitas Indonesia Library
This book provides readers with a comprehensive, state-of-the-art overview of approximate computing, enabling the design trade-off of accuracy for achieving better power/performance efficiencies, through the simplification of underlying computing resources. The authors describe in detail various efforts to generate approximate hardware systems, while still providing an overview of support...
Switzerland: Springer Nature, 2019
e20506508
eBooks Universitas Indonesia Library
Brucker, Peter, author
[This book presents models and algorithms for complex scheduling problems. Besides resource-constrained project scheduling problems with applications also job-shop problems with flexible machines, transportation or limited buffers are discussed. Discrete optimization methods like linear and integer programming, constraint propagation techniques, shortest path and network flow algorithms, branch-and-bound methods, local search...
Berlin: [Springer, ], 2012
e20396565
eBooks Universitas Indonesia Library
Bodlaender, Hans L., editor
This festschrift contains 20 papers that showcase the important scientific contributions of this remarkable man, describes the history of the field of parameterized complexity, and also reflects on other parts of Mike Fellows’s unique and broad range of interests, including his work on the popularization of discrete mathematics for young...
Berlin: Springer, 2012
e 20406455
eBooks Universitas Indonesia Library
Ewald, Roland, author
Roland Ewald analyzes and discusses existing approaches to solve the algorithm selection problem in the context of simulation. He introduces a framework for automatic simulation algorithm selection and describes its integration into the open-source modelling and simulation framework James II. Its selection mechanisms are able to cope with three situations...
Springer , 2012
e20408222
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 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
Higham, Nicholas J., author
This second edition expands and updates the coverage of the first edition (1996) and includes numerous improvements to the original material. Two new chapters treat symmetric indefinite systems and skew-symmetric systems, and nonlinear systems and Newton's method. Twelve new sections include coverage of additional error bounds for Gaussian elimination, rank...
Philadelphia : Society for Industrial and Applied Mathematics, 1996
e20442984
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
