the proceedings contain 18 papers. the special focus in this conference is on Dynamics of Information systems. the topics include: Dispersion of Personal Spaces;an Evolutionary Approach to60;Automated Class-Specifi...
ISBN:
(纸本)9783031503191
the proceedings contain 18 papers. the special focus in this conference is on Dynamics of Information systems. the topics include: Dispersion of Personal Spaces;an Evolutionary Approach to Automated Class-Specific Data Augmentation for Image Classification;augmented Lagrangian Method for Linear programming Using Smooth Approximation;the Coherent multi-representation Problem for Protein Structure Determination;the Effects of Shift Generation on Staff Rostering;consumers Financial Distress: Prediction and Prescription Using Machine Learning;optimizing Classroom Assignments to Reduce Non-essential Interactions Among University-Level Students During Pandemics;introducing a New Metric for Improving Trustworthiness in Real Time Object Detection;a Numerical Scheme for a Generalized Fractional Derivative with Variable Order;a Risk-Cost Analysis for an Increasingly Widespread Monitoring of Railway Lines;a Collaborative multi-objective Approach for Clustering Task Based on Distance Measures and Clustering Validity Indices;iranian Architectural Styles Recognition Using Image Processing and Deep Learning;a Quasi-extreme Reduction for Interval Transportation Problems;assignment of Unexpected Tasks in Embedded System Design Process Using Genetic programming;Improving Handwritten Cyrillic OCR by Font-Based Synthetic Text Generator;a Critical Node-Centric Approach to Enhancing Network Security.
the proceedings contain 106 papers. the topics discussed include: joint sparse estimation with cardinality constraint via mixed-integer semidefinite programming;overdispersed photon-limited sparse signal recovery usin...
ISBN:
(纸本)9798350344523
the proceedings contain 106 papers. the topics discussed include: joint sparse estimation with cardinality constraint via mixed-integer semidefinite programming;overdispersed photon-limited sparse signal recovery using nonconvex regularization;k-subspaces for sequential data;a preconditioned hessian proximal algorithm for spectral compressed sensing;decoding the hidden: direct image classification using coded aperture imaging;clustering on the Stiefel manifold with symmetric block term decomposition;multi-model federated learning optimization based on multi-agent reinforcement learning;self-interference aware codebook design for full-duplex joint sensing and communication systems at mmWave;binary group sparsity in multi anchor direct localization;and multi-target tracking with transferable convolutional neural networks.
When using artificial intelligence systems for processing medical images, a large amount of software libraries, data and cloud computing is required. Implementing deep learning elements in CAD is a complex process and...
详细信息
When using artificial intelligence systems for processing medical images, a large amount of software libraries, data and cloud computing is required. Implementing deep learning elements in CAD is a complex process and applying DevOps can help speed up this process. the implementation of DevOps approaches in the field of machine learning differs from the operations with standard programs;therefore the development of MLOps approaches to the implementation of deep learning elements for the analysis of biomedical images is an actual task. the developed pipeline allows scientists and specialists to use the findings in this article to launch projects based on machine learning and focus on model development rather than the process of setting up the environment. this paper provides examples of improved MLOps pipelines that can be used for solving problems of automatic image segmentation and evaluating the quantitative characteristics of microobjects.
the proceedings contain 18 papers. the special focus in this conference is on Engineeringmulti-agentsystems. the topics include: Synthesizing multi-agent System Organization from60;Engineering Descriptions;towards...
ISBN:
(纸本)9783031485381
the proceedings contain 18 papers. the special focus in this conference is on Engineeringmulti-agentsystems. the topics include: Synthesizing multi-agent System Organization from Engineering Descriptions;towards Developing Digital Twin Enabled multi-agentsystems;Towards Context-Based Authorizations for Interactions in Hypermedia-Driven agent Environments - the CASHMERE Framework;towards Framing the agents & Artifacts Conceptual Model at the Knowledge Level: First Ideas and Experiments;pody: A Solid-Based Approach to Embody agents in Web-Based multi-agent-systems;Fantastic MASs and Where to Find them: First Results and Lesson Learned;the Entity-Operation Model for Practical multi-entity Deployment;Remote Deployment of a JADE agent in Docker;imperative and Event-Driven programming of Interoperable Software agents;vGOAL: A GOAL-Based Specification Language for Safe Autonomous Decision-Making;protocol-Based Engineering of Microservices;Exploiting Service-Discovery and OpenAPI in multi-agent MicroServices (MAMS) Applications;Using multi-agent MicroServices (MAMS) for agent-Based Modelling;dynamics of Causal Dependencies in multi-agent Settings;multi-armed Bandit Based Tariff Generation Strategy for multi-agent Smart Grid systems;Load Balancing in Distributed multi-agent Path Finder (DMAPF).
Communication is a critical part of enabling multi-agentsystems to cooperate. this means that applying formal methods to protocols governing communication within multi-agentsystems provides useful confidence in its ...
详细信息
ISBN:
(数字)9783030974572
ISBN:
(纸本)9783030974572;9783030974565
Communication is a critical part of enabling multi-agentsystems to cooperate. this means that applying formal methods to protocols governing communication within multi-agentsystems provides useful confidence in its reliability. In this paper, we describe the formal verification of a complex communication protocol that coordinates agents merging maps of their environment. the protocol was used by the LFC team in the 2019 edition of the multi-agentprogramming Contest (MAPC). Our specification of the protocol is written in Communicating Sequential Processes (CSP), which is a well-suited approach to specifying agent communication protocols due to its focus on concurrent communicating systems. We validate the specification's behaviour using scenarios where the correct behaviour is known, and verify that eventually all the maps have merged.
In this paper, we propose the integration of approaches to Engineering multi-agentsystems (EMAS) withthe Developer Operations (DevOps) industry best practice. Whilst DevOps facilitates the organizational autonomy of...
详细信息
ISBN:
(数字)9783030974572
ISBN:
(纸本)9783030974572;9783030974565
In this paper, we propose the integration of approaches to Engineering multi-agentsystems (EMAS) withthe Developer Operations (DevOps) industry best practice. Whilst DevOps facilitates the organizational autonomy of software teams, as well as the technological automation of testing, deployment, and operations pipelines, EMAS and the agent-oriented programming paradigm help instill autonomy into software artifacts. We discuss the benefits of integrating DevOps and EMAS, for example by highlighting the need for agent-oriented abstractions for quality assurance and test automation approaches. More generally, we introduce an agent-oriented perspective on the DevOps life-cycle and list a range of research challenges that are relevant for the integration of the DevOps and EMAS perspectives.
the proceedings contain 69 papers. the topics discussed include: integrating maintenance and energy problems through a digital twin-based decision support framework under the guidance of asset management;digital twins...
the proceedings contain 69 papers. the topics discussed include: integrating maintenance and energy problems through a digital twin-based decision support framework under the guidance of asset management;digital twins based on integrated models: supporting joint decisions on maintenance and production planning;digital model of a wind turbine oriented to broken tooth analysis;physics-enhanced digital twin based solution to control process state in a steel manufacturing plant;towards a business intelligence application for evidence-based maintenance;maintenance lifecycle cost analysis through agent-based simulation;a methodology to support the strategic implementation of smart maintenance solutions;an optimal maintenance strategy for machining system considering production rates;and maintenance optimization of heating, ventilation and air conditioning systems to improve indoor air quality.
the proceedings contain 22 papers. the topics discussed include: basic theoretical provisions of entropy approach for intelligent air transportation management;development of digital twin based on model with fractiona...
the proceedings contain 22 papers. the topics discussed include: basic theoretical provisions of entropy approach for intelligent air transportation management;development of digital twin based on model with fractional-rational uncertainty;on efficient single-core execution of agent-based epidemiological models with contact-tracing transmission;on linear regression for fuzzy data of different quality;application of polarization-time model seismic signal for remote monitoring of potential sources emergencies by three-component seismic station;case driven TLC model checker analysis in energy scenario;similarity metric of categorical distributions for topic modeling problems with akin categories;neural network method for detecting and diagnostics helicopters turboshaft engines surge at flight modes;and research and software implementation of intelligent method of energy consumption control.
Image segmentation is a challenging task due to image variations, such as illumination, background, noise, and others. there are several segmentation methods, but the requirement of prior knowledge and parameter setti...
详细信息
In this paper, we address the numerical reasoning challenges of financial question-answering systems. We propose a two-stage approach where models first generate intermediate calculations and then produce the final an...
暂无评论