The proceedings contain 34 papers. The topics discussed include: dual-mode OAM beam UCA antenna with beam divergence reduction capability using PLA lens;design of electric vehicle model with a dynamo drive setup using...
ISBN:
(纸本)9798350340969
The proceedings contain 34 papers. The topics discussed include: dual-mode OAM beam UCA antenna with beam divergence reduction capability using PLA lens;design of electric vehicle model with a dynamo drive setup using model-based development (MDB);time series analysis of impact of Covid-19 using Facebook prophet model and review of the machine-learning algorithm;implementation of hand gesture home automation using Haar cascading algorithm;review of performance analysis of some basic full adder circuits;and simulation of switched capacitor-based five-level inverter with PDPWM control technique.
The proceedings contain 42 papers. The topics discussed include: PID controller optimization of underwater autonomous vehicle based on dung beetle optimization algorithm;research on trajectory reconstruction method fo...
The proceedings contain 42 papers. The topics discussed include: PID controller optimization of underwater autonomous vehicle based on dung beetle optimization algorithm;research on trajectory reconstruction method for high-speed spinning aircraft with short-term satellite loss;effect of opening auxiliary slots in the primary of permanent magnet synchronous linear motors on magnetic resistance;development of humanoid robot joint module based on high-order tooth contour surface;optimized design of solid state power controller (SSPC) operating circuit for unmanned aerial vehicles (UAV) DC power distribution systems;research and analysis of mechanical characteristics of three-phase asynchronous motor;and a two-stage scheduling method for virtual power plants considering ultra-short-term forecasting errors.
The proceedings contain 81 papers. The topics discussed include: conversational assistants for software development: integration, traceability and coordination;an integrated visualization approach combining dynamic da...
ISBN:
(纸本)9789897586965
The proceedings contain 81 papers. The topics discussed include: conversational assistants for software development: integration, traceability and coordination;an integrated visualization approach combining dynamic data-flow analysis with symbolic execution;combining goal-oriented and BPMN modelling to support distributed microservice compositions;steady-state energy consumption evaluation in BaseBand units pool in cloud radio access network;review time as predictor for the quality of model inspections;enriching the semantic representation of the source code with natural language-based features from comments for improving the performance of software defect prediction;considerations in prioritizing for efficiently refactoring the data clumps model smell: a preliminary study;metasurance: a blockchain-based insurance management framework for metaverse;and expectation-based integration testing of unidirectional interactions in component-based software systems.
The proceedings contain 68 papers. The special focus in this conference is on engineering Innovations and Sustainable Development. The topics include: Inflation Processes in the Conditions of the Global Crisis;lean Ma...
ISBN:
(纸本)9783031381218
The proceedings contain 68 papers. The special focus in this conference is on engineering Innovations and Sustainable Development. The topics include: Inflation Processes in the Conditions of the Global Crisis;lean Manufacturing as a Model for the Transition to the Digital Economy;issues of Ensuring the Continuity of the Activities of Industrial Enterprises;support Measures for Digital Transformation Projects in the Russian Manufacturing Industry;transport and Logistics Projects: Innovations and Development Prospects in the Digital Age;optimization of Logistics Flows in the Construction Cluster of the Samara Region;features of Urbanization of Non-agglomeration Territories: The Role of Small Towns;renovation of Fixed Assets and Innovations in Construction;food Security of the Russian Federation and Economic Factors of Agricultural Development;specific Features of the Sustainable Development Strategy of Russian Marketplaces;potential of Marketing Development Through Social Networks for the Automotive Industry;problems of Risk Assessment in the Implementation of Innovation and Construction Projects;development of a Graphic Editor for engineering Needs;innovative Logistics in the Cumulative Knowledge System and Its Implementation Technology;analysis of Competitiveness of Logistics Companies;mathematical Modelling and Optimization of Enterprise Costs for Storage of Resources;rationale for the Choice of New Technologies for Repair and Construction Works;study of the Russian Market of Telecom Infrastructure Operators;management automation of the Development Process of the Industrial Enterprise Documentation;automated controlsystems of Enterprises as a Factor of Digital Technological Development;transformation Directions When Introducing Artificial Intelligence into the Business Model of Organization;digital Solutions for Industrial Enterprises.
The proceedings contain 22 papers. The topics discussed include: active learning methods in the discipline of introduction to control and automationengineering: meaningful learning and higher engagement in the engine...
ISBN:
(纸本)9798350315813
The proceedings contain 22 papers. The topics discussed include: active learning methods in the discipline of introduction to control and automationengineering: meaningful learning and higher engagement in the engineering course;design of a STEAM professional master’s program supported by project-based learning methodologies;an analysis of the students’ academic performance in a master engineering course;near-peer mentoring program implementation in STEM higher education;do transferable skills matter for engineering students?;common skills in projects from different areas of knowledge: developing the professional profile;designing a pedagogical framework for transnational training;the need to include ethics education in engineering courses: looking to the role of engineering;and testing OpenFOAM computational fluid dynamics simulation of heat transfer and fluid flow in a mechanical engineering bachelor degree.
The proceedings contain 316 papers. The topics discussed include: early screening for Alzheimer’s disease based on OCT image classification;AUV 3D path planning based on improved sparrow search algorithm;a new offloa...
ISBN:
(纸本)9798350361445
The proceedings contain 316 papers. The topics discussed include: early screening for Alzheimer’s disease based on OCT image classification;AUV 3D path planning based on improved sparrow search algorithm;a new offloading method in cloud platforms: reducing latency based on data compression;optimization study of variable spray technology in dust removal systems;a filtering non-discriminative features method for person re-identification based on transformer;measurement of water content in oil-water two-phase system based on optimized EWT-FK algorithm;RRT-trained DDQN algorithm for pathfinding problem of automated guided vehicle;patient's emotion computing under robot vision;an estimation method for state of charge of lithium-ion batteries based on adaptive multi-innovation fractional order unscented Kalman filtering;apple detection and yield estimation based on YOLOv5;and optimization of multi-UUV cooperative detection formation based on particle swarm optimization.
The proceedings contain 123 papers. The topics discussed include: supervised machine learning models and schema matching techniques for ontology alignment;framework for a knowledge-based course recommender system focu...
ISBN:
(纸本)9789897587160
The proceedings contain 123 papers. The topics discussed include: supervised machine learning models and schema matching techniques for ontology alignment;framework for a knowledge-based course recommender system focused on IT career needs;optimization of methods for querying formal ontologies in natural language using a neural network;personalized asthma recommendation system: leveraging predictive analysis and semantic ontology-based knowledge graph;elementary multiperspective material ontology: leveraging perspectives via a showcase of EMMO-based domain and application ontologies;positive-unlabeled learning using pairwise similarity a parametric minimum cuts;efficient visualization of association rule mining using the rules;predicting post myocardial infarction complication: a study dual-modality and imbalanced flow cytometry data;a model for designing personalized and context-aware nudges;automatic transcription systems: a game changer for court hearings;scientific claim verification with fine-tuned NLI models;and assessing the use of online platforms in sharing tacit knowledge in innovation networks.
The proceedings contain 80 papers. The topics discussed include: a review of research on the security of train control networks;optimal replacement policy for wireless sensor networks considering loss;a study on relia...
ISBN:
(纸本)9798350356083
The proceedings contain 80 papers. The topics discussed include: a review of research on the security of train control networks;optimal replacement policy for wireless sensor networks considering loss;a study on reliability algorithm for complex electronic systems with periodic maintenance;research on risk assessment method for aircraft braking system based on improved FMEA;evaluating the A3RSRP handover to determine optimal performance in HetNet using stochastic petri net;preliminary research on human error analysis and accident risk assessment of operators with dynamic human-machine interaction simulation of advanced control room in nuclear power plants;intelligent fault diagnosis of rolling bearing based on incremental learning;and a remaining useful life prediction method for hydrogen fuel cell based on a multi-phase wiener process-based degradation model.
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.
暂无评论