Theory of computation

sort by:

Logic innovation NEW

dataset posted on 2025-05-08

Logic syllogistic reasoning algorithms V4

Logic syllogistic reasoning algorithms V4

presentation posted on 2025-05-08

Logic innovation

dataset posted on 2025-05-06

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

Symmetric Dual Arithmetic (SDA): A Proposed Algebraic Framework

online resource posted on 2025-05-06

Constructive Ethics Based on Proof Layer 1

Constructive Ethics Based on Proof Layer 1

preprint posted on 2025-05-06

Oscillatory Field Genesis: The Emergent Architecture of Spacetime, Matter, and Memory

Oscillatory Field Genesis: The Emergent Architecture of Spacetime, Matter, and Memory

dataset posted on 2025-05-05

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

Conceptual Evolution in AI Governance: Frameworks from EEGRA to HCCA

preprint posted on 2025-05-02

Everything, Everywhere, All at Once - The Fundamental Computational Structure of The Universe

Everything, Everywhere, All at Once - The Fundamental Computational Structure of The Universe

thesis posted on 2025-04-29

Artifact for Safe Temperature Regulation: Formally Verified and Real-World Validated

dataset posted on 2025-04-25

On Possession: A Comprehensive Guide to P vs NP

On Possession: A Comprehensive Guide to P vs NP

journal contribution posted on 2025-04-21

<b>Collisional Thinking Theory (CTT): The Role of Waste of Thinking by Jalal Khawaldeh</b>

Collisional Thinking Theory (CTT): The Role of Waste of Thinking by Jalal Khawaldeh

preprint posted on 2025-04-18

jalal khawaldeh

Logic syllogistic reasoning of algorithms v3

Logic syllogistic reasoning of algorithms v3

presentation posted on 2025-04-12

<b>G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI</b>

G-CCACS: A Conceptual Vision Bridging Policy and Blueprints for Trustworthy High-Stakes AI

thesis posted on 2025-04-08

Logic syllogistic reasoning of algorithms v2

Logic syllogistic reasoning of algorithms v2

presentation posted on 2025-03-19

Logic syllogistic reasoning of algorithms v1

Logic syllogistic reasoning of algorithms v1

presentation posted on 2025-03-19

collection:
Logic and Philosophy Presentations (Marian Calborean)

posted on 2025-03-07

Marian Călborean

Calborean, Dobrescu 2025 -Trees, algorithms and logics II. Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic

Calborean, Dobrescu 2025 -Trees, algorithms and logics II. Theoretical issues raised by a full theorem prover for Graham Priest’s An Introduction to Non-classical Logic

presentation posted on 2025-03-07

Deeply Optimizing the SAT Solver for the IC3 Algorithm

Deeply Optimizing the SAT Solver for the IC3 Algorithm

preprint posted on 2025-01-30

Logic of the Great, Logic of the Wise.

Logic of the Great, Logic of the Wise.

presentation posted on 2025-01-11

Mikhail Fedorchenko

<b>Definitive Proof of the Riemann Hypothesis and the</b><b>Distribution of Prime Numbers</b>

Definitive Proof of the Riemann Hypothesis and theDistribution of Prime Numbers

preprint posted on 2025-01-08

<b>The Conclusive Proof of the Collatz Conjecture</b>

The Conclusive Proof of the Collatz Conjecture

preprint posted on 2025-01-04

<b>Resolution of the Riemann Hypothesis and </b><b> the Hilbert-Pólya Conjecture</b>

Resolution of the Riemann Hypothesis and the Hilbert-Pólya Conjecture

preprint posted on 2024-12-29

Héctor Manuel Quezada Quiñonez

The Philosophical Ontological Proof for P=NP.pdf

The Philosophical Ontological Proof for P=NP.pdf

journal contribution posted on 2024-11-21

The formula of accent / tone - Formula accentului / tonului - Η φόρμουλα του τονισμού / της τονικότητας

The formula of accent / tone - Formula accentului / tonului - Η φόρμουλα του τονισμού / της τονικότητας

thesis posted on 2024-11-05

Ion Valentin Ciocioc

Exploring Heuristic Algorithms for the Knapsack Problem: AComparative Analysis of Program Complexity and Computational

Exploring Heuristic Algorithms for the Knapsack Problem: AComparative Analysis of Program Complexity and Computational

journal contribution posted on 2024-10-25

Towards Complexity Analysis ofSome Combinatorial AlgorithmsUsing Knapsack Model

Towards Complexity Analysis ofSome Combinatorial AlgorithmsUsing Knapsack Model

journal contribution posted on 2024-10-25

Analysis of Complexity of Some CombinatorialAlgorithms Using Halstead Metrics and Time Measures

Analysis of Complexity of Some CombinatorialAlgorithms Using Halstead Metrics and Time Measures

journal contribution posted on 2024-10-25

ENHANCING COMPUTATIONAL EFFICIENCY IN SOLVING KNAPSACK PROBLEM: INSIGHTS FROM ALGORITHMIC PARALLELIZATION AND OPTIMIZATION

ENHANCING COMPUTATIONAL EFFICIENCY IN SOLVING KNAPSACK PROBLEM: INSIGHTS FROM ALGORITHMIC PARALLELIZATION AND OPTIMIZATION

journal contribution posted on 2024-10-25

Avaliação Trueble Questionário

Avaliação Trueble Questionário

journal contribution posted on 2024-08-20

Guilherme de Ávila de Moura

Satisfiability.jl: Satisfiability Modulo Theories in Julia

software posted on 2024-08-19

TAS SLI - Case Study Team

TAS SLI - Case Study Team

presentation posted on 2024-06-12

Eclipse CDT code analysis and unit testing

Eclipse CDT code analysis and unit testing

presentation posted on 2024-06-12

Calborean, Dobrescu 2024 - Trees, algorithms and logics - A Calculator for Priest's INCL

Calborean, Dobrescu 2024 - Trees, algorithms and logics - A Calculator for Priest's INCL

presentation posted on 2024-06-07

Călborean - 2022 - Reasoning by brute force. Implementing a natural d.pdf

Călborean - 2022 - Reasoning by brute force. Implementing a natural d.pdf

presentation posted on 2024-05-26

Marian Călborean

Călborean - 2023 - Reasoning by brute force (2). Extending a natural .pdf

Călborean - 2023 - Reasoning by brute force (2). Extending a natural .pdf

presentation posted on 2024-05-26

Marian Călborean

<b>Prime Curves: A Novel Algebraic Approach to Elliptic Curve Cryptography</b>

Prime Curves: A Novel Algebraic Approach to Elliptic Curve Cryptography

preprint posted on 2024-05-18

Héctor Manuel Quezada

<b>P vs NP Solved by Binary Position Coding method</b>

P vs NP Solved by Binary Position Coding method

preprint posted on 2024-05-12

Héctor Manuel Quezada

Generating Tree Structures for Hyperbolic Tessellations (code and data) v3

software posted on 2024-04-26

Verifying Opacity of Discrete-Timed Automata Artifact

dataset posted on 2024-01-14

G-tomo - a scientific space data application

software posted on 2023-12-13