Mathematics and computing is the study and analysis of abstract concepts, such as numbers and patterns. Mathematics is the language of choice for scientifically describing and modelling the universe ...

Abstract: The graph colouring problem is a NP- class problem explored in the literature due to its numerous applications in real world Engineering problems. Graph colouring problem involves to assign ...

This course emphasizes mathematical definitions, logical inference, and proof techniques. Topics include propositional logic, first-order logic, inference rules and satisfiability, proof methods, sets ...

This repository contains the official code for our MICCAI 2025 paper, “Semantically Consistent Discrete Diffusion for 3D Biological Graph Generation.” We introduce a discrete diffusion framework that ...

Abstract: Deep learning has consistently defied state-of-the-art techniques in many fields over the last decade. However, we are just beginning to understand the capabilities of neural learning in ...

This project proposes an MCTS algorithm for the weighted vertex coloring problem (WVCP) that selects local search operators during the search with hyperheuristics. scripts/generator_to_eval_ls.py (for ...