Search alternatives:
"specification" » "specifications" (Expand Search), "verification" (Expand Search), "purification" (Expand Search)
"specification" » "specifications" (Expand Search), "verification" (Expand Search), "purification" (Expand Search)
-
1
Site-specific chemical and topological modifications to augment mRNA therapeutic potential
Published 2024“…We investigated the site-specific installation of chemical and topological modifications into therapeutic mRNA to augment their expression in cell cultures and mouse models. …”
Get full text
Thesis -
2
Decoding Codon Bias: The Role of tRNA Modifications in Tissue-Specific Translation
Published 2025“…These data show that understanding tRNA modification enrichments across tissues is not only essential for understanding codon decoding and bias but can also be utilized for optimizing gene and mRNA therapeutics to be more tissue-, cell-, or condition-specific.…”
Get full text
Article -
3
Site-specific protein modifications by an engineered asparaginyl endopeptidase from Viola canadensis
Published 2021“…This ligase activity can be used for site-specific protein modifications in biochemical and biotechnological applications. …”
Get full text
Journal Article -
4
Specification mining for digital circuits
Published 2016“…However, manually creating a complete set of formal properties is difficult and time-consuming process. Thus, specification mining approach for digital circuit has been proposed to automatically generate the formal specification. …”
Get full text
Final Year Project (FYP) -
5
Mapping epigenetic modifications by sequencing technologies
Published 2023“…With the rapid development of sequencing technologies, scientists are able to detect specific epigenetic modifications with various quantitative, high-resolution, whole-genome/transcriptome approaches. …”
Journal article -
6
Surface modification and characterization of polypropylene fibers
Published 2013“…This surface modification comes with physical etching of the surface as well as alterations to the chemical characteristics of the fiber surface. …”
Get full text
Final Year Project (FYP) -
7
-
8
Electrochemical modification of electrodes with metal nanoparticles
Published 2016“…The electrochemical activity of these materials was investigated in order firstly to expand the knowledge of diamond electrochemistry and secondly to establish an understanding of how the electrochemical modification with metal nanoparticles of core-shell structure impacts their electrochemical performance.…”
Thesis -
9
Elucidating the effects of DNA modification on transcription
Published 2021“…<p>DNA modifications play important roles in genome function of vertebrates. 5-methylcytosine (mC) has been extensively studied over the last 50 years as the most common covalent DNA modification, present at roughly 70% of CpGs in the human genome. …”
Thesis -
10
What is formal verification without specifications? A survey on mining LTL specifications
Published 2024“…Virtually all verification techniques using formal methods rely on the availability of a formal specification, which describes the design requirements precisely. …”
Book section -
11
Specification and Verification of Strong Timing Isolation of Hardware Enclaves
Published 2025Get full text
Article -
12
High-level specification and efficient implementation of pipelined circuits
Published 2025“…This approach combines a high-level, modular specification language with an efficient implementation. …”
Get full text
Article -
13
Direct specification of lymphatic endothelium from mesenchymal progenitors
Published 2025“…Collectively, this work establishes a cellular blueprint for LEC specification and indicates that discrete pools of mesenchymal progenitors can give rise to specialized subtypes of ECs.…”
Journal article -
14
Role of posttranslational modifications of histone proteins in epigenetics
Published 2016“…<p>Nature has evolved an additional level of genetic regulation by-passing direct changes in genetic code through the means of posttranslational modifications (PTMs) of nucleobases and histone proteins. …”
Thesis -
15
-
16
-
17
Specification and Planning of UAV Missions: A Process Algebra Approach
Published 2010“…Formal languages have recently come under attention as a powerful tool to describe in a precise and rigorous way mission specifications (i.e., mission objectives and constraints) for robotic systems, and to design planning and control algorithms that provably achieve the specifications. …”
Get full text
Get full text
Get full text
Article -
18
Model reduction and stochastic analysis of the histone modification circuit
Published 2024Get full text
Article -
19
-
20
Biophysical studies of oligonucleotides containing duplex stabilising modifications
Published 2016“…To enable easier access to this modification, a reductive amination labelling strategy was developed to produce pyrene-functionalised nucleobase analogues which allowed an easier synthesis of X-pyrene. …”
Thesis