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 ...
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

Design of a Python-based Lecture Capture System using Haar Cascade Algorithm with Noise Reduction as Facility for Learner-Centeredness in OBE

Abstract: Lecture recording is a common system that higher-education institutions use as a tool to deliver quality education. This study focuses on designing an automated lecture capture system that ...