Skip to Content
Toggle navigation
Accueil
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
S'identifier
Explore, Discover, Share
Aller
Advanced search
Recherche
Effacer les filtres
Filtrage par:
Committee
Dougherty, Daniel J.
Supprimer la restriction Committee: Dougherty, Daniel J.
« Précédente |
1
-
10
sur
124
|
Suivante »
Trier par relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Nombre de résultats à afficher par page
10 par page
10
par page
20
par page
50
par page
100
par page
Affichage:
Liste
Galerie
Mosaïque
Diaporama
Résultats de recherche
A Coq Formalization of Unification Modulo Exclusive-Or
Créateur:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Mot-clé:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Créateur:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Mot-clé:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Créateur:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Multi-Decision Policy and Policy Combinator Specifications
Mot-clé:
Margrave
,
Access Control
,
specifications
,
policies
,
policy combinators
, and
formal methods
Créateur:
Giannakopoulos, Theophilos John
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2012-02-21
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Noninterference in Concurrent Game Structures
Mot-clé:
Security
,
confidentiality
, and
noninterference
Créateur:
Mardziel, Piotr
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2007-05-02
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Formalization and Verification of Rewriting-Based Security Polices
Mot-clé:
Access Control
,
Maude
, and
term rewriting
Créateur:
Veselinov, Roman Nikolov
Advisor:
Dougherty, Daniel J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2008-04-30
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Template-assisted fabrication of nano-biomaterials
Mot-clé:
nanorod
,
nanofabrication
,
Polymer
,
protein
,
biomaterial
, and
nanotube
Créateur:
Dougherty, Shelley A.
Advisor:
Liang, Jianyu
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-08-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Materials Science & Engineering
Graph Decompositions and Monadic Second Order Logic
Mot-clé:
clique width
,
Graph Theory
,
logic
, and
tree decompositions
Créateur:
Adler, Jonathan D
Advisor:
Dougherty, Daniel J.
and
Martin, William J.
Éditeur:
Worcester Polytechnic Institute
date créée:
2009-04-27
Resource Type:
Report
Degree:
MS
Unit (Department):
Mathematical Sciences
Daniels Hall Cornerstone Ceremony
Mot-clé:
Cornerstone
,
Buildings
, and
Daniels Hall
Créateur:
White Photo
Éditeur:
Worcester Polytechnic Institute
date créée:
1962
Resource Type:
Image
Daniels Hall Cornerstone Ceremony
Mot-clé:
Cornerstone
,
Buildings
, and
Daniels Hall
Créateur:
White Photo
Éditeur:
Worcester Polytechnic Institute
date créée:
1962
Resource Type:
Image
« Précédente
Suivante »
1
2
3
4
5
…
12
13
Toggle facets
Limiter votre recherche
Collections
Interactive Qualifying Projects
39
Major Qualifying Projects
38
PhD Dissertations
17
Masters Theses
15
WPI Historical Images
12
plus
Collections
»
Year
Year range begin
–
Year range end
Current results range from
1962
to
2023
View distribution
Créateur
Abad, Brandon Richard
1
Abramovich, Daniel Nathan
1
Acito, Daniel
1
Adler, Jonathan D
1
Ahles, Daniel John
1
plus
Créateurs
»
Advisor
Abel, Curtis Allen
1
Addison, W. A. Bland
1
Agu, Emmanuel O.
1
Albano, Leonard D.
1
Amante, Daniel J.
1
plus
Advisors
»
Contributor
Amante, Daniel J.
1
Ari, Ismail
1
Bajracharya, Adarsha S.
1
Blandino, John J.
2
Brown, Donald R.
1
plus
Contributors
»
Project Center
Acadia National Park, Maine Project Center - IQP
1
Bangkok, Thailand Project Center - IQP
3
Boston, Massachusetts Project Center - IQP
1
Copenhagen, Denmark Project Center - IQP
1
Hangzhou, China Project Center - IQP
1
plus
Project Centers
»
Major
Aerospace Engineering
1
Bioinformatics & Computational Biology
1
Biomedical Engineering
1
Chemical Engineering
4
Chemistry
1
plus
Majors
»
Unit (Department)
Biology & Biotechnology
1
Computer Science
20
Electrical & Computer Engineering
2
Interactive Media and Game Development
1
Materials Science & Engineering
2
plus
Unit (Department)s
»
Éditeur
Worcester Polytechnic Institute
124
Assujettir
Community
19
Computing
12
Culture
14
Energy
3
Environment
5
plus
Assujettirs
»
UN SDG
3 - Good Health and Well-being
3
4 - Quality Education
1
5 - Gender Equality
1
7 - Affordable and Clean Energy
1
8 - Decent Work and Economic Growth
1
10 - Reducing Inequality
1
11 - Sustainable Cities and Communities
1
13 - Climate Action
1
15 - Life On Land
1
16 - Peace, Justice, and Strong Institutions
1
Type de ressource
Interactive Qualifying Project
39
Major Qualifying Project
38
Dissertation
17
Thesis
15
Image
12
plus
Type de ressources
»
License
https://creativecommons.org/licenses/by-nc/4.0/
14
https://creativecommons.org/licenses/by/4.0/
1
Award
Provost's MQP Award
1