Discovery Science: 23rd International Conference, DS 2020, Thessaloniki, Greece, October 19-21, 2020, Proceedings, Appice Annalisa, Tsoumakas Grigorios, Manolopoulos Yannis

Автор: 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.

Автор: 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.

Автор: 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.

Автор: 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: 3030597180 ISBN-13(EAN): 9783030597184
Издательство: 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.

Автор: 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.

Автор: 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.

Автор: Sojka Petr, Kopeček Ivan, Pala Karel
Название: Text, Speech, and Dialogue: 23rd International Conference, Tsd 2020, Brno, Czech Republic, September 8-11, 2020, Proceedings
ISBN: 3030583228 ISBN-13(EAN): 9783030583224
Издательство: Springer
Рейтинг:
Цена: 76390.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the proceedings of the 23rd International Conference on Text, Speech, and Dialogue, TSD 2020, held in Brno, Czech Republic, in September 2020.*The 54 full papers presented in this volume were carefully reviewed and selected from 110 submissions.

Автор: 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.

Автор: Frasson Claude, Bamidis Panagiotis, Vlamos Panagiotis
Название: Brain Function Assessment in Learning: Second International Conference, Bfal 2020, Heraklion, Crete, Greece, October 9-11, 2020, Proceedings
ISBN: 3030607348 ISBN-13(EAN): 9783030607340
Издательство: Springer
Рейтинг:
Цена: 46570.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed proceedings of the Second International Conference on Brain Function Assessment in Learning, BFAL 2020, held in Heraklion, Crete, Greece, in October 2020*. The 11 revised full papers and 10 short papers presented were carefully selected from 35 submissions.

Автор: Barolli Leonard, Li Kin Fun, Enokido Tomoya
Название: Advances in Networked-Based Information Systems: The 23rd International Conference on Network-Based Information Systems (Nbis-2020)
ISBN: 3030578100 ISBN-13(EAN): 9783030578107
Издательство: Springer
Рейтинг:
Цена: 232910.00 T
Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: There are new trends and applications in information networking such as wireless sensor networks, ad hoc networks, peer-to-peer systems, vehicular networks, opportunistic networks, grid and cloud computing, pervasive and ubiquitous computing, multimedia systems, security, multi-agent systems, high-speed networks, and web-based systems.