Index Catalog // 蹄兔

Skip to Content

首页
Browse
About
- About Us
- Help

登录

Explore, Discover, Share

Advanced search

搜索条件

清除筛选

筛选: Contributor Dougherty, Daniel J. 删除限定条件 Contributor: Dougherty, Daniel J. 出版者 Worcester Polytechnic Institute 删除限定条件出版者: Worcester Polytechnic Institute

« 上一页 | 1 - 10 共 24 | 下一页 »

relevance
date uploaded ▼
date uploaded ▲
date modified ▼
date modified ▲

每页显示结果数

10 每页
20 每页
50 每页
100 每页

以如下方式察看搜索结果:

列表图片式展示砌体式展示幻灯式展示

搜索结果

A Coq Formalization of Unification Modulo Exclusive-Or

创造者:

Xu, Yichi

Advisor:

Dougherty, Daniel J.

出版者:

Worcester Polytechnic Institute

创建日期:

2023-04-26

Resource Type:

Thesis

Degree:

MS
Evaluating SGX’s Remote Attestation Security Through the Analysis of Copland Phrases

创造者:

Veloz Baez, Freddy

Advisor:

Dougherty, Daniel J. and Shue, Craig A.

出版者:

Worcester Polytechnic Institute

创建日期:

2022-04-27

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Development of a Data-Grounded Theory of Program Design in HTDP

关键词:

Program design, Human-centered computing, Cognition, Planning, Computing education, and Functional programming

创造者:

Castro, Francisco Enrique Vi G.

Advisor:

Fisler, Kathryn

出版者:

Worcester Polytechnic Institute

创建日期:

2020-05-18

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Alloy-Guided Verification of Cooperative Autonomous Driving Behavior

关键词:

Formal verification, Alloy, Formal modeling, and Cooperative autonomous driving (CAD)

创造者:

VanValkenburg, MaryAnn E.

Advisor:

Dougherty, Daniel J.

出版者:

Worcester Polytechnic Institute

创建日期:

2020-05-18

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Event stream analytics

关键词:

Complex Event Processing, algorithms, Query Optimization, and Data streaming

创造者:

Poppe, Olga

Advisor:

Rundensteiner, Elke A.

出版者:

Worcester Polytechnic Institute

创建日期:

2018-01-05

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
User Evaluation Framework for Model Finding Research

关键词:

Verification, model finding, Case Studies, model finders, user studies, user evaluation, formal methods, and logic

创造者:

Danas, Ryan

Advisor:

Dougherty, Daniel J.

出版者:

Worcester Polytechnic Institute

创建日期:

2016-08-31

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science
Similarity Reasoning over Semantic Context-Graphs

关键词:

Robot Tasks, Plan Repair, Topic Modeling, Semantic, Analogy, and Similarity

创造者:

Boteanu, Adrian

Advisor:

Chernova, Sonia

出版者:

Worcester Polytechnic Institute

创建日期:

2015-08-26

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
A Framework for Exploring Finite Models

关键词:

provenance information, Razor, Aluminum, first-order logic, Geometric Logic, Chase, finite model-finding, and exploration

创造者:

Saghafi, Salman

Advisor:

Dougherty, Daniel J.

出版者:

Worcester Polytechnic Institute

创建日期:

2015-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Supporting Multi-Criteria Decision Support Queries over Disparate Data Sources

关键词:

Cardinality Assurance, Skyline Queries, Multi-Criteria Decision Support, Progressive Query Evaluation, Query Processing, Query Refinement, and Pareto-Optimal Queries

创造者:

Raghavan, Venkatesh

Advisor:

Rundensteiner, Elke A.

出版者:

Worcester Polytechnic Institute

创建日期:

2012-04-17

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science
Extending Complex Event Processing for Advanced Applications

关键词:

Complex Event Processing, Privacy Preserving, Utility Maximization, Transactional Stream, Event Suppression, and Probabilistic Inference

创造者:

Wang, Di

Advisor:

Rundensteiner, Elke A.

出版者:

Worcester Polytechnic Institute

创建日期:

2013-04-30

Resource Type:

Dissertation

Degree:

PhD

Unit (Department):

Computer Science

« 上一页
下一页 »
1
2
3

限定搜索

Collections

PhD Dissertations16
Masters Theses7
Masters Reports1

Year

Year range begin – Year range end

Current results range from 2004 to 2023

View distribution

创造者

Adler, Jonathan D1
Boteanu, Adrian1
Castro, Francisco Enrique Vi G.1
Chen, Li1
Danas, Ryan1
更多创造者s »

Advisor

Brown, Donald R.1
Chernova, Sonia1
Claypool, Mark L.1
Dougherty, Daniel J.10
Fisler, Kathryn2
更多 Advisors »

Contributor

Ari, Ismail1
Brown, Donald R.1
Chandramouli, Badrish1
Chernova, Sonia1
Claypool, Mark L.1
更多 Contributors »

Unit (Department)

Computer Science20
Electrical & Computer Engineering2
Mathematical Sciences1

出版者

Worcester Polytechnic Institute[remove]24

资源类型

Dissertation16
Thesis7
Report1

License

https://creativecommons.org/licenses/by/4.0/1

的服务Samvera.

蹄兔 v3.3.0

版权所有 © 2018 Samvera 根据Apache许可证2.0版许可