Scientific Research Publishing

Secure Offline: A Hardware-Bound Cryptographic Framework for Software License Validation in Internet Constrained Educational Environments ()

The system employs HMAC-SHA256 (Hash-based Message Authentication Code using SHA-256) for license integrity verification. SHA-256 refers to the Secure Hash Algorithm producing 256-bit hash values (see ...
GitHub

microsoft/vptq

Vector Post-Training Quantization (VPTQ) is a novel Post-Training Quantization method that leverages Vector Quantization to high accuracy on LLMs at an extremely low bit-width (<2-bit). VPTQ can ...
GitHub

Lightning-fast, multi-algorithm file checksums.

bitrat is a command-line tool to quickly calculate checksums for nested file hierarchies, such that subsequent changes to those files can be easily detected, with the goal of identifying files ...
IEEE

Optimal Beamforming Structure and Efficient Optimization Algorithms for Generalized Multi-Group Multicast Beamforming Optimization

Abstract: In this work, we focus on solving non-smooth non-convex maximization problems in multi-group multicast transmission. By leveraging Karush-Kuhn-Tucker (KKT) optimality conditions, we ...
IEEE

A Hybrid Heuristic Algorithm for Optimizing the Optimal Landing Time Window Problem in Intelligent Air Transportation Systems

Abstract: The Aircraft Landing Problem (ALP) involves optimizing the scheduling of flight arrivals and departures while simultaneously managing airport resources to maximize flight utilization, ...