Pinned Repositories
PokerSquare
Artificial Intelligence Poker Squares Agent
DeepRL_EmotionRecognition_UsingEEGsignals
EEG-based Emotion Recognition using Deep Reinforcement Learning
CnC
Cube-and-Conquer SAT solver
get_my_pdf_from_taghche
Harif
My B.Sc project (Harif): Design and Implementation of a graph-based automatic course-selection system that recommends schedules based on student’s preferences
MiniPyDPLL
A Python Implementation of the DPLL Algorithm Inspired by MiniSAT
NitPhonebook
NitPhoneBook (DEMO): Design and implementation of algorithm and software for Babol Noshirvani University of Technology to solve their problem with their out-of-the date phone-book tools
predicting-fault-revealing-mutants-by-estimating-the-difficulty-of-killing-them
The source code for the paper: FrMi: Fault-revealing Mutant Identification using killability severity
TahaRostami.github.io
A Jekyll theme I designed and implemented for my website using W3.CSS and inspired by a template from W3schools
Toy_Projects
TahaRostami's Repositories
TahaRostami/TahaRostami.github.io
A Jekyll theme I designed and implemented for my website using W3.CSS and inspired by a template from W3schools
TahaRostami/Harif
My B.Sc project (Harif): Design and Implementation of a graph-based automatic course-selection system that recommends schedules based on student’s preferences
TahaRostami/NitPhonebook
NitPhoneBook (DEMO): Design and implementation of algorithm and software for Babol Noshirvani University of Technology to solve their problem with their out-of-the date phone-book tools
TahaRostami/predicting-fault-revealing-mutants-by-estimating-the-difficulty-of-killing-them
The source code for the paper: FrMi: Fault-revealing Mutant Identification using killability severity
TahaRostami/Toy_Projects
TahaRostami/CnC
Cube-and-Conquer SAT solver
TahaRostami/unidom
A modular domination solver