Clear Search

Books+ Search Results

Subject: "Computers"
Format: Is
Is Is Not
Books
Location: Is
Is Is Not
Library Shelving Facility (LSF)
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

Limit your search

-
Current results range from 1997 to 2020

1.
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
2.
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
3.
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
4.
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
5.
Dictionary learning : algorithms and analysis
Author
Wang, Huan
Published
2013.
Location
LSF - Request for delivery to any Yale Library >> Film D17672
Format
Books / Microforms
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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
20.
Example-driven quer synthesis
Author
Abouzied, Azza
Published
2013.
Location
Library Shelving Facility (LSF) >> Film D17641
Format
Books / Microforms
21.
Multi-scale material appearance
Author
Wu, Hongzhi
Published
c2013.
Location
Library Shelving Facility (LSF) >> Film D17321
Format
Books / Dissertations & Theses / Microforms
22.
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
23.
Deterministic OpenMP
Author
Aviram, Amittai F.
Published
c2012.
Location
Library Shelving Facility (LSF) >> Film D17297
Format
Books / Dissertations & Theses / Microforms
24.
Message passing algorithms for optimization
Author
Ruozzi, Nicholas Robert
Published
c2012.
Location
Library Shelving Facility (LSF) >> Film D17238
Format
Books / Dissertations & Theses / Microforms
25.
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
26.
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
27.
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
28.
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
29.
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
30.
Memory consistency and program verification
Author
Ferreira, Rodrigo
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14775
Format
Books / Dissertations & Theses / Microforms
31.
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
32.
Spectral sparsification and restricted invertibility
Author
Srivastava, Nikhil
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D14158
Format
Books / Dissertations & Theses / Microforms
33.
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
34.
Theory and application of extractable functions
Author
Dakdouk, Ramzi Ronny
Published
c2010.
Location
Library Shelving Facility (LSF) >> Film D13939
Format
Books / Dissertations & Theses / Microforms
35.
Accelerated dense random projections
Author
Liberty, Edo
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13828
Format
Books / Dissertations & Theses / Microforms
36.
Active learning of interaction networks
Author
Reyzin, Lev
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D14051
Format
Books / Dissertations & Theses / Microforms
37.
Computational reconstruction of biological networks
Author
Yip, Yuk Lap
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13748
Format
Books / Dissertations & Theses / Microforms
38.
Design and analysis of efficient anonymous-communication protocols
Author
Johnson, Aaron
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D14011
Format
Books / Dissertations & Theses / Microforms
39.
Efficient and robust traffic engineering in a dynamic environment
Author
Wang, Hao
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13739
Format
Books / Dissertations & Theses / Microforms
40.
Efficient graph-based algorithms for linear equations, network flows, and machine learning
Author
Daitch, Samuel Isaac
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13938
Format
Books / Dissertations & Theses / Microforms
41.
Fast construction algorithms for overlay networks
Author
Wu, Yinghua
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13743
Format
Books / Dissertations & Theses / Microforms
42.
Hashing, contention, and cell-probe proofs
Author
Yin, Yitong
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D14081
Format
Books / Dissertations & Theses / Microforms
43.
Studies in texture generation of weathered appearance from captured data
Author
Lu, Jianye
Published
c2009.
Location
Library Shelving Facility (LSF) >> Film D13993
Format
Books / Dissertations & Theses / Microforms
44.
Clustering algorithms for random and pseudo-random structures
Author
Mitra, Pradipta
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13601
Format
Books / Dissertations & Theses / Microforms
45.
Computational methods for eye-tracking analysis applications to autism
Author
Shic, Frederick
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13621
Format
Books / Dissertations & Theses / Microforms
46.
Distributed systems of simple interacting agents
Author
Jiang, Hong
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13249
Format
Books / Dissertations & Theses / Microforms
47.
Explicit communications for cooperative Internet traffic control
Author
Xie, Haiyong
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13650
Format
Books / Dissertations & Theses / Microforms
48.
Functional programming with logical frameworks
Author
Poswolsky, Adam Brett
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13529
Format
Books / Dissertations & Theses / Microforms
49.
Functional reactive control of humanoid robots
Author
Huang, Liwen
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13399
Format
Books / Dissertations & Theses / Microforms
50.
The mechanized verification of garbage collector implementations
Author
McCreight, Andrew Evan
Published
c2008.
Location
Library Shelving Facility (LSF) >> Flm D13599
Format
Books / Dissertations & Theses / Microforms
51.
An open framework for certified system software
Author
Feng, Xinyu
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13371
Format
Books / Dissertations & Theses / Microforms
52.
Semantic tuple space coordination for the Semantic Web with applications in life science
Author
Qi, Peishen
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13149
Format
Books / Dissertations & Theses / Microforms
53.
Three principles for plant geometry how vein pattern formation in leaves informs plant growth
Author
Dimitrov, Pavel
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13662
Format
Books / Dissertations & Theses / Microforms
54.
Using sentence context and implicit contrast to learn sensor-grounded meanings for relational and deictic words the TWIG system
Author
Gold, Kevin
Published
c2008.
Location
Library Shelving Facility (LSF) >> Film D13385
Format
Books / Dissertations & Theses / Microforms
55.
Modular machine code verification
Author
Ni, Zhaozhong
Published
c2007.
Location
Library Shelving Facility (LSF) >> Film D13086
Format
Books / Dissertations & Theses / Microforms
56.
Multipath resource management in overlay networks
Author
Ma, Zheng
Published
c2007.
Location
Library Shelving Facility (LSF) >> Film D13065
Format
Books / Dissertations & Theses / Microforms
57.
Proteomics data interoperation with applications to integrated data mining and enhanced information retrieval
Author
Smith, Andrew Kendall
Published
c2007.
Location
Library Shelving Facility (LSF) >> Film D12915
Format
Books / Dissertations & Theses / Microforms
58.
Fine-grained localization in sensor and ad-hoc networks
Author
Goldenberg, David K.
Published
c2006.
Location
LSF - Request for delivery to any Yale Library >> Film D12857
Format
Books / Dissertations & Theses / Microforms
59.
From motor learning to social learning a study of development on a humanoid robot
Author
Sun, Ganghua
Published
c2006.
Location
Library Shelving Facility (LSF) >> Film D12961
Format
Books / Dissertations & Theses / Microforms
60.
Learning via queries
Author
Chen, Jiang
Published
c2006.
Location
Library Shelving Facility (LSF) >> Film D12667
Format
Books / Dissertations & Theses / Microforms
61.
Pass-efficient algorithms for clustering
Author
Chang, Kevin Li-Chiang
Published
c2006.
Location
Library Shelving Facility (LSF) >> Film D12834
Format
Books / Dissertations & Theses / Microforms
62.
Toward a differential geometric model for stereo vision curves and surfaces
Author
Li, Gang
Published
c2006.
Location
Library Shelving Facility (LSF) >> Film D12883
Format
Books / Dissertations & Theses / Microforms
63.
Foundations of inter-domain routing
Author
Ramachandran, Vijay
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12584
Format
Books / Dissertations & Theses / Microforms
64.
Massive data streams in graph theory and computational geometry
Author
Zhang, Jian
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12611
Format
Books / Dissertations & Theses / Microforms
65.
Safety verification of low-level code
Author
Yu, Dachuan
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12286
Format
Books / Dissertations & Theses / Microforms
66.
Sparse coding via geometry
Author
Huggins, Patrick S.
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12546
Format
Books / Dissertations & Theses / Microforms
67.
A syntactic approach to foundational proof-carrying code
Author
Hamid, Nadeem Abdul
Published
c2005.
Location
Library Shelving Facility (LSF) >> Film D12634
Format
Books / Dissertations & Theses / Microforms
68.
Distributed data structures for peer-to-peer systems
Author
Shah, Gauri
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D11952
Format
Books / Dissertations & Theses / Microforms
69.
Modeling user interfaces in a functional language
Author
Courtney, Antony Alexander
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D12017
Format
Books / Dissertations & Theses / Microforms
70.
Principled compilation and scavenging
Author
Monnier, Stefan
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D11925
Format
Books / Dissertations & Theses / Microforms
71.
Privacy, integrity, and incentive-compatibility in computations with untrusted parties
Author
Zhong, Sheng
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D12289
Format
Books / Dissertations & Theses / Microforms
72.
Societies of randomly interacting finite-state automata
Author
Diamadi, Zoë
Published
c2004.
Location
Library Shelving Facility (LSF) >> Film D12208
Format
Books / Dissertations & Theses / Microforms
73.
Distributed algorithmic mechanism design
Author
Sami, Rahul
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11950
Format
Books / Dissertations & Theses / Microforms
74.
Functional reactive programming for real-time reactive systems
Author
Wan, Zhanyong
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11691
Format
Books / Dissertations & Theses / Microforms
75.
Microarchitecture for billion-transistor VLSI superscalar processors
Author
Loh, Gabriel Hsiuwei
Published
[2003], c2002.
Location
Library Shelving Facility (LSF) >> Film D11667
Format
Books / Dissertations & Theses / Microforms
76.
The perceptual organization of visual flows
Author
Ben-Shahar, Ohad
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11868
Format
Books / Dissertations & Theses / Microforms
77.
Randomized algorithms for matrix operations
Author
Drineas, Petros
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11851
Format
Books / Dissertations & Theses / Microforms
78.
A type-preserving computer infrastructure
Author
League, Christopher Adam
Published
c2003.
Location
Library Shelving Facility (LSF) >> Film D11665
Format
Books / Dissertations & Theses / Microforms
79.
A type system for certified runtime type analysis
Author
Saha, Bratin
Published
[2003], c2002.
Location
Library Shelving Facility (LSF) >> Film D11610
Format
Books / Dissertations & Theses / Microforms
80.
PATH, a program transformation system for Haskell
Author
Tullsen, Mark Anders
Published
c2002.
Location
Library Shelving Facility (LSF) >> Film D11474
Format
Books / Dissertations & Theses / Microforms
81.
Provably good computational approximations to some difficult problems in finance and economics
Author
Akcoglu, Karhan Eren
Published
c2002.
Location
Library Shelving Facility (LSF) >> Film D11281
Format
Books / Dissertations & Theses / Microforms
82.
Reconstructing phylogenies in Markov models of sequence evolution
Author
Csűrös, Milkós
Published
c2001.
Location
Library Shelving Facility (LSF) >> Film D14471
Format
Books / Dissertations & Theses / Microforms
83.
A general framework for Hindley/Milner type systems with constraints
Author
Sulzmann, Martin
Published
c1999.
Location
Library Shelving Facility (LSF) >> Film D11178
Format
Books / Dissertations & Theses / Microforms
84.
Mutable abstract datatypes a connection between linear types and state monads
Author
Chen, Zhiping
Published
c1999.
Location
Library Shelving Facility (LSF) >> Film D10729
Format
Books / Dissertations & Theses / Microforms
85.
Learning from different teachers and imperfect queries
Author
Kriķis, Mārtiņš
Published
1998.
Location
Library Shelving Facility (LSF) >> Film D10816
Library Shelving Facility (LSF) >> Film D10816
Format
Books / Dissertations & Theses / Microforms
86.
An algebraic approach to disturbed data structures
Author
Pai, A. Satish
Published
c1997.
Location
Library Shelving Facility (LSF) >> Film D10164
Library Shelving Facility (LSF) >> Film D10164
Format
Books / Dissertations & Theses / Microforms
87.
Volume bounded molecular computation
Author
Fu, Bin
Published
[1997]
Location
Library Shelving Facility (LSF) >> Film D10251
Library Shelving Facility (LSF) >> Film D10251
Format
Books / Dissertations & Theses / Microforms
88.
DeepSpec : modular certified programming with deep specifications
Author
Weng, Shu-Chun
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19004
Format
Books / Microforms
89.
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
90.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
Author
Gu, Ronghui
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19074
Format
Books / Microforms
91.
Facilitating the Acquisition of Realistic Material Appearance Models
Author
Lockerman, Yitzchak
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19102
Format
Books / Microforms
92.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
Author
Costanzo, David
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19052
Format
Books / Microforms
93.
Learning regular languages and automaton graphs
Author
Chen, Dongqu
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18846
Format
Books / Microforms
94.
Nonverbal communication in socially assistive human-robot interaction
Author
Admoni, Henny
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18812
Format
Books / Microforms
95.
Practical and Deployable Secure Multi-Party Computation
Author
Gupta, Debayan
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19075
Format
Books / Microforms
96.
A wire-compatible TCP implementation for low-latency applications
Author
Nowlan, Michael F.
Published
[New Haven, Connecticut] : Yale University, 2014.
Location
Library Shelving Facility (LSF) >> Film D18733
Format
Books / Microforms
97.
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
98.
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
99.
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
100.
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