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 35336 for “"type"”.
-
Type system for resource bounds with type-preserving compilation
… fees) can be charged. I designed TiML, a new typed functional programming language whose types contain resource bounds; when a TiML program passes the typechecking phase, upper bounds on its resource usage can be guaranteed. TiML uses indexed types to express sizes of data structures and upper …
-
Type checking and type inference for object-oriented programming languages
Type systems for object-oriented programming languages have been studied a great deal over the past few years. Since Smalltalk was one of the earliest object-oriented languages, it is not surprising that there have been several attempts to provide a type system for it. Unfortunately, none of the …
-
Learning from type?
… the impact of mentor and mentee personality type in formal mentoring relationships. The research sought to identify whether there were individual personality characteristics which impact on relationship dynamics and the learning derived from these relationships. The Myers Briggs Type …
-
Rademacher-Type Series
Unavailable
-
LAPLACIAN TYPE EQUATIONS
Questa tesi si occupa di problemi ellittici non lineari in diversi spazi ambiente, con operatori p-Laplaciano e (p, q)-Laplaciano, dove p e q possono essere numeri reali o funzioni a valori reali. Si tratta di un importante campo di applicazione dei metodi variazionali, che sono utili strumenti non …
-
Exploring the Grey Zone between Type 1 and Type 2 Diabetes
… beta cells, presence of certain risk genotypes such as HLA-DQB1, INS VNTR, PTPN22 and need of insulin for survival. In adults the same situation is often referred to as Latent Autoimmune Diabetes in Adults (LADA), with age at onset after 35 years and non-insulin requiring at least for 6 …
-
Study of Type-I and Type-Ii Strained Quantum -Well Lasers
Semiconductor lasers with three types of quantum wells (QWs) (type-I, staggered type-II, and broken-gap type-II QWs) are studied. For a type-I QW structure, the 1.55-pm InGaAsP and InGaAlAs QW lasers are investigated both in the steady-state and high-speed modulation schemes. We show excellent …
-
Connections between Floer-type invariants and Morse-type invariants of Legendrian knots.
We investigate existing Legendrian knot invariants and discover new connections between the theory of generating families, normal rulings and the Chekanov-Eliashberg differential graded algebra: CE-DGA). Given a Legendrian knot $\sK$ with generic front projection $\sfront$, we define a …
-
Stat3 Inhibits Type I Interferon Signaling In Type I Conventional Dendritic Cells
… adaptive immunity and tolerance. Recently, type I cDCs (cDC1s) have been delineated as a distinct cDC subset, uniquely responsible for coordinating T cell-mediated immunity against pathogens and tumors. Although the importance of cDC1s is now well established, the mechanisms that regulate …
-
Studies on Type I and Type II DNA Topoisomerases From Mammalian Mitochondria
… characteristics of both nuclear and bacterial type I DNA topoisomerases. This enzyme, purified from bovine liver, requires cations as cofactors and possesses optimal activity at pH 7.0, 37°C and either 150 mM K+ or Na+ ions. Similar to nuclear enzymes and different from the bacterial enzyme, …
-
Type Oriented Parallel Programming
… conceptually simple and efficient. Method: A type-based approach, which allows the programmer to control all aspects of parallelism by the use and combination of types has been developed. As a vehicle to present and analyze this new paradigm a parallel language, Mesham, and associated …
-
Noncommutative Sobolev type inequalities
In this thesis, we study Sobolev type inequalities in the noncommutative (quantum) settings. We establish the abstract Bakry-\'Emery criterion for the operator-valued $f$-Sobolev inequalities on the derivation triple. We recapture the celebrated Bakry-\'Emery theorem for operator-valued functions …
-
Disk type electrostatic generator
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1937.
-
An inductor-type alternator
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering, 1953.
-
Type I collagen proteostasis
… mechanisms of proteostasis for collagen type-1, the most abundant collagen in the human body. First, I explore the folding and assembly of the critically important C-terminal, globular propeptide domains of collagen-I. My data demonstrate the importance of a single amino acid in the …
Page 1 of 1767