Proceedings of the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems, Sato Hiroshi, Iwanaga Saori, Ishii Akira

Автор: Hiroshi Sato; Saori Iwanaga; Akira Ishii
Название: Proceedings of the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems
ISBN: 3030374416 ISBN-13(EAN): 9783030374419
Издательство: Springer
Рейтинг:
Цена: 186330.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book presents selected papers from the 23rd Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2019), which was held in Tottori, Japan, on December 6-8, 2019. Today, various types of intelligent system can be found everywhere.

Автор: Hisashi Handa; Hisao Ishibuchi; Yew-Soon Ong; Kay
Название: Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
ISBN: 3319386115 ISBN-13(EAN): 9783319386119
Издательство: Springer
Рейтинг:
Цена: 191550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.

Автор: Hisashi Handa; Hisao Ishibuchi; Yew-Soon Ong; Kay
Название: Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems, Volume 1
ISBN: 3319133586 ISBN-13(EAN): 9783319133584
Издательство: Springer
Рейтинг:
Цена: 243800.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.

Автор: Hisashi Handa; Hisao Ishibuchi; Yew-Soon Ong; Kay-
Название: Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
ISBN: 3319386204 ISBN-13(EAN): 9783319386201
Издательство: Springer
Рейтинг:
Цена: 191550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.

Автор: Hisashi Handa; Hisao Ishibuchi; Yew-Soon Ong; Kay-
Название: Proceedings of the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems - Volume 2
ISBN: 3319133551 ISBN-13(EAN): 9783319133553
Издательство: Springer
Рейтинг:
Цена: 217680.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book contains a collection of the papers accepted in the 18th Asia Pacific Symposium on Intelligent and Evolutionary Systems (IES 2014), which was held in Singapore from 10-12th November 2014. The papers contained in this book demonstrate notable intelligent systems with good analytical and/or empirical results.

Автор: Carvalho Gustavo, Stolz Volker
Название: Formal Methods: Foundations and Applications: 23rd Brazilian Symposium, Sbmf 2020, Ouro Preto, Brazil, November 25-27, 2020, Proceedings
ISBN: 3030638812 ISBN-13(EAN): 9783030638818
Издательство: Springer
Цена: 60550.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 23rd Brazilian Symposium on Formal Methods, SBMF 2020, which was supposed to take place in Ouro Preto, Brazil, in November 2020.

Автор: Helic Denis, Leitner Gerhard, Stettinger Martin
Название: Foundations of Intelligent Systems: 25th International Symposium, Ismis 2020, Graz, Austria, September 23-25, 2020, Proceedings
ISBN: 3030594904 ISBN-13(EAN): 9783030594909
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 25th International Symposium on Foundations of Intelligent Systems, ISMIS 2020, held in Graz, Austria, in October 2020.

Автор: Brito-Loeza Carlos, Espinosa-Romero Arturo, Martin-Gonzalez Anabel
Название: Intelligent Computing Systems: Third International Symposium, Isics 2020, Sharjah, United Arab Emirates, March 18-19, 2020, Proceedings
ISBN: 3030433633 ISBN-13(EAN): 9783030433635
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the Third International Symposium on Intelligent Computing Systems, ISICS 2020, held in Sharjah, United Arab Emirates, in March 2020. They deal with the field of intelligent computing systems focusing on artificial intelligence, computer vision and image processing.

Автор: Martel Anne L., Abolmaesumi Purang, Stoyanov Danail
Название: Medical Image Computing and Computer Assisted Intervention - Miccai 2020: 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, P
ISBN: 3030597121 ISBN-13(EAN): 9783030597122
Издательство: Springer
Рейтинг:
Цена: 93160.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.

Автор: Martel Anne L., Abolmaesumi Purang, Stoyanov Danail
Название: Medical Image Computing and Computer Assisted Intervention - Miccai 2020: 23rd International Conference, Lima, Peru, October 4-8, 2020, Proceedings, P
ISBN: 3030597245 ISBN-13(EAN): 9783030597245
Издательство: Springer
Рейтинг:
Цена: 130430.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The seven-volume set LNCS 12261, 12262, 12263, 12264, 12265, 12266, and 12267 constitutes the refereed proceedings of the 23rd International Conference on Medical Image Computing and Computer-Assisted Intervention, MICCAI 2020, held in Lima, Peru, in October 2020.

Автор: Appice Annalisa, Tsoumakas Grigorios, Manolopoulos Yannis
Название: Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 2020, Proceedings
ISBN: 303061526X ISBN-13(EAN): 9783030615260
Издательство: Springer
Цена: 83850.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd International Conference on Discovery Science, DS 2020, which took place during October 19-21, 2020. The conference was planned to take place in Thessaloniki, Greece, but had to change to an online format due to the COVID-19 pandemic.

Автор: Pulina Luca, Seidl Martina
Название: Theory and Applications of Satisfiability Testing - SAT 2020: 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings
ISBN: 3030518248 ISBN-13(EAN): 9783030518240
Издательство: Springer
Рейтинг:
Цена: 76390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Sorting Parity Encodings by Reusing Variables.- Community and LBD-based Clause Sharing Policy for Parallel SAT Solving.- Clause size reduction with all-UIP Learning.- Trail Saving on Backtrack.- Four Flavors of Entailment.- Designing New Phase Selection Heuristics.- On the Effect of Learned Clauses on Stochastic Local Search.- SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers.- Distributed Cube and Conquer with Paracooba.- Reproducible E cient Parallel SAT Solving.- Improving Implementation of SAT Competitions 2017-2019 Winners.- On CDCL-based Proof Systems with the Ordered Decision Strategy.- Equivalence Between Systems Stronger Than Resolution.- Simplified and Improved Separations Between Regular and General Resolution by Lifting.- Mycielski graphs and PR proofs.- Towards a Better Understanding of (Partial Weighted) MaxSAT Proof Systems.- Towards a Complexity-theoretic Understanding of Restarts in SAT solvers.- On the Sparsity of XORs in Approximate Model Counting.- A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth.- Abstract Cores in Implicit Hitting Set MaxSat Solving.- MaxSAT Resolution and SubCube Sums.- A Lower Bound on DNNF Encodings of Pseudo-Boolean Constraints.- On Weakening Strategies for PB Solvers.- Reasoning About Strong Inconsistency in ASP.- Taming High Treewidth with Abstraction, Nested Dynamic Programming, and Database Technology.- Reducing Bit-Vector Polynomials to SAT using Groebner Bases.- Speeding Up Quantified Bit-Vector SMT Solvers by Bit-Width Reductions and Extensions.- Strong (D)QBF Dependency Schemes via Tautology-free Resolution Paths.- Short Q-Resolution Proofs with Homomorphisms.- Multi-Linear Strategy Extraction for QBF Expansion Proofs via Local Soundness.- Positional Games and QBF: The Corrective Encoding.- Matrix Multiplication: Verifying Strong Uniquely Solvable Puzzles.- Satisfiability Solving Meets Evolutionary Optimisation in Designing Approximate Circuits.- SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing.- SAT-based Encodings for Optimal Decision Trees with Explicit Paths.- Incremental Encoding of Pseudo-Boolean Goal Functions based on Comparator Networks.