Verification and Evaluation of Computer and Communication Systems: 15th International Conference, VECoS 2021, Virtual Event, November 22-23, 2021, Rev, Nouri Ayoub, Wu Weimin, Barkaoui Kamel
Автор: Kamel Barkaoui; Hanifa Boucheneb; Ali Mili; Sofi?n Название: Verification and Evaluation of Computer and Communication Systems ISBN: 3319661752 ISBN-13(EAN): 9783319661759 Издательство: Springer Рейтинг: Цена: 7685.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Distributed computing models.- Formal languages and automata theory.- Concurrency.- Probabilistic computation.- Timed and hybrid models.- Formal software verification.- Model verification and validation.- Performance evaluation.- Control methods.- Modeling methodologies.- Model development and analysis.- Modeling and simulation.- Formal mehods.
Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021.The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 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.
Описание: This book presents a collection of high-quality research papers accepted to multi-conference consisting of International Conference on Image Processing and Communications (IP&C 2021), International Conference on Computer Recognition Systems (CORES 2021), International Conference on Advanced Computer Systems (ACS 2021) held jointly in Bydgoszcz, Poland (virtually), in June 2021. The accepted papers address current computer science and computer systems-related technological challenges and solutions, as well as many practical applications and results. The first part of the book deals with advances in pattern recognition and classifiers, the second part is devoted to image processing and computer vision, while the third part addresses practical applications of computer recognition systems. Machine learning solutions for security and networks are tackled in part four of the book, while the last part collects papers on progress in advanced computer systems. We believe this book will be interesting for researchers and practitioners in many fields of computer science and IT applications.
Описание: This open access two-volume set LNCS 12759 and 12760 constitutes the refereed proceedings of the 33rd International Conference on Computer Aided Verification, CAV 2021, held virtually in July 2021. The 63 full papers presented together with 16 tool papers and 5 invited papers were carefully reviewed and selected from 290 submissions.
Описание: This book includes original, peer-reviewed research articles from International Conference on Advances in Computer Engineering and Communication Systems (ICACECS 2021), held in VNR Vignana Jyoythi Institute of Engineering and Technology (VNR VJIET), Hyderabad, Telangana, India, during 13–14 August 2021. The book focuses on “Smart Innovations in Mezzanine Technologies, Data Analytics, Networks and Communication Systems” enlargements and reviews on the advanced topics in artificial intelligence, machine learning, data mining and big data computing, knowledge engineering, semantic Web, cloud computing, Internet on Things, cybersecurity, communication systems, and distributed computing and smart systems.
Описание: This book constitutes the refereed post-conference proceedings of the 18th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2021, which was held in November 2021. The conference was held virtually due to the COVID-19 pandemic.The 37 full papers were carefully reviewed and selected from 79 submissions and present discussions, interaction and exchange of experiences that will designate future research efforts and directions. Topics addressed by the conference include systems, applications, social networks, middleware, networking, sensing, data management, data processing and services, all with special focus on mobile and ubiquitous computing.
Описание: This book constitutes the proceedings of the 21st International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, SAMOS 2021, which took place in July 2021. Due to COVID-19 pandemic the conference was held virtually. The 17 full papers presented in this volume were carefully reviewed and selected from 45 submissions. The papers are organized in topics as follows: simulation and design space exploration; the 3Cs - Cache, Cluster and Cloud; heterogeneous SoC; novel CPU architectures and applications; dataflow; innovative architectures and tools for security; next generation computing; insights from negative results.
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.
Описание: Due to Covid-19 pandemic the conference was held virtually. The book contains 13 full papers selected from the main conference and 10 full papers from two workshops on medical artificial intelligence and on digital healthcare technologies.
Описание: This book constitutes the thoroughly refereed proceedings of the 15th International Conference on Metadata and Semantic Research, MTSR 2021, held as a virtual event in November-December 2021. The 27 full and 7 short papers presented were carefully reviewed and selected from 92 submissions. The papers are organized in the following topical sections: metadata, linked data, semantics and ontologies - general session, and track on agriculture, food and environment; track on open repositories, research information systems and data infrastructures; track on knowledge IT artifacts (KITA) and decentralized applications, blockchains and P2P systems, and general session; track on digital humanities and digital curation, and general session; track on digital libraries, information retrieval, big, linked, social and open data; track on european and national projects, and general session; track on cultural collections and applications, and general session.
Описание: Chapter 1.Smart Dustbin: A Reward Provider.- Chapter 2.Cyclic Exploration-based Whale Optimization to Linear Discriminant Regression Classification for Face Recognition.- Chapter 3.Auction System in Food Supply Chain Management using Blockchain.- Chapter 4.The Mechanism of Generating the Automated Java Unit Test Cases by achieving Maximum Code Coverage.- Chapter 5.Line Stability Index Based Voltage Stability Assessment Placing Series Compensation of TCSC.- Chapter 6.Preventing Crime Using Advanced Artificial Intelligence Techniques.- Chapter 7.Issue Resolution Process: Salesforce.- Chapter 8.Automated Member Enrollment: Health Insurance Agency.- Chapter 9.Comprehensive Analysis of State of the Art Techniques for VQA.- Chapter 10.Study of State of Arts Methods for Event Extraction.- Chapter 11.A Survey on Identification of Illegal Wildlife Trade.- Chapter 12.An approach for optimizing algorithms which find k1-most demanding products.- Chapter 13.Homomorphic Analysis of Privacy-Preserving Psychological Medical Records.- Chapter 14.Prediction of Rice Plant Diseases based on Soil and Weather conditions.- Chapter 15.An improved web information system through identification of faculty browsing patterns in affiliated engineering institutions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
