Planning with object creation by Corrêa, AB, De Giacomo, G, Helmert, M, Rubin, S

“…Classical planning problems are defined using some specification language, such as PDDL. The domain expert defines action schemas, objects, the initial state, and the goal. …”

Enhancing fouling mitigation of submerged flat-sheet membranes by vibrating 3D-spacers by Tan, Yong Zen, Mao, Ziming, Zhang, Yanjun, Tan, Wen See, Chong, Tzyy Haur, Wu, Bing, Chew, Jia Wei

Get full text

Synthetic approaches to all-porphyrin nanorings by Field, J

“…The Suzuki strategy was successful in synthesizing a range of different sized all-porphyrin nanorings, but the reaction was highly sensitive to a range of difficult-to-control factors, as well as significant purification issues. This ultimately resulted in this method being insufficiently repeatable and scalable.…”

Water reclaimation and reuse using photocatalyst : review and preliminary experiment by Ng, Guan Si.

“…Titanium dioxide (TiO2), which is one of the most basic materials in our daily life, has emerged as an excellent photocatalyst material for environmental purification. TiO2 is close to being an ideal photocatalyst because it is relatively inexpensive, highly stable chemically and the photogenerated holes are highly oxidizing. …”
Get full text

Synthesis of hydrogel particles for disaster relief application by Fan, Hao

“…Portable and easy-to-use water purification method is needed in regions impacted by disasters to provide drinking water to the affected population. …”
Get full text

Water treatment using one-dimensional manganese oxide based materials by Zhang, Tong

“…In recent years, there has been a growing trend in the usage of nanomaterials to enhance water purification efficiency. One-dimensional (1D) nanostructured manganese oxides and their derivatives have attracted considerable research interest due to their large surface area, adjustable transport properties and chemical specificities. …”
Get full text

Verifying Correctness of the Number Theoretic Transform and Fast Number Theoretic Transform in F⋆ by Ono, Rick R.

“…As engineers continue to develop more sophisticated algorithms to optimize cryptographic algorithms, their often simple mathematical specifications become convoluted in the algorithms, from which a class of correctness bugs arise. …”
Get full text

A Formal Framework for Modular Synchronous System Design by Marinescu, Maria-Cristina V, Rinard, Martin C

“…Our compiler automatically transforms modular and asynchronous specifications of circuits written in our specification language, into tightly coupled, fully synchronous implementations in synthesizable Verilog. …”
Get full text

Generate vascularized kidney organoids for studying kidney development by Zhang, Tian

“…Overall, hPSCs-derived kidney organoids offer new avenues for studying renal lineage specification, as well as for disease modeling in an organ-specific manner.…”
Get full text

Ellipsometry studies on anodic aluminium oxide (AAO)growth mechanism on high purity aluminium plate by Lim, Leng Khoon

“…Such study would useful to control the required specification of the microstructure. Thickness increases together with voltage, time and temperature where these parameters are the contributing factors to the rate of anodizing. …”
Get full text

Data-driven dynamic logic for low power adders and multipliers by Mahendiran Navasakthi

“…These circuits are designed and simulated using Cadence Virtuoso in TSMC 65nm specification. The propagation delay and power of each logic is calculated and compared. …”
Get full text

Hybrid antibacterial agents. by Lin, Jiawen.

“…However, further progress was impeded by limited yield and purification difficulty from solid- and liquid-phase peptide synthesis method respectively. …”
Get full text

The role of bacteriophages in an aerobic biogranulation system by A R Balamurugan

“…The filtration process for the separation of bacteriophage from the AGS system was also optimized and automated to allow for more efficient and less laborious purification procedure.…”
Get full text

Leveraging Multi-Stage Machine Learning Pipelines for Extracting Structured Key-Value Pairs from Documents by Pyo, Bryan

“…This thesis discusses several pipelines that have been developed to extract data in the form of key-value pairs from specification sheets describing mechanical parts achieving accuracies ranging from 80% to 100% depending on the pipeline and the target documents and key-value pairs.…”
Get full text

Analysis and characterization of nervous system defects in candidate mutations resulting from a mutagenesis screen in the fruit fly, Drosophila melanogaster by Joanita Jasmen

“…Overall, the mutations generated were not found to be directly implicated to DA neuron fate specification as tyrosine hydroxylase (TH) expression pattern remained unaffected.…”
Get full text

Design and verification of a fast low-dropout regulator for a high performance receiver chain targeting GNSS applications by Debaditya, Mullick

“…A GNSS receiver, such as a Global Positioning System (GPS) receiver chain consists of multiple cascaded blocks, where each one contributes to the down conversion process of the feeble GPS signals received from a satellite in space. The design specification of the LDO regulator is obtained from the load, which in this case is a time-to-digital (TDC) convertor operating at a high frequency. …”
Get full text

Channelized coinShuffle++ : practical unlinkability in the ethereum blockchain by Xiong, Luoyuan

“…A complete system specification and theoretical evaluation will be provided while the actual experimental the result will appear in a future update once an end-to-end Proof of Concept is built.…”
Get full text

QUCS-S: a central tool in the openPDK IC design flow by Brinson, Mike

“…The release by IHP-GmbH in September 2023, of a Process Design Kit (PDK) specification for a 130nm BiCMOS process provides IC designers access to an open source PDK for analog, digital mixed signal and RF IC Design. …”
Get full text

Selective and Chemical-Free Removal of Toxic Heavy Metal Cations from Water Using Shock Ion Extraction by Alkhadra, Mohammad A, Jordan, Matthew L, Tian, Huanhuan, Arges, Christopher G, Bazant, Martin Z

“…Electrochemical methods are known to have attractive features and capabilities when used for ion separations and water purification. In this study, we developed a new process called shock ion extraction (shock IX) for selective and chemical-free removal of toxic heavy metals from water. …”
Get full text

In vivo visualization of cells with fluorescent-labeled fab fragment. by Wee, Armanda Lixuan.

“…Our results showed that mouse IgG and rat IgG displayed differential susceptibility to cleavage by papain, and Protein A columns were unsuitable for the purification of Fab fragments from rat IgG. Mouse Fab fragments labeled with DyLight 650 (DL650) were found to have lower binding avidity and fluorescence intensity when compared to DL650-conjugated IgG. …”
Get full text