Model Translation from Papyrus-RT into the nuXmv Model Checker.- Modeling and Verification of Temporal Constraints for Web Service Composition.- Modeling Attack-Defense Trees' Countermeasures using Continuous Time Markov Chains.- Automated Validation of State-Based Client-Centric Isolation with TLA+.- Code Coverage Aware Test Generation Using Constraint Solver.- From Requirements to Verifiable Executable Models using Rebeca.- A Pragmatic Model of Justification for Social Epistemology.- Personal Identity and False Memories.- Against the Illusory Will Hypothesis. A Reinterpretation of the Test Results from Daniel Wegner and Thalia Wheatley's I Spy Experiment.- Understanding responses of individuals with ASD in syllogistic and decision-making tasks: A formal study.- Symbolic and Statistical Theories of Cognition: Towards Integrated Artificial Intelligence.- An Interdisciplinary Model for Graphical Representation.- Information Retrieval from Semantic Memory: BRDL-based Knowledge Representation and Maude-based Computer Emulation.- A Multi-Agent Depth Bounded Boolean Logic.- The intensional structure of epistemic convictions.- Short-circuiting the definition of mathematical knowledge for an Artificial General Intelligence.- Reasoning about Ignorance and Beliefs.- A Case Study on Formally Validating Motion Rules for Autonomous Cars.- Modelling Train Driver Behaviour in Railway Co-simulations.- Cross-level Co-simulation and Verification of an Automatic Transmission Control on Embedded Processor.- A Semantic-Aware, accurate and efficient API for (co-)simulation of CPS.- An FMI-Based initialization plugin for INTO-CPS Maestro 2.- Introducing Regression Tests and Upgrades to the INTO-CPS Application.- Cosimulation-based Control Synthesis.
Описание: This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021.
Описание: This book constitutes the refereed proceedings of the 15th International Conference on Software Architecture, ECSA 2021, held in Sweden, in September 2021.
Описание: This book constitutes the refereed proceedings of the 12th International Conference on Software Business, ICSOB 2021, which was held during December 2-3, 2021.
Описание: This book constitutes the proceedings of the 26th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2021, which was held during August 24-26, 2021.
Описание: This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in September 2020. The 16 full papers presented together with 1 keynote talk and an abstract of a keynote talk were carefully reviewed and selected from 58 submissions.
Описание: The volume LNCS 12226 constitutes the revised selected papers from the four workshops collocated with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019. They stem from the following workshops:CoSim-CPS 2019 - 3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems;
Описание: 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.
Описание: This book constitutes the refereed proceedings of the 4th International Conference on Innovative Technologies and Learning, ICITL 2021, held in November/December 2021. Due to COVID-19 pandemic the conference was held virtually. The 59 full papers presented together with 2 short papers were carefully reviewed and selected from 110 submissions.
Multidisciplinary Artificial and Computational Intelligence and Applications.- A Heterogeneous Network-based Positive and Unlabeled Learning Approach to Detect Fake News.- Anomaly Detection in Brazilian Federal Government Purchase Cards Through Unsupervised Learning Techniques.- De-identification of Clinical Notes Using Contextualized Language Models and a Token Classifier.- Detecting Early Signs of Insufficiency in COVID-19 Patients from CBC Tests Through a Supervised Learning Approach.- Encoding Physical Conditioning from Inertial Sensors for Multi-step Heart Rate Estimation.- Ensemble of Protein Stability Upon Point Mutation Predictors.- Ethics of AI: Do the face detection models act with prejudice?.- Evaluating Topic Models in Portuguese Political Comments about Bills from Brazil's Chamber of Deputies.- Evaluation of Convolutional Neural Networks for COVID-19 Classification on Chest X-Rays.- Experiments on Portuguese Clinical Question Answering.- Long-term Map Maintenance in Complex Environments.- Supervised Training of a Simple DIgital Assistant for a Free Crop Clinic.- The future of AI: neat or scruffy?.- Weapon Engagement Zone Maximum Launch Range Estimation Using a Deep Neural Network.- Neural Networks, Deep Learning and Computer Vision.- Code autocomplete using Transformers.- Deep Convolutional Features for Fingerprint Indexing.- How to Generate Synthetic Paintings to Improve Art Style Classification.- Iris-CV: Classifying Iris Flowers Is Not as Easy as You Thought.- Performance analysis of YOLOv3 for real-time detection of pests in soybeans.- Quaternion-Valued Convolutional Neural Network Applied for Acute Lymphoblastic Leukemia Diagnosis.- Sea State Estimation with Neural Networks based on the Motion of a Moored FPSO subjected to Campos Basin Metocean Conditions.- Time-Dependent Item Embeddings for Collaborative Filtering.- Transfer Learning of Shapelets for Time Series Classification Using Convolutional Neural Network.- Text Mining and Natural Language Processing.- A Deep Learning approach for Aspect Sentiment Triplet Extraction in Portuguese.- Aggressive Language Detection using VGCN-BERT for Spanish Texts.- An Empirical Study of Text Features for Identifying Subjective Sentences in Portuguese.- Comparing contextual embeddings for semantic textual similarity in Portuguese.- Deep Active-Self Learning Applied to Named Entity Recognition.- DEEPAGЙ Answering Questions in Portuguese about the Brazilian Environment.- Enriching Portuguese Word Embeddings with Visual Information.- Entity Relation Extraction from News Articles in Portuguese for Competitive Intelligence based on BERT.- Experiments on Kaldi-based Forced Phonetic Alignment for Brazilian Portuguese.- Incorporating Text Specificity into a Convolutional Neural Network for the Classification of Review Perceived Helpfulness.- Joint Event Extraction with Contextualized Word Embeddings for the Portuguese Language.- mRAT-SQL+GAP: A Portuguese Text-to-SQL Transformer.- Named Entity Recognition for Brazilian Portuguese Product Titles.- Portuguese Neural Text Simplification using Machine Translation.- Rhetorical Role Identification for Portuguese Legal Documents.- Speech2Phone: A Novel and Efficient Method for Training Speaker Recognition Models.- Text Classification in Legal Documents Extracted from Lawsuits in Brazilian Courts.- Universal Dependencies-based PoS Tagging Refinement through Linguistic Resources.- When external knowledge does not aggregate in Named Entity Recognition.
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.
Описание: This book constitutes the proceedings of the 8th International Conference on Big Data Analytics, BDA 2021, which took place during December 2021. Due to COVID-19 pandemic the conference was held virtually. The 16 full and 3 short papers included in this volume were carefully reviewed and selected from 41 submissions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
