Ditapis dengan
Product lifecycle management for society
This book constitutes the refereed proceedings of the 10th IFIP WG 5.1 International Conference on Product Lifecycle Management, PLM 2013, held in Nantes, France, in July 2013. The 63 full papers presented together with 2 keynote talks were carefully reviewed and selected from 91 submissions. They are organized in the following topical sections: PLM for sustainability, traceability and performa…
- Edisi
- -
- ISBN/ISSN
- 9783642415012
- Deskripsi Fisik
- xx, 725 hlm. ; il. warna
- Judul Seri
- IFIP Advances in Information and Communication Technology
- No. Panggil
- E1323
Combinatorial search: From algorithms to systems
Although they are believed to be unsolvable in general, tractability results suggest that some practical NP-hard problems can be efficiently solved. Combinatorial search algorithms are designed to efficiently explore the usually large solution space of these instances by reducing the search space to feasible regions and using heuristics to efficiently explore these regions. Various mathematical…
- Edisi
- -
- ISBN/ISSN
- 9783642414824
- Deskripsi Fisik
- xiii, 139 hlm. ; il. warna
- Judul Seri
- -
- No. Panggil
- E1322
Machine learning dan reasoning Fuzzy Logic : algoritma, manual, Matlab, dan R…
Bibliografi : hlm. 181-184
- Edisi
- Cet. 1
- ISBN/ISSN
- 9786230206313
- Deskripsi Fisik
- xxii, 216 hlm. : il. ; 25 cm.
- Judul Seri
- -
- No. Panggil
- 006.31 SAN m
Computational intelligence for traffic and mobility
This book presents the new development of computation intelligence for traffic, transportation and mobility, the main contents include traffic safety, mobility analysis, intelligent transportation system, smart vehicle, transportation behavior, driver modeling and assistance, transportation risk analysis and reliability system analysis, vehicle operation and active safety, urban traffic managem…
- Edisi
- -
- ISBN/ISSN
- 9789491216800
- Deskripsi Fisik
- xii, 340 hlm.
- Judul Seri
- Atlantis Computational Intelligence Systems (ATLANTISCIS)
- No. Panggil
- E1543
Reactive kripke semantics
This text offers an extension to the traditional Kripke semantics for non-classical logics by adding the notion of reactivity. Reactive Kripke models change their accessibility relation as we progress in the evaluation process of formulas in the model. This feature makes the reactive Kripke semantics strictly stronger and more applicable than the traditional one. Here we investigate the propert…
- Edisi
- -
- ISBN/ISSN
- 9783642413896
- Deskripsi Fisik
- xii, 442 hlm. ; il. warna
- Judul Seri
- Cognitive Technologies
- No. Panggil
- E1319
Human aspects in ambient intelligence : contemporary challenges and solutions
This book presents recent developments is the field of human aspects in Ambient Intelligence. This field, and the associated workshop series, addresses multidisciplinary aspects of AmI with human-directed disciplines such as psychology, social science, neuroscience and biomedical sciences. The aim of the workshop series is to get researchers together from these human-directed disciplines or wor…
- Edisi
- -
- ISBN/ISSN
- 9789462390188
- Deskripsi Fisik
- viii, 172 hlm. : il.
- Judul Seri
- Atlantis Ambient and Pervasive Intelligence (ATLANTISAPI, volume 8)
- No. Panggil
- E1541
Knowledge engineering and the semantic web
This book constitutes the refereed proceedings of the 4th Conference on Knowledge Engineering and the Semantic Web, KESW 2013, held in St. Petersburg, Russia, in October 2013. The 18 revised full papers presented together with 7 short system descriptions were carefully reviewed and selected from 52 submissions. The papers address research issues related to knowledge representation, semantic web…
- Edisi
- -
- ISBN/ISSN
- 9783642413605
- Deskripsi Fisik
- xiv, 299 hlm. ; il. warna
- Judul Seri
- Communications in Computer and Information Science
- No. Panggil
- E1317
Massively parallel evolutionary computation on GPGPUs
Evolutionary algorithms (EAs) are metaheuristics that learn from natural collective behavior and are applied to solve optimization problems in domains such as scheduling, engineering, bioinformatics, and finance. Such applications demand acceptable solutions with high-speed execution using finite computational resources. Therefore, there have been many attempts to develop platforms for running …
- Edisi
- -
- ISBN/ISSN
- 9783642379598
- Deskripsi Fisik
- xii, 453 hlm. ; il. warna
- Judul Seri
- Natural Computing Series
- No. Panggil
- E1227
Advances in heuristic signal processing and applications
There have been significant developments in the design and application of algorithms for both one-dimensional signal processing and multidimensional signal processing, namely image and video processing, with the recent focus changing from a step-by-step procedure of designing the algorithm first and following up with in-depth analysis and performance improvement to instead applying heuristic-ba…
- Edisi
- -
- ISBN/ISSN
- 9783642378805
- Deskripsi Fisik
- xv, 387 hlm. ; il. warna.
- Judul Seri
- -
- No. Panggil
- E1223
The Deductive Spreadsheet
This book describes recent multidisciplinary research at the confluence of the fields of logic programming, database theory and human-computer interaction. The goal of this effort was to develop the basis of a deductive spreadsheet, a user productivity application that allows users without formal training in computer science to make decisions about generic data in the same simple way they curre…
- Edisi
- -
- ISBN/ISSN
- 9783642377471
- Deskripsi Fisik
- xxi, 406 hlm. ; il.
- Judul Seri
- -
- No. Panggil
- E1221
Karya Umum 
Filsafat 
Agama 
Ilmu-ilmu Sosial 
Bahasa 
Ilmu-ilmu Murni 
Ilmu-ilmu Terapan 
Kesenian, Hiburan, dan Olahraga 
Kesusastraan 
Geografi dan Sejarah