Описание: This book constitutes the refereed proceedings of the 19th International Conference on Software Engineering and Formal Methods, SEFM 2021, held as a virtual event, in December 2021. The 22 full papers presented together with 4 short papers were carefully reviewed and selected from 86 submissions.
Agent and Multi-Agent Systems, Planning and Reinforcement Learning.- A Conversational Agent to Support Hospital Bed Allocation.- A Protocol for Argumentation-based Persuasive Negotiation Dialogues.- Gradient Estimation in Model-Based Reinforcement Learning: a Study on Linear Quadratic Environments.- Intelligent Agents for Observation and Containment of Malicious Targets Organizations.- MAS4GC: Multi-Agent System for Glycemic Control of Intensive Care Unit Patients.- On the impact of MDP design for Reinforcement Learning agents in Resource Management.- Slot Sharing Mechanism in Multi-Domain Dialogue Systems.- Evolutionary Computation, Metaheuristics, Constrains and Search, Combinatorial and Numerical Optimization.- A Graph-based crossover and soft-repair operators for the Steiner Tree Problem.- A Modified NSGA-DO for Solving Multiobjective Optimization Problems.- An Enhanced TSP-based Approach for Active Debris Removal Mission Planning.- Dynamic Learning in Hyper-Heuristics to Solve Flowshop Problems.- Hyper-Heuristic based NSGA-III for the Many-Objective Quadratic Assignment Problem.- I2DE: Improved Interval Differential Evolution for Numerical Constrained Global Optimization.- Improving a genetic clustering approach with a CVI-based objective function.- Improving particle swarm optimization with self-adaptive parameters, rotational invariance, and diversity control.- Improving Rule Based and Equivalent Decision Simplifications for Bloat Control in Genetic Programming Using a Dynamic Operator.- Lackadaisical quantum walk in the hypercube to search for multiple marked vertices.- On the Analysis of CGP Mutation Operators when Inferring Gene Regulatory Networks using scRNA-Seq Time Series Data.- Online selection of heuristic operators with Deep Q-Netowrk: a study on the HyFlex Framework.- Knowledge Representation, Logic and Fuzzy Systems.- A Systematic Approach to Define Semantics for Prioritised Logic Programs.- Active Learning and Case-Based Reasoning for the Deceptive Play in the Card Game of Truco.- ASPIC? and the Postulates of Non-Interference and Crash-Resistance.- On the Refinement of Compensation-based Semantics for Weighted Argumentation Frameworks.- Ontology based classification of electronic health records to support value-based health care.- Machine Learning and Data Mining.- A Co-occurrence Based Approach for Mining Overlapped Co-clusters in Binary Data.- A Comparative Study on Concept Drift Detectors for Regression.- A Kullback-Leibler divergence-based locally linear embedding method: a novel parametric approach for cluster analysis.- Classifying Potentially Unbounded Hierarchical Data Streams with Incremental Gaussian Naive Bayes.- Coarsening Algorithm via Semi-Synchronous Label Propagation for Bipartite Networks.- Evaluating Clustering Meta-Features for Classifier Recommendation.- Fast Movelet Extraction and Dimensionality Reduction for Robust Multiple Aspect Trajectory Classification.- Interpreting classification models using feature importance based on marginal local effects.- On the generalizations of the Choquet integral for application in FRBCs.- Optimizing Diffusion Rate and Label Reliability in a Graph-based Semi-supervised Classifier.- Tactical Asset Allocation through Random Walk on Stock Network.
Описание: The two-volume proceedings set LNCS 12710 and 12711 constitutes the proceedings of the 24th IACR International Conference on Practice and Theory of Public Key Cryptography, PKC 2021, which was held online during May 10-13, 2021.
Описание: This book constitutes the thoroughly refereed post-conference proceedings of the 24th International Workshop on Job Scheduling Strategies for Parallel Processing, JSSPP 2021, held as a virtual event in May 2021 (due to the Covid-19 pandemic).The 10 revised full papers presented were carefully reviewed and selected from 17 submissions.
Описание: This book constitutes the refereed proceedings of the 23rd International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2021, held virtually, in November 2021. The 16 full papers, 10 short and 14 invited papers presented were carefully reviewed and selected from 56 submissions.
Описание: This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021. The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper.
Автор: Tiago Massoni; Mohammad Reza Mousavi Название: Formal Methods: Foundations and Applications ISBN: 3030030431 ISBN-13(EAN): 9783030030438 Издательство: Springer Рейтинг: Цена: 8104.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This book constitutes the refereed proceedings of the 21st Brazilian Symposium on Formal Methods, SBMF 2018, which took place in Salvador, Brazil, in November 2018.
The 16 regular papers presented in this book were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections such as: techniques and methodologies; specification and modeling languages; theoretical foundations; verification and validation; experience reports regarding teaching formal methods; and applications.
Chapter “TeSSLa: Temporal Stream-Based Specification Language” is available open access under a Creative Commons Attribution 4.0 International License via link.springer.com.
Автор: 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.
Автор: 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;
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 24th Symposium on Formal Methods, FM 2021, held virtually in November 2021. The 43 full papers presented together with 4 invited presentations were carefully reviewed and selected from 131 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
