The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex Computer Systems. The topics include: Automated Parameter Determination for Enhancing the Product Configur...
ISBN:
(纸本)9783031664557
The proceedings contain 22 papers. The special focus in this conference is on Engineering of Complex Computer Systems. The topics include: Automated Parameter Determination for Enhancing the Product Configuration System of Renault: An Experience Report;optimal Solution Guided Branching Strategy for Neural Network Branch and Bound Verification;AccMILP: An Approach for Accelerating Neural Network Verification Based on Neuron Importance;Word2Vec-BERT-bmu:Classification of RISC-V Architecture Software Package Build Failures;Test Architecture Generation by Leveraging BERT and control and data Flows;less is More: An Empirical Study of Undersampling Techniques for Technical Debt Prediction;modeling and Verification of Solidity Smart Contracts with the B Method;template-Based Smart Contract Verification: A Case Study on Maritime Transportation Domain;QuanSafe: A DTBN-Based Framework of Quantitative Safety analysis for AADL Models;a Event-B-Based Approach for Schedulability analysis For Real-Time Scheduling Algorithms through Deadlock Detection;Validation of RailML Using ProB;reachability analysis of Concurrent Self-modifying Code;an Iterative Formal Model-Driven Approach to Railway Systems Validation;an Efficient Distributed Dispatching Vehicles Protocol for Intersection Traffic control;confidentiality Management in Complex Systems Design;analyzing Excessive Permission Requests in Google Workspace Add-Ons;formal Verification Techniques for Post-quantum Cryptography: A Systematic Review;autoWeb: Automatically Inferring Web Framework Semantics via Configuration Mutation;safePtrX: Research on Mitigation of Heap-Based Memory Safety Violations for Intel x86-64;towards Efficiently Parallelizing Patch-Space Exploration in Automated Program Repair.
The proceedings contain 34 papers. The special focus in this conference is on Communication, Device and Networking. The topics include: Mode Suppression in SIW Bandpass Filter for K-Band Applications;slot-Infused Patc...
ISBN:
(纸本)9789819753369
The proceedings contain 34 papers. The special focus in this conference is on Communication, Device and Networking. The topics include: Mode Suppression in SIW Bandpass Filter for K-Band Applications;slot-Infused Patch Antenna with Improved Radiation Characteristics for 5G Millimeter Wave Application;performance Evaluation of Pasapalli and Modified Sierpinski Square Fractal Antennas in X-Band Spectrum;Investigation of Different DGSs for Miniaturized Hexagonal Patch Antennas;Design and analysis of Octogon EBG for Patch Antenna in ISM Band;Performance Evaluation of ISM Circular Patch Antennas with Various Feeding Mechanisms;flexible and Comfortable Textile Antenna for On/Off Body Biomedical Communication;A Unit Gain Approach with Reconfigurable Antenna for ISM Band;A Millimetre-Wave LNA for Défense Covert Warfare Operations and Cybersecurity Applications;ultra-Wide Band Linearized Silicon Radio Frequency Low Noise Amplifier for Diagnosis and Monitoring of Chronic Cases in Healthcare;optimization Design of Microstrip Bandpass Filters for Ultra-Wideband Wireless Communication Based on Distributed Algorithms;speaker Adaptation in Disaster Management Systems: A Comparative Study and Research Gap analysis;optimizing data Center Power Usage: Server Consolidation and Efficient Cooling Techniques;Optimized Frequency control Strategy for an AC Microgrid;optimization of Hydraulic Power Generation System Based on Particle Swarm Optimization Algorithm;modeling and PID control of Unmanned Aerial Vehicles Based on Machine Vision;effectiveness of Blockchain and IoT in Horticulture Crop Supply Chain;IOT Based Gas Level and Leakage Detection for Domestic Applications;an Enhanced Low-Power Coding Technique for Network-on-Chip Links;physical Layer Security analysis for Correlated Nakagami-m Fading Channel;Emergency Message Dissemination Through Efficient Acknowledgment Aggregation Technique with Cloud Based MQTT Over Internet of Vehicles.
The proceedings contain 34 papers. The special focus in this conference is on Communication, Device and Networking. The topics include: Mode Suppression in SIW Bandpass Filter for K-Band Applications;slot-Infused Patc...
ISBN:
(纸本)9789819764648
The proceedings contain 34 papers. The special focus in this conference is on Communication, Device and Networking. The topics include: Mode Suppression in SIW Bandpass Filter for K-Band Applications;slot-Infused Patch Antenna with Improved Radiation Characteristics for 5G Millimeter Wave Application;performance Evaluation of Pasapalli and Modified Sierpinski Square Fractal Antennas in X-Band Spectrum;Investigation of Different DGSs for Miniaturized Hexagonal Patch Antennas;Design and analysis of Octogon EBG for Patch Antenna in ISM Band;Performance Evaluation of ISM Circular Patch Antennas with Various Feeding Mechanisms;flexible and Comfortable Textile Antenna for On/Off Body Biomedical Communication;A Unit Gain Approach with Reconfigurable Antenna for ISM Band;A Millimetre-Wave LNA for Défense Covert Warfare Operations and Cybersecurity Applications;ultra-Wide Band Linearized Silicon Radio Frequency Low Noise Amplifier for Diagnosis and Monitoring of Chronic Cases in Healthcare;optimization Design of Microstrip Bandpass Filters for Ultra-Wideband Wireless Communication Based on Distributed Algorithms;speaker Adaptation in Disaster Management Systems: A Comparative Study and Research Gap analysis;optimizing data Center Power Usage: Server Consolidation and Efficient Cooling Techniques;Optimized Frequency control Strategy for an AC Microgrid;optimization of Hydraulic Power Generation System Based on Particle Swarm Optimization Algorithm;modeling and PID control of Unmanned Aerial Vehicles Based on Machine Vision;effectiveness of Blockchain and IoT in Horticulture Crop Supply Chain;IOT Based Gas Level and Leakage Detection for Domestic Applications;an Enhanced Low-Power Coding Technique for Network-on-Chip Links;physical Layer Security analysis for Correlated Nakagami-m Fading Channel;Emergency Message Dissemination Through Efficient Acknowledgment Aggregation Technique with Cloud Based MQTT Over Internet of Vehicles.
Efficient communication is the foundation of parallel computing systems, enabling seamless coordination across multiple processors for optimal performance. At the core of this communication lies the Message Passing In...
详细信息
The ability to make timely and sound decisions is one of the key activities of managing an organisation. Organisations try to reduce production costs as much as possible, but this in turn brings the downside of produc...
详细信息
The ability to make timely and sound decisions is one of the key activities of managing an organisation. Organisations try to reduce production costs as much as possible, but this in turn brings the downside of products that do not meet customer expectations. However, this phenomenon also has other downstream processes that burden the organisation and make it more difficult to continue to function. These include customer complaints, the cost of rectifying the defects complained of, downtime, etc. The successful operation of any organisation therefore depends on its ability to adapt to changing customer requirements, as these are a priority in the market. Statistical methods and tools are an effective tool for quality improvement and it is not only advisable, but we can say essential, to introduce them into production processes. Without systematic quality management, an organisation is not able to grow, because it has to combine the enormous effort of developing and introducing new products with the maximum maintenance of the quality of the products already in place. The aim of this paper is to highlight selected tools and methods for process improvement in an organization operating in the automotive industry. The subject of observation is the process of tightening airbag joints. Using Pareto analysis, both bolt and nut tightening data was collected during 3 work shifts over a period of one month. One of the statistical tools and methods used in organizations are sophisticated methods - it includes operational research methods, multivariate analysis, etc. Statistical processcontrol is essentially the maintenance of a process in a steady state. Based on the result, a conclusion is then drawn as to whether corrective action is to be taken to improve/remove the undesirable condition or, in the case of favourable results, to continue with the next production process.
National fundamental geo-entity construction has been vigorously promoted by the Ministry of Natural Resources of the People's Republic of China. As one of the core products, it is a digital abstract expression of...
详细信息
The high dropout rate on online education platforms like MOOCs is a significant challenge for modern education systems. This wastes resources and diminishes the course's credibility, impacting educational goals an...
详细信息
The integration of synchronous phasor measurement units (PMUs) has fundamentally transformed grid monitoring and control systems. These units capture time-synchronized, high-resolution data on key electrical parameter...
详细信息
Ethanol serves as a crucial raw material for synthesizing C4 olefins, making the investigation of catalytic synthesis process conditions highly valuable. This study conducted a correlation analysis on experimental dat...
详细信息
In this paper, based on data mining technology, Fp-growth algorithm and Apriori algorithm are used to mine and analyze traffic accident features. The correlation between the causes and severity of traffic accidents is...
详细信息
暂无评论