Index Catalog // Digital WPI

Skip to Content

Home
Browse
About
- About Us
- Help

Login

Explore, Discover, Share

Advanced search

Search Constraints

Start Over

Filtering by: Advisor Mus, Koksal Remove constraint Advisor: Mus, Koksal Major Electrical & Computer Engineering Remove constraint Major: Electrical & Computer Engineering

1 - 7 of 7

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

Number of results to display per page

10 per page
20 per page
50 per page
100 per page

View results as:

List Gallery Masonry Slideshow

Search Results

FPGA Accelerated SAT Solver

Keyword:

Binary Equation, Verilog, VHDL, Boolean Satisfiability, Cryptography, and FPGA

Creator:

Gray, Andrew

Advisor:

Mus, Koksal and Doroz, Yarkin

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-03-09

Resource Type:

Major Qualifying Project
Augmented Reality Human-Robot Interface for Assisting Robotic Manipulation

Keyword:

Human Robot Interaction, Mixed Reality, ROS, HoloLens, and Auugmented Reality

Creator:

Giroux, Tyler, Saliba, Dimitri, Sun, Alexander, Kyi, Justin, and Tom, Bryon

Advisor:

Mus, Koksal and Li, Jane

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-04-24

Resource Type:

Major Qualifying Project
FPGA Accelerated SAT Solver

Keyword:

Boolean SAT, FPGA, MQP, Look Up Table, and CDCL

Creator:

Mao, Xinyun, David, Samuel, Eben, Joshua, and Hunter, Patrick

Advisor:

Doroz, Yarkin and Mus, Koksal

Publisher:

Worcester Polytechnic Institute

Date Created:

2024-04-25

Resource Type:

Major Qualifying Project
FPGA Accelerated SAT Solver

Keyword:

FPGA, Verilog, Post-Quantum Crypto, Cryptography, and Systems of Equations

Creator:

Lund, Matthew

Advisor:

Mus, Koksal and Doroz, Yarkin

Publisher:

Worcester Polytechnic Institute

Date Created:

12/13/2023

Resource Type:

Major Qualifying Project
Solving Binary MQs on FPGA

Creator:

Kennedy, Frank

Advisor:

Doroz, Yarkin and Mus, Koksal

Publisher:

Worcester Polytechnic Institute

Date Created:

2023-04-26

Resource Type:

Major Qualifying Project
Solving Linear Binary Systems on FPGA

Creator:

Stearns, Liam

Advisor:

Mus, Koksal

Publisher:

Worcester Polytechnic Institute

Date Created:

2022-10-27

Resource Type:

Major Qualifying Project
Solving Systems of Linear Equations over GF(2) on FPGAs

Creator:

McAleese, James

Advisor:

Mus, Koksal

Publisher:

Worcester Polytechnic Institute

Date Created:

2021-08-12

Resource Type:

Major Qualifying Project

Limit your search

Collections

Major Qualifying Projects7

Year

Year range begin – Year range end

Current results range from 2021 to 2024

View distribution

Creator

David, Samuel1
Eben, Joshua1
Giroux, Tyler1
Gray, Andrew1
Hunter, Patrick1
more Creators »

Advisor

Doroz, Yarkin4
Li, Jane1
Mus, Koksal[remove]7

Major

Computer Science2
Electrical & Computer Engineering[remove]7
Robotics Engineering1

Publisher

Worcester Polytechnic Institute7

Subject

Computing1
Security1

Resource type

Major Qualifying Project7

A service of Samvera.

Digital WPI v3.3.0

Copyright © 2024 Samvera Licensed under the Apache License, Version 2.0