figshare
Browse

Theory of computation

RSS feed
AllSEARCH
sort by:
FIGURE

Dynamic_Universe_Theory_Final?.pdf

figure posted on 2025-03-15

Anton Fishman
Six-Based Mechanical Flow Computing Using Nanodragon Transmission: A Novel Approach for Ultra-Low Power and High-Precision Computation

Six-Based Mechanical Flow Computing Using Nanodragon Transmission: A Novel Approach for Ultra-Low Power and High-Precision Computation

preprint posted on 2025-02-19

HAKBONG OH
9months
29days
FILES UNDER EMBARGO

The Theory of Consciousness as a Fundamental - Transcripts.

journal contribution posted on 2025-01-27

Lucas E. Stickler
<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
Errors, Failures, and Faults in the Context of Elementary Arithmetic

Errors, Failures, and Faults in the Context of Elementary Arithmetic

journal contribution posted on 2024-12-20

Jan A. Bergstra
Harmonic Fractal Seed (HFS): A Framework for Adaptive Intelligence and Beyond

Harmonic Fractal Seed (HFS): A Framework for Adaptive Intelligence and Beyond

preprint posted on 2024-11-29

Anthony Jordon
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

Programming Language Engineering---a review of Text Processing Language Design, Implementation and Evaluation Methods

Programming Language Engineering---a review of Text Processing Language Design, Implementation and Evaluation Methods

preprint posted on 2024-10-17

Joseph Willrich Lutalo
P=NP.pdf

P=NP.pdf

preprint posted on 2024-10-16

One Polynomial
SOFTWARE

uniqq

software posted on 2024-10-10

Dapeng Zhi
Abstract Mathematical Algorithms and Valuations for the Construction of Artificial General Intelligence (AGI) and Generalized Problem Solving

Abstract Mathematical Algorithms and Valuations for the Construction of Artificial General Intelligence (AGI) and Generalized Problem Solving

journal contribution posted on 2024-08-30

Seppo Ilari Tirri
Analysis of non-Markovian repairable fault trees through rare event simulation (experimental reproduction package)

Analysis of non-Markovian repairable fault trees through rare event simulation (experimental reproduction package)

software posted on 2024-07-26

DATASET

A Simplified Diversification Mechanism for Lin-Kernighan-Helsgaun Algorithm

dataset posted on 2024-07-07

Tarek Boufar
TAS SLI - Case Study Team

TAS SLI - Case Study Team

presentation posted on 2024-06-12

Shaun D'Souza
SOFTWARE

Artifact file of the paper "Transient Analysis of Non-Markovian Models by Stochastic State Classes and Simulation"

software posted on 2024-06-05

<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
Driving to the future - a perspective of Merging with Virtual world

Driving to the future - a perspective of Merging with Virtual world

journal contribution posted on 2024-01-28

Generative and AI methods in architecture and urbanism: urban networks, smart mobility, and movement path planning, design, and computation

Generative and AI methods in architecture and urbanism: urban networks, smart mobility, and movement path planning, design, and computation

conference contribution posted on 2023-12-24

Dragana Ciric
Stochastic, Continuous, and Turing Decidable Propositional Logic

Stochastic, Continuous, and Turing Decidable Propositional Logic

preprint posted on 2023-12-02

Andrii Hopanchuk
Energy Management in a Dynamic Built Environment - Using a Machine Learning Approach

Energy Management in a Dynamic Built Environment - Using a Machine Learning Approach

thesis posted on 2023-11-20

Quosain Ali
DATASET

Replication Package - Taxonomy of Inline Code Comments Smells

dataset posted on 2023-09-03

Elgun Jabrayilzade
TAMING IRREGULAR CONTROL-FLOW WITH TARGETED COMPILER TRANSFORMATIONS

TAMING IRREGULAR CONTROL-FLOW WITH TARGETED COMPILER TRANSFORMATIONS

thesis posted on 2023-05-15 in Purdue University Graduate School

Charitha Saumya Gusthinna Waduge
SOFTWARE

Artifact for "Synthesizing Permissive Winning Strategy Templates for Parity Games"

software posted on 2023-05-11

Satya Prakash Nayak
Proof of Church's Thesis

Proof of Church's Thesis

journal contribution posted on 2023-03-21

Ramón Casares
SOFTWARE

Tamarin Models for "Verifying List Swarm Attestation Protocols"

software posted on 2023-02-09

SOFTWARE

Swarm intelligence algorithms for multi-objective max-min-ISP

software posted on 2023-01-24

SOFTWARE

PL_En.rar

software posted on 2022-12-21

Weidong Li
Efficient algorithm for student information retrieval system using chained hashing data structure (SIRS Algorithm)

Efficient algorithm for student information retrieval system using chained hashing data structure (SIRS Algorithm)

presentation posted on 2022-11-20

Chandra Ram
Efficient algorithm for student information retrieval system using chained hashing data structure (SIRS Algorithm)

Efficient algorithm for student information retrieval system using chained hashing data structure (SIRS Algorithm)

journal contribution posted on 2022-11-20

Chandra Ram
DATASET

Tweets discussing the Russia/Ukraine War

dataset posted on 2022-11-15

A Formal introduction to Neural Networks: An Attempt to explain Whole Brain Emulation and Conscious Systems from Scratch

A Formal introduction to Neural Networks: An Attempt to explain Whole Brain Emulation and Conscious Systems from Scratch

journal contribution posted on 2022-11-09

Towards Self-Awarness in Artificial Intelligence Systems: An approach to Machine Consciousness with IIT and WBR

Towards Self-Awarness in Artificial Intelligence Systems: An approach to Machine Consciousness with IIT and WBR

journal contribution posted on 2022-11-09

SOFTWARE

Isabelle/HOL files for "Mechanised Operational Reasoning for C11 Programs with Relaxed Dependencies"

software posted on 2022-11-06

DATASET

Counterfactual reasoning in space and time (Code & Data)

dataset posted on 2022-10-25

Saeed Rahimi