12 citations · 16 across the 7 of their papers we have counts for
4 papers · 1 filter
A bootstrap proof of Bohr's theorem
Ole Fredrik Brevig
Let be an analytic function in the unit disc whose modulus is bounded by . We present a new proof of Bohr's theorem, which asserts that its majorant function is boun…
A Study of Parallel Continuous Local Search
Cody J Christopher, Charles Gretton
We study parallel Continuous Local Search (CLS) as a solution approach for Boolean satisfiability problems with symmetric pseudo-Boolean (PB) constraints. Here, the -variable PB…
Accelerated Fourier SAT (AFSAT): Fully Realising a GPU-based Symmetric Pseudo-Boolean SAT Solver
Cody J Christopher, Charles Gretton
We present Accelerated Fourier SAT (AFSAT), a GPU-accelerated solver for pseudo-Boolean satisfiability based on continuous local search (CLS). AFSAT realises the proof-of-concept a…
TempoNet: Learning Realistic Communication and Timing Patterns for Network Traffic Simulation
Kristen Moore, Diksha Goel, Cody James Christopher +5
Realistic network traffic simulation is critical for evaluating intrusion detection systems, stress-testing network protocols, and constructing high-fidelity environments for cyber…