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 5 of 5 for “"SIMPL"”.
-
Purification of SIMPL Antibody and Immunofluorescence of SIMPL Sub-Cellular Localization in Response to TNFα- and IL-1
SIMPL is a transcriptional co-activator that alters the activity of transcription factor, NF-κB. In response to pathogens, cytokines such as Interleukin-1 (IL-1) and Tumor Necrosis Factor (TNF) signal through the IL-1 and TNF-α receptors, respectively, which are found on various cell types. …
-
USIMPL: An Extension of Isabelle/UTP with Simpl-like Control Flow
… that of systems software. This thesis presents USIMPL, a component of the Orca project for formal verification that builds on Foster’s Isabelle/UTP with features of Schirmer’s Simpl in order to achieve a modular, scalable framework for deductive proofs of program correctness utilizing Hoare logic …
-
The IRAK-1 binding protein SIMPL functions as a p65/RELA co-activator in NF-KB dependent gene expression following tumor necrosis factor-alpha stimulation
This document only includes an excerpt of the corresponding thesis or dissertation. To request a digital scan of the full text, please contact the Ruth Lilly Medical Library's Interlibrary Loan Department (rlmlill@iu.edu).
-
Sinusoids, noise and transients: spectral analysis, feature detection and real-time transformations of audio signals for musical applications
… developers. The first of these, called Simpl, provides a consistent API for interacting with established sinusoidal modelling systems from the literature, and integrates seamlessly with a powerful suite of libraries for scientific computing. Sinusoidal models have been used to transform …
-
Democracy's children?: the constitution of male subjectivity of coloured adolescents awaiting trial in post-apartheid Cape Town
… them. thi-, docs not mean the:, arc automaton'>. simpl:, the dupes of fate. I he: exen agency through unique contigurations Llfthcse discourses. temporarily becoming ·1-foll:,,ood heroes· and creating gangster ·brotherhoods· \hich resist the social dislol..'.ation produced b:, their historical …