https://scottweeden.online/assignments/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-problems/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-rl/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/intelligent-systems-assignment4-problems/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/intelligent-systems-assignment4-solutions/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/logic-homework3-solutions/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/logic-homework3/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/analysis-of-algorithms/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/cryptography/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/intelligent-systems/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/logic-for-computer-scientists/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/machine-learning-security/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/software-project-management/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/software-verification/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/spring2026/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/courses/theory-of-automata/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/faculty/akbar-siami-namin/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/faculty/hasan-al-qudah/ 2026-04-28T20:11:23-05:00 https://scottweeden.online/blog/2025/01/08/understanding-masters-theorem/ 2025-01-08T00:00:00-06:00 https://scottweeden.online/blog/2025/01/09/prolog-programming-fundamentals/ 2025-01-09T00:00:00-06:00 https://scottweeden.online/blog/2025/01/10/welcome-to-my-blog/ 2025-01-10T00:00:00-06:00 https://scottweeden.online/blog/2025/08/25/introduction-to-logic-for-computer-scientists/ 2025-08-25T00:00:00-05:00 https://scottweeden.online/blog/2025/08/27/propositional-logic-basics/ 2025-08-27T00:00:00-05:00 https://scottweeden.online/blog/2025/08/29/propositional-logic-ii-truth-tables-and-formation-trees/ 2025-08-29T00:00:00-05:00 https://scottweeden.online/blog/2025/10/08/reinforcement-learning-introduction/ 2025-10-08T00:00:00-05:00 https://scottweeden.online/blog/2025/11/14/unification-algorithm/ 2025-11-14T00:00:00-06:00 https://scottweeden.online/blog/2025/11/17/hilbert-systems-herbrand-logic/ 2025-11-17T00:00:00-06:00 https://scottweeden.online/blog/2025/11/19/bayesian-networks-inference-d-separation/ 2025-11-19T00:00:00-06:00 https://scottweeden.online/blog/2025/11/21/variable-elimination-bayesian-inference/ 2025-11-21T00:00:00-06:00 https://scottweeden.online/blog/2025/11/24/naive-bayes-classification-supervised-learning/ 2025-11-24T00:00:00-06:00 https://scottweeden.online/blog/2025/12/01/herbrand-semantics-first-order-logic/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/blog/2025/12/01/laplace-smoothing-maximum-likelihood/ 2025-12-01T00:00:00-06:00 https://scottweeden.online/blog/2025/12/03/negation-nonmonotonic-reasoning/ 2025-12-03T00:00:00-06:00 https://scottweeden.online/blog/2025/12/03/perceptron-linear-classifiers/ 2025-12-03T00:00:00-06:00 https://scottweeden.online/blog/2025/12/05/linear-temporal-logic-ltl/ 2025-12-05T00:00:00-06:00 https://scottweeden.online/blog/2025/12/05/logistic-regression-softmax-probabilistic-linear-models/ 2025-12-05T00:00:00-06:00 https://scottweeden.online/blog/2025/12/08/model-checking-course-review/ 2025-12-08T00:00:00-06:00 https://scottweeden.online/blog/2026/01/13/homework-3-guide/ 2026-01-13T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/cryptographic-hash-functions/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/cryptography-fundamentals-introduction/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/formal-methods-software-verification/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/integration-testing-continuous-verification/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/public-key-cryptography-rsa/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/software-verification-testing-basics/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/spring-2026-semester-overview/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/symmetric-encryption-algorithms/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/01/15/unit-testing-strategies/ 2026-01-15T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-binary-aes-polynomials/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-des-aes-modern-ciphers/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-groups-symmetric-group/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-linearity-trap-vigenere/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-malleability-block-cipher/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-natural-numbers-zero-divisors/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-one-time-pad-perfect-secrecy/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/02/13/cryptography-perfection-paradox-otp/ 2026-02-13T00:00:00-06:00 https://scottweeden.online/blog/2026/04/13/cracking-the-code-p2p-wireless-crypto-failures/ 2026-04-13T00:00:00-05:00 https://scottweeden.online/blog/2026/04/15/cryptographic-shift-dh-to-elliptic-curves/ 2026-04-15T00:00:00-05:00 https://scottweeden.online/blog/2026/04/17/engineering-protocol-side-channel-cryptography/ 2026-04-17T00:00:00-05:00 https://scottweeden.online/blog/2026/04/20/vulnerability-assessment-nonce-leakage-ecdsa/ 2026-04-20T00:00:00-05:00 https://scottweeden.online/blog/2026/04/22/hidden-geometry-of-trust-ecc-subgroups/ 2026-04-22T00:00:00-05:00 https://scottweeden.online/blog/2026/04/24/architecture-of-trust-group-structures-cryptography/ 2026-04-24T00:00:00-05:00 https://scottweeden.online/blog/2026/04/27/fragility-of-raw-rsa/ 2026-04-27T00:00:00-05:00 https://scottweeden.online/projects/reinforcement-learning-videos/ 2024-08-01T00:00:00-05:00 https://scottweeden.online/projects/kaggle-competitions/ 2024-09-01T00:00:00-05:00 https://scottweeden.online/projects/masters-theorem/ 2024-10-01T00:00:00-05:00 https://scottweeden.online/projects/qlearning-pacman/ 2024-11-15T00:00:00-06:00 https://scottweeden.online/about/ https://scottweeden.online/blog/tags/ai https://scottweeden.online/blog/tags/algorithms https://scottweeden.online/blog/tags/blogging https://scottweeden.online/blog/tags/complexity https://scottweeden.online/blog/tags/declarative https://scottweeden.online/blog/tags/divide-and-conquer https://scottweeden.online/faculty/ https://scottweeden.online/formula-appendix/ https://scottweeden.online/ https://scottweeden.online/blog/ https://scottweeden.online/blog/tags/introduction https://scottweeden.online/blog/tags/logic-programming https://scottweeden.online/logic-test/ https://scottweeden.online/blog/tags/masters-theorem https://scottweeden.online/math-rules/ https://scottweeden.online/projects/ https://scottweeden.online/blog/tags/prolog https://scottweeden.online/research/ https://scottweeden.online/resume/ https://scottweeden.online/blog/tags/tutorial https://scottweeden.online/blog/tags/welcome https://scottweeden.online/Profile.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assets/images/computational-traces.html 2026-04-28T20:11:14-05:00 https://scottweeden.online/assets/images/convergent-fields-viewer.html 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/algorithm_analysis/Assignment%201/CS5381_Weeden_Assignment_1%20(1).pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/algorithm_analysis/Assignment%201/CS5381_Weeden_Assignment_1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%201%20/Homework#1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%201%20/Theory_of_Automata%20-%20Scott%20Weeden.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%202/Scott%20Weeden%20-%20HW%202%20-%20Automata.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%202/automata_scott_weeden_assignment2.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%203/HW%203-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%203/HW%203.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/automata/Homework%204/CS5383_task4.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/cryptography/Homework#1/main.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%200_Report%20/Submission%20-%20CS5368_Project0_report.docx.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%201_Report/CS5368_Fa25_Ass1_report-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%201_Report/Notes.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%202_Report/scott-weeden-project-2-report.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%203_Report/Assignment3_Report-2-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assigment%203_Report/Assignment3_Report-2.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assignment%203_problem_solving/Q-Learning%20Problem%20Solving-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/intelligent-systems/Assignment%203_problem_solving/Q-Learning%20Problem%20Solving.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/logic/Homework%201/logic_homework_assignment_1-1-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/logic/Homework%201/logic_homework_assignment_1-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/logic/Homework%201/logic_homework_assignment_1-2.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/logic/Homework%202/scott_weeden_homework_logic-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/logic/Homework%202/scott_weeden_homework_logic.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/machine-learning/Final%20Report/submission_link_2.html 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/machine-learning/Midterm%20Report/IEEE_Conference_Template%20(1).pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/project_management/Class%20practice%201/Case_Study___Scott_Weeden.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/project_management/Class%20practice%204/Class_exercise4_scott_weeden.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/project_management/Class%20practice%205/Scott_Weeden_Class_Practice_5.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/project_management/Class%20practice%206/Scott_Weeden_Class_Practice_6.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/24-1287_4gcj.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/Assignment%201%20Rubric%20(10%20Points%20Total)-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/Assignment%201%20Rubric%20(10%20Points%20Total).pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/Assignment_Report-1.html 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/Assignment_Report.html 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Assignment%201:%20Functional%20+%20Structural%20Testing%20+%20LangSmith:%20Due%20Feb%2028/Screen%20Capture%20001%20-%20VagueSpecAgent%20-%20LangSmith%20-%20%5Bsmith.langchain.com%5D.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Quiz%203:%20LLM%20Evaluation%20+%20Rubric/NIST%20Evaluation.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/data/softwarevv/Quiz%203:%20LLM%20Evaluation%20+%20Rubric/NIST_Evaluation_Color.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assignments/intelligent-systems/assignment3/intelligent-systems-assignment3-problems.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assignments/intelligent-systems/assignment4/CS5368_Fa25_Ass4_ProblemSolving-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/cs5384_2025_fall_homework3_111725-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/cs5384_2025_fall_homework3_solution_111725-1.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/assignments/logic-for-computer-scientists/homework3/logic-homework3-solution.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/_lectures/logic-for-computer-scientists/2025-11-12_Ikram_Resolution_in_First_Order_Logic_lecture21.pdf 2026-04-28T20:11:14-05:00 https://scottweeden.online/_lectures/logic-for-computer-scientists/LogicForApplications_Lec_Nov12_8_Resolution.pdf 2026-04-28T20:11:14-05:00