induction

There are 2 repositories under induction topic.

• alexanderskulikov / discrete-math-python-scripts

  Python code snippets from Discrete Mathematics for Computer Science specialization at Coursera

  pythonmathematicsdiscrete-mathematicscombinatoricsrecursioninductionalgorithmsbayeslogicprobabilitypython3dynamic-programmingcombinatorics-and-probabilitycryptographynumber-theoryenumerationgraph-algorithmsgraphs
  Language:Jupyter Notebook 347

• Ashish7129 / Graph_Sampling

  Graph Sampling is a python package containing various approaches which samples the original graph according to different sample sizes.

  data-miningbig-databig-data-analyticssocial-network-analysissamplingsamplenetwork-analysisnetwork-sciencerandom-walkgraphspythonnetworkxsubgraphinductionnetworkbreadth-first-search
  Language:Python 161

• spamegg1 / Math-for-CS-solutions

  Solutions to In-Class questions, Problem Sets and Exams of MIT Mathematics for Computer Science 2015 (same as 2019 Open Learning Library)

  calculuscountingfunctionsgraphgraph-theoryinductionmathprobabilityproofsset-theorysolutionsetscomputer-sciencelogicnumber-theoryrandom-walksrsa-cryptography
  Language:TeX 142

• sneeuwballen / zipperposition

  An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.

  proversuperpositionocamlexperimentallogiccomputer-science-algorithmsprototypeinductionpolymorphismrewritingcnfsymbolic-computationsaturation
  Language:OCaml 139

• breandan / galoisenne

  🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

  kotlingraphinductionautomatagraph-algorithmsfunctional-graphsgraph-grammarsgraph-visualizationsadjacency-matrixgraph-matchinggraph-transformationlinear-algebragraph-theorygraphsarithmetic-circuitsfinite-fieldsfinite-state-machineparsing
  Language:Kotlin 120

• ThingEngineer / ReactorForge

  High power induction heating platform

  240acatmelavrblacksmithdiydiy-induction-heaterforgei2r-heatinginductioninduction-heaterinduction-heatinginduction-machineinverterknifesmithlenzmelt-metalmicrocontrollerpower-electronicsreactor-forgeresistive-heating
  Language:C 118

• data61 / PSL

  proofpslisabelleproof-strategiesconjectureholmachine-learningartificial-intelligenceitpinteractive-theorem-provingdomain-specific-languageinductionproof-assistantformal-proofsformal-verificationformal-methodsproof-search
  Language:Isabelle 65

• tomoncle / face-detection-induction-course

  Basics of face detection, share detailed steps and complete code in the learning process.

  detectionfaceinductiongifpython3opencvmxnet
  Language:Python 47

• groupoid / groupoid.space

  🧊 Інститут формальної математики

  pisigmapathinductionhitmltt
  Language:TeX 35

• dimecho / Open-Inverter-WebInterface

  Open Inverter - Alternative Web Interface

  huebner-inverterinductionelectricmotormotor-controllerpcb
  Language:JavaScript 31

• msramalho / feup-iart-summary

  Artificial Intelligence Course - Summaries, Exams, Minitests and Comic Sans

  feupfeup-iartiartartificial-intelligencesummarygenetic-algorithmuncertaintyneural-networksearch-algorithmheuristicsinduction
  Language:Prolog 22

• hkexgroup / emagpy

  MIRROR of http://gitlab.com/hkex/emagpy Python API and GUI to invert frequency domain electromagnetic data

  electromagneticfrequency-domaingeophysicsguiinductioninversionpython-api
  Language:Jupyter Notebook 19

• bart-inho / EM-inversion-4-buried-ice

  Simple two-dimensional geophysical inversion for permafrost and ground ice detection using electromagnetic methods.

  permafrostelectro-magneticsinductiongeophysicsgeophysical-inversionsground-ice-detectiondimensional-inversionsmatlabice
  Language:MATLAB 13

• lifengjin / db-pcfg

  Depth-Bounded PCFG Induction

  grammarinduction
  Language:Python 13

• halvors / Nuclear-Physics

  Nuclear Physics is a mod that brings in realistic, world-based technological advancement experience into Minecraft.

  minecraftminecraft-modminecraft-forgeminecraft-forge-modatomic-scienceresonant-inductionresonantinductionelectrodynamicsforgeedxnuclearphysics
  Language:Java 12

• AHartNtkn / IotaTT

  A PTS Supporting Induction

  dependent-intersectionsimplicit-productsinductiontype-theorylanguagedependent-types
  Language:Haskell 9

• lifengjin / acl_flow

  Normalizing Flow for PCFG induction

  grammarinductionflowmultilingual
  Language:Python 9

• lpodkalicki / tiny-metal-detector

  ATtiny13 based PI (Pulse Induction) Metal Detector

  attiny13avrpipulseinductioncoilmetaldetector
  Language:C 7

• AbstractPlay / zendo

  A single-page, peer-to-peer, synchronous client for playing Zendo online (https://www.looneylabs.com/content/zendo)

  gameinductionlogicpeer-to-peer
  Language:TypeScript 6

• bobasaurus / lumber-plunder-metal-detector

  A VLF induction balance metal detector with a wooden body

  detectingdetectorinductionmetalmetal-detectorsensorsensorsvlf
  Language:C 5

• henryzord / ardennes

  An Estimation of Distribution Algorithm for Decision-Tree Induction.

  edaclassificationdecision-treesinductionoptimizationoptimization-algorithmsevolutionary-computationevolutionary-algorithmgenetic-algorithmestimation-distribution-algorithm
  Language:Python 5

• imandra-ai / imandra-stdlib

  Standard library for [Imandra](https://imandra.ai)

  stdlibformal-methodsinductionimandra
  Language:Makefile 5
• Induction-2021

  EnigmaVSSUT / Induction-2021

  Induction 2021

  inductiongitgithubmlaipythonwebhtmlcssjavascriptandroidpython3
  Language:HTML 4
• induction-monitoring

  infra-helpers / induction-monitoring

  Induction to monitoring

  elasticsearchinductionmonitoringkibanaoptdopentraveldataquality-assuranceqaeventsquerytime-series
  Language:Python 4

• rytenlab / ryten_induction

  Induction bookdown for the Ryten Lab

  bookdowninductionryten-lab
  Language:TeX 4

• alexandretea / ddti

  Distributed Decision Tree Induction using MPI

  mpiarmadilloinductiondistributeddecision-treedecision-tree-algorithmcpp14
  Language:C++ 3
• induction-anonymization

  data-protection-helpers / induction-anonymization

  Induction to anonymization of data

  data-anonymizationdata-protectiondata-managementdata-privacyinductionknowledge-sharing
  Language:Jupyter Notebook 3

• machine-learning-helpers / induction-python

  Python source code derived from books about Machine Learning (ML)

  machine-learningmachine-learning-algorithmsartificial-intelligencepredictionmodelclassificationregressionjupyter-labpython-jupyter-notebookscookiecutter-data-sciencepython-virtual-environmentsdockerjupyterlabjupyter-notebookjupyterpythonpython3mlaiinduction
  Language:Jupyter Notebook 3

• sher-loh / FIT2014-Theory-of-computation

  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.

  clanguageturing-machinefinitestatemachineinductionnpcomplete
  Language:C 3

• AbelCheng / View-plug-ins

  (Migrated from CodePlex) View-plug-ins Programming on database is an interface-oriented to simplify the design of complex batches processing. Useful for ETL, reporting and DWH solutions.

  data-modelcode-generationclassificationbatch-processingetlhub-viewinductioninterface-orientedinversion-of-controlisolationlabelingmetadatameta-tablespluginrules-enginesimplifyview-plug-insversion-controlunificationoracle
  Language:PLSQL 2
• Robot_navigation_Kalmus_guidance_method

  DYK-Team / Robot_navigation_Kalmus_guidance_method

  Implementation of Kalmus’ guidance method for robot navigation

  filtersfpgainductionkalmus-guidancemagnetic-coilsmagnetic-dipolemagnetic-fieldmobile-robotsmotor-controlnavigationorientation-sensorpickup-coilpwm-driverquasi-staticremote-sensingtracking-systemwireless-power-transfer
  2

• caiks / AlignmentC

  C++ implementation of aspects of the theory of Aligned Induction

  mlalignmentinduction
  Language:C++ 1

• luciangreen / Combination-Algorithm-Writer-Multiple-Predicates

  Writes algorithms with multiple predicates

  multiple-predicatescombination-algorithm-writeralgorithmswi-prologwrites-algorithmsinduction
  Language:Prolog 1

• PA2ER / LC-meter

  induction and capacity meter with pic controller.

  capacitycontrolerinductionpicmassuring
  1

• tejasraman / seismometer

  Seismometer documentation, code, and Flutter app

  dartflutterinductionmcp3208pi5pythonraspberry-piraspberry-pi-5seismometer
  Language:Dart 1

• wkolowski / Seminar-Bisimulation-and-Coinduction

  Code and slides for my talk presented at the seminar.

  coinductioncoinductive-typesinductioninductive-typestype-theorytopologycategory-theoryfunctional-programmingintuition
  Language:TeX 1