the proceedings contain 16 papers. the special focus in this conference is on Verification and Evaluation of computer and Communication systems. the topics include: Formal Verification of Declarative Specificatio...
ISBN:
(纸本)9783031853555
the proceedings contain 16 papers. the special focus in this conference is on Verification and Evaluation of computer and Communication systems. the topics include: Formal Verification of Declarative Specifications of BPs: DCR2CPN-Based Approach;Toward Green Data Lake Management and Analysis through a CTMC Model;a High Parallelization Method for Automated Formal Verification of Deep Neural Networks;monitoring of Neural Network Classifiers Using Neuron Activation Paths;formal Security Analysis of Deep Neural Network Architecture;MDE in the Era of Generative AI;Intrusion Detection Using an Enhancement Bi-LSTM Recurrent Neural Network Model;a Formal Approach for Verifying and Validating Security Objectives in Software Architecture;supervisory control of Cyber-Physical systems Using Labeled Petri Nets Under Sensor and Actuator Attacks;ERTMS/ETCS L3: Usable Formal Models for the "Loss of Train Integrity" Operation Scenario;towards a Model for Energy-Efficient and Flexible IoT systems;Integrating SysML and Timed Reo to Model and Verify Cyber-Physical systems Interactions with Timing Constraints;a Reliable and Resource-Aware Federated Learning Solution by Decentralizing Client Selection for IoT Devices;DRL Based SFC Orchestration in SDN/NFV Environments Subject to Transient Unavailability.
this paper investigates the problems of invariant set analysis and control synthesis for multi-equilibrium switched systems under control constraints. A control strategy based on the invariant set method is proposed, ...
详细信息
the advancement of YOLO and similar computer vision models represents a technological era that could revolutionize numerous aspects of day-to-day life, including traffic management. this study explores the feasibility...
详细信息
In this work, we explore route discovery in private payment channel networks. We first determine what "ideal" privacy for a routing protocol means in this setting. We observe that protocols achieving this st...
详细信息
Withthe growing adoption of electric vehicles (EVs) as an eco-friendly and sustainable means of transportation, availability of adequate EV charging infrastructure has become very important. While fixed charging stat...
详细信息
the rapid spread of COVID-19 misinformation on social media poses challenges in detection and analysis. there has been extensive discussion about the roles of online and offline campaigns in spreading misinformation. ...
详细信息
ISBN:
(纸本)9783031785375;9783031785382
the rapid spread of COVID-19 misinformation on social media poses challenges in detection and analysis. there has been extensive discussion about the roles of online and offline campaigns in spreading misinformation. Recognizing the analytical gap between online and offline behaviors during the COVID-19 pandemic, we propose a systematic and multidisciplinary approach. this approach utilizes agent-based modeling to interpret the spread of misinformation and the actions of users/communities on social media networks. Our model was tested on a Twitter network concerning a demonstration against COVID-19 lockdowns in Michigan in May 2020. We implemented the one-median problem to categorize and simplify the Twitter network, measured the response time to the spread of misinformation, employed a cybernetic organizational method to manage the process of mitigating misinformation spread in the network, and optimized the allocation of agents to reduce the response time to misinformation spread. the study demonstrates the effectiveness of our proposed approach in delaying information diffusion, thereby mitigating the spread of COVID-19 misinformation on social media.
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812439
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal control Problem for Practical Application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: Application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal control of Assets and Liabilities by a Bank;optimal control for Stochastic Multi-agent systems Withthe Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812408
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal control Problem for Practical Application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: Application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal control of Assets and Liabilities by a Bank;optimal control for Stochastic Multi-agent systems Withthe Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient A...
ISBN:
(纸本)9783031812460
the proceedings contain 105 papers. the special focus in this conference is on Numerical Computations: theory and Algorithms. the topics include: Resource Allocation via Bayesian Optimization: an Efficient Alternative to Semi-Bandit Feedback;multi-Objective and Multiple Information Source Optimization for Fair & Green Machine Learning;extended Optimal control Problem for Practical Application;explainable Process Deviance Discovery with Data-Efficient Deep Learning;line Search Stochastic Gradient Algorithm with A-priori Rule for Monitoring the control of the Variance;a Machine Learning Approach to Speed up the Solution of the Distributor’s Pallet Loading Problem;combined First- and Second-Order Directions for Deep Neural Networks Training;constrained Global Optimization by Smoothing;the Unreasonable Effectiveness of Optimal Transport Distance in the Design of Multi-Objective Evolutionary Optimization Algorithms;an Improved Modified Jaya Optimization Algorithm: Application to the Solution of Nonlinear Equation systems;GPU Acceleration of the Enhanced Jaya Optimization Algorithm for Solving Large systems of Nonlinear Equations;effective Resistance Based Community Detection in Complex Networks;a Comparison of Formulations for Aircraft Deconfliction;optimal Recombination Problem in Genetic Programming for Boolean Functions;heuristics with Local Improvements for Two-Processor Scheduling Problem with Energy Constraint and Parallelization;numerical Analysis of Optimal control of Assets and Liabilities by a Bank;optimal control for Stochastic Multi-agent systems Withthe Use of Parallel Hybrid Genetic Algorithm;DC Optimization in Adversarial Sparse Support Vector Machine;A First-Order Optimality Condition in Nonsmooth Generalized Semi-infinite Programming (GSIP);miniaturisation of Binary Classifiers through Sparse Neural Networks;Price Forecasting for Bitcoin: Linear Regression and SVM Approaches;inside the Box: 0–1 Linear Programming Under Interval Uncertainty;machine Learn
Future smart grids will provide greater flexibility to both users and operators but will also inherently lessen resilience of the grid. this work deals with improving that resilience by looking into topological struct...
详细信息
暂无评论