Skip to Content
Toggle navigation
Home
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Login
Explore, Discover, Share
Search
Advanced search
Search Constraints
Start Over
Filtering by:
Creator
King, Christopher T.
Remove constraint Creator: King, Christopher T.
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
Unity power factor universal battery charger
Creator:
King, Christopher T.
,
Murray, Seth T.
, and
Apollonio, Benjamin J.
Advisor:
Emanuel, Alexander E.
Publisher:
Worcester Polytechnic Institute
Date Created:
2006-01-01
Resource Type:
Major Qualifying Project
Tech Fest 2005
Keyword:
Community engagement
and
Marketing
Creator:
King, Christopher T.
,
Quagliato, Julia Isabella Mendes
, and
Kazmierczak, James D.
Advisor:
Delorey, John F.
Publisher:
Worcester Polytechnic Institute
Date Created:
2005-01-01
Resource Type:
Interactive Qualifying Project
An Axiomatic Semantics for Functional Reactive Programming
Keyword:
coq
,
monads
,
formal verification
, and
functional reactive programming
Creator:
King, Christopher T.
Advisor:
Fisler, Kathryn
Publisher:
Worcester Polytechnic Institute
Date Created:
2008-04-29
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
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
2005
to
2008
View distribution
Creator
Apollonio, Benjamin J.
1
Kazmierczak, James D.
1
King, Christopher T.
[remove]
3
Murray, Seth T.
1
Quagliato, Julia Isabella Mendes
1
Advisor
Delorey, John F.
1
Emanuel, Alexander E.
1
Fisler, Kathryn
1
Contributor
Fisler, Kathryn
1
Major
Electrical & Computer Engineering
1
Electrical Engineering
1
Unit (Department)
Computer Science
1
Publisher
Worcester Polytechnic Institute
3
Subject
Community
1
Culture
1
Learning
1
Resource type
Interactive Qualifying Project
1
Major Qualifying Project
1
Thesis
1