the proceedings contain 25 papers. the special focus in this conference is on theoretical Aspects of computing. the topics include: An Autonomous Data Language;formal Language Semantics for Triggered Enable State...
ISBN:
(纸本)9783031479625
the proceedings contain 25 papers. the special focus in this conference is on theoretical Aspects of computing. the topics include: An Autonomous Data Language;formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling;strong Call-by-Value and Multi Types;algorithms for Checking Intersection Non-emptiness of Regular Expressions;realisability of Global Models of Interaction;efficient Reactive Synthesis Using Mode Decomposition;a Categorical Approach to Synthetic Chemistry;closure and Decision Properties for Higher-Dimensional Automata;robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad;without Loss of Satisfaction;synchronous Agents, Verification, and Blame—A Deontic View;store Locally, Prove Globally;denotational Semantics for Symbolic Execution;TeSSLa-ROS-Bridge – Runtime Verification of Robotic systems;simplifying Process Parameters by Unfolding Algebraic Data Types;modular Soundness Checking of Feature Model Evolution Plans;modelling and Verifying Robotic Software that Uses Neural Networks;a Game-theoretic Approach to Indistinguishability of Winning Objectives as User Privacy;learning Attack Trees by Genetic algorithms;the Landscape of computing Symmetric n-Variable Functions with 2n Cards;on the Complexity of Reasoning in Kleene Algebra with Commutativity Conditions;towards the Complexity Analysis of Programming Language Proof Methods;a Dynamic Temporal Logic for Quality of Service in Choreographic Models.
the proceedings contain 16 papers. the special focus in this conference is on Measurement, Modelling and Evaluation of computingsystems. the topics include: Parallelization of em-algorithms for markovian arrival proc...
ISBN:
(纸本)9783030430238
the proceedings contain 16 papers. the special focus in this conference is on Measurement, Modelling and Evaluation of computingsystems. the topics include: Parallelization of em-algorithms for markovian arrival processes;it sometimes works: A lifting algorithm for repair of stochastic process algebra models;an efficient brute force approach to fit finite mixture distributions;freight train scheduling in railway systems;a tool for requirements analysis of safety-critical cyber-physical systems;automated rare event simulation for fault tree analysis via minimal cut sets;to fail or not to fail: Predicting hard disk drive failure time windows;Concurrent MDPs with finite Markovian policies;A stochastic automata network description for spatial DNA-methylation models;an ns-3 model for multipath communication with terrestrial and satellite links;Model-based performance predictions for SDN-based networks: A case study;design of a hybrid genetic algorithm for time-sensitive networking;performance analysis for loss systems with many subscribers and concurrent services;on the stochastic end-to-end delay analysis in sink trees under independent and dependent arrivals.
the proceedings contain 31 papers. the topics discussed include: comparing model-free and model-based algorithms for offline reinforcement learning;a critical point analysis of actor-critic algorithms with neural netw...
the proceedings contain 31 papers. the topics discussed include: comparing model-free and model-based algorithms for offline reinforcement learning;a critical point analysis of actor-critic algorithms with neural networks;from regularization to risk-sensitivity–and back again;fuzzy weighted memory event-triggered control for networked control systems subject to deception attacks;decentralized multi-agent navigation via knee-based multi-objective optimization of potential functions;reconstructing human torques of people with medullar injury via discrete-time nonlinear cascade observers;first results on modelling of a plate heat exchanger of a district heating system;highway traffic control with ramp metering utilizing variational autoencoders;mean field game-based decentralized optimal charging control for large-scale of electric vehicles;reinforcement learning for dynamic mutation process control in multi-objective differential evolution;and towards a fully autonomous robotic system for detection and removal of surface defects in fiber glass panels.
this paper presents PPQSort (Pattern Parallel Quicksort), a new parallel quicksort algorithm that provides high performance and ease of use. PPQSort uses C++ threads for parallelization, achieving efficient sorting wi...
详细信息
A full-duplex symmetric 3×30Gbps optical code division multiple access visible laser light communication (OCDMA-VLLC) system is investigated. the performance is measured using multi-diagonal (MD), hadamard and sh...
详细信息
the on-demand availableness of computer systems resources, especially storage of data (cloud storage) and rectifying power, with no direct ongoing administration by the user is what they call cloud computing. Large cl...
详细信息
ISBN:
(纸本)9798350397284
the on-demand availableness of computer systems resources, especially storage of data (cloud storage) and rectifying power, with no direct ongoing administration by the user is what they call cloud computing. Large cloud functions are usually spread among several locations, each of which constitutes a data center. Customers may save money on capital expenses by using cloud computing, which frequently takes a 'pay-as-you-go' approach. Coherence in cloud computing is achieved by sharing resources. In today's world of the Internet, demand for cloud services is increasing drastically leading to the production of new services day by day. As the services increase, the data gets primarily targeted by spiteful users who attempt to steal the data for their own atrocious and unethical activities. Users and trustworthy applications are considering more security and privacy and services get more in demand. Moreover, this study has reviewed several algorithms such as CPE-ABE (Ciphertext policy attribute-based encryption), ABE, KP-ABE (Key policy attribute-based encryption) CSP (Constraint satisfaction problem), PKG, AES (Advanced Encryption Standards), SHA-1 (Secure Hash Algorithm), Photo encryption, Photo decryption, PRE, IDEA (international Data Encryption algorithm) and LSBG (Least Significant Bit Grouping) for image data security. As already discussed, the increasing threats and frauds around the world, safe and secure applications and services should be created to resolve this problem so that people can store data on a platform that can be relied on. this research study has discussed about the concept of what are the paradigms required for securing and protecting the data and securing the image data at an encrypted level. this study has reviewed several existing research works, studied different algorithms which have been used in different research articles, and compared their strengths and drawbacks accordingly. Different research works have been summarized in a form of ta
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybri...
ISBN:
(纸本)9789819995301
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybridized Sine Cosine Metaheuristics for Ship Vessel Classification;does the Resilience Learning Game Foster Workforce Open Innovation and Sustainability Attributes? Empirical Evidence from Greek Food Industry;Seizure Detection by Analyzing EEG Signals Using Deep Learning Networks;Parts-of-Speech Tagger in Assamese Using LSTM and Bi-LSTM;Dynamic Retransmission Count Prediction (DRCP) Algorithm for FANET Using Machine Learning Techniques;video-Based Action Recognition of Spatial and Temporal Deep Learning Models;aeroDetect: Real-Time Small Object Detection in Aerial Images;integrated Whale Swarm and Neuro-Evolutionary computing for Large-Scale Sparse Optimization Problems;deep Reinforcement Learning for Credit Card Fraud Detection;influences of Specimen and Fiber Sizes on the Direct Tensile Resistance of Ultra-High-Performance Fiber-Reinforced Concretes;segmentation-Based Transformer Network for Automated Skin Disease Detection;multi-sensor Data Fusion and Deep Machine Learning Models-Based Mental Stress Detection System;anti-forensic Analysis for Image Splicing Detection through Advanced Filters;classification of Organic and Recyclable Waste Using a Deep Learning Approach;prediction of Soil Properties for Agriculture Using Ensemble Learning Techniques;enhancing Intelligent Video Surveillance: Deep Learning Approaches for Human Anomalous Behavior Recognition;detection of Explicit Lyrics in Hindi Music Using Different Machine Learning algorithms;artificial Intelligence Empowered Language Models: A Review;mass Production Lab;Automatic Multiple Sounds Detection with Recurrent Neural Networks (LSTM);energy Efficiency Techniques in 5G/6G Networks: Green Communication Solutions;assessing the Feasibility and Scalability of Using Spark for Identifying Tip Burn Diseases i
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybri...
ISBN:
(纸本)9789819995202
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybridized Sine Cosine Metaheuristics for Ship Vessel Classification;does the Resilience Learning Game Foster Workforce Open Innovation and Sustainability Attributes? Empirical Evidence from Greek Food Industry;Seizure Detection by Analyzing EEG Signals Using Deep Learning Networks;Parts-of-Speech Tagger in Assamese Using LSTM and Bi-LSTM;Dynamic Retransmission Count Prediction (DRCP) Algorithm for FANET Using Machine Learning Techniques;video-Based Action Recognition of Spatial and Temporal Deep Learning Models;aeroDetect: Real-Time Small Object Detection in Aerial Images;integrated Whale Swarm and Neuro-Evolutionary computing for Large-Scale Sparse Optimization Problems;deep Reinforcement Learning for Credit Card Fraud Detection;influences of Specimen and Fiber Sizes on the Direct Tensile Resistance of Ultra-High-Performance Fiber-Reinforced Concretes;segmentation-Based Transformer Network for Automated Skin Disease Detection;multi-sensor Data Fusion and Deep Machine Learning Models-Based Mental Stress Detection System;anti-forensic Analysis for Image Splicing Detection through Advanced Filters;classification of Organic and Recyclable Waste Using a Deep Learning Approach;prediction of Soil Properties for Agriculture Using Ensemble Learning Techniques;enhancing Intelligent Video Surveillance: Deep Learning Approaches for Human Anomalous Behavior Recognition;detection of Explicit Lyrics in Hindi Music Using Different Machine Learning algorithms;artificial Intelligence Empowered Language Models: A Review;mass Production Lab;Automatic Multiple Sounds Detection with Recurrent Neural Networks (LSTM);energy Efficiency Techniques in 5G/6G Networks: Green Communication Solutions;assessing the Feasibility and Scalability of Using Spark for Identifying Tip Burn Diseases i
We proposed a method of optimizing random illumination pattern, to solve the problem that data acquisition is excessive when random pattern is used in computational ghost imaging. By introducing a transverse and longi...
详细信息
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybri...
ISBN:
(纸本)9789819995233
the proceedings contain 40 papers. the special focus in this conference is on Advances in Data-driven computing and Intelligent systems. the topics include: the eXtreme Gradient Boosting Method Optimized by Hybridized Sine Cosine Metaheuristics for Ship Vessel Classification;does the Resilience Learning Game Foster Workforce Open Innovation and Sustainability Attributes? Empirical Evidence from Greek Food Industry;Seizure Detection by Analyzing EEG Signals Using Deep Learning Networks;Parts-of-Speech Tagger in Assamese Using LSTM and Bi-LSTM;Dynamic Retransmission Count Prediction (DRCP) Algorithm for FANET Using Machine Learning Techniques;video-Based Action Recognition of Spatial and Temporal Deep Learning Models;aeroDetect: Real-Time Small Object Detection in Aerial Images;integrated Whale Swarm and Neuro-Evolutionary computing for Large-Scale Sparse Optimization Problems;deep Reinforcement Learning for Credit Card Fraud Detection;influences of Specimen and Fiber Sizes on the Direct Tensile Resistance of Ultra-High-Performance Fiber-Reinforced Concretes;segmentation-Based Transformer Network for Automated Skin Disease Detection;multi-sensor Data Fusion and Deep Machine Learning Models-Based Mental Stress Detection System;anti-forensic Analysis for Image Splicing Detection through Advanced Filters;classification of Organic and Recyclable Waste Using a Deep Learning Approach;prediction of Soil Properties for Agriculture Using Ensemble Learning Techniques;enhancing Intelligent Video Surveillance: Deep Learning Approaches for Human Anomalous Behavior Recognition;detection of Explicit Lyrics in Hindi Music Using Different Machine Learning algorithms;artificial Intelligence Empowered Language Models: A Review;mass Production Lab;Automatic Multiple Sounds Detection with Recurrent Neural Networks (LSTM);energy Efficiency Techniques in 5G/6G Networks: Green Communication Solutions;assessing the Feasibility and Scalability of Using Spark for Identifying Tip Burn Diseases i
暂无评论