Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 29298 for “"Types"”.
-
Sentence Types and Complement Types in English
Made available in DSpace on 2014-12-10T21:49:41Z (GMT). No. of bitstreams: 1 7212436.pdf: 9281010 bytes, checksum: 0844091955dc5c0f10ca9e0b810106e6 (MD5) Previous issue date: 1971
-
Types, categories, actions
… framework for type systems with dimension types. We develop some informative models of this type theory, including a model based on group actions that captures invariance under scaling.
-
"Six house types"
… in this thesis through the making of six house types. The houses are made as a series and are seen as typological structures in which the configuration of possible ways of dwelling are sketched.
-
Constructing Higher Inductive Types
Contains fulltext : 226923.pdf (Publisher’s version ) (Open Access)
-
Program Synthesis With Types
… themselves'' once the programmer gets the types correct. In light of this observation, can we use type theory to build more expressive and efficient type-directed synthesis systems for this domain of programs? This dissertation answers this question in the affirmative by building novel …
-
Polarized substructural session types
… languages and type features such as Session Types. Session types take as their conceptual notion of concurrency as a collection of processes linked together via channels and provide type-level coordination between processes using these channels. Logically motivated programming languages …
-
Types Over Banach Spaces
We give a characterization of Banach lattice types over L p(O, U , mu) in terms of conditional distributions.
-
Parameterized types for GOO
… some unique relationships between parameterized types that are generally inexpressible in a standard type system, in order to make the system applicable to a wider variety of situations. I have also added a unification system to the method dispatch in GOO in order to allow the relationship …
-
Putting Types To Good Use
Contains fulltext : 30218.pdf (Publisher’s version ) (Open Access)
-
Dependency Tracking and Dependent Types
… computations depend on their inputs. Dependent types, on the other hand, allow static types to depend on and be determined by program values. This dissertation describes my work on designing expressive dependently typed systems where useful features such as relevance tracking and termination …
-
Female Types in Literary History
Constancy has never been considered one of the attributes of woman, which makes it entirely proper that heroines should have altered their characters in fiction almost as often as they have changed their styles in dress; each age has modeled anew the face of woman altering her vices and her virtues …
-
Four Types of Picaresque Fiction
Made available in DSpace on 2014-12-14T13:49:04Z (GMT). No. of bitstreams: 1 7607006.pdf: 17080425 bytes, checksum: 25abc1442a3212e1c5bfd71de522b381 (MD5) Previous issue date: 1975
-
Mechanism design with approximate types
In mechanism design, we replace the strong assumption that each player knows his own payoff type exactly with the more realistic assumption that he knows it only approximately: each player i only knows that his true type [theta]i; is one among a set [Kappa]i, and adversarially and secretly chosen …
-
Pyrolysis of different coal types
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Chemical Engineering, 1988.
-
Practical pluggable types for Java
… qualifier inference and for polymorphism over types and qualifiers. The Checker Framework is well-integrated with the Java language and toolset. We have evaluated the Checker Framework by writing five checkers and running them on over 600K lines of existing code. The checkers found real errors, …
-
Professional Writers, Personality Types, & Genre Choice
… between professional writers' personality types and the genres in which they write? Accordingly, data were collected via interviews with and surveys of professional writers. In Phase I of the research study, three face-to-face interviews with writers representative of different genres were …
-
Collective Dynamics of Interacting Cell Types
… Motivated by the ongoing data revolution, cell types are defined here as subsets of gene expression space that are invariant to the dynamics of gene regulation. In particular, I investigate physics-inspired dynamical systems that encode cell types as fixed point attractors. In the process, I …
-
Three essays on special donation types
… factors associated with special donation types such as 1) bequests, 2) lifetime donations to specific cause types, or 3) the intersection of bequests and lifetime donations to specific cause types. This dissertation provides new information addressing all three of these areas. Essay 1 …
-
Improved Inference of Ecological Interaction Types
Inference of microbial interaction types allows us to understand the growth and development of microbial life forms found on earth. Numerous methods have been proposed to infer the interaction type(s) of microbes in a microbial communities using a population dynamics model. However, due to dynamic …
Page 1 of 1465