Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
Help
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Creator
Xu, Yichi
Remove constraint Creator: Xu, Yichi
1
-
3
of
3
Sort by relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Number of results to display per page
10 per page
10
per page
20
per page
50
per page
100
per page
View results as:
List
Gallery
Masonry
Slideshow
Search Results
A Coq Formalization of Unification Modulo Exclusive-Or
Creator:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Publisher:
Worcester Polytechnic Institute
Date Created:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Pedestrian Avoidance for Indoor Robots
Creator:
Song, Jialin
,
Xu, Zhongchuan
,
Zhang, Lile
, and
Xu, Yichi
Advisor:
Liang, Jianyu
and
Huang, Xinming
Publisher:
Worcester Polytechnic Institute
Date Created:
2020-08-30
Resource Type:
Major Qualifying Project
Site Selection Analysis of Urban Emer-gency Shelter and Path Planning
Keyword:
Science and Technology: Policy and Management
Creator:
Xu, Yichi
,
Chung Marks, Theophilus Kingsley
,
Hagan, Elizabeth A.
, and
Li, Wenting
Advisor:
Huang, Xinming
and
Liang, Jianyu
Publisher:
Worcester Polytechnic Institute
Date Created:
2019-08-09
Resource Type:
Interactive Qualifying Project
Toggle facets
Limit your search
Collections
Interactive Qualifying Projects
1
Major Qualifying Projects
1
Masters Theses
1
Year
Year range begin
–
Year range end
Current results range from
2019
to
2023
View distribution
Creator
Chung Marks, Theophilus Kingsley
1
Hagan, Elizabeth A.
1
Li, Wenting
1
Song, Jialin
1
Xu, Yichi
[remove]
3
more
Creators
»
Advisor
Dougherty, Daniel J.
1
Huang, Xinming
2
Liang, Jianyu
2
Contributor
Dougherty, Daniel J.
1
Project Center
Beijing, China Project Center - IQP
1
Major
Computer Science
1
Interdisciplinary
1
Publisher
Worcester Polytechnic Institute
3
Resource type
Interactive Qualifying Project
1
Major Qualifying Project
1
Thesis
1
