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 1521 for “"A-Type"”.
-
SARK: a type-insensitive Runge-Kutta code
… is also incorporated. Numerical results from the type-insensitive code, SARK, indicate that it performs better than the most widely used non-stiff solver and is often more efficient than a specialized stiff solver.
-
Investigating the A-type stars using Kepler data
Rotation is a key physical process operating in the A stars. We present a method by which rotation periods might be measured with Fourier transforms of Kepler data, potentially removing the requirement of spectroscopic observations to acquire similar information. Angular rotational velocities reach …
-
A type-theoretic approach to semistrict higher categories
… for adding definitional equality to the type theory Catt, a type theory whose models correspond to globular weak ∞-categories, which was introduced by Finster and Mimram. Adding equality to this theory causes the models to exhibit semistrict behaviour, trivialising some operations while …
-
A type-based framework for higher-order quantum theory
… 2019]. The framework is based on a set of types, denoted TypesA. Types may be thought of as labels that we use to identify and differentiate all the different kinds of objects of higher-order quantum theory. The central objects of the framework are typed (higher-order) linear maps, as given …
-
Novel Roles for A-Type Lamins in Maintaining Genomic Stability
A-type lamins, key structural components of the nucleus, have been implicated in the maintenance of nuclear architecture and chromatin organization. Mutations in A-type lamins have been associated with defects in a number of nuclear processes, including DNA replication and repair, and gene …
-
Differentiating Small Urban Space as a Type and an Idea
… first study investigates small urban space as a type and primarily seeks to determine whether the term has the capacity to identify and differentiate such physical spaces as a type. Auckland, New Zealand and Boise, Idaho provided contrasting case studies. Candidate spaces selected from the urban …
-
A virtual machine for a type-[omega] denotational proof language
Thesis (M.Eng. and S.B.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2002.
-
Analysis and Modelling of a Type II White-light Solar Flare
Type II white-light flares (WLFs) are rare impulsive events in solar atmosphere observed across the electromagnetic spectrum, but without the characteristic emission in hydrogen lines. A unique set of multi-instrument observations is presented with broad wavelength range spectra in the visible and …
-
Modeling the Behavior of a Type-319 Aluminum Alloy During Quenching
… tolerances. In this work, the behavior of a type-319 cast aluminum alloy (W319) is studied, from the equilibrium solid-solution state, to the end of the quench. A mechanical threshold stress model is used to predict the onset of plastic deformation in quenched parts due to effects of …
-
A type-checking preprocessor for Cilk 2, a multithreaded C language
Thesis (M. Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
-
Characterization of PFF1010c, a type IV Plasmodium fasciparum heat shock protein 40
… prevail in the host environment. PFF1010c is a type IV P. falciparum heat shock protein 40. PFF1010c is predicted to be expressed only at the gametocyte stage of the malarial parasite’s life cycle. The aim of the current study was to investigate the expression PFF1010c by parasites and the …
-
Selp-phase locking in a type-II phase matched optical parametric oscillator
Thesis (M.Eng.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1996.
-
Characterization of A-type Proanthocyanidins in Peanut Skins Using MALDI-TOF MS
… in recent years, due to its high content of A-type proanthocyanidins. A-type proanthocyanidins have been believed to contribute to cranberries' anti-UTI (urinary tract infection) effect. In this study, we compared the A-type proanthocyanidins in cranberry and peanut skin crude extracts using …
-
Investigations into the Notion of Sculptors’ Drawings as a Type in Renaissance Tuscany
The notion of a sculptural type of drawing is often summarily included in critical literature. These references tend to be brief and regularly contradict one another. Furthermore, drawings made by Tuscan sculptors of the sixteenth century are often neglected altogether. This thesis investigates the …
-
Three-dimensional structure of a type III glutamine synthetase by single particle reconstruction
… the first structural investigation of any type III glutamine synthetase (GS). The GS, GlnA, from the medically important opportunistic human pathogen Bacteroides fragilis was studied with a view to better understanding its structure/functioning in relation to the extensively characterised …
-
Improving security at the system-call boundary in a type-safe operating system
… layers. We describe a vulnerability in Tock, a type-safe operating system, at the system-call boundary. We then introduce a technique for providing memory safety at the boundary between userland and the kernel in Tock. We demonstrate that this technique works to prevent against the …
-
Quantum intensity noise correlation in a Type-II phase matched optical parametric oscillator
Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1995.
-
A calorimetric study of the effects of surface energy in a type II superconductor
"A calorimetric study of the effects of the interphase surface free energy has been conducted on ellipsoidal samples of first and second kind superconductors. The measurements were performed using a specially designed magnetization calorimeter by two different techniques. The measurements were made …
-
A type-2 fuzzy logic based goal-driven simulation for optimising field service delivery
This thesis develops an intelligent system capable of incorporating the conditions that drive operational activity while implementing the means to handle unexpected factors to protect business sustainability. This solution aims to optimise field service operations in the utility-based industry, …
-
System Identification and Adaptive Closed-Loop Glucose Control in a Type 1 Diabetic Swine Model
… for closed-loop control of blood glucose in type 1 diabetes, and is experimentally tested using insulin-glucagon infusion pumps to regulate blood glucose online in a diabetic swine model in vivo. As a preliminary study, the pharmacodynamics and stability at room temperature of glucagon in …
Page 1 of 77