Index Catalog // Hyrax

Cancellare i filtri

Filtro per: Advisor Bohrer, Rose Major Computer Science

1. Social Robot for Interactive Play

Parola chiave:: Computer Science, Robotics, Game, Social Robot, and Personality
Creatore:: Plasse, Noah, Valery, Katrina, Du, Kaley, Jacques, Megan, Caissie, Jayson, and Baliestiero, Joseph
Advisor:: Bohrer, Rose and Li, Jane
Editore:: Worcester Polytechnic Institute
data di creazione:: 2024-04-11
Resource Type:: Major Qualifying Project

2. ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic

Parola chiave:: Differential dynamic logic, Hybrid systems, Cyber-physical Systems, Safety-critical Systems, Surgical-robots, and Theorem provers
Creatore:: McClain, Natalie
Advisor:: Fichera, Loris and Bohrer, Rose
Editore:: Worcester Polytechnic Institute
data di creazione:: 2023-04-24
Resource Type:: Major Qualifying Project

3. Communicating with Distributed Process Calculus

Parola chiave:: Exponential Types, Distributed Computing, Bismuth Programming Language, Process Calculus, Concurrency, and Session Types
Creatore:: Friedman, Alex
Advisor:: Telliel, Yunus Dogan and Bohrer, Rose
Editore:: Worcester Polytechnic Institute
data di creazione:: 2023-04-25
Resource Type:: Major Qualifying Project

4. Neurotype Cafe Visual Novel

Parola chiave:: lived experience, visual novel, Ren'Py, neurodiversity, representation, and service industry
Creatore:: Dias, Lena, Tanguay, Mitchel, and Larrabee, Harmoni
Advisor:: Bohrer, Rose and Schneider, Ben
Editore:: Worcester Polytechnic Institute
data di creazione:: 2023-04-26
Resource Type:: Major Qualifying Project

5. Purradise City

Parola chiave:: Boardgame, Furry, IMGD, Citybuilder, Cat, and Unity
Creatore:: Bajer, Kateri, Koval, Zachary, Marczewski, Erin, and Rynkowski, Grace
Advisor:: Schneider, Ben, Gonzalez, Adryen Jean, and Bohrer, Rose
Editore:: Worcester Polytechnic Institute
data di creazione:: 2023-04-26
Resource Type:: Major Qualifying Project