The present book includes extended and revised versions of papers presented during the 2018 International Computer Symposium (ICS 2018), held in Yunlin, Republic of China (Taiwan), on December 20-22, 2018.
The 86 papers presented were carefully reviewed and selected from 263 submissions from 11 countries. The variety of the topics include machine learning, sensor devices and platforms, sensor networks, robotics, embedded systems, networks, operating systems, software system structures, database design and models, multimedia and multimodal retrieval, object detection, image processing, image compression, mobile and wireless security.
Описание: 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 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.
Автор: Ribeiro Название: Formal Methods: Foundations and Applications ISBN: 3319498142 ISBN-13(EAN): 9783319498140 Издательство: Springer Рейтинг: Цена: 6988.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 19th Brazilian Symposium on Formal Methods, SBMF 2016, which took place in Natal, Brazil, in November 2016. The 12 papers presented together with two invited talks were carefully reviewed and selected from 22 submissions. modeling and logic;
Автор: Simone Cavalheiro; Jos? Fiadeiro Название: Formal Methods: Foundations and Applications ISBN: 3319708473 ISBN-13(EAN): 9783319708478 Издательство: Springer Рейтинг: Цена: 9083.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions.
Описание: The three-volume set LNCS 12476 - 12478 constitutes the refereed proceedings of the 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, which was planned to take place during October 20-30, 2020, on Rhodes, Greece.
Описание: 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.
Автор: Juliano Iyoda; Leonardo de Moura Название: Formal Methods: Foundations and Applications ISBN: 3642410707 ISBN-13(EAN): 9783642410703 Издательство: Springer Рейтинг: Цена: 6429.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Foundational and methodological issues in formal methods.- Design and analysis of software systems.- Design and analysis of hardware systems.- Applications in various domains.
Автор: Marcel Vin?cius Medeiros Oliveira; Jim Woodcock Название: Formal Methods: Foundations and Applications ISBN: 3642104517 ISBN-13(EAN): 9783642104510 Издательство: Springer Рейтинг: Цена: 10480.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SAST 2009, the Brazilian Workshop on Systematic and Automated Software Testing.
Описание: Formal methods and mathematically-based techniques are increasingly recognized as a viable technology for the development and engineering of computing systems. The majority of the 35 papers in this volume describe industrial applications, extensions to existing techniques, or case studies.
Автор: M?rcio Corn?lio; Bill Roscoe Название: Formal Methods: Foundations and Applications ISBN: 3319294725 ISBN-13(EAN): 9783319294728 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes revised selected papers from the18th Brazilian Symposium on Formal Methods, SBMF 2015, which took place in BeloHorizonte, Brazil, in September 2015. The 11 papers presented in this volume were carefullyreviewed and selected from 25 submissions. They were organized in topicalsections named: model checking;
Автор: Christiano Braga; Narciso Mart?-Oliet Название: Formal Methods: Foundations and Applications ISBN: 331915074X ISBN-13(EAN): 9783319150741 Издательство: Springer Рейтинг: Цена: 5590.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceio, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
