induction

There are 1 repository 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 278

• 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 154

• 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 120

• ThingEngineer / ReactorForge

  High power induction heating platform

  induction-heatinginduction-machineinduction-heaterinductionlenzi2r-heatingresistive-heatingforgeknifesmithreactor-forgediymelt-metal240acdiy-induction-heatermicrocontrolleratmelavrblacksmithinverterpower-electronics
  Language:C 115

• 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 113

• 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 101

• data61 / PSL

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

• tomoncle / face-detection-induction-course

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

  detectionfacegifinductionmxnetopencvpython3
  Language:Python 47

• groupoid / groupoid.space

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

  pisigmapathinductionhitmltt
  Language:TeX 35

• dimecho / Open-Inverter-WebInterface

  Open Inverter - Alternative Web Interface

  electrichuebner-inverterinductionmotormotor-controllerpcb
  Language:JavaScript 29

• 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

  frequency-domainelectromagneticinductioninversiongeophysicsguipython-api
  Language:Jupyter Notebook 17

• 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

• lifengjin / db-pcfg

  Depth-Bounded PCFG Induction

  grammarinduction
  Language:Python 12

• 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 11

• 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

• henryzord / ardennes

  An Estimation of Distribution Algorithm for Decision-Tree Induction.

  classificationdecision-treesedaestimation-distribution-algorithmevolutionary-algorithmevolutionary-computationgenetic-algorithminductionoptimizationoptimization-algorithms
  Language:Python 5

• imandra-ai / imandra-stdlib

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

  stdlibformal-methodsinductionimandra
  Language:Makefile 5

• bobasaurus / lumber-plunder-metal-detector

  A VLF induction balance metal detector with a wooden body

  detectingdetectorinductionmetalmetal-detectorsensorsensorsvlf
  Language:C 4
• Induction-2021

  EnigmaVSSUT / Induction-2021

  Induction 2021

  aiandroidcssgitgithubhtmlinductionjavascriptmlpythonpython3web
  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

  ryten-labinductionbookdown
  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

• 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

• 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 2

• c-cube / tip-parser

  [obsolete] parser for https://github.com/tip-org/

  tipinductionsmtlibocamlparsermenhir
  Language:OCaml 1

• caiks / AlignmentC

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

  mlalignmentinduction
  Language:C++ 1

• io12 / coq-proofs

  My proofs for the Coq proof assistant

  coqcoq-proofsproof-assistantinduction
  Language:Coq 1

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

  Writes algorithms with multiple predicates

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

• petermchale / Math175

  Upper-division Combinatorics Class

  binomialpascals-trianglefibonacci-sequencepermutationcombinationscombinatoricsinductionpigeonholediscrete-mathematicsprobabilitylarge-numbersgenerating-functionprime-factorizations
  Language:TeX 1

• great-ideas / induction

  induction