Ditemukan 349 dokumen yang sesuai dengan query
Pitt-Francis, Joe, author
This easy-to-read textbook/reference presents an essential guide to object-oriented C++ programming for scientific computing. With a practical focus on learning by example, the theory is supported by numerous exercises. Features, provides a specific focus on the application of C++ to scientific computing, including parallel computing using MPI, stresses the importance...
London: Springer, 2012
e20407906
eBooks Universitas Indonesia Library
Roberto De Virgilio, editor
In this book, present an extensive overview of the work done in Semantic Search and other related areas. They explore different technologies and solutions in depth, making their collection a valuable and stimulating reading for both academic and industrial researchers.
The book is divided into three parts. The first introduces the...
Berlin: Springer-Verlag, 2012
e20408106
eBooks Universitas Indonesia Library
Joaquim Filipe, editor
This book contains the thoroughly refereed and revised best papers from the 7th International Conference on Web Information Systems and Technologies, WEBIST 2011, held in Nordwijkerhout, The Netherlands, in May 2011, organized by the Institute for Systems and Technologies of Information, Control and Communication (INSTICC), in collaboration with ACM SIGMIS...
Berlin: [, Springer-Verlag], 2012
e20408737
eBooks Universitas Indonesia Library
Tom Ziemke, editor
This book constitutes the proceedings of the 12th International Conference on Simulation of Adaptive Behaviour, SAB 2012, held in Odense, Denmark, in August 2012. The 22 full papers as well as 22 poster papers included in this volume were carefully reviewed and selected from 66 submissions. They are organized in...
Berlin: [, Springer-Verlag], 2012
e20410012
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
Carlo A. Furia, author
Models that include a notion of time are ubiquitous in disciplines such as the natural sciences, engineering, philosophy, and linguistics, but in computing the abstractions provided by the traditional models are problematic and the discipline has spawned many novel models. This book is a systematic thorough presentation of the results...
Berlin: [, Springer-Verlag], 2012
e20410092
eBooks Universitas Indonesia Library
Giuseppe Anastasi, editor
The book contains a collection of papers offering an overview of the main results produced by the ArtDeco project. It has been structured into the following four main parts: organizational issues, methodologies, empirical contexts and policies, software methodologies and technologies, knowledge elicitation and management, and management of peripheral devices. It...
Berlin: [, Springer-Verlag], 2012
e20410177
eBooks Universitas Indonesia Library
The 15th issue of the Transactions on Computational Science journal, edited by Cong-Vinh Phan, contains six invited papers on autonomic computing, with a special focus on formal engineering methods for nature-inspired computing systems. The papers give an in-depth overview of the area and a comprehensive evaluation of various methodologies for...
Berlin: Springer-Verlag, 2012
e20410265
eBooks Universitas Indonesia Library
Goodloe, Alwyn E., editor
This book constitutes the refereed proceedings of the Fourth International Symposium on NASA Formal Methods, NFM 2012, held in Norfolk, VA, USA, in April 2012. The 36 revised regular papers presented together with 10 short papers, 3 invited talks were carefully reviewed and selected from 93 submissions. The topics are...
Berlin: [Springer-Verlag, ], 2012
e20410496
eBooks Universitas Indonesia Library
Abdelgawad, Ahmed, author
This book introduces resource-aware data fusion algorithms to gather and combine data from multiple sources (e.g., sensors) in order to achieve inferences. These techniques can be used in centralized and distributed systems to overcome sensor failure, technological limitation, and spatial and temporal coverage problems. The algorithms described in this...
New York: [, Springer], 2012
e20418361
eBooks Universitas Indonesia Library
