NDLTD logo NDLTD Union Catalog and Global ETD Search

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 117 for “"Spec#"”.

  1. Matching Spec# Specifications

    Li, PeihanNational University of Ireland Maynooth2013

    … project, we develop a tool which compares two Spec# programs (C# code with specification contracts) for signature matching. The tool automatically identifies whether the two specifications are similar, and gives out a new Spec# program which needs to be verified. There are levels of standards …

    maynooth Repository record

  2. Mass spec : the biography of a scientific instrument

    Calmes, JordanMassachusetts Institute of Technology2011

    Over the past century, the mass spectrometer has become commonplace in scientific fields ranging from chemistry to geology to environmental science. Its ability to identify compounds and determine concentrations of those compounds leads to a wide variety of applications, from environmental …

    mit Repository record

  3. Evaluation of SPEC®•Microcolumns for the extraction of ranitidine from urine

    Blankenship, Donna A.Virginia Tech1994

    … with little hope of automation. In this report, SPEC®⋅ Microcolumns are evaluated for the extraction of Zantac® (ranitidine hydrochloride) from urine for high performance liquid chromatography (HPLC) analysis. SPEC®⋅Microcolumns are rigid disc structures with glass fiber impregnated with silica …

    vt Repository record

  4. The conceptual design of architectural form : a performance spec for a computer system

    Jurgensen, Peter HaroldMassachusetts Institute of Technology1986

    … his concepts. This thesis will present a specification for a system that will satisfy the mandates. The creatrix will be specified in the context of what is feasible technologically now at a reasonable cost.

    mit Repository record

  5. Regulation of the speC gene encoding ornithine decarboxylase in Escherichia coli by putrescine, spermidine and cAMP

    Peters-Weigel, Sandra M.Virginia Tech1993

    In Escherichia coli, the speC gene encodes biosynthetic ornithine decarboxylase (ODC), an enzyme that catalyzes the decarboxylation of ornithine to produce putrescine. The two polyamines, putrescine and spermidine, and the cyclic AMP (CAMP) - cAMP receptor protein (CRP) are known to inhibit the …

    vt Repository record

  6. Development of a three wavelength short path extinction cell (SPEC) for in-situ determination of aerosols optical properties

    Meyers, Scott RyanUniversity of Illinois at Urbana-Champaign2021

    U of I Only Restriction set for Item 117729 on 2021-05-25T16:23:22Z with date by madinag@illinois.edu.

    uiuc Repository record

  7. Tough constructions in the context of English infinitives

    Brillman, RuthMassachusetts Institute of Technology2017

    … this question, this dissertation proposes that a spec-to-spec anti-locality constraint (in the spirit of Erlewine 2016 and Brillman & Hirsh to appear) limits subject tough movement because the subject tough movement chain is "too short." Brillman & Hirsh's spec-to-spec anti-locality constraint is …

    mit Repository record

  8. Function of Spectrin cytoskeleton in regulating epithelial architecture.

    Selvaraj, GokulUniversity of Cambridge2020

    … model system that enables to address this aspect in vivo. In Drosophila, FCs form the FE that surrounds the egg chamber, and this epithelium shares molecular and morphological features with vertebrate epithelia. Hence, this system provides a powerful model to study the mechanisms underlying …

    cambridge Repository record

  9. Revisão dos Lekiini (Diptera, Tachinidae) neotropicais

    Nunez, EnioUniversidade Federal do Rio de Janeiro2005

    … and Uruleskia, with the redescription of their species, including the type-species; description of four new species of Uruleskia from the north of Brazil: U. alba spec. nov., U. extremipilosa spec. nov., U. infima spec. nov. and U. parcapilosa spec. nov. and describes Murya gen.nov. for one new …

    brazil-uerj Repository record

  10. Characterization of the interaction of putrescine and the adenosine-3' ,5'-cyclic monophosphate-cAMP receptor protein complex in the regulation of the speC gene encoding ornithine decarboxylase in Escherichia coli

    Busse, Leigh AnneVirginia Tech1988

    … in the bacterium Escherichia coli. The speC gene encoding ODC has been shown to be subject to transcriptional repression by either putrescine or the cAMP- cAMP receptor protein (CRP) complex. To determine whether these regulatory modes are independent, the expression of ODC was …

    vt Repository record

  11. Investigation of polymer grade blending in Ziegler-Natta Catalysed ethylene polymerisation systems

    Nacerodien, Mogamat ThaabitDepartment of Chemical Engineering2014

    … this practice is the unwanted formation of off-spec polymer during the grade transition periods. Numerous studies have been conducted to address the issue of off-spec polymer formation. These studies involve applying optimal control theory to minimise the grade transition time or to minimise the …

    cape-town Repository record

  12. Adaptation of the EPT specification to a Ukrainian argumentative writing test within the contrastive rhetoric approach

    Kostenko, OlexandraUniversity of Illinois at Urbana-Champaign2013

    … Illinois, USA) English Placement Test (EPT) Specification (spec) to the Ukrainian argumentative writing test taken by Ukrainian high-school graduates as a part of the obligatory Unified State Examination (USE) within the contrastive rhetoric approach. Never before has any argumentative …

    uiuc Repository record

  13. Agent organization in the knowledge plane

    Li, Ji, 1975-Massachusetts Institute of Technology2008

    … at the network layer, and on top of it, multiple specialized KPs (spec-KPs). The NetKP organizes agents to provide valuable knowledge and facilities about the Internet to the spec-KPs. Each spec-KP is specialized in its own area of interest. In both the NetKP and the spec-KPs, agents are organized …

    mit Repository record

  14. Syntaktisk variation och förändring : En studie av subjektslösa satser i fornsvenska

    Håkansson, DavidSpråk- och litteraturcentrum, Lunds universitet2008

    … the other hand theories that regard contextual aspects as crucial. Chapter 4 presents the second part of the thesis and consists of an empirical study of subjectless clauses in the history of Swedish. A corpus of about 193,400 words was collected from 12 Old Swedish texts, and on the basis of a …

    lund Repository record

  15. CREATING TEST MECHANISMS FOR SILICON SUBSTRATE BASED (SSB) DEVICES FOR USE IN FAR-IR TO MILLIMETER ASTROPHYSICAL SPECTROSCOPY

    Linevsky, JacquelynCornell University2023

    … Fabry Perot Interferometer (FPI) for use in EoR-Spec instrument and the Virtually Imaged Phase Array (VIPA) spectrograph for use in the POEMM (Planetary Origins and Evolution Multispectral Monochromator) instrument. This paper is divided into three chapters: Chapter I, ‘The tip-tilt mechanism’, …

    cornell Repository record

  16. Structural case on adjuncts

    Jou, EunsunMassachusetts Institute of Technology2024

    … accusative case. I derive these patterns from a specific model of Voice, and a model of successive-cyclic Dependent Case. I first argue in favor of a Voice system that treats passive and inchoative constructions as syntactically equivalent: whether a nonactive construction is passive or …

    mit Repository record

  17. Development of ultracompact, high-sensitivity, space-based instrumentation for far-infrared and submillimeter astronomy

    Cataldo, Giuseppe, Ph. D. Massachusetts Institute of TechnologyMassachusetts Institute of Technology2015

    … (IR) and submillimeter (15 [mu]m-1 mm) spectroscopy provides a powerful tool to probe a wide range of environments in the universe. In the past thirty years, many space-based observatories have opened the far-IR window to the universe, providing unique insights into several astrophysical …

    mit Repository record

  18. On the Integration of Compiler-Directed Cache Coherence and Data Prefetching

    Lim, Hock-BengUniversity of Illinois at Urbana-Champaign2015

    … applied the scheme on five applications from the SPEC CFP95 and CFP92 benchmark suites and executed the resulting codes on the system. The experimental results indicate that for all of the applications studied, our scheme provides significant performance improvements. We further evaluate the …

    uiuc Repository record

  19. Revisão do gênero Aspidodera Railliet & Henry, 1912 (Nematoda: Heterakoidea) com novas sinonímias e chave de classificação

    Santos, Claúdia PortesUniversidade Federal do Rio de Janeiro1989

    … 1947 n. syn.) is related with eight species: A. scoleciformis (Diesing, 1851) Railliet & Henry, 1912; A. subulata (Molin, 1860) Railliet & Henry, 1912; A. fasciata (Schneider, 1866) Railliet & Henry, 1913 A. binansata Raillieti & Henry, 1913 (=A. agoutiae Cameron & Reesal, 1951 n. …

    brazil-uerj Repository record

  20. Impact of Aggregate Gradation on Airfield (P-401) Asphalt Mixture

    Parameswaran, Naveen2025

    … (FAA) current asphalt mixture gradation specification limits are finer, and the allowable ranges are more restrictive than control points for similar nominal maximum aggregate size mixtures within the Superpave mix design methodology. Ensuring the gradation specification limits …

    unr Repository record

Page 1 of 6