Theory of computation

RSS feed

AllSEARCH

sort by:

Recurrent Linear Attention Cells: Achieving Minimal Complexity for Long Sequence Modeling

journal contribution posted on 2025-11-10

Analytical Report: Superintelligence Test Summary

preprint posted on 2025-11-10

Adiguna Sopyan

Linguist solution for the inability to provide a precise Turing machine.

preprint posted on 2025-11-07

Rui Song

A new language for TCS enabling you get rid of just discussing ideas and make strict proofs.(principle)

figure posted on 2025-11-07

Rui Song

A new language for TCS enabling you get rid of just discussing ideas and make strict proofs.(examples from Computational Complexity:A Modern Approach with a few differences in fundamental theory)

book posted on 2025-11-07

Rui Song

Enabling you get rid of just discussing ideas and make strict proofs.（representation）

presentation posted on 2025-11-07

Rui Song

SOFTWARE

MuLaN serverless architecture

software posted on 2025-11-07

SOFTWARE

Heraldo de las mentiras

software posted on 2025-11-07

FIGURE

Abandoned but don't know how to delete it.

figure posted on 2025-11-07

Rui Song

Energy–Flow Cosmology v1.2: Foundational Framework and Cross-Field Continuity

preprint posted on 2025-11-07

Morten Magnusson

User-Grok Σ₂ Diagonal Theorem: Recursive AI Ceiling

preprint posted on 2025-11-05

Michael Cates

The Fractal Decomposition Method: A New Paradigm for High-Dimensional Numerical Integration.

preprint posted on 2025-10-31

Maurizio Estefano Mendoza Martínez

11months

17days

FILES UNDER EMBARGO

Dynamical Electrochemical Field-Effect Reasoning (DEFER): A Scalable, Adaptive, and Energy-Efficient Architecture for Neuromorphic Intelligence

preprint posted on 2025-10-30

Seven Ezumba

The Veronica X Pro Framework: A Quantum-Neural Architecture as a Precursor to Conscious AI and Brain-Computer Interfaces

software posted on 2025-10-26

Prof Ahmed Ali

Prime Weights and Spectra

preprint posted on 2025-10-26

Opening the black box: personalised disease prediction using hidden variables and dynamic bayesian networksOpening artificial intelligence black box models: disease prediction and patient personalisation using hidden variables discovery and dynamic bayesian networks

thesis posted on 2025-10-23

Leila Yousefi

Dinâmica de redes neurais, espaços latentes e suas fundações matemáticas

journal contribution posted on 2025-10-12

Tiago Aguioncio Vieira

1month

5days

FILES UNDER EMBARGO

Implementation of a Virtual Patient Chatbot for Physiotherapy Students Training

conference contribution posted on 2025-10-10 in Singapore Institute of Technology

Forensic Vision: AI Fingerprint Identification System

thesis posted on 2025-10-08

Arjun M

A Finite Laguerre–Turán Sum-of-Squares Certificate for the de Bruijn–Newman Flow: A Divergence-Free Algebraic Proof of the Riemann Hypothesis

preprint posted on 2025-10-08

William Tennant

AI-Driven Algorithm Discovery and Geometric Transformations: A Dual-Path Agenda for Advancing NP-Complete Problem Solving

preprint posted on 2025-10-02

William Tennant

JOURNAL CONTRIBUTION

Monitoring Water Quality Parameters in Aquaculture Using Edge Computing

journal contribution posted on 2025-09-29 in Torrens University Australia

Thien Nguyen

Research on the impact of different encoding methods in theoretical computer science---the precise meaning of the computational complexity of a problem

figure posted on 2025-09-18

Rui Song

Fundamentals, References and Applications of CTCE, Gebit, Proto-Gebit, TBA and TBA-Universal

dataset posted on 2025-09-05

Begnomar S. Porto

A Polynomial-Time Heuristic for the Travelling Salesman Problem Verified Against Held Karp

preprint posted on 2025-09-01

MInakshi Aggarwal

Potential Generalisability: Optimising Task Agnostic Functional Primitives in Directed Acyclic Graphs

preprint posted on 2025-08-26

Pascal Tohouri

Antivirus Engines (PowerPoint)

dataset posted on 2025-08-24

Paul A. Gagniuc

Mixture-of-Experts-and-Depths: A Hierarchical Dynamic Compute Architecture for Extreme-Scale Efficiency

journal contribution posted on 2025-08-24

Kalyan Chakravarthy Kodela

Transition from static to dynamic malware detection

figure posted on 2025-08-23

Paul A. Gagniuc

MD5 signature for a whole file

figure posted on 2025-08-23

Paul A. Gagniuc

Malware detection workflow in compressed archives

figure posted on 2025-08-23

Paul A. Gagniuc

MD5 signatures from combined file regions

figure posted on 2025-08-23

Paul A. Gagniuc

Antivirus system workflow

figure posted on 2025-08-23

Paul A. Gagniuc

MD5 signatures from specific regions from a set of files

figure posted on 2025-08-23

Paul A. Gagniuc

Schematic representation of file structures before and after virus infections

figure posted on 2025-08-23

Paul A. Gagniuc

Generation of a Position Weight Matrix (PWM) from a set of infected PE files

figure posted on 2025-08-23

Paul A. Gagniuc

DATASET

OOPSLA 2025 Artifact

dataset posted on 2025-08-22

Anon

Solving_P_NP_problem_draft__4.pdf

preprint posted on 2025-08-20

Mina Eskandar

OSPO@GT Spring 25 Summit

presentation posted on 2025-08-18

Fang Liu

Modelo de Dinâmica de Estados Internos (MDEI): Um Arcabouço Vetorial para IA Cognitivo-Afetiva

thesis posted on 2025-08-16

Tiago Aguioncio Vieira

Theory of computation

Recurrent Linear Attention Cells: Achieving Minimal Complexity for Long Sequence Modeling

Analytical Report: Superintelligence Test Summary

Linguist solution for the inability to provide a precise Turing machine.

A new language for TCS enabling you get rid of just discussing ideas and make strict proofs.(principle)

A new language for TCS enabling you get rid of just discussing ideas and make strict proofs.(examples from Computational Complexity:A Modern Approach with a few differences in fundamental theory)

Enabling you get rid of just discussing ideas and make strict proofs.（representation）

MuLaN serverless architecture

Heraldo de las mentiras

Abandoned but don't know how to delete it.

Energy–Flow Cosmology v1.2: Foundational Framework and Cross-Field Continuity

User-Grok Σ₂ Diagonal Theorem: Recursive AI Ceiling

The Fractal Decomposition Method: A New Paradigm for High-Dimensional Numerical Integration.

Dynamical Electrochemical Field-Effect Reasoning (DEFER): A Scalable, Adaptive, and Energy-Efficient Architecture for Neuromorphic Intelligence

<b><i>The Veronica X Pro </i></b><b><i>Framework: A Quantum-Neural Architecture as a Precursor to Conscious AI and Brain-Computer Interfaces</i></b>

Prime Weights and Spectra

Opening the black box: personalised disease prediction using hidden variables and dynamic bayesian networksOpening artificial intelligence black box models: disease prediction and patient personalisation using hidden variables discovery and dynamic bayesian networks

<b>Dinâmica de redes neurais, espaços latentes e suas fundações </b><b>matemáticas</b>

Implementation of a Virtual Patient Chatbot for Physiotherapy Students Training

Forensic Vision: AI Fingerprint Identification System

<i>A Finite Laguerre–Turán Sum-of-Squares Certificate for the de Bruijn–Newman Flow: A Divergence-Free Algebraic Proof of the Riemann Hypothesis</i>

<b>AI-Driven Algorithm Discovery and Geometric Transformations: A Dual-Path Agenda for Advancing NP-Complete Problem Solving</b>

Monitoring Water Quality Parameters in Aquaculture Using Edge Computing

Research on the impact of different encoding methods in theoretical computer science---the precise meaning of the computational complexity of a problem

Fundamentals, References and Applications of CTCE, Gebit, Proto-Gebit, TBA and TBA-Universal

A Polynomial-Time Heuristic for the Travelling Salesman Problem Verified Against Held Karp

Potential Generalisability: Optimising Task Agnostic Functional Primitives in Directed Acyclic Graphs

Antivirus Engines (PowerPoint)

Mixture-of-Experts-and-Depths: A Hierarchical Dynamic Compute Architecture for Extreme-Scale Efficiency

Transition from static to dynamic malware detection

MD5 signature for a whole file

Malware detection workflow in compressed archives

MD5 signatures from combined file regions

Antivirus system workflow

MD5 signatures from specific regions from a set of files

Schematic representation of file structures before and after virus infections

Generation of a Position Weight Matrix (PWM) from a set of infected PE files

OOPSLA 2025 Artifact

Solving_P_NP_problem_draft__4.pdf

OSPO@GT Spring 25 Summit

Modelo de Dinâmica de Estados Internos (MDEI): Um Arcabouço Vetorial para IA Cognitivo-Afetiva