Skip to Content
Toggle navigation
Startseite
Browse
Browse by Collection
Browse by Project Center
Browse Exhibits
About
About Us
Help
Anmeldung
Explore, Discover, Share
Suchen
Advanced search
Suchen
Filter löschen
Filtern nach:
Contributor
Dougherty, Daniel J.
Entfernen Zwang Contributor: Dougherty, Daniel J.
« Vorig |
1
-
10
von
24
|
Nächste »
Ordnen bei relevance
relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲
Anzahl der Ergebnisse pro Seite angezeigt werden
10 pro Seite
10
pro Seite
20
pro Seite
50
pro Seite
100
pro Seite
Anschauen Ergebnisse als:
Liste
Gallery
Masonry
Slideshow
Download search results to .CSV file
Suchergebnisse
Add to Category
Remove From Category
A Coq Formalization of Unification Modulo Exclusive-Or
Schöpfer:
Xu, Yichi
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2023-04-26
Resource Type:
Thesis
Degree:
MS
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases
Schöpfer:
Veloz Baez, Freddy
Advisor:
Dougherty, Daniel J.
and
Shue, Craig A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2022-04-27
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Development of a Data-Grounded Theory of Program Design in HTDP
Stichwort:
Program design
,
Human-centered computing
,
Cognition
,
Planning
,
Computing education
, and
Functional programming
Schöpfer:
Castro, Francisco Enrique Vi G.
Advisor:
Fisler, Kathryn
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2020-05-18
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior
Stichwort:
Formal verification
,
Alloy
,
Formal modeling
, and
Cooperative autonomous driving (CAD)
Schöpfer:
VanValkenburg, MaryAnn E.
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2020-05-18
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Event stream analytics
Stichwort:
Complex Event Processing
,
algorithms
,
Query Optimization
, and
Data streaming
Schöpfer:
Poppe, Olga
Advisor:
Rundensteiner, Elke A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2018-01-05
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
User Evaluation Framework for Model Finding Research
Stichwort:
Verification
,
model finding
,
Case Studies
,
model finders
,
user studies
,
user evaluation
,
formal methods
, and
logic
Schöpfer:
Danas, Ryan
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2016-08-31
Resource Type:
Thesis
Degree:
MS
Unit (Department):
Computer Science
Similarity Reasoning over Semantic Context-Graphs
Stichwort:
Robot Tasks
,
Plan Repair
,
Topic Modeling
,
Semantic
,
Analogy
, and
Similarity
Schöpfer:
Boteanu, Adrian
Advisor:
Chernova, Sonia
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2015-08-26
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
A Framework for Exploring Finite Models
Stichwort:
provenance information
,
Razor
,
Aluminum
,
first-order logic
,
Geometric Logic
,
Chase
,
finite model-finding
, and
exploration
Schöpfer:
Saghafi, Salman
Advisor:
Dougherty, Daniel J.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2015-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources
Stichwort:
Cardinality Assurance
,
Skyline Queries
,
Multi-Criteria Decision Support
,
Progressive Query Evaluation
,
Query Processing
,
Query Refinement
, and
Pareto-Optimal Queries
Schöpfer:
Raghavan, Venkatesh
Advisor:
Rundensteiner, Elke A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2012-04-17
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
Extending Complex Event Processing for Advanced Applications
Stichwort:
Complex Event Processing
,
Privacy Preserving
,
Utility Maximization
,
Transactional Stream
,
Event Suppression
, and
Probabilistic Inference
Schöpfer:
Wang, Di
Advisor:
Rundensteiner, Elke A.
Herausgeber:
Worcester Polytechnic Institute
Datum erstellt:
2013-04-30
Resource Type:
Dissertation
Degree:
PhD
Unit (Department):
Computer Science
« Vorig
Nächste »
1
2
3
Toggle facets
Beschränken dein Suche
Collections
PhD Dissertations
16
Masters Theses
7
Masters Reports
1
Year
Year range begin
–
Year range end
Current results range from
2004
to
2023
View distribution
Schöpfer
Adler, Jonathan D
1
Boteanu, Adrian
1
Castro, Francisco Enrique Vi G.
1
Chen, Li
1
Danas, Ryan
1
mehr
Schöpfers
»
Advisor
Brown, Donald R.
1
Chernova, Sonia
1
Claypool, Mark L.
1
Dougherty, Daniel J.
10
Fisler, Kathryn
2
mehr
Advisors
»
Contributor
Ari, Ismail
1
Brown, Donald R.
1
Chandramouli, Badrish
1
Chernova, Sonia
1
Claypool, Mark L.
1
mehr
Contributors
»
Unit (Department)
Computer Science
20
Electrical & Computer Engineering
2
Mathematical Sciences
1
Herausgeber
Worcester Polytechnic Institute
24
Ressourcentyp
Dissertation
16
Thesis
7
Report
1
License
https://creativecommons.org/licenses/by/4.0/
1