Foundations of Software Science and Computation Structures: 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conference, Bouyer Patricia, Schrцder Lutz
Описание: 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.
Описание: FASE Contributions.- Information-flow Interfaces.- A Survey-Based Feature Model for Software Traceability.- Construction of Veri er Combinations Based on Off-the-Shelf Verifiers.- On the Detection of Doped Software by Falsification.- Estimating Worst-case Resource Usage by Resource-usage-aware Fuzzing.- Quantitative Program Sketching using Lifted Static Analysis.- SixthSense: Debugging Convergence Problems in Probabilistic Programs via Program Representation Learning.- Finding Semantic Bugs Fast.- SMC4PEP: Stochastic Model Checking of Product Engineering Processes.- Symbolic Predictive Cache Analysis for Out-of-Order Execution.- PEQtest: Testing Functional Equivalence.- An Institutional Approach to Communicating UML State Machines.- Semantic Code Search in Software Repositories using Neural Machine Translation.- AequeVox: Automated Fairness Testing of Speech Recognition Systems.- SMT-Based Planning Synthesis for Distributed System Reconfigurations.- Semantic Clone Detection via Probabilistic Software Modeling.- QMaxUSE: A Query-based Verification Tool for UML Class Diagrams with OCL Invariants.- Test-Comp Contributions.- Advances in Automatic Software Testing: Test-Comp 2022.- FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing (Competition Contribution).- VeriFuzz: Good Seeds for Fuzzing (Competition Contribution).
Описание: This book constitutes the refereed proceedings of the 25th International Conference on Applications of Evolutionary Computation, EvoApplications 2022, held as part of Evo*2022, in April 2022, co-located with the Evo*2022 events EuroGP, EvoCOP, and EvoMUSART. The 46 revised full papers presented in this book were carefully reviewed and selected from 67 submissions.
Описание: On Monte Carlo Tree Search for Weighted Vertex Coloring.- A RNN-based Hyper-heuristic for combinatorial problems.- Algorithm Selection for the Team Orienteering Problem.- Performance evaluation of a parallel ant colony optimization for the real-time train routing selection problem in large instances.- Deep Infeasibility Exploration Method for Vehicle Routing Problems.- Evolutionary Algorithms for the Constrained Two-Level Role Mining Problem.- Simplifying Dispatching Rules in Genetic Programming for Dynamic Job Shop Scheduling.- Novelty-Driven Binary Particle Swarm Optimisation for Truss Optimisation Problems.- A Beam Search for the Shortest Common Supersequence Problem Guided by an Approximate Expected Length Calculation.- Modeling the Costas Array Problem in QUBO for Quantum Annealing.- Penalty Weights in QUBO formulations: Permutation Problems.- PUBOi: a tunable benchmark with variable importance.- Stagnation Detection meets Fast Mutation.
Описание: This open access book constitutes the proceedings of the 24th International Conference on Fundamental Approaches to Software Engineering, FASE 2021, which took place during March 27-April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Описание: Applications of Evolutionary Computation.- A Local Search for Numerical Optimisation based on Covariance Matrix Diagonalisation.- EvoCluster: An Open-Source Nature-Inspired Optimization Clustering Framework in Python.- Optimizing the Hyperparameters of a Mixed Integer Linear Programming Solver to Speed Up Electric Vehicle Charging Control.- Automatic rule extraction from access rules using Genetic Programming.- Search Trajectory Networks of Population-based Algorithms in Continuous Spaces.- Evolving-controllers versus learning-controllers for morphologically evolvable robots.- Simulation-driven multi-objective evolution for traffic light optimization.- Automatic Generation of Adversarial Metamorphic Malware Using MAP-Elites.- EvoDynamic: a framework for the evolution of generally represented dynamical systems and its application to criticality.- A Decomposition-Based Evolutionary Algorithm with Adaptive Weight Vectors for Multi- and Many-objective Optimization.- Differential Evolution Multi-Objective for Tertiary Protein Structure Prediction.- Particle Swarm Optimization: A Wrapper-based Feature Selection Method for Ransomware Detection and Classification.- A method for estimating the computational complexity of multimodal functions.- Locating Odour Sources with Geometric Syntactic Genetic Programming.- Designing cable-stayed bridges with Genetic Algorithms.- A fast, scalable meta-heuristic for network slicing under traffic uncertainty.- What is Your MOVE: Modeling Adversarial Network Environments.- Using evolution to design modular robots: An empirical approach to select module designs.- Iterated Granular Neighborhood Algorithm for the Taxi Sharing Problem.- Applications of Bio-inspired techniques on Social Networks.- Multiobjective Optimization of a Targeted Vaccination Scheme in the Presence of Non-diagnosed Cases.- Community Detection in Attributed Graphs with Differential Evolution.- Applications of Deep Bioinspired Algorithms.- Fake news detection using time series and user features classification.- Social Learning vs Self-teaching in a Multi-agent Neural Network System.- Evolving Instinctive Behaviour in Resource-Constrained Autonomous Agents Using Grammatical Evolution.- An Adversarial Optimization Approach for the Development of Robust Controllers.- Soft Computing Applied to Games.- Efficient Heuristic Policy Optimisation for a Challenging Strategic Card Game.- Finding Behavioural Patterns Among League of Legends Players Through Hidden Markov Models.- Learning the Designer's Preferences to Drive Evolution.- Testing hybrid computational intelligence algorithms for general game playing.- Evolutionary Computation in Digital Healthcare and Personalized Medicine.- Accelerated Design of HIFU Treatment Plans Using Island-based Evolutionary Strategy.- Using Genetic Algorithms for the prediction of cognitive impairments.- Short and Medium Term Blood Glucose Prediction using Multi-Objective Grammatical Evolution.- Evolutionary Machine Learning.- A Greedy Iterative Layered Framework for Training Feed Forward Neural Networks.- Evolution of Scikit-Learn Pipelines with Dynamic Structured Grammatical Evolution.- An Empirical Exploration of Deep Recurrent Connections Using Neuro-Evolution.- Using Skill Rating as Fitness on the Evolution of GANs.- A Local Search with a Surrogate Assisted Option for Instance Reduction.- Evolutionary Latent Space Exploration of Generative Adversarial Networks.- Neuro-Evolutionary Transfer Learning through Structural Adaptation.- Ant-based Neural Topology Search (ANTS) for Optimizing Recurrent Networks.- Parallel and Distributed Systems.- A MIMD interpreter for Genetic Programming.- Security Risk Optimization for Multi-Cloud Applications.- Using evolutionary algorithms for server hardening via the moving target defense technique.- An Event-based Architecture for Cross-Breed Multi-population Bio-inspired Optimization Algorithms.
Описание: This open access book constitutes the proceedings of the 28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2022, which was held during April 2-7, 2022, in Munich, Germany, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022.
Описание: This book constitutes the refereed proceedings of the 25th European Conference on Genetic Programming, EuroGP 2022, held as part of Evo*2021, as Virtual Event, in April 2022, co-located with the Evo*2022 events, EvoCOP, EvoMUSART, and EvoApplications. The 12 revised full papers and 7 short papers presented in this book were carefully reviewed and selected from 35 submissions. The wide range of topics in this volume reflects the current state of research in the field. The collection of papers cover topics including developing new operators for variants of GP algorithms, as well as exploring GP applications to the optimization of machine learning methods and the evolution of complex combinational logic circuits.
Описание: This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Описание: 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.
Описание: 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.
Program Verification.- SAT and SMT.- Timed and Dynamical Systems.- Verifying Concurrent Systems.- Probabilistic Systems.- Model Checking and Reachability.- Timed and Probabilistic Systems.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
