Mark Zuckerberg and Elon Musk Were Once Ready to Fight. Now Meta Is Openly Copying X's Community Notes Algorithm.

Mark Zuckerberg and Elon Musk were once poised to fight in a cage match in 2023, before Zuckerberg called it off, saying that ...
IEEE

Diophantine Equation and the Euclidean Algorithm: Methods and Philosophy of the Algebraic Approach to Linear Multivariable Control [Lecture Notes]

Abstract: The story behind the Euclidean algorithm and its relationship to the solution of the Diophantine equation is examined in this article. The Euclidean algorithm appears in Proposition 2 in ...
GitHub

Implementation of three SAT Solver algorithms: DPLL, WalkSAT, and GSAT. Included is a file of Conjutive Normal Form (CNF) formulas that are solved using the algorithms.

DPLL is a backtracking-based algorithm that combines unit propagation and pure literal elimination. It explores all possible variable assignments until it finds a solution or proves the formula is ...
GitHub

Lecture Notes: Algebraic Topology 1

This repo contains the working files for my personal lecture notes for Algebraic Topology 1 being taught in the Winter term of 2023/4 by Prof. Dr. Markus Hausmann at the University of Bonn. A compiled ...
IEEE

A Robust Timing Recovery Algorithm With Enhanced DPLL Performance for Nyquist Digital Multi-Band Optical Systems

Abstract: We propose a novel timing recovery algorithm (TRA) for Nyquist digital multi-band optical coherent systems. The proposed TRA employs two complementary metrics to cover all states of ...