Text, Speech, and Dialogue: 23rd International Conference, Tsd 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings, Sojka Petr, Kopeček Ivan, Pala Karel
Автор: Hu Ting, Lourenзo Nuno, Medvet Eric Название: Genetic Programming: 23rd European Conference, Eurogp 2020, Held as Part of Evostar 2020, Seville, Spain, April 15-17, 2020, Proceedings ISBN: 3030440931 ISBN-13(EAN): 9783030440930 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: Hessian Complexity Measure for Genetic Programming-based Imputation Predictor Selection in Symbolic Regression with Incomplete Data.- Seeding Grammars in Grammatical Evolution to Improve Search Based Software Testing.- Incremental Evolution and Development of Deep Artificial Neural Networks.- Investigating the Use of Geometric Semantic Operators in Vectorial Genetic Programming.- Comparing Genetic Programming Approaches for Non-Functional Genetic Improvement.- Automatically Evolving Lookup Tables for Function Approximation.- Optimising Optimisers with Push GP.- An Evolutionary View on Reversible Shift-invariant Transformations.- Benchmarking Manifold Learning Methods on a Large Collection of Datasets.- Ensemble Genetic Programming.- SGP-DT: Semantic Genetic Programming Based on Dynamic Targets.- Effect of Parent Selection Methods on Modularity.- Time Control or Size Control? Reducing Complexity and Improving Accuracy of Genetic Programming Models.- Challenges of Program Synthesis with Grammatical Evolution.- Detection of Frailty Using Genetic Programming: The Case of Older People in Piedmont, Italy.- Is k Nearest Neighbours Regression Better than GP.- Guided Subtree Selection for Genetic Operators in Genetic Programming for Dynamic Flexible Job Shop Scheduling.- Classification of Autism Genes using Network Science and Linear Genetic Programming.
Автор: 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: 3030597091 ISBN-13(EAN): 9783030597092 Издательство: 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.
Автор: Abramowicz Witold, Klein Gary Название: Business Information Systems: 23rd International Conference, Bis 2020, Colorado Springs, Co, Usa, June 8-10, 2020, Proceedings ISBN: 3030533360 ISBN-13(EAN): 9783030533366 Издательство: Springer Рейтинг: Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: The papers were organized in the following topical sections: Data Security, Big Data and Data Science, Artificial Intelligence, ICT Project Management, Applications, Social Media, Smart Infrastructures.
Автор: 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: 303059727X ISBN-13(EAN): 9783030597276 Издательство: 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: 3030597210 ISBN-13(EAN): 9783030597214 Издательство: 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: 3030597156 ISBN-13(EAN): 9783030597153 Издательство: 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.
Автор: Susilo Willy, Deng Robert H., Guo Fuchun Название: Information Security: 23rd International Conference, Isc 2020, Bali, Indonesia, December 16-18, 2020, Proceedings ISBN: 3030629732 ISBN-13(EAN): 9783030629731 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes the proceedings of the 23rd International Conference on Information Security, ISC 2020, held in Bali, Indonesia, in December 2020. The papers cover topics of research in theory and applications of information security, such as Security and privacy and Network security as well.
Автор: 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.
Автор: Hong Deukjo Название: Information Security and Cryptology - Icisc 2020: 23rd International Conference, Seoul, South Korea, December 2-4, 2020, Proceedings ISBN: 3030688895 ISBN-13(EAN): 9783030688899 Издательство: Springer Цена: 46570.00 T Наличие на складе: Есть у поставщика Поставка под заказ. Описание: This book constitutes selected papers from the 23rd International Conference on Information Security and Cryptology, ICISC 2020, held in Seoul, South Korea, in December 2020. Due to the COVID-19, the confere was held online.The total of 15 papers presented in this volume were carefully reviewed and selected from 51 submissions.
Автор: 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.
Автор: 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.
Казахстан, 010000 г. Астана, проспект Туран 43/5, НП2 (офис 2) ТОО "Логобук" Тел:+7 707 857-29-98 ,+7(7172) 65-23-70 www.logobook.kz
