#
induction
Here are 5 public repositories matching this topic...
full-program induction technique extended to probabilistic programs
-
Updated
Aug 31, 2023 - C
This unit introduces formal languages, models of computation, and computational complexity. Topics include finite state automata, regular expressions, grammars, pushdown automata, computable functions, Turing machines, polynomial-time reductions, complexity classes P and NP, and NP-completeness.
-
Updated
May 30, 2023 - C
High power induction heating platform
avr microcontroller forge atmel diy blacksmith induction induction-machine power-electronics lenz inverter induction-heating induction-heater i2r-heating resistive-heating knifesmith reactor-forge melt-metal 240ac diy-induction-heater
-
Updated
Sep 26, 2018 - C
Improve this page
Add a description, image, and links to the induction topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the induction topic, visit your repo's landing page and select "manage topics."