Turing reduction

Formal sciences
Theoretical computer science
Theory of computation
Computability theory

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (19)

Page 2 of 2

Cryptanalysis: Public-Key & The Power of Interaction

Explores cryptanalysis in public-key systems and the power of interaction in interactive proofs, covering CO-NP, NP classes, P vs. NP, and more.

Turing Machines: Decidability and Recursion Theory

Explores decidability in Turing machines and recursive languages.

Cryptographic Security Fundamentals

Covers cryptographic security fundamentals, including collision search algorithms, public-key cryptography, and risks of underestimating collision attacks.

Osmotic Pressure: Electrochemical Potential

Explores osmotic pressure and electrochemical potential, highlighting their calculation and significance in electrolyte behavior.

Market-Based Instruments: Emission Reduction Strategies

Covers market-based instruments for emission reductions and their efficiency in minimizing costs across different sources of emissions.

Chemical Transformations in (Photo) Electrocatalytic Materials

Explores chemical transformations in (photo) electrocatalytic materials, including interface engineering, CO₂ reduction, and advanced characterization techniques.

Untitled

Textual Data Analysis: Classification & Dimensionality Reduction

Explores textual data classification, focusing on methods like Naive Bayes and dimensionality reduction techniques like Principal Component Analysis.

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.