Clear Search

Books+ Search Results

Subject: "Science"
Format: Is
Is Is Not
Dissertations & Theses
Language: Is
Is Is Not
English

Advanced Search

Basic Search
Help
Add a row
Reset

Limit results by

Show Online Results Only
Online Results (2,738)

Limit your search

-
Current results range from 1813 to 2022

1.
An inaugural essay on physeodesmos, or, The tie of creation ..
Author
Burton, Aaron
Published
Baltimore [Md.] : Printed by Sergeant Hall, 1813.
Location
SML, Microform (Non-Circulating) >> Microprint 7
Format
Books / Dissertations & Theses / Microforms
2.
Alternative History: Multi-Log Systems in Theory and Practice
Author
Lockerman, Joshua Z.
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
3.
The Contribution of the Residential Environment to Indoor Air Pollutants
Author
Deslauriers, Jessica
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
4.
Directed Association: A Defense of State Action in the Pursuit of Radical Democracy
Author
Ramesh, Hari Narayan
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
5.
Modular and Compositional Development of Certified Concurrent Software Systems
Author
Kim, Jieung
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
6.
Moral Wayfinding in the City of Man: Recovering the Political Thought of Reinhold Niebuhr
Author
Greenberg, Aaron Samuel
Published
Ann Arbor : ProQuest Dissertations & Theses, 2019.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
7.
Bound by Belief: Rethinking the Liberty of Conscience in Early Modern Political Thought
Author
Gais, Amy
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
8.
A Compositional Automation Engine for Verifying Complex System Software
Author
Wu, Xiongnan Newman
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
9.
Conflict, Order, and Cooperation in Refugee Crises: Theory and Evidence from the Syrian Refugee Crisis
Author
Masterson, Daniel T. R.
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
10.
High Performance Multi-core Transaction Processing via Deterministic Execution
Author
Faleiro, Jose Manuel
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
11.
Imperial Practice and Political Thought: Sovereignty and Political Economy in British India, c. 1757-1815
Author
Sinha, Anurag
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
12.
Legacies of Civil War: Wartime Governance and Communal Authority in Rural Colombia
Author
Castillo, Andres Ricardo Vargas
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
13.
Modular and Certified Resource-Bound Analyses
Author
Carbonneaux, Quentin
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
14.
A Network Approach to International Relations
Author
Li, Yuke
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
15.
Three Essays on the Behavioral Political Economy of Government Spending
Author
Ashok, Vivekinan Lavanya
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
16.
Three Essays on Time Preferences in Political Behavior
Author
Schafer, Jerome Pablo
Published
Ann Arbor : ProQuest Dissertations & Theses, 2018
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
17.
Arendt's Plato: The Politics of Philosophy at the Birth of the Western Tradition
Author
Entel, Lucas Eduardo
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
18.
Cosmopolitan Territories: Land, Jurisdiction, and International Law
Author
Jurkevics, Anna
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017
Online
https://yale.idm.oclc.org/login?URL=http://gateway.proquest.com/openurl?url_v...
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
19.
Information, Accountability, and Political Elite Behavior
Author
Raffler, Pia Johanna
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017
Online
https://yale.idm.oclc.org/login?URL=http://gateway.proquest.com/openurl?url_v...
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
20.
Intuitive 3D Design Tools: Bridging Traditional and Digital Prototyping
Author
Paczkowski, Patrick
Published
Ann Arbor : ProQuest Dissertations & Theses, 2017
Online
https://yale.idm.oclc.org/login?URL=http://gateway.proquest.com/openurl?url_v...
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
21.
DeepSpec: Modular Certified Programming with Deep Specifications
Author
Weng, Shu-Chun
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
22.
The Effect of Collaboration on Distributive Preferences: Behavioral Games and a Field Experiment
Author
McGrath, Mary Caroline
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
23.
An Extensible Architecture for Building Certified Sequential and Concurrent OS Kernels
Author
Gu, Ronghui
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
24.
Facilitating the Acquisition of Realistic Material Appearance Models
Author
Lockerman, Yitzchak
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
25.
Formal End-to-End Verification of Information-Flow Security for Complex Systems
Author
Costanzo, David
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
26.
Learning Regular Languages and Automaton Graphs
Author
Chen, Dongqu
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
27.
Nonverbal Communication in Socially Assistive Human-Robot Interaction
Author
Admoni, Henny
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
28.
Practical and Deployable Secure Multi-Party Computation
Author
Ghupta, Debayan
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
29.
The President in His Labyrinth: Checks and Balances in the New Pan-American Presidentialism
Author
Katz, Andrea Scoseria
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
30.
A Theory of Global Injustice
Author
Nili, Shmuel
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
31.
Three Essays on India's Weakly Institutionalized Party System
Author
Nellis, Gareth
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
32.
Violence and Ethnic Boundaries: Three Essays
Author
Weaver, Michael
Published
Ann Arbor : ProQuest Dissertations & Theses, 2016.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
33.
Building Privacy-Preserving Cryptographic Credentials from Federated Online Identities
Author
Maheswaran, John
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
34.
Divided Government and Legislative Bargaining in Japan and South Korea
Author
Kim, Jung
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
35.
A Double Edged Sword: Western Media in Transforming the Political Attitudes of Overseas Chinese
Author
Tai, Qiuqing
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
36.
Effects, Asynchrony, and Choice in Arrowized Functional Reactive Programming
Author
Winograd-Cort, Daniel
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
37.
Essays on Informal Governance: Enforcement and Accountability under Weak Institutions
Author
Lierl, Malte M.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
38.
Four Essays on Peacebuilding and the Consolidation of State Authority
Author
Blair, Robert Allen, II
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
39.
Identity Management through Privacy-Preserving Authentication
Author
Syta, Ewa
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
40.
It's More Than Who You Know: The Role of Access, Procedural and Political Expertise, and Policy Knowledge in Revolving Door Lobbying
Author
Chausow, Lara Elizabeth
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
41.
The problem of tyranny and philosophy: The political thought of Friedrich Nietzsche
Author
Alamariu, Costin Vlad
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
42.
Seeking Invariance in the Shape from Shading Problem
Author
Holtmann-Rice, Daniel Niels
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
43.
Shared Plans or Shared Power? Rule of Law Paths in New Democracies
Author
Russell, Kevin Daniel
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
44.
Taxation and Accountability in Sub-Saharan Africa
Author
Martin, Lucy Elizabeth Semple
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
45.
This land is my land: Access to justice and the sacred stakes of land disputes in Liberia
Author
Hartman, Alexandra C.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
46.
Three essays on legislative tactics, electoral accountability, and experimental methods
Author
Dynes, Adam Michael
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
47.
Warding off Timing Channels in Deterland
Author
Wu, Weiyi
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
48.
Creating Personalized Robot Tutors That Adapt to The Needs of Individual Students
Author
Leyzberg, Daniel Noah
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
49.
Large-Scale Graph Data Processing
Author
Huang, Jiewen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
50.
Militias and the Dynamics of Civil War
Author
Jentzsch, Corinna
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
51.
Programmable and Scalable Software-Defined Networking Controllers
Author
Voellmy, Andreas Richard
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
52.
Relative Performance and the Incumbent Vote: A Reference Point Theory of Economic Voting
Author
Aytac, Selim Erdem
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
53.
Representation Within Bounds
Author
Truex, Richard Olmsted
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
54.
Traffic Planning under Network Dynamics
Author
Liu, Hongqiang
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
55.
A Wire-Compatible TCP Implementation for Low-Latency Applications
Author
Nowlan, Michael F.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
56.
Certifying Virtual Memory Manager Using Multiple Abstraction Levels
Author
Vaynberg, Alexander Leo
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
57.
Data-driven Image Editing for Perceptual Effectiveness
Author
Xue, Su
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
58.
Deterministic Transaction Execution in Distributed Database Systems
Author
Thomson, Alexander Garvey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
59.
Dictionary Learning: Algorithms and Analysis
Author
Wang, Huan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
60.
Efficient Fault-Tolerant Infrastructure for Cloud Computing
Author
Su, Xueyuan
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
61.
Example-Driven Query Synthesis
Author
Abouzied, Azza
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
62.
VeriML: A Dependently-typed, user extensible and language-centric approach to proof assistants
Author
Stampoulis, Antonios Michael
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
63.
Deterministic OpenMP
Author
Aviram, Amittai F.
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
64.
Acquiring the Shape and Appearance of Physical Scenes
Author
Xu, Chen
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
65.
A Dual-System Approach to Realistic Evaluation of Large-Scale Networked Systems
Author
Alimi, Richard Allan
Published
2011
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
66.
Message Passing Algorithms for Optimization
Author
Ruozzi, Nicholas Robert
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
67.
The Theory and Practice of Causal Commutative Arrows
Author
Liu, Hai
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
68.
Implementation and Evaluation of Privacy-Preserving Protocol
Author
Saint-Jean Antonijevic, Felipe
Published
2010
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
69.
Memory Consistency and Program Verification
Author
Ferreira, Rodrigo
Published
2010
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
70.
Syntactic finitism in the metatheory of programming languages
Author
Sarnat, Jeffrey
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
71.
Accelerated dense random projections
Author
Liberty, Edo
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
72.
Design and analysis of efficient anonymous-communication protocols
Author
Johnson, Aaron
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
73.
Efficient and robust traffic engineering in a dynamic environment
Author
Wang, Hao
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
74.
Efficient graph-based algorithms for linear equations, network flows, and machine learning
Author
Daitch, Samuel Isaac
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
75.
Fast construction algorithms for overlay networks
Author
Wu, Yinghua
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
76.
Hashing, contention, and cell-probe proofs
Author
Yin, Yitong
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
77.
Studies in texture generation of weathered appearance from captured data
Author
Lu, Jianye
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
78.
Theory and application of extractable functions
Author
Dakdouk, Ramzi Ronny
Published
2009
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
79.
Clustering algorithms for random and pseudo-random structures
Author
Mitra, Pradipta
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
80.
Explicit communications for cooperative internet traffic control
Author
Xie, Haiyong
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
81.
Functional programming with logical frameworks
Author
Poswolsky, Adam Brett
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
82.
Functional reactive control of humanoid robots
Author
Huang, Liwen
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
83.
The mechanized verification of garbage collector implementations
Author
McCreight, Andrew Evan
Published
2008
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
84.
Distributed systems of simple interacting agents
Author
Jiang, Hong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
85.
Modular machine code verification
Author
Ni, Zhaozhong
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
86.
Multipath resource management in overlay networks
Author
Ma, Zheng
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
87.
Semantic tuple space coordination for the Semantic Web with applications in life science
Author
Qi, Peishen
Published
2007
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
88.
Efficient cryptographic tools for secure distributed computing
Author
Yampolskiy, Aleksandr
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
89.
Fine-grained localization in sensor and ad-hoc networks
Author
Goldenberg, David K.
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
90.
Fundamental issues in representing NP-complete problems
Author
Shah, Jatin
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
91.
Learning via queries
Author
Chen, Jiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
92.
Pass-efficient algorithms for clustering
Author
Chang, Kevin Li-Chiang
Published
2006
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
93.
Foundations of inter-domain routing
Author
Ramachandran, Vijay
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
94.
Massive data streams in graph theory and computational geometry
Author
Zhang, Jian
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
95.
Sparse coding via geometry
Author
Huggins, Patrick S.
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
96.
A syntactic approach to foundational proof-carrying code
Author
Hamid, Nadeem Abdul
Published
2005
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
97.
Modeling user interfaces in a functional language
Author
Courtney, Antony Alexander
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
98.
Ontology translation by ontology merging and automated reasoning
Author
Dou, Dejing
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
99.
Privacy, integrity, and incentive-compatibility in computations with untrusted parties
Author
Zhong, Sheng
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses
100.
Safety verification of low-level code
Author
Yu, Dachuan
Published
2004
Online
Online thesis
Location
Yale Internet Resource >> None
Format
Books / Online / Dissertations & Theses