Ditemukan 462 dokumen yang sesuai dengan query
This book is proceedings of the 7th FTRA International Conference on Future Information Technology (FutureTech 2012). The topics of FutureTech 2012 cover the current hot topics satisfying the world-wide ever-changing needs. The FutureTech 2012 is intended to foster the dissemination of state-of-the-art research in all future IT areas, including their...
Dordrecht, Netherlands: [, Springer], 2012
e20399397
eBooks Universitas Indonesia Library
Quadros, William Roshan, editor
This volume contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held in Paris, France on Oct 23-26, 2011. This is the first year the IMR was held outside the United States territory. Other sponsors of the 20th IMR...
Berlin: Springer, 2011
e20399402
eBooks Universitas Indonesia Library
Viktoria Zsok, editor
This volume presents the revised lecture notes of selected talks given at the Fourth Central European Functional Programming School, CEFP 2011, held in June 2011 in Budapest, Hungary. The 11 revised full papers presented were carefully reviewed by experts on functional programming and revised based on the reviews. The lectures...
New York: Springer-Verlag , 2012
e20406354
eBooks Universitas Indonesia Library
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
Juha Karkkainen, editor
This book constitutes the refereed proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching, CPM 2012, held in Helsinki, Finland, in July 2012.
The 33 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 60 submissions. The papers address issues of searching and...
Berlin: Springer-Verlag , 2012
e20406382
eBooks Universitas Indonesia Library
Andrew M. Dienstfrey, editor
This book constitutes the refereed post-proceedings of the 10th IFIP WG 2.5 Working Conference on Uncertainty Quantification in Scientific Computing, WoCoUQ 2011, held in Boulder, CO, USA, in August 2011. The 24 revised papers were carefully reviewed and selected from numerous submissions. They are organized in the following topical sections...
Heidelberg : Springer, 2012
e20406417
eBooks Universitas Indonesia Library
Holger Brunst, editor
The proceedings of the 5th International Workshop on Parallel Tools for High Performance Computing provide an overview on supportive software tools and environments in the fields of system management, parallel debugging and performance analysis. In the pursuit to maintain exponential growth for the performance of high performance computers the HPC...
Berlin: Springer, 2012
e20406453
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
Kahraman, Cengiz, author
This book will include most of the application areas of industrial engineering through these computational intelligence systems. In the literature, there is no book including many real and practical applications of Computational Intelligence Systems from the point of view of Industrial Engineering. Every chapter will include explanatory and didactic applications....
Paris: Atlantis Press, 2012
e20406530
eBooks Universitas Indonesia Library
Ovchinnikova, Ekaterina, author
This book concerns non-linguistic knowledge required to perform computational natural language understanding (NLU). The main objective of the book is to show that inference-based NLU has the potential for practical large scale applications. First, an introduction to research areas relevant for NLU is given....
Paris: Atlantis Press, 2012
e20406540
eBooks Universitas Indonesia Library
