Genetic Programming: 23rd European Conference, Eurogp 2020, Held as Part of Evostar 2020, Seville, Spain, April 15-17, 2020, Proceedings, Hu Ting, Lourenзo Nuno, Medvet Eric
Описание: Optimizing Prices and Periods in Time-of-use Electricity Tariff Design Using Bilevel Programming.- An Algebraic Approach for the Search Space of Permutations with Repetition.- A Comparison of Genetic Representations for Multi-Objective Shortest Path Problems on Multigraphs.- The Univariate Marginal Distribution Algorithm Copes well with Deception and Epistasis.- A Beam Search Approach to the Traveling Tournament Problem.- Cooperative Parallel SAT Local Search with Path Relinking.- Dynamic Compartmental Models for Large Multi-Objective Landscapes and Performance Estimation.- Fitness Landscape Analysis of Automated Machine Learning Search Spaces.- On the Combined Impact of Population Size and Sub-problem Selection in MOEA/D.- A Grouping Genetic Algorithm for Multi Depot Pickup and Delivery Problems with Time Windows and Heterogeneous Vehicle Fleets.- MILPIBEA: Algorithm for Multi-Objective Features Selection in (Evolving) Software Product Lines.- A Group Genetic Algorithm for Resource Allocation in Container-Based Clouds.- The Local Optima Level in Chemotherapy Schedule Optimisation.- Genetic Programming with Adaptive Search Based on the Frequency of Features for Dynamic Flexible Job Shop Scheduling.
Описание: This book constitutes the refereed proceedings of the 21st European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events: EvoMUSART, EvoApplications, and EuroGP.
Описание: This book constitutes the proceedings of the 18th International Conference on Business Process Management, BPM 2020, held in Seville, Spain, in September 2020. The conference was held virtually due to the COVID-19 pandemic. The 27 full papers included in this volume were carefully reviewed and selected from 125 submissions.
Описание: This book discusses the applications of fracture mechanics in the design and maintenance of asphalt concrete overlays. It also reviews relevant numerical and experimental studies, and describes in detail design parameters such as aggregate type, air void, loading mode, and additives, based on the authors experience and that of other researchers.
Описание: Requirements engineering.- Software architectures.- Specification.- Software quality.- Validation.- Verification of functional and non-functional properties.- Model-driven development and model transformation.- Software processes.- Security and software evolution.
Описание: This book constitutes the proceedings of the BPM Forum of the 18th International Conference on Business Process Management, BPM 2020, which was planned to take place in Seville, Spain, in September 2020.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 23rd International Conference on Principles and Practice of Multi-Agent Systems, PRIMA 2020, held in Nagoya, Japan, in November 2020.
Описание: 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.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
