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

Tooling cost estimation model for injection molding by Tran, Duc Vi, Wang, Lan, Zhu, ZhiQiang, Padmanaban Ranganathan

“…In addition, two case studies in which data come from the current injection molding toolmaker in Singapore have been applied as model verification.…”
Get full text

Implementation of a radar prototype on an unmanned arial vehicle by Liu, Jiaqing

“…In the part of system integration, it further covers aspects like RF testing and measurement for different parts of the system, verification of choice of components, power budget and payload distribution for UAV. …”
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

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

Big data analytics and automation in post-silicon by Wang, Yifei

“…This paper presents the authors’ knowledge of silicon post-processing during their internship at MediaTek and the verification of how to solve the problems of high manual mechanical workload, low efficiency, and high error rate in this field. …”
Get full text

Metacognitive strategy in solving mathematics problems, learning approach and mathematics achievement of students from a junior college by Lo, Chee Lin.

“…Orientation, Organisation, Execution and Verification Strategies, and learning approaches, i.e. …”
Get full text

A web-based computer-program grading system by Zhu, Wu.

“…The first phase focuses on developing a web portal to accept programming course assignment submission according to problems set by instructors and conduct verification on submitted source code by running through test cases. …”
Get full text

Programming language implementations with multiparty session types by Yoshida, N

“…We also survey MPST implementations with dynamic (runtime) verification which target active object programming languages.…”

Incentivizing consensus propagation in proof-of-stake based consortium blockchain networks by Kang, Jiawen, Xiong, Zehui, Niyato, Dusit, Wang, Ping, Ye, Dongdong, Kim, Dong In

“…When the puzzle is solved, the miners are encouraged to take part in mined block propagation for verification to win a transaction fee from the blockchain user. …”
Get full text

Component-based security under partial compromise by Dehnel-Wild, M

“…During design and implementation, the foremost of these is formal verification. Large, real-world systems and protocols made up of multiple computers or components are rarely designed with verification or analysis in mind. …”

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

Hierarchically structured TIO2 nanorod spheres for clean water and energy production by Bai, Hongwei

“…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

Structural characterization of the full-length Hantaan virus polymerase by Keown, JR, Carrique, L, Nilsson-Payant, BE, Fodor, E, Grimes, JM

“…Here we establish the expression and purification of the polymerase from the Old World Hantaan virus and characterise the structure using Cryo-EM. …”

High-level automatic pipelining for sequential circuits by Marinescu, Maria-Cristina V, Rinard, Martin

“…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