Search
Search Results
-
Safe Pretraining of Deep Language Models in a Synthetic Pseudo-Language
AbsractThis paper compares the pretraining of a transformer on natural language texts and on sentences of a synthetic pseudo-language. The artificial...
-
Verifying Hypotheses of Drug Bioequivalence
AbstractThe problem of testing pharmaceuticals on their bioequivalence is considered. Investigations of drug bioequivalence are the basis for...
-
High-Resolution Simulation of the Near-Field Pollutant Dispersion in a Nuclear Power Plant Community with High-Performance Computing
This study aims to employ numerical simulations to understand the dynamics of wind fields and air pollutant dispersion in the proximity of a nuclear...
-
A Systematic VANET Traffic Congestion by Eliminating Recursion Using Intervention Linear Minimum Spanning Tree (ILMST) for Traffic Management System
National concern for road safety and human involvement in transportation are becoming increasingly important in everyone’s life. As a result, traffic... -
Identification of Critical States of Technological Processes Based on Predictive Analytics Methods
AbstractThe paper proposes a predictive approach to assessing special classes of dangerous states in the development of technological processes in...
-
Integrating supplier selection decisions into an inventory location problem for designing the supply chain network
This paper proposes a novel Inventory-Location problem that integrates supplier selection decisions to design a three-echelon supply chain network,...
-
Safe-Exploration of Control Policies from Safe-Experience via Gaussian Processes
Control of many real-life systems strongly relies on the knowledge of a domain expert, who usually adopts a safe control policy to deal with... -
Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
There is an increasing need to study the vulnerability of communication protocols in distributed systems to malicious attacks that attempt to violate...
-
Advanced Analytics for Mine Materials Transportation
Miners extract ore from underground or surface operations at the mine site. Once the ore is extracted, it needs to be transported to end customers.... -
Basic Concepts of Probability and Reliability
Traditional methods consider uncertainty in practical engineering problems as a compromise between system reliability and safety by utilizing a... -
Reliability Analysis of Centerless Grinding Machine Using Fault Tree Analysis
Reliability analysis plays a crucial role in the design and operational process. Fault Tree Analysis (FTA), one of the reliability evaluation... -
Development of Reliability Block Diagram (RBD) Model for Reliability Analysis of a Steam Boiler System
Industrial steam boilers are prone to occurrences such as equipment failures, human errors, and common-cause failures in a context of sophisticated... -
A Method to Improve the Accuracy of Bridge Cranes Overload Protection Using the Signal Graph
Often during the bridge cranes operation, there occur the crane major components’ breakdowns, due to overload. Therefore, to prevent these... -
Quantum Systems at the Brink
We present a method to calculate the asymptotic behavior of eigenfunctions of Schrödinger operators that also works at the threshold of the essential... -
A Tree Structure Approach to Reachability Analysis
Reachability analysis is a powerful tool when it comes to capturing the behaviour, thus verifying the safety, of autonomous systems. However,... -
Virtual Architecture and Engineering
New airplanes and cars are extensively tested before they are allowed on the market. Buildings such as bridges and... -
Smart Blind Stick with Wristband: Obstacle Detection and Warning System
The smart blind stick-connected wristwatch is a device designed to assist visually impaired individuals with independent navigation while also... -
Takeoff optimisation of coaxial compound helicopter with uncertainty quantification
This paper focuses on the optimal takeoff of a coaxial compound helicopter, considering the possibility of engine failure. When one engine fails...
-
Verifying a scheduling protocol of safety-critical systems
It is of great importance to ensure safety and reliability of the scheduling protocol of safety-critical systems since the failure will cause serious...
-
Numerical study of opposed zero-net-mass-flow jet-induced erythrocyte mechanoporation
With the advantages of biosafety and efficiency, increasing attention has been paid to the devices for gene and macromolecular drug delivery based on...