Search alternatives:
"specification" » "specifications" (Expand Search), "verification" (Expand Search)
"purification" » "verification" (Expand Search), "modification" (Expand Search), "publication" (Expand Search)
"specification" » "specifications" (Expand Search), "verification" (Expand Search)
"purification" » "verification" (Expand Search), "modification" (Expand Search), "publication" (Expand Search)
-
281
Hierarchically structured TIO2 nanorod spheres for clean water and energy production
Published 2014“…Hydrothermally synthesized TiO2 nanorod spheres were applied for concurrent photocatalytic membrane filtration for water purification via a “win-win” strategy to maximize the advantages of photocatalysis and membrane filtration. …”
Get full text
Thesis -
282
Structural characterization of the full-length Hantaan virus polymerase
Published 2024“…Here we establish the expression and purification of the polymerase from the Old World Hantaan virus and characterise the structure using Cryo-EM. …”
Journal article -
283
High-level automatic pipelining for sequential circuits
Published 2025“…Our experimental results show that, starting with a non-pipelined or insufficiently pipelined specification, this synthesizer can effectively reduce the clock cycle time and improve the throughput of the generated circuit.…”
Get full text
Article -
284
Interactive partitioning of 3D models into printable parts
Published 2020“…Our tool aims at improving Chopper by providing users three easy-to-use interactive operations: no-go region painting, cutting plane specification and components reunion. With these operations, we show that (1) exhaustive search in the BSP tree-the most time-consuming step in Chopper-can be avoided, (2) more flexible geometric configurations can be provided, (3) users design intention is considered naturally and efficiently, and customized 3D partitioning results can be obtained. …”
Get full text
Journal Article -
285
Design of circular polarized micro-strip antenna
Published 2016“…The antenna has fulfilled the design specifications suitable for applications of Wireless Power Transmission in the ISM band.…”
Get full text
Thesis -
286
Computational modeling of angiogenesis: the importance of cell rearrangements during vascular growth
Published 2023“…We start by describing the biological processes that occur during early angiogenesis, such as phenotype specification, cell rearrangements and cell interactions with the microenvironment. …”
Journal article -
287
Discovery of stabilized functional mutants of human aquaporin 1
Published 2016“…In future, we hope to characterize these mutants for increased stability as they may be useful in structural studies, drug discovery in human cancers related to AQP1 overexpression as well as in biotechnological applications, such as water purification, in particular.…”
Get full text
Final Year Project (FYP) -
288
Advanced omniphobic membrane: fabrication via NIPS method using PVDF-HFP, TEOS, and PFDTMS
Published 2024“…Amid the global water crisis, developing innovative solutions for sustainable water purification is crucial. Membrane distillation (MD) has emerged as a pivotal method with significant potential to address these challenges effectively. …”
Article -
289
Umwelt: Accessible Structured Editing of Multi-Modal Data Representations
Published 2024Get full text
Article -
290
On Modular Pluggable Analyses Using Set Interfaces
Published 2005“…Each analysis verifies that the implementation of themodule 1) preserves important internal data structure representationinvariants and 2) conforms to a specification that uses formulas in a setalgebra to characterize the effects of operations on the data structure.The analyses use the common set abstraction to 1) characterize howobjects participate in multiple data structures and to 2) enable the interanalysiscommunication required to verify properties that depend onmultiple modules analyzed by different analyses.We characterize the key soundness property that an analysis plugin mustsatisfy to successfully participate in our system and present several analysisplugins that satisfy this property: a flag plugin that analyzes modulesin which abstract set membership is determined by a flag field in eachobject, and a graph types plugin that analyzes modules in which abstractset membership is determined by reachability properties of objects storedin tree-like data structures.…”
Get full text
-
291
Exploring human computation via interactive online application
Published 2010“…This is a FYP Final Report to document all relevant background information, the game specification, its test results and findings regarding the project "Exploring Human Computation via Interactive Online Application". …”
Get full text
Final Year Project (FYP) -
292
SEM-I rational MT : enriching deep grammars with a semantic interface for scalable machine translation
Published 2011“…In the LOGON machine translation system where semantic transfer using Minimal Recursion Semantics is being developed in conjunction with two existing broad-coverage grammars of Norwegian and English, we motivate the use of a grammar-specific semantic interface (SEM-I) to facilitate the construction and maintenance of a scalable translation engine. …”
Get full text
Get full text
Conference Paper -
293
Production and characterization of IFP1.4MINT
Published 2011“…This project involves the cloning, expression, purification and characterization of IFP1.4mINT. …”
Get full text
Final Year Project (FYP) -
294
Rejection of pharmaceuticals by forward osmosis membranes
Published 2013“…These results can be important for FO membrane synthesis, modification and their application in water purification.…”
Get full text
Get full text
Journal Article -
295
New approaches for H2-driven NADH regeneration using carbon supports
Published 2024“…The first one is a carbon supported soluble hydrogenase system; a soluble hydrogenase lysate without further purification is immobilised on carbon support for NADH recycling. …”
Thesis -
296
Complexity-Theoretic Limitations on Quantum Algorithms for Topological Data Analysis
Published 2024“…Finally, we argue that an exponential quantum advantage can be recovered if the input data is given as a specification of simplices rather than as a list of vertices and edges.…”
Get full text
Article -
297
Breast cancer diagnosis through an optimization-driven multispectral gamma correction (ODMGC)
Published 2024“…The classifier results showed an accuracy of 96.4%, sensitivity of 98.1%, and specificity of 96.9%.…”
Get full text
Article -
298
Sure (EM)-Autometrics: An Automated Model Selection Procedure with Expectation Maximization Algorithm Estimation Method (S/O 14925)
Published 2021“…Three econometric models have been utilised as a testbed for true specification search. The results were divided into four categories where a tight significance level of 1% had contributed a high percentage of all equations in the model contain variables precisely comparable to the true specifications. …”
Get full text
Monograph -
299
Effects of woven fabric embedment on thin film composite membranes for osmotically driven membrane processes (ODMPs)
Published 2024“…Osmotically driven membrane processes (ODMPs) have drawn a lot of attention in recent years due to their potential applications in water purification, desalination and energy generation. ODMPs are encompassed by Forward Osmosis(FO), Pressure Assisted Osmosis (PAO) and Pressure Retarded Osmosis (PRO). …”
Get full text
Final Year Project (FYP) -
300
Recent insight into the advances and prospects of microbial lipases and their potential applications in industry
Published 2024“…These biocatalysts not only ensure sustainability and safety but also enhance process efficiency through their unique specificity. Lipases possess versatility as biocatalysts and find utilization in diverse bioconversion reactions. …”
Article