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
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 24th European Conference on Genetic Programming, EuroGP 2021, held as part of Evo*2021, as Virtual Event, in April 2021, co-located with the Evo*2021 events, EvoCOP, EvoMUSART, and EvoApplications.
Описание: 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.
Описание: On Restricting Real-Valued Genotypes in Evolutionary Algorithms.- Towards Explainable Exploratory Landscape Analysis: Extreme Feature Selection for Classifying BBOB Functions.- Co-Optimising Robot Morphology and Controller in a Simulated Open-ended Environment.- Multi-objective workforce allocation in construction projects.- Generating Duplex Routes for Robust Bus Transport Network by Improved Multi-objective Evolutionary Algorithm based on Decomposition.- Combining Multi-objective Evolutionary Algorithms with deep generative models towards focused molecular design.- A Multi-Objective Evolutionary Algorithm Approach for Optimizing Part Quality Aware Assembly Job Shop Scheduling Problems.- Evolutionary Grain-Mixing to Improve Profitability in Farming Winter Wheat.- Automatic Modular Design of Behavior Trees for Robot Swarms with Communication Capabilites.- Salp Swarm Optimization Search Based Feature Selection for Enhanced Phishing Websites Detection.- Real Time Optimisation of Traffic Signals to Prioritise Public Transport.- Adaptive Covariance Pattern Search.- Evaluating the Success-History based Adaptive Differential Evolution in the Protein Structure Prediction problem.- Beyond Body Shape and Brain: Evolving the Sensory Apparatus of Voxel-based Soft Robots.- Desirable Objective Ranges in Preference-based Evolutionary Multiobjective Optimization.- Improving Search Efficiency and Diversity of Solutions in Multiobjective Binary Optimization by Using Metaheuristics plus Integer Linear Programming.- Automated, Explainable Rule Extraction from MAP-Elites archives.- EDM-DRL: Toward Stable Reinforcement Learning through Ensembled Directed Mutation.- Continuous Ant-Based Neural Topology.- Playing with Dynamic Systems - Battling Swarms in Virtual Reality.- EvoCraft: A New Challenge for Open-Endedness.- A Profile-Based 'GrEvolutionary' Hearthstone Agent.- Modelling Asthma Patients' Responsiveness to Treatment Using Feature Selection and Evolutionary Computation.- Bayesian Networks for Mood Prediction Using Unobtrusive Ecological Momentary Assessments.- A Multi-Objective Multi-Type Facility Location Problem for the Delivery of Personalised Medicine.- RDE-OP: A Region-Based Differential Evolution Algorithm Incorporation Opposition-Based Learning for Optimising the Learning Process of Multi-Layer Neural Networks.- Estimation of Grain-level Residual Stresses in a Quenched Cylindrical Sample of Aluminum Alloy AA5083 using Genetic Programming.- EDA-based optimization of blow-off valve positions for centrifugal compressor systems.- 3D-2D Registration using X-ray Simulation and CMA-ES.- Lateralized Approach for Robustness AgainstAttacks in Emotion Categorization from Images.- Improved Crowding Distance in Multi-objective Optimization for Feature Selection in Classification.- Deep Optimisation: Multi-Scale Evolution by Inducing and Searching in Deep Representations.- Evolutionary Planning in Latent Space.- Utilizing the Untapped Potential of Indirect Encoding for Neural Networks with Meta Learning.- Effective Universal Unrestricted Adversarial Attacks using a MOE Approach.- Improving Distributed Neuroevolution Using Island Extinction and Repopulation.- An Experimental Study of Weight Initialization and Lamarckian Inheritance on Neuroevolution.- Towards Feature-Based Performance Regression Using Trajectory Data.- Demonstrating the Evolution of GANs through t-SNE.- Optimising diversity in classifier ensembles of classification trees.- WILDA: Wide Learning of Diverse Architectures for Classification of Large Datasets.- Evolving Character-Level DenseNet Architectures using Genetic Programming.- Transfer Learning for Automated Test Case Prioritization using XCSF.- On the Effects of Absumption for XCS with Continuous-Valued Inputs.- A NEAT Visualisation of Neuroevolution Trajectories.- Evaluating Models with Dynamic Sampling Holdout.- Event-driven multi-algorithm optimization: mixing Swarm and Evolutionary strategies.- TensorGP
Описание: 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.
The Third Workshop on Security and Privacy-enhanced Business Process Management (SPBP'20).- Decentralized Data Access with IPFS and Smart Contract Permission Management for Electronic Health Records.- Data Minimisation as Privacy and Trust Instrument in Business Processes.- Verifiable Multi-Party Business Process Automation.- The Thirteenth Workshop on Social and Human Aspects of Business Process Management (BPMS2'20).- A Classification of Digital-Oriented Work Practices.- Competency Cataloging and Localization to Support Organizational Agility in BPM.- Enterprise System Capabilities for Organizational Change in the BPM Life Cycle.- SentiProMo: A Sentiment Analysis-enabled Social Business Process Model Tool.- 4th International Workshop on Business Processes Meet the Internet-of Things (BP-Meet-IoT).- Using Physical Factory Simulation Models for Business Process Management Research.- Modelling Notations for IoT-Aware Business Processes: a Systematic Literature Review.-Workshop on Artificial Intelligence for Business Process Management (AI4BPM).- XNAP: Making LSTM-based Next Activity Predictions Explainable by Using LRP.- Unsupervised Contextual State Representation for Improved Business Process Models.- Root Cause Analysis in Process Mining Using Structural Equation Models.- On the Complexity of Resource Controllability in Business Process Management.- D3BA: A Tool for Optimizing Business Processes Using NonDeterministic Planning.- Conceptualizing a Capability-Based View of Artificial Intelligence Adoption in a BPM Context.- A General Framework for Action-Oriented Process Mining.- Analyzing Comments in Ticket Resolution to Capture Underlying Process Interactions.- Automated Business Process Discovery from Unstructured Natural-Language Documents.- BPM in the era of Digital Innovation and Transformation (BPMinDIT-2020).- Using Blockchain Technology to Redesign Know Your Customer Processes within the Banking Industry.- Increasing Control in Construction Processes: the Role of Digitalization.- 16th International Workshop on Business Process Intelligence (BPI'20).- Prototype Selection using Clustering and Conformance Metrics for Process Discovery.- Enhancing Discovered Process Models usingBayesian Inference and MCMC.- A Generic Framework for Attribute-Driven Hierarchical Trace Clustering.- Process Outcome Prediction: CNN vs. LSTM (with Attention).- Improving the State-Space Traversal of the eST-Miner by Exploiting Underlying Log Structures.- 8th International Workshop on DEClarative, DECision and Hybrid approaches to processes (DEC2H 2020).- Evaluation of Heuristics for Product Data Models.- Text2Dec: Extracting Decision Dependencies from Natural Language Text for Automated DMN Decision Modelling.- Data Object Cardinalities in Flexible Business Processes.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
