Clear Search

Books+ Search Results

Subject: "Computers"
Location: Is
Is Is Not
Library Shelving Facility (LSF)
Subject (Genre): Is
Is Is Not
Academic theses

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

1.
Intuitive 3d design tools : bridging traditional and digital prototyping
Author
Paczkowski, Patrick
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19331
Format
Books / Microforms
2.
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
3.
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
4.
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
5.
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
6.
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
7.
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
8.
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
9.
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
10.
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
11.
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
12.
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
13.
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
14.
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
15.
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
16.
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
17.
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
18.
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
19.
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
20.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19596
Format
Books / Microforms
21.
Advanced information retrieval and extraction in research and clinical settings
Author
Nagy, Mate
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19184
Format
Books / Microforms
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.
Computational identification of B cell clones in high-throughput immunoglobulin sequencing data
Author
Gupta, Namita
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19174
Format
Books / Microforms
24.
Computational methods for plant population genomics
Author
Fragoso, Christopher A.
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19247
Format
Books / Microforms
25.
Computation methods for the analysis of b cell repertoires and applications to human autoimmunity
Author
Vander Heiden, Jason Anthony
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
Library Shelving Facility (LSF) >> Film D19383
Format
Books / Microforms
26.
Novel statistical methods for detection and interpretation of cancer biomarkers
Author
Huang, Xiu
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18900
Format
Books / Microforms
27.
Statistical and Computational Methods for Integrative Analysis in Cancer Genomics
Author
Jiang, Tingting
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D19083
Format
Books / Microforms
28.
Statistical and computational methods on GWAS and post-GWAS analysis to identify genetic basis of intracranial aneurysm
Author
Cheng, Yuwei
Published
[New Haven, Connecticut] : Yale University, 2016.
Location
Library Shelving Facility (LSF) >> Film D18851
Format
Books / Microforms
29.
B Cell Clonal Lineage and Somatic Hypermutation Profiling Analysis
Author
Zhou, Julian Quan
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20684
Format
Books / Microforms
30.
Computational Methods for Single Cell RNA Sequencing Analysis
Author
Zhao, Jun
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20516
Format
Books / Microforms
31.
Geometric Data Organization: Algorithms and Applications
Author
Stanley III, Jay S
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20475
Format
Books / Microforms
32.
Inference of Natural Selection in Human Populations and Cancers: Testing, Extending, and Complementing dN/dS-like Approaches
Author
Meyerson, William Ulysses
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20715
Format
Books / Microforms
33.
Integrative Analysis of Neuroimaging, Cognitive Functions and Genetics Data
Author
Ji, Dingjue
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20392
Format
Books / Microforms
34.
Machine Learning with Multimodal Data
Author
Lopez, Kevin
Published
[New Haven, Connecticut] : Yale University, 2020.
Location
LSF - Request for in-building use at any Yale library >> Film D20608
Format
Books / Microforms
35.
Computational Modeling of Immune Cells during Tumor Development using the Deformable Particle Model
Author
Signoriello, Alexandra Rae
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20111
Format
Books / Microforms
36.
Leveraging Functional Genomic Data : Modeling Transcriptional Dynamics and Interpreting Disease Genomes
Author
Lee, Donghoon
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20234
Format
Books / Microforms
37.
Picking Targets : Exploring Genomic Biomarkers of Breast Cancer Across Trials, Treatments, and Tissues
Author
Powles, Ryan L
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20265
Format
Books / Microforms
38.
A Transferable Framework for Large-Scale Genome Annotation with Applications in Disease Studies
Author
Gu, Mengting
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D19981
Format
Books / Microforms
39.
Two Novel Algorithms for Extracting Patient Specific Information from Tumor Biopsies GRAPE : A Pathway Template Method to Characterize Tissue-Specific Functionality from Gene Expression Profiles CRSO: A Tool for Identifying Driver Gene Combinations in Individual Cancer Patients
Author
Klein, Michael
Published
[New Haven, Connecticut] : Yale University, 2019.
Location
LSF - Request for in-building use at any Yale library >> Film D20017
Format
Books / Microforms
40.
Computational Studies of Protein Structure
Author
Gaines, Jennifer Christine
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19625
Format
Books / Microforms
41.
Mathematical Modeling of Cell Type Evolution : Gene Expression and Gene Regulatory Networks
Author
Liang, Cong
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
Library Shelving Facility (LSF) >> Film D19413
Format
Books / Microforms
42.
Volume- and Cell-Cycle-Aware Stochastic Modeling of Gene Networks
Author
Song, Ruijie
Published
[New Haven, Connecticut] : Yale University, 2018.
Location
LSF - Request for in-building use at any Yale library >> Film D19907
Format
Books / Microforms
43.
Computational Discovery of Immunoglobulin Genotypes from High-throughput B-cell Receptor Sequencing Data
Author
Gadala-Maria, Daniel Francis
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19478
Format
Books / Microforms
44.
Mining Large-scale Sequencing Reads to Learn Mutational Processes
Author
Li, Shantao
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19502
Format
Books / Microforms
45.
Post-GWAS Analysis Incorporating Multiple Phenotypes, Transcriptome Variation and Biological Networks
Author
Wang, Qian
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19560
Format
Books / Microforms
46.
A Systems Approach to Understanding Influenza Infection and Vaccination Responses
Author
Avey, Stefan
Published
[New Haven, Connecticut] : Yale University, 2017.
Location
LSF - Request for delivery to any Yale Library >> Film D19442
Format
Books / Microforms