Ditapis dengan
Optimizing HPC applications with intel cluster tools
Optimizing HPC Applications with Intel® Cluster Tools takes the reader on a tour of the fast-growing area of high performance computing and the optimization of hybrid programs. These programs typically combine distributed memory and shared memory programming models and use the Message Passing Interface (MPI) and OpenMP for multi-threading to achieve the ultimate goal of high performance at low…
- Edisi
- -
- ISBN/ISSN
- 9781430264972
- Deskripsi Fisik
- xxiv, 300p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.11 OPT o
Autonomous Control for a Reliable Internet of Services :Methods, Models, Appr…
This open access book was prepared as a Final Publication of the COST Action IC1304 “Autonomous Control for a Reliable Internet of Services (ACROSS)”. The book contains 14 chapters and constitutes a show-case of the main outcome of the Action in line with its scientific goals. It will serve as a valuable reference for undergraduate and post-graduate students, educators, faculty members, res…
- Edisi
- -
- ISBN/ISSN
- 9783319904153
- Deskripsi Fisik
- XV, 400 p.
- Judul Seri
- -
- No. Panggil
- 004.678 AUT a
Tools and algorithms for the construction and analysis of systems :26th Inter…
This open access two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020. The total of 60 regular papers presented in these volumes was …
- Edisi
- -
- ISBN/ISSN
- 9783030452377
- Deskripsi Fisik
- xxiii, 425p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.21 TOO t
The everyday life of an algorithm
This open access book begins with an algorithm–a set of IF…THEN rules used in the development of a new, ethical, video surveillance architecture for transport hubs. Readers are invited to follow the algorithm over three years, charting its everyday life. Questions of ethics, transparency, accountability and market value must be grasped by the algorithm in a series of ever more demanding for…
- Edisi
- -
- ISBN/ISSN
- 9783030005788
- Deskripsi Fisik
- ix, 151p. : ill.
- Judul Seri
- -
- No. Panggil
- 303.483 NEY e
Enhanced living environments :algorithms, architectures, platforms, and systems
This open access book is the final publication of the COST Action IC1303 “Algorithms, Architectures and Platforms for Enhanced Living Environments (AAPELE)” project. Ambient Assisted Living (AAL) is an area of research based on Information and Communication Technologies (ICT), medical research, and sociological research. AAL is based on the notion that technology and science can provide im…
- Edisi
- -
- ISBN/ISSN
- 9783030107529
- Deskripsi Fisik
- xx, 322p. : ill.
- Judul Seri
- -
- No. Panggil
- 004.019 ENH e
Finite difference computing with PDEs :a modern software approach
This easy-to-read book introduces the basics of solving partial differential equations by means of finite difference methods. Unlike many of the traditional academic works on the topic, this book was written for practitioners. Accordingly, it especially addresses: the construction of finite difference schemes, formulation and implementation of algorithms, verification of implementations, analys…
- Edisi
- -
- ISBN/ISSN
- 9783319554563
- Deskripsi Fisik
- xxiii, 499p. : ill.
- Judul Seri
- -
- No. Panggil
- 515.353 LAN f
Bisociative knowledge discovery :an introduction to concept, algorithms, tool…
Modern knowledge discovery methods enable users to discover complex patterns of various types in large information repositories. However, the underlying assumption has always been that the data to which the methods are applied originates from one domain. The focus of this book, and the BISON project from which the contributions originate, is a network-based integration of various types of da…
- Edisi
- -
- ISBN/ISSN
- 9783642318306
- Deskripsi Fisik
- ix, 483p. : ill.
- Judul Seri
- -
- No. Panggil
- 006.312 BIS b
Engines of Order :A Mechanology of Algorithmic Techniques
Over the last decades, and in particular since the widespread adoption of the Internet, encounters with algorithmic procedures for ‘information retrieval’ – the activity of getting some piece of information out of a col-lection or repository of some kind – have become everyday experiences for most people in large parts of the world.
- Edisi
- -
- ISBN/ISSN
- 9789048537419
- Deskripsi Fisik
- 353 p.: ill.
- Judul Seri
- -
- No. Panggil
- 518.1 RIE e
Deliberation, representation, equity:research approaches, tools and algorithm…
What can we learn about the development of public interaction in e-democracy from a drama delivered by mobile headphones to an audience standing around a shopping center in a Stockholm suburb? In democratic societies there is widespread acknowledgment of the need to incorporate citizens’ input in decision-making processes in more or less structured ways. But participatory decision making is …
- Edisi
- -
- ISBN/ISSN
- 9781783743056
- Deskripsi Fisik
- 376 p. : ill. : ind. ; 24 cm
- Judul Seri
- -
- No. Panggil
- 323.042 DEL d
Digital constitutionalism in Europe :reframing rights and powers in the algor…
This book is about rights and powers in the digital age. It is an attempt to reframe the role of constitutional democracies in the algorithmic society. By focusing on the European constitutional framework as a lodestar, this book examines the rise and consolidation of digital constitutionalism as a reaction to digital capitalism. The primary goal is to examine how European digital constitutiona…
- Edisi
- -
- ISBN/ISSN
- 9781009071215
- Deskripsi Fisik
- xv, 355p.
- Judul Seri
- -
- No. Panggil
- 342.4085 DEG d
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah