-
321
Formalization of Linear Space Theory in the Higher-Order Logic Proving System
Published 2013-01-01Get full text
Article -
322
-
323
-
324
-
325
-
326
Reverse percolation models for growing real-world networks
Published 2025-01-01Get full text
Article -
327
-
328
Optimum Control for Nonlinear Dynamic Radial Deformation of Turbine Casing with Time-Varying LSSVM
Published 2015-01-01Get full text
Article -
329
Geometrical Nonlinear Aeroelastic Stability Analysis of a Composite High-Aspect-Ratio Wing
Published 2008-01-01Get full text
Article -
330
Novel UHF RFID Near-Field Reader Antenna with Uniform Vertical Electric Field Distribution
Published 2020-01-01Get full text
Article -
331
RWA-BFT: Reputation-Weighted Asynchronous BFT for Large-Scale IoT
Published 2025-01-01Get full text
Article -
332
Research on 3D printing concrete mechanical properties prediction model based on machine learning
Published 2025-07-01Get full text
Article -
333
-
334
Adaptive Filtering for Channel Estimation in RIS-Assisted mmWave Systems
Published 2025-01-01Get full text
Article -
335
DSFA-SwinNet: A Multi-Scale Attention Fusion Network for Photovoltaic Areas Detection
Published 2025-01-01Get full text
Article -
336
Kinetodynamic Model and Simplified Model of X-Type Seat System with an Integrated Spring Damper
Published 2018-01-01Get full text
Article -
337
-
338
Chemical Process Fault Diagnosis Based on Improved ResNet Fusing CBAM and SPP
Published 2023-01-01Get full text
Article -
339
-
340