Search alternatives:
"specification" » "verification" (Expand Search), "purification" (Expand Search)
"specifications" » "verifications" (Expand Search), "purifications" (Expand Search)
"specification" » "verification" (Expand Search), "purification" (Expand Search)
"specifications" » "verifications" (Expand Search), "purifications" (Expand Search)
-
21
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 -
22
High-level synthesis of pipelined circuits from modular queue-based specifications
Published 2025“…This approach combines a high-level, modular specification language with an efficient implementation. …”
Get full text
Article -
23
Identification of mechanism of cancer-cell-specific reactivation of hTERT offers therapeutic opportunities for blocking telomerase specifically in human colorectal cancer
Published 2023“…Our results showed for the first time how known CRC alterations, such as APC, lead to WT-hTERT promoter reactivation during stepwise-tumorigenesis and provide a new perspective for developing cancer-specific drugs.…”
Get full text
Journal Article -
24
Functional homogeneity and specificity of topological modules in human proteome
Published 2019“…With functional enrichment analyses and a novel measure for functional specificity, we evaluated functional relevance and specificity of topological modules of the human proteome. …”
Get full text
Get full text
Get full text
Journal Article -
25
Generating domain-specific paraphrases of questions from FAQ
Published 2021“…This project will introduce a paraphrase generation system that will generate domain-specific paraphrases of the questions of Frequently Asked Question (FAQ) corpuses. …”
Get full text
Final Year Project (FYP) -
26
Population-specific adaptation in malaria-endemic regions of Asia
Published 2021“…Remarkably, our novel population genomic approach identified population-specific adaptive genes potentially against malaria infection without the need for patient samples or individual medical records.…”
Get full text
Journal Article -
27
Parsing and semantic analysis of a domain specific language
Published 2014“…A domain specific language (DSL) is a computer programming language of limited expressiveness focused on a particular domain. …”
Get full text
Final Year Project (FYP) -
28
Mechanisms of Yersinia YopO kinase substrate specificity
Published 2017“…Here we set out to identify mechanisms of specificity in protein phosphorylation by YopO that would clarify its effects on cytoskeleton disruption. …”
Get full text
Get full text
Journal Article -
29
Domain specific methods for procedural modeling of historical architecture
Published 2018“…Further it compares domain specific methods from software design to procedural modeling techniques and draws comparisons there. …”
Get full text
Get full text
Thesis -
30
Learning class-specific edges for object detection and segmentation
Published 2006“…We illustrate its application to two algorithms: (i) chamfer matching for object detection, and (ii) modulating contrast terms in MRF based object-specific segmentation. We show that performance of both algorithms (matching and segmentation) is considerably improved by the class-specific edge labelling.…”
Conference item -
31
-
32
-
33
Multiple queries for large scale specific object retrieval
Published 2012“…The aim of large scale specific-object image retrieval systems is to instantaneously find images that contain the query object in the image database. …”
Conference item -
34
-
35
Macroeconomic and Firm-Specific Effects on Islamic Deposits Sustainability
Published 2024“…Therefore, this study aims to examine the macroeconomic and firm-specific effects on the sustainability of Islamic deposits. …”
Get full text
Get full text
Article -
36
Spatiotemporal coordination of FGF and Shh signaling underlies the specification of myoblasts in the zebrafish embryo
Published 2020“…Combining four-dimensional imaging with pathway perturbations, we characterize the spatiotemporal specification and localization of somitic cells. Muscle formation is guided by highly orchestrated waves of cell specification. …”
Get full text
Journal Article -
37
Detection of allele-specific expression in spatial transcriptomics with spASE
Published 2024“…However, the feasibility of studying spatial allele-specific expression (ASE) from these data remains uncharacterized. …”
Get full text
Article -
38
Periodontitis associates with species-specific gene expression of the oral microbiota
Published 2021“…The purpose of the present investigation was to characterize species-specific bacterial activity of the oral microbiota in periodontitis. …”
Get full text
Journal Article -
39
Cell-specific metabolic reprogramming of tumors for bioactivatable ferroptosis therapy
Published 2022“…Ferroptosis is a nonapoptotic iron-dependent cell death pathway with a significant clinical potential, but its translation is impeded by lack of tumor-specific ferroptosis regulators and aberrant tumor iron metabolism. …”
Get full text
Journal Article -
40
3D patient specific instrumentation for high tibial osteotomy
Published 2024“…As the medical industry gets more advanced with the use of patient specific instruments, patient can have tailor-made instruments which is precise and accurate while greatly improving the surgical outcome of each operation. …”
Get full text
Final Year Project (FYP)