ACM-UCI / Fall-2015-PracticeLinks
Practice problems from our algorithm practices
☆8Updated 9 years ago
Alternatives and similar repositories for Fall-2015-Practice
Users that are interested in Fall-2015-Practice are comparing it to the libraries listed below
Sorting:
- Repo for our deep learning book study group launched in October 2017.☆8Updated 7 years ago
- New DUCSS website☆7Updated 2 years ago
- ConnectK is a project offered to upper-div CS students in an Intro to AI course at UCI☆13Updated 8 years ago
- Flow is a website that lets you plan courses with friends.☆234Updated 2 years ago
- This Is Indian Country - Spring 2018 Instance☆12Updated 7 years ago
- Official content for the Spring 2015 Boston University CS591 "Tools and Techniques for Data Mining and Applications" course☆34Updated 9 years ago
- An unofficial handbook for tech and more specifically, UC Davis computer science students☆11Updated 8 years ago
- Resources for people running research groups.☆206Updated 8 years ago
- Website for the Yale Computer Society.☆10Updated 2 months ago
- Bases de données☆4Updated 9 years ago
- Code repo for course "Introduction to Data Science and Machine Learning (DSML)"☆8Updated 4 years ago
- An application for university departments to facilitate the process of matching undergraduates to research positions.☆25Updated 2 years ago
- Methods for running simulations to calculate Voter Satisfaction Efficiency (VSE) of various voting systems in various conditions.☆59Updated 2 years ago
- Coauthor supercollaboration/discussion forum☆263Updated last month
- AutoMATES: Automated Model Assembly from Text, Equations, and Software☆25Updated last year
- Probabilistic logic language for inference, planning and learning in static and dynamic domains☆15Updated 8 years ago
- Riemann Hypothesis book☆75Updated 7 years ago
- ☆16Updated 2 weeks ago
- The core software that operates our pod #1. This includes controls, communications, testing suites, control panel, etc.☆9Updated 2 years ago
- Student-created lectures notes for COS 432: Information Security☆31Updated 7 years ago
- Library for rigorous verification of non-linear arithmetic☆114Updated last year
- Source code and obtained results for "Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants"☆15Updated 7 years ago
- This Question type plugin for ILIAS is a port of STACK, originally created by Chris Sangwin. It provides the most advanced Learning Tool …☆18Updated this week
- A benchmark library for constraints☆94Updated this week
- 🕰️ A solver for temporal programs.☆22Updated last year
- Spring 2016 Course Syllabus and Information☆15Updated 9 years ago
- Modeling agents with probabilistic programs☆67Updated 5 years ago
- HyST: A Source Transformation and Translation Tool for Hybrid Automaton Models☆15Updated 4 years ago
- The Stochastic Local Search SAT Solver from UBC☆30Updated 3 years ago
- LaTeX template for thesis and dissertation documents at UC Irvine☆77Updated 3 years ago