Skip to Content
Toggle navigation
首页
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
登录
Explore, Discover, Share
转到
Advanced search
搜索条件
清除筛选
筛选:
Advisor
Bohrer, Rose
删除限定条件 Advisor: Bohrer, Rose
« 上一页 |
1
-
10
共
11
|
下一页 »
按 relevance 排序
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
每页显示结果数
10 每页
10
每页
20
每页
50
每页
100
每页
以如下方式察看搜索结果:
列表
图片式展示
砌体式展示
幻灯式展示
Download search results to .CSV file
搜索结果
Add to Category
Remove From Category
Logic For Exploit Detection: Utilizing Proof Search for Exploitability Detection in Compact Software Systems
关键词:
Bug Detection
,
Staged Linear Logic
,
Logic Programming
,
Linear Logic Programming
,
Proof Search
, and
Python
创造者:
Eskandari Miandoab, Kaveh
Advisor:
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2024-04-25
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
PolyCreate - Enabling Live coding in unreal game engine
创造者:
Sanghvi, Utsav
Advisor:
Bohrer, Rose
and
Roberts, Charles Davis
出版者:
Worcester Polytechnic Institute
创建日期:
2024-05-03
Resource Type:
Report
Degree:
MS
Unit (Department):
Interactive Media & Game Development
IMGD+PW: Raveling Dreams
关键词:
Wiki
,
Mental health
,
Game development
,
Diversity, Equity, and Inclusion
,
Isometric
, and
Unreal Engine
创造者:
Chau, Ethan
,
von Conta, Aidan
, and
Wol, Luca
Advisor:
Chery, Farley James
,
Riddick, Sarah
, and
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2024-04-25
Resource Type:
Major Qualifying Project
Social Robot for Interactive Play
关键词:
Computer Science
,
Robotics
,
Game
,
Social Robot
, and
Personality
创造者:
Plasse, Noah
,
Valery, Katrina
,
Du, Kaley
,
Jacques, Megan
,
Caissie, Jayson
, and
Baliestiero, Joseph
Advisor:
Bohrer, Rose
and
Li, Jane
出版者:
Worcester Polytechnic Institute
创建日期:
2024-04-11
Resource Type:
Major Qualifying Project
Regular Session Types
关键词:
Exponential Types
,
Regular Languages
,
RST
,
Session Types
, and
Program Synthesis
创造者:
Friedman, Alex
Advisor:
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2023-11-16
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
ScreamaeraX: Modeling Laryngeal Surgical Robots Using Differential Dynamic Logic
关键词:
Differential dynamic logic
,
Hybrid systems
,
Cyber-physical Systems
,
Safety-critical Systems
,
Surgical-robots
, and
Theorem provers
创造者:
McClain, Natalie
Advisor:
Fichera, Loris
and
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2023-04-24
Resource Type:
Major Qualifying Project
Communicating with Distributed Process Calculus
关键词:
Exponential Types
,
Distributed Computing
,
Bismuth Programming Language
,
Process Calculus
,
Concurrency
, and
Session Types
创造者:
Friedman, Alex
Advisor:
Telliel, Yunus Dogan
and
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2023-04-25
Resource Type:
Major Qualifying Project
Neurotype Cafe Visual Novel
关键词:
lived experience
,
visual novel
,
Ren'Py
,
neurodiversity
,
representation
, and
service industry
创造者:
Dias, Lena
,
Tanguay, Mitchel
, and
Larrabee, Harmoni
Advisor:
Bohrer, Rose
and
Schneider, Ben
出版者:
Worcester Polytechnic Institute
创建日期:
2023-04-26
Resource Type:
Major Qualifying Project
Purradise City
关键词:
Boardgame
,
Furry
,
IMGD
,
Citybuilder
,
Cat
, and
Unity
创造者:
Bajer, Kateri
,
Koval, Zachary
,
Marczewski, Erin
, and
Rynkowski, Grace
Advisor:
Schneider, Ben
,
Gonzalez, Adryen Jean
, and
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2023-04-26
Resource Type:
Major Qualifying Project
Development of Device to Reduce TMD Pain From Eyeglasses
创造者:
Tougas, Santiago
,
Carlisle, Kell
, and
Doherty, James
Advisor:
Bohrer, Rose
出版者:
Worcester Polytechnic Institute
创建日期:
2023-05-06
Resource Type:
Interactive Qualifying Project
« 上一页
下一页 »
1
2
Toggle facets
限定搜索
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
创造者
Bajer, Kateri
1
Baliestiero, Joseph
1
Caissie, Jayson
1
Carlisle, Kell
1
Chau, Ethan
1
更多
创造者s
»
Advisor
Bohrer, Rose
[remove]
11
Chery, Farley James
1
Fichera, Loris
1
Gonzalez, Adryen Jean
1
Li, Jane
1
更多
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
出版者
Worcester Polytechnic Institute
11
学科
Community
2
Computing
3
Culture
1
Health
2
Inclusion
2
更多
学科s
»
UN SDG
3 - Good Health and Well-being
3
5 - Gender Equality
1
10 - Reducing Inequality
2
Not Specified
1
资源类型
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
