-
421
-
422
Model checking programs in process-oriented IEC 61131-3 Structured Text
Published 2024-03-01Get full text
Article -
423
ESfix: An Embedded Program Repair Tool for Effective Removal of Concurrency Defects
Published 2025-03-01Get full text
Article -
424
-
425
-
426
-
427
Computational analysis for wax detection in deepwater pipelines using nuclear techniques
Published 2023-07-01Get full text
Article -
428
-
429
Mechanism and Mesoscopic Characteristics of Indirectly Reinforced Gravelly Soil by a Geogrid
Published 2022-01-01Get full text
Article -
430
Numerical Simulation of Turbopump Inducer Cavitating Behavior
Published 2005-01-01Get full text
Article -
431
Experimental Operation of a Prototype 750C Advanced Chloride Molten Salt Bellows Valve
Published 2025-02-01Get full text
Article -
432
Thermodynamic Model of a Gas Turbine Considering Atmospheric Conditions and Position of the IGVs
Published 2025-02-01“…The results of the simulations, obtained using code implemented in MATLAB (R2014a), demonstrate the efficiency of the model compared to experimental data. …”
Get full text
Article -
433
Hybrid Lattice Boltzmann Scheme for Conductive-convective-radiative Heat Transfer
Published 2025-10-01Get full text
Article -
434
Thermal study of the modular high-temperature gas-cooled reactor
Published 2022-10-01Get full text
Article -
435
ACOFuzz: An ant colony algorithm-based fuzzer for smart contracts
Published 2025-09-01Get full text
Article -
436
Low-Cost Rotating Experimentation in Compressor Aerodynamics Using Rapid Prototyping
Published 2016-01-01Get full text
Article -
437
-
438
Numerical simulation study on multi-layer combined exploitation of natural gas hydrate reservoirs
Published 2023-06-01Get full text
Article -
439
Performance Improvement of Axial Compressors and Fans with Plasma Actuation
Published 2009-01-01Get full text
Article -
440
Failure and Remediation of an Embankment on Rigid Column-Improved Soft Soil: Case Study
Published 2020-01-01Get full text
Article