GitHub

Source code of our NeurIPS 2025 paper "Unifying and Enhancing Graph Transformers via a Hierarchical Mask Framework"

python==3.10.14 torch==2.3.1+cu121 --index-url https://download.pytorch.org/whl/cu121 ogb==1.3.6 torch-geometric==2.5.3 torch-scatter==2.1.2+pt23cu121 --index-url ...
InfoQ

Are You Missing a Data Frame? The Power of Data Frames in Java

Vladimir Zakharov explains how DataFrames serve as a vital tool for data-oriented programming in the Java ecosystem. By ...
IEEE

A Novel Construction of Two-Dimensional Z-Complementary Array Code Sets Based on Extended Boolean Functions

Abstract: Two-dimensional (2-D) array sets with good 2-D correlation properties have received considerable attention in wireless communication systems. This paper focuses on 2-D Z-complementary array ...
GitHub

CODE-ACCORD: A Corpus of Building Regulatory Data for Rule Generation towards Automatic Compliance Checking

The CODE-ACCORD corpus contains annotated sentences from the building regulations of England and Finland, and has been developed as part of the Horizon European project for Automated Compliance Checks ...
IEEE

BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage

Abstract: In safety-critical domains, extensive software testing is required to validate functional properties and meet standards such as ISO-26262 and DO-178C, which mandate strict code coverage ...