NEAT: QCP: A Practical Separation Logic-based C Program Verification Tool.

C*: Unifying Programming and Verification in C.

LSTM-based Customer Preference Identification and Prediction in Customer Online Reviews.

Falling from Grace: Understanding Successful Crowdfunding Experiences in Serial Entrepreneurship.

A double-layer forecasting model for PV power forecasting based on GRU-Informer-SVR and Blending ensemble learning framework.

F2UL: Fairness-Aware Federated Unlearning for Data Trading.

Dynamic Programming-Based Track-before-Detect Algorithm for Weak Maneuvering Targets in Range-Doppler Plane.

Restricted arc-connectivity of unidirectional star graphs.

Contrastive Learning of Multimodal Consistency Feature Representation for Remote Sensing Image Registration.

Mobile Learning for COVID-19 Prevention.

A 3D Anisotropic Thermomechanical Model for Thermally Induced Woven-Fabric-Reinforced Shape Memory Polymer Composites.

A Differential Confocal Sensor for Simultaneous Position and Slope Acquisitions Based on a Zero-Crossing Prediction Algorithm.

Winner Takes All? The Blockbuster Effect on Crowdfunding Platforms.

TDM-MIMO Automotive Radar Point-Cloud Detection Based on the 2-D Hybrid Sparse Antenna Array.

Entropy and Semi-Entropies of Regular Symmetrical Triangular Interval Type-2 Fuzzy Variables.

Precise Two-Dimensional Tilt Measurement Sensor with Double-Cylindrical Mirror Structure and Modified Mean-Shift Algorithm for a Confocal Microscopy System.

The Clutter Simulation of a Known Terrain by the 3D Parabolic Equation and RCS Computation.

A Robust Sparse Imaging Algorithm Using Joint MIMO Array Manifold and Array Channel Outliers.

A Near-Optimal Approach to Edge Connectivity-Based Hierarchical Graph Decomposition.

MIMO Radar Super-Resolution Imaging Based on Reconstruction of the Measurement Matrix of Compressed Sensing.

Deep Image Steganography Using Transformer and Recursive Permutation.

Assessing Phrase Break of ESL speech with Pre-trained Language Models.

Scarcity Strategy in Crowdfunding: An Empirical Exploration of Reward Limits.

Polarimetric SAR Data Classification via Reinforcement Learning.

Minimal Energy Broadcast for Delay-Bounded Applications in Satellite Networks.

Time-Frequency Domain Encryption With SLM Scheme for Physical-Layer Security in an OFDM-PON System.

A New Effective Machine Learning Framework for Sepsis Diagnosis.

STEED: An Analytical Database System for TrEE-structured Data.

Dual-Geometric Neighbor Embedding for Image Super Resolution With Sparse Tensor.

Image Noise Reduction via Geometric Multiscale Ridgelet Support Vector Transform and Dictionary Learning.