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 29990 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, …
-
Homormophic Images and their Isomorphism Types
<p>In this thesis we have presented original homomorphic images of permutations and monomial progenitors. In some cases we have used the double coset enumeration tech- nique to construct the images and for all of the homomorphic images that we have discovered, the isomorphism type of each group is …
-
Predicting query types by prosodic analysis
… prosodic analysis and other means, of utterance types and dialogue moves in spoken corpora. Much of this output, while often linguistically well motivated, tends to rely on hand-crafted rules. This thesis presents a data-driven approach to the classification of utterances, using a novel …
-
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 …
Page 1 of 1500