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

Realising the non-Hermitian skin effect with a nonlinear circuit by Lo, Hsuan

“…The study also proposes a comprehensive experimental verification setup, which includes a printed circuit board designed specifically for observing NHSE in nonlinear circuits.…”
Get full text

Parallel and distributed algorithms for computational fluid flow simulations by Vu, Thanh Tung

“…In this thesis, after describing the mathematical formulation of an incompressible Newtonian fluid flow based on the Navier- Stokes equations, the standard numerical methods as well as alternative Lattice Boltzmann approaches are discussed. The verification for the models' accuracy verification is then presented, which show the excellent agreement of the simulation results and reference values for the simulation cases. …”
Get full text

Simulation and visualisation of perching manoeuvres by Goo, Yik Wen.

“…Visualisation of the manoeuvre provided visual verification of a successful perching manoeuvre, while at the same time allowing the user to see any problems in the manoeuvre that may not be evident from the plotted results.…”
Get full text

Performance-based blast resistant design of reinforced concrete frame structures under distant explosions by Rong, Haicheng

“…The implementation of the design method is demonstrated from practical design examples and followed by the numerical verification study…”
Get full text

Singlet fission materials for improved solar cells by Heng, Zhi Yin

“…From the H-NMR spectroscopy, it can be observed that compound 5 has been obtained through the Suzuki coupling. However, further verification is needed through other characterization methods, such as UV-Vis and Fluorescence spectroscopy, and Mass spectroscopy, as C-13 NMR result was unable to be obtained due to the low solubility of compound 5.…”
Get full text

General synthesis method for symmetrical even-order Chebyshev bandpass filter by Zhang, Songbai, Zhu, Lei

“…Subsequently, a 4th-order Chebyshev bandpass filter based on λ/2 microstrip-line resonators centering at 2.4 GHz with a fractional bandwidth of 10.0% are synthesized and fabricated, the measured results provide strong verification for the proposed synthesis method.…”
Get full text
Get full text

Develop of wideband acoustic sensor by Li,Yueqi

“…After the circuit verification and simulation, the performance of the circuit meets the design requirements.…”
Get full text

Integrated 3D inductors by Ong, Shi Qi

“…This Final Year Project pertains to the design and verification of integrated 3D inductors for high-frequency applications, such as integrated power management systems and wireless communications. …”
Get full text

A three dimensional kinematic method for determining the effectiveness of arm segment rotations in producing clubhead speed by Teu, Koon Kiat

Get full text

Lost in quantization: improving particular object retrieval in large scale image databases by Philbin, J, Chum, O, Isard, M, Sivic, J, Zisserman, A

“…We describe how this representation may be incorporated into a standard tf-idf architecture, and how spatial verification is modified in the case of this soft-assignment. …”

Artistic rendering of image by He, Ji.

“…The produced results of image modification are satisfactory in terms of functionality realized. …”
Get full text

Mechanistic insights into the HPF1/PARP1 complex by Zobel, FFH

“…<p>ADP-ribosylation is a vital post-translational modification associated with a large range of processes including DNA damage repair, transcription, replication, mitosis, inflammation and cell death. …”

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