Skip to Content
Toggle navigation
Casa
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Accesso
Explore, Discover, Share
Partire
Advanced search
Ricerca
Cancellare i filtri
Filtro per:
Advisor
Bohrer, Rose
Cancella il filtro Advisor: Bohrer, Rose
« Pagina precedente |
1
-
10
di
11
|
Pagina successiva »
Ordina per relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Risultati per pagina
10 per pagina
10
per pagina
20
per pagina
50
per pagina
100
per pagina
Visualizza i risultati come:
Lista
Galleria
Lavoro in corso
Slideshow
Download search results to .CSV file
Risultati della ricerca
Add to Category
Remove From Category
Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems
Parola chiave:
Bug Detection
,
Staged Linear Logic
,
Logic Programming
,
Linear Logic Programming
,
Proof Search
, and
Python
Creatore:
Eskandari Miandoab, Kaveh
Advisor:
Bohrer, Rose
Editore:
Worcester Polytechnic Institute
data di creazione:
2024-04-25
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
PolyCreate - Enabling Live coding in unreal game engine
Creatore:
Sanghvi, Utsav
Advisor:
Bohrer, Rose
and
Roberts, Charles Davis
Editore:
Worcester Polytechnic Institute
data di creazione:
2024-05-03
Resource Type:
Report
Degree:
MS
Unit (Department):
Interactive Media & Game Development
IMGD+PW: Raveling Dreams
Parola chiave:
Wiki
,
Mental health
,
Game development
,
Diversity, Equity, and Inclusion
,
Isometric
, and
Unreal Engine
Creatore:
Chau, Ethan
,
von Conta, Aidan
, and
Wol, Luca
Advisor:
Chery, Farley James
,
Riddick, Sarah
, and
Bohrer, Rose
Editore:
Worcester Polytechnic Institute
data di creazione:
2024-04-25
Resource Type:
Major Qualifying Project
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
Regular Session Types
Parola chiave:
Exponential Types
,
Regular Languages
,
RST
,
Session Types
, and
Program Synthesis
Creatore:
Friedman, Alex
Advisor:
Bohrer, Rose
Editore:
Worcester Polytechnic Institute
data di creazione:
2023-11-16
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
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
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
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
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
Development of Device to Reduce TMD Pain From Eyeglasses
Creatore:
Tougas, Santiago
,
Carlisle, Kell
, and
Doherty, James
Advisor:
Bohrer, Rose
Editore:
Worcester Polytechnic Institute
data di creazione:
2023-05-06
Resource Type:
Interactive Qualifying Project
« Pagina precedente
Pagina successiva »
1
2
Toggle facets
Affina la ricerca
Collections
Major Qualifying Projects
6
Masters Theses
3
Interactive Qualifying Projects
1
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2023
to
2024
View distribution
Creatore
Bajer, Kateri
1
Baliestiero, Joseph
1
Caissie, Jayson
1
Carlisle, Kell
1
Chau, Ethan
1
altri
Creatores
»
Advisor
Bohrer, Rose
[remove]
11
Chery, Farley James
1
Fichera, Loris
1
Gonzalez, Adryen Jean
1
Li, Jane
1
altri
Advisors
»
Contributor
Bohrer, Rose
4
Heineman, George
1
Roberts, Charles Davis
1
Sun, Xiaoyan Sherry
1
Major
Computer Science
5
Interactive Media & Game Development
3
Robotics Engineering
1
Unit (Department)
Computer Science
3
Interactive Media & Game Development
1
Editore
Worcester Polytechnic Institute
11
Soggetto
Community
2
Computing
3
Culture
1
Health
2
Inclusion
2
altri
Soggettos
»
UN SDG
3 - Good Health and Well-being
3
5 - Gender Equality
1
10 - Reducing Inequality
2
Not Specified
1
Tipo di risorsa
Major Qualifying Project
6
Thesis
3
Interactive Qualifying Project
1
Report
1
License
https://creativecommons.org/licenses/by-nc/4.0/
1
https://creativecommons.org/licenses/by/4.0/
1