Clear Search

Books+ Search Results

Subject: "Science"
Subject (Local Yale): Is
Is Is Not
Thesis : Yale University, Graduate School, Computer Science

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Developing Robot Teammates that Enhance Social Dynamics and Performance in Human-Robot Teams
Author
Sebo, Sarah Strohkorb
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20642
Format
Books / Microforms
2.
Refinement-Based Game Semantics for Certified Components
Author
Koenig, Jérémie
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20599
Format
Books / Microforms
3.
Deep Contextual Modeling for Natural Language Understanding, Generation, and Grounding
Author
Zhang, Rui
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20515
Format
Books / Microforms
4.
A Modular Synthesis Framework for Software Deployment, Design, and Implementation
Author
Santolucito, Mark
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20465
Format
Books / Microforms
5.
Modern Challenges for Machine Learning Applications of Submodularity: Privacy, Scalability, and Sequences
Author
Mitrovic, Marko
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20435
Format
Books / Microforms
6.
Real-Time CertiKOS: Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
Author
Liu, Mengqi
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20422
Format
Books / Microforms
7.
Developing Robot Teammates that Enhance Social Dynamics and Performance in Human-Robot Teams
Author
Sebo, Sarah Strohkorb
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
8.
Refinement-Based Game Semantics for Certified Components
Author
Koenig, Jérémie
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
9.
Deep Contextual Modeling for Natural Language Understanding, Generation, and Grounding
Author
Zhang, Rui
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
10.
A Modular Synthesis Framework for Software Deployment, Design, and Implementation
Author
Santolucito, Mark
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
11.
Modern Challenges for Machine Learning Applications of Submodularity : Privacy, Scalability, and Sequences
Author
Mitrovic, Marko
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
12.
Real-Time CertiKOS : Compositional Verification of OS Kernels with Preemptive Scheduling and Temporal Isolation
Author
Liu, Mengqi
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
13.
Alternative History : Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua Z
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20037
Format
Books / Microforms
14.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20013
Format
Books / Microforms
15.
Building Effective Robot Tutoring Interactions for Children
Author
Ramachandran, Aditi
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19890
Format
Books / Microforms
16.
Alternative History : Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
17.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
18.
A Compositional Automation Engine for Verifying Complex System Software
Author
Wu, Xiongnan (Newman)
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
19.
Building Effective Robot Tutoring Interactions for Children
Author
Ramachandran, Aditi
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
20.
High Performance Multi-core Transaction Processing via Deterministic Execution
Author
Faleiro, Jose
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
21.
Learning Supportive Behaviors for Adaptive Robots in Human-Robot Collaboration
Author
Grigore, Elena
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
22.
Approximate Gaussian Elimination
Author
Kyng, Rasmus
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19498
Format
Books / Microforms
23.
Approximate Gaussian Elimination
Author
Kyng, Rasmus
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
24.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF-Use in SML, Manuscripts and Archives only (Non-Circ)
Format
Books
25.
Design and Implementation of Privacy-Preserving Surveillance
Author
Segal, Aaron
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19131
Format
Books / Microforms