Python helper tools for Takin and Magpie.
-
Updated
Sep 28, 2026 - Jupyter Notebook
#
resolution-algorithm
Here are 23 public repositories matching this topic...
Linux Kernel console resolution aspect ratio to row/column calculater
-
Updated
Jun 8, 2026 - C
Resolution Enhancement Algorithm using Deblurring by Pixel Reassignment. This repository implements cutting-edge techniques for improving image resolution and clarity by reassigning pixels to correct for blur. Ideal for microscopy, photography, image processing, and computational optics researchers.
resolution algorithm image-processing fluorescence microscopy image-restoration fluorescence-microscopy-imaging dpr deblurring superresolution image-enhancement fluorescence-microscopy resolution-algorithm resolutionenhancemnt
-
Updated
May 25, 2026 - Python
An Artificial Intelligence exercise implementing propositional logic resolution and CNF-based reasoning using Python. The notebook demonstrates automated theorem proving, logical equivalence verification, and resolution refutation concepts in a practical learning-oriented workflow.
-
Updated
May 10, 2026 - Jupyter Notebook
A Knowledge-Based AI agent that solves the Wumpus World using Propositional Logic and Resolution Refutation, built with Python (Flask) and a simple interactive frontend.
python artificial-intelligence propositional-logic resolution-algorithm wumpus-world knowledge-based-agent
-
Updated
May 9, 2026 - Python
AI-powered optical-guided super-resolution for thermal IR satellite imagery, combining multisensor fusion and physics-aware constraints for high-resolution, temperature-faithful thermal maps.
machine-learning-algorithms image-processing satellite-imagery resolution-algorithm physicsbased spacetecnology
-
Updated
May 3, 2026 - TypeScript
Linux Kernel console resolution aspect ratio to row/column calculater
-
Updated
Apr 21, 2026 - C
Projects Knowledge Representation and Reasoning (KRR), MSc Artificial Intelligence, Year 1, Semester 1, Faculty of Mathematics and Computer Science, University of Bucharest
resolution functional-programming prolog sat-solver reasoning prolog-programming-language resolution-proof cnf-clauses resolution-algorithm davis-putnam
-
Updated
Feb 27, 2026 - Prolog
A high-performance C++17 benchmarking suite comparing classical SAT solving algorithms (CDCL, DPLL, Davis-Putnam, Resolution). Includes a custom DIMACS CNF generator in Python and comprehensive performance metrics for 2SAT and 3SAT instances.
benchmarking algorithms cpp logic cnf sat-solver dimacs boolean-satisfiability dpll cdcl resolution-algorithm davis-putnam
-
Updated
Feb 16, 2026 - C++
Knowledge-based AI Agent with reasoning built with knowledge-based full resolution. Visualization via Wumpus World game.
-
Updated
Aug 13, 2025 - Python
-
Updated
Jul 19, 2025 - Python
Wampa World logical agent homework for UPenn's CIS 4210/5210, Artificial Intelligence
-
Updated
Dec 14, 2024 - Python
Linux Kernel console resolution aspect ratio to row/column calculater
-
Updated
Sep 14, 2024 - C
Use Resolution to Solve a Game of Clue
-
Updated
Sep 10, 2024 - TypeScript
Codes that I'm practicing
-
Updated
Apr 23, 2024 - Dart
-
Updated
May 26, 2023 - Python
Artificial Intelligence
ai algorithms logic artificial-intelligence propositional-logic hcmus predicate-logic resolution-algorithm
-
Updated
Mar 24, 2023 - Python
resolver for eslint-plugin-import using the Parcel module resolution algorithm
-
Updated
Jan 6, 2023 - JavaScript
In this bachelor thesis, I developed a toolkit for automated reasoning and interpolation with ordered resolution.
interpolation propositional-logic automated reasoning propositional-calculus conjunctive-normal-form propositional-proof-system propositional-resolution resolution-algorithm propositional-logic-encodings
-
Updated
Aug 14, 2022 - Java
This script allows you to enhance the resolution of your images.
-
Updated
Jun 4, 2022 - Python
Add this topic to your repo
To associate your repository with the resolution-algorithm topic, visit your repo's landing page and select "manage topics."