Clear Search

Books+ Search Results

Subject: "Science"
LC Class: Is Not
Is Not Is
B - Philosophy, Psychology, Religion
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.
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
2.
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
3.
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
4.
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
5.
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
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
Supportive behaviors for human-robot teaming
Author
Hayes, Bradley
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
LSF - Request for delivery to any Yale Library >> Film D18571
Format
Books / Microforms
16.
Building privacy-preserving cryptographic credentials from federated online identities
Author
Maheswaran, John
Published
[New Haven, Connecticut] : Yale University, 2015.
Location
Library Shelving Facility (LSF) >> Film D18105
Format
Books / Microforms
17.
Data-driven image editing for perceptual effectiveness
Author
Xue, Su
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17681
Format
Books / Microforms
18.
Deterministic transaction execution in distributed database systems
Author
Thomson, Alexander Garvey
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17830
Format
Books / Microforms
19.
Dictionary learning : algorithms and analysis
Author
Wang, Huan
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17672
Format
Books / Microforms
20.
Effects, asynchrony, and choice in Arrowized Functional Reactive Programming
Author
Winograd-Cort, Daniel
Published
[New Haven, Connecticut] : Yale University, 2015.
©2016
Location
Library Shelving Facility (LSF) >> Film D18098
Format
Books / Microforms
21.
Efficient fault-tolerant infrastructure for cloud computing
Author
Su, Xueyuan
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17825
Format
Books / Microforms
22.
A flexible architecture for structural reliability auditing to the clouds
Author
Zhai, Ennan
Published
[New Haven, Connecticut] : Yale University, 2015.
Location
Library Shelving Facility (LSF) >> Film D18079
Format
Books / Microforms
23.
Identity management through privacy-preserving authentication
Author
Syta, Ewa
Published
[New Haven, Connecticut] : Yale University, 2015.
Location
Library Shelving Facility (LSF) >> Film D17998
Format
Books / Microforms
24.
Programmable and scalable software-defined networking controllers
Author
Voellmy, Andreas Richard
Published
2014.
Location
LSF - Request for delivery to any Yale Library >> Film D17711
Format
Books / Microforms
25.
Robots for social skills therapy in autism : evidence and designs toward clinical utility
Author
Kim, Elizabeth Seon-wha
Published
2013.
Location
Library Shelving Facility (LSF) >> Film D17766
Format
Books / Microforms
26.
Seeking invariance in the shape from shading problem
Author
Holtmann-Rice, Daniel Niels
Published
[New Haven, Connecticut] : Yale University, 2015.
Location
Library Shelving Facility (LSF) >> Film D17966
Format
Books / Microforms
27.
Warding off timing channels in Deterland
Author
Wu, Weiyi
Published
[New Haven, Connecticut] : Yale University, 2015.
Location
Library Shelving Facility (LSF) >> Film D18075
Format
Books / Microforms
28.
Feature selection for diffusion methods within a supervised context
Author
Lê, Minh Tâm
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
LSF - Request for in-building use at any Yale library >> Film D18247
Format
Books / Microforms
29.
Kulitta : a framework for automated music composition
Author
Quick, Donya
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
LSF - Request for in-building use at any Yale library >> Film D18196
Format
Books / Microforms
30.
Large-scale graph data processing
Author
Huang, Jiewen
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
LSF - Request for in-building use at any Yale library >> Film D18245
Format
Books / Microforms
31.
Robot self-modeling
Author
Hart, Justin Wildrick
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
LSF - Request for in-building use at any Yale library >> Film D18189
Format
Books / Microforms
32.
Traffic planning under network dynamics
Author
Liu, Hongqiang
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
LSF - Request for in-building use at any Yale library >> Film D18192
Format
Books / Microforms
33.
Certifying virtual memory manager using multiple abstraction levels
Author
Vaynberg, Alexander Leo
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17526
Format
Books / Microforms
34.
Example-driven quer synthesis
Author
Abouzied, Azza
Published
2013.
Location
Library Shelving Facility (LSF) >> Film D17641
Format
Books / Microforms
35.
Multi-scale material appearance
Author
Wu, Hongzhi
Published
c2013.
Location
Library Shelving Facility (LSF) >> Film D17321
Format
Books / Dissertations & Theses / Microforms
36.
VeriML : a dependently-typed, user-extensible and language-centric approach to proof assistants
Author
Stampoulis, Antonios Michael
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17478
Format
Books / Microforms
37.
Deterministic OpenMP
Author
Aviram, Amittai F.
Published
c2012.
Location
Library Shelving Facility (LSF) >> Film D17297
Format
Books / Dissertations & Theses / Microforms
38.
Message passing algorithms for optimization
Author
Ruozzi, Nicholas Robert
Published
c2012.
Location
Library Shelving Facility (LSF) >> Film D17238
Format
Books / Dissertations & Theses / Microforms
39.
Acquiring the shape and appearance of physical scenes
Author
Xu, Chen
Published
c2011.
Location
Library Shelving Facility (LSF) >> Film D15000
Format
Books / Dissertations & Theses / Microforms
40.
A dual-system approach to realistic evaluation of large-scale networked systems
Author
Alimi, Richard Allan
Published
c2011.
Location
Library Shelving Facility (LSF) >> Film D14755
Format
Books / Dissertations & Theses / Microforms
41.
The theory and practice of causal commutative arrows
Author
Liu, Hai
Published
c2011.
Location
Library Shelving Facility (LSF) >> Film D15014
Format
Books / Dissertations & Theses / Microforms
42.
Implementation and evaluation of privacy-preserving protocols
Author
Saint-Jean Antonijevic, Felipe
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14812
Format
Books / Dissertations & Theses / Microforms
43.
Integrated analysis of partial sampling techniques in bioinformatics
Author
Du, Jiang
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14090
Format
Books / Dissertations & Theses / Microforms
44.
Memory consistency and program verification
Author
Ferreira, Rodrigo
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14775
Format
Books / Dissertations & Theses / Microforms
45.
A new biomedical image search and visual literature navigation system
Author
Xu, Songhua
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14354
Format
Books / Dissertations & Theses / Microforms
46.
Spectral sparsification and restricted invertibility
Author
Srivastava, Nikhil
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14158
Format
Books / Dissertations & Theses / Microforms
47.
Syntactic finitism in the metatheory of programming languages
Author
Sarnat, Jeffrey
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14168
Format
Books / Dissertations & Theses / Microforms
48.
Theory and application of extractable functions
Author
Dakdouk, Ramzi Ronny
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D13939
Format
Books / Dissertations & Theses / Microforms
49.
Accelerated dense random projections
Author
Liberty, Edo
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13828
Format
Books / Dissertations & Theses / Microforms
50.
Active learning of interaction networks
Author
Reyzin, Lev
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D14051
Format
Books / Dissertations & Theses / Microforms